エントリーの編集

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
yebo blog: P==NP?
2011/01/21 P==NP? Slashdotによれば、ウラディミール・ロマノフ氏が3-SAT問題を多項式時間で解決できる... 2011/01/21 P==NP? Slashdotによれば、ウラディミール・ロマノフ氏が3-SAT問題を多項式時間で解決できるアルゴリズムを発見したと公表しているそうだ。NPに含まれる問題は全てSATに翻訳可能だが、SATがPに含まれないという証明はなされていなかった。もしも、多項式アルゴリズムが見付かれば、P==NPとなり、指数的な時間が必要と分かればP≠NPになる。ロマノフ氏が証明したのなら、3-SAT問題(3項論理標準形の充足問題)がNP完全となり、これはP==NPであることを意味する。彼はそのソースコードを公開している。 投稿者 zubora 投稿時間 05:56 ラベル: Math, Science 0 コメント: コメントを投稿
2011/01/23 リンク