![軽快な無償3Dモデリングソフト「xismo」正式版が公開。Windows/Macに対応](https://cdn-ak-scissors.b.st-hatena.com/image/square/f1b4e2e51255f51d5c1992c55ed6a261c25912d8/height=288;version=1;width=512/http%3A%2F%2Fforest.watch.impress.co.jp%2Fimg%2Fwf%2Flist%2F752%2F641%2Fimportant_image.jpg)
わたくし わっと(id:watto)はミレニアム懸賞問題の一つにして最難関未解決問題として名高い「P≠NP予想」の証明に成功したことを、ここに宣言する( ̄^ ̄) ウィキペによると「P≠NP予想」とは次のようなものである。 計算複雑性理論(計算量理論)におけるクラスPとクラスNPは等しくない この命題が何を意味しているかは、さしあたって詳述しない。今は、この命題の否定をとって命題Aと置く。 命題A:計算複雑性理論(計算量理論)におけるクラスPとクラスNPは等しい さらに、次の命題Bを置く。 命題B:命題Aと命題Bのうち、どちらか一つだけが真である はいもうネタがわかっちゃった人がいますね。一応おしまいまで付き合ってください。 スポンサーリンク 命題Aが真であると仮定する。そうすると命題Bは偽でなければならない。なぜなら命題B自身により、命題Aと命題Bのうち真となるのは一つだけだからだ。 だが
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く