エントリーの編集

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
PとNPと聞くと胃が痛くなる人はどれくらいいるでしょうか。あ、俺もそうです。 一般にないことを証明す... PとNPと聞くと胃が痛くなる人はどれくらいいるでしょうか。あ、俺もそうです。 一般にないことを証明するのは非常に困難だ。それを人々は悪魔の証明と呼ぶ。 悪魔の証明とは、「ある事実・現象が『全くない(なかった)』」というような、それを証明することが非常に困難な命題を証明すること。例えば「アイルランドに蛇はいる」ということを証明するとしたら、アイルランドで蛇を一匹捕まえて来ればよいが、「アイルランドに蛇はいない」ということの証明はアイルランド全土を探査しなくてはならないので非常に困難、事実上不可能であるというような場合、これを悪魔の証明という。 http://d.hatena.ne.jp/keyword/%B0%AD%CB%E2%A4%CE%BE%DA%CC%C01 ある問題を現実的な計算量で解くアルゴリズムが存在するか否か―存在しないことが判明してしまえば、その問題の効率的なアルゴリズムを探