ぼくの言うことわかってくれない [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
クラスPとは、決定性チューリング機械において、多項式時間で判定可能な問題のクラスであり、
クラスNPは、Yesとなる証拠(Witnessという)が与えられたとき、多項式時間でWitnessの正当性の判定(これを検証という)が可能な問題のクラスである。
多項式時間で判定可能な問題は、多項式時間で検証可能であるので、P⊆NPであることは明らかであるが、PがNPの真部分集合であるか否かについては明確ではない。証明はまだないが、多くの研究者はP≠NPだと信じている。
そして、このクラスPとクラスNPが等しくないという予想を「P≠NP予想」と ぼく独り言すごいんだけどもたまにおかあさんがぼくの独り言と会話しようとしてくるわけェ ■ このスレッドは過去ログ倉庫に格納されています