Природні кандидати на NP-E та E-NP

З початку 70-х років відомо, що і не є рівними (тому що не замикається в поліномічний час багато -одне скорочення, на відміну від ). Наскільки я знаю, проте, досі відкрито, чи є один клас підмножиною іншого, або вони є незрівнянними, це означає, що і обидва непусті.${\bf NP}$${\bf E}=DTIME(2^{O(n)})$${\bf E}$${\bf NP}$${\bf NP}-{\bf E}$${\bf E}-{\bf NP}$

Запитання: Які деякі (бажано природні) проблеми, які є кандидатами на перебування в або , якщо вважати, що відповідний набір не порожній? Мене особливо цікавлять природні проблеми в межах які, ймовірно, потребують експоненціального часу з надлінійним показником, тобто вони знаходяться в .${\bf NP}-{\bf E}$${\bf E}-{\bf NP}$${\bf NP}$${\bf NP}-{\bf E}$

TQBF (Справді кількісно визначені булеві формули) знаходиться в E і не буде в NP, якщо NP = PSPACE.

Мова в NP-E складніша. Така мова була б і в NP-NTIME (n), і у нас немає великих прикладів. Ви можете використовувати лаконічне подання на зразок

$L = \{ C \ |\ $ Схема описує графік на вузлах, де 3-кольоровий .$C$$G$$|C|^5$$G$$\}$

$L$ знаходиться в NP, навряд чи в але не так природно.$E$