NP-E ve E-NP için doğal adaylar

70'lerin başından beri, ve nin eşit olmadığı (çünkü polinom zamanı altında kapalı değildir. - nin aksine bir azaltma ). Ancak bildiğim kadarıyla, bir sınıfın diğerinin bir alt kümesi olup olmadığı hala açık değil, yani ve her ikisi de boş değildir.${\bf NP}$${\bf E}=DTIME(2^{O(n)})$${\bf E}$${\bf NP}$${\bf NP}-{\bf E}$${\bf E}-{\bf NP}$

Soru: İlgili kümenin boş olmadığı varsayılarak, veya de yer almaya aday olan bazı (tercihen doğal) problemler nelerdir ? Ben özellikle süper lineer üs ile üstel zaman gerektiren içindeki doğal problemlerle ilgileniyorum , yani, .${\bf NP}-{\bf E}$${\bf E}-{\bf NP}$${\bf NP}$${\bf NP}-{\bf E}$

TQBF (Gerçek Niceliklendirilmiş Boole Formülleri) E'dir ve NP = PSPACE olmadığı sürece NP'de olmaz.

NP-E'deki bir dil daha karmaşıktır. Böyle bir dil NP-NTIME (n) dilinde de olacaktır ve bunlara çok iyi örneklerimiz yoktur. Gibi bir özlü temsil kullanabilirsiniz

$L = \{ C \ |\ $ Devre bir grafiktir tarif ile düğüm 3-renklendirilebilir olup .$C$$G$$|C|^5$$G$$\}$

$L$ NP'de, olma olasılığı düşüktür, ancak bu doğal değildir.$E$