ポッドキャスト

ニュース

• 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」

現在の

• 競争は終わり、結果は要約されました。
• Ivan Evtukhovich は Express42で働き始めました 。

連絡先

• ツイッター
• オファーのメール