NP-EおよびE-NPの自然な候補

その初期の70年代から知られている ${\bf NP}$及び${\bf E}=DTIME(2^{O(n)})$（ので等しくない${\bf E}$とは対照的に、多項式時間多対1の減少の下で閉じていない${\bf NP}$） 。ただし、私が知る限り、一方のクラスが他方のサブセットであるか、またはそれらが比較不可能であるかはまだオープンです。つまり、${\bf NP}-{\bf E}$と${\bf E}-{\bf NP}$は両方とも空ではありません。

質問：それぞれのセットが空でないと仮定して、${\bf NP}-{\bf E}$または${\bf E}-{\bf NP}$に含まれる可能性のあるいくつかの（できれば自然な）問題はどれ ですか？私は、超線形指数の指数時間を必要とする可能性がある${\bf NP}$内の自然問題に特に興味があります。つまり、それらはN P − Eにあります。${\bf NP}-{\bf E}$

TQBF（True Quantified Boolean Formulas）はEにあり、NP = PSPACEでない限り、NPにはありません。

NP-Eの言語は扱いにくいです。そのような言語はNP-NTIME（n）にもあり、それらの優れた例はありません。あなたは次のような簡潔な表現を使うことができます

$L = \{ C \ |\ $回路$C$は、グラフ$G$を記述します$|C|^5$$G$が3色可能な 5つのノード$\}$。

$L$$E$