ポッドキャスト
http://ruby.rpod.ru/276289.html
ニュース
- LibskypekitおよびSkypekit-SkypeのCおよびRubyインターフェイス
- Googleスプレッドシートを操作するための宝石
- Rails 4でのPostgreSQLデータ型のサポート
- Ruby 2.0ロードマップ
- ろくでなしのルビーの本
- Ruby Gemの継続的な展開
- ルボト0.6.0
- メカニズ2.5
- deviseからメールを非同期で送信するためのGem -devise-async
- 顕微鏡下のルビーの章
- devConfに乗る最後の試み
議論
NP完全性
- 基本的な定義と定理を理解するには、本を読むことをお勧めします。M。Gary、D。Johnson、
「コンピューターと難しいタスク。」 - Random_k-SAT
- [VV1986] LG Valiant、VV Vazirani、 NPは、ユニークなソリューションを検出するのと同じくらい簡単です （ ユニークなソリューションを持つインスタンスへの検索ソリューションは、ランダム化されたリダクションの下で、SATと同じくらい難しいことが示されています）
- [Var1982] M. Vardi 、リレーショナルクエリ言語の複雑さ
- [Imm1986] N. Immerman、 多項式時間で計算可能な関係クエリ （[Imm1982]および[Var1982]は、Th。Immerman-VardiにFO（LFP）= Pを与えます）
- Wiki、基本的な検証と紙のデータを収集します
- どうやらインターネット上の論文への最初の参照または最初の参照の1つ
- 最初のコメント教授。 リプション
- 残りのリンクはwikiにあります。 ここに別の重要なコメントがあります 。
Liptionは、Deolalikarが不合理にモンディックの固定小数点のみを使用するImmermanレターを発行し、
は、彼の証明でこのプロパティに依存していることを示していますが、すべてのPを受け取っていないことを示しています。
DeolalikarがImmermana-Vardiの定理を誤って適用していることがわかりました。 エラーが見つかりました！ - その他：「ブリック」に言及：T. Cormen、C。Leiserson、R。Rivest、「Algorithms：construction and analysis」