P≠NP予想は、多項式階層で考えると「完全には潰れない」という予想に換言できる。多項式階層は、すべての階層で潰れないと考えられているが、未解決問題である。編集NP完全とNP困難は、NPの完全問題と困難問題のクラスである。直感的には、NPに属する任意の問題と少なくとも同じくらい難しい問題をNP困難であるといい、そのうちNPに属するものをNP完全問題という。これらの概念は正確には多項式時間帰着を使って定義する。充足可能性問題がNP完全に属することが知られている(クック–レビンの定理(英語版))。言えるが、そのような問題は見つかっていない。{NEXPTIME}}}が言える。考えると、対話証明とみなすこともできる。確率的な挙動を許すようにしたクラスである。(日時は個人設定で未設定ならばUTC)。4.0のもとで利用可能です。利用規約デスクトップ。