Kandidat alami untuk NP-E dan E-NP

Sudah diketahui sejak awal 70-an bahwa dan tidak sama (karena tidak ditutup di bawah polinomial-waktu banyak -satu pengurangan, berbeda dengan ). Sejauh yang saya tahu, masih terbuka apakah satu kelas adalah himpunan bagian dari yang lain, atau mereka tidak dapat dibandingkan, yang berarti bahwa dan keduanya kosong.${\bf NP}$${\bf E}=DTIME(2^{O(n)})$${\bf E}$${\bf NP}$${\bf NP}-{\bf E}$${\bf E}-{\bf NP}$

Pertanyaan: Manakah masalah (lebih disukai alami) yang merupakan kandidat untuk berada dalam atau , dengan asumsi set masing-masing tidak kosong? Saya khususnya tertarik pada masalah alami dalam yang kemungkinan membutuhkan waktu eksponensial dengan eksponen superlinear , yaitu, mereka berada dalam .${\bf NP}-{\bf E}$${\bf E}-{\bf NP}$${\bf NP}$${\bf NP}-{\bf E}$

TQBF (Rumus Boolean Benar Kuantitatif) dalam E dan tidak akan di NP kecuali NP = PSPACE.

Bahasa di NP-E lebih rumit. Bahasa seperti itu juga ada dalam NP-NTIME (n) dan kami tidak memiliki contoh yang bagus tentang itu. Anda dapat menggunakan representasi ringkas seperti

$L = \{ C \ |\ $ Sirkuit menggambarkan grafik pada node di mana adalah 3-warna .$C$$G$$|C|^5$$G$$\}$

$L$ dalam NP, tidak mungkin di tetapi tidak alami.$E$