NPにはない複雑度クラスEXPに問題はありますか？

指数時間で解決できる問題は思いつきませんが、多項式時間では確認できません。

まず第一に、 $NP=EXP$か否か。したがって、最初の答えは「未解決の質問です」です。

しかし、私たちは強く信じています（そして裏付けとなる証拠があります） $NP\neq EXP$。実際、私たちは$NP\neq PSPACE$ そしてそれ $PSPACE\neq EXP$ （つまり、厳格な封じ込めがあります $NP\subsetneq PSPACE \subsetneq EXP$）。

多項式時間で（私たちの知識では）検証できない問題を調査しているので、PSPACEの完全な問題から始めることができます。たとえば、TQBF、または$ALL_{NFA}$。EXP完全な問題が必要な場合は、ここに例があります。