Ứng cử viên tự nhiên cho NP-E và E-NP

Người ta đã biết từ đầu những năm 70 rằng và không bằng nhau (vì không bị đóng trong nhiều thời gian đa thức giảm một lần, ngược lại với ). Tuy nhiên, theo như tôi biết, vẫn còn mở cho dù một lớp là tập con của lớp kia hay chúng không thể so sánh được, nghĩa là và đều không trống.${\bf NP}$${\bf E}=DTIME(2^{O(n)})$${\bf E}$${\bf NP}$${\bf NP}-{\bf E}$${\bf E}-{\bf NP}$

Câu hỏi: Một số vấn đề (tốt nhất là tự nhiên) là ứng cử viên cho hoặc , giả sử tập hợp tương ứng không trống? Tôi đặc thù quan tâm đến vấn đề tự nhiên trong vòng mà có khả năng đòi hỏi thời gian mũ với siêu tuyến tính số mũ, tức là họ đang có trong .${\bf NP}-{\bf E}$${\bf E}-{\bf NP}$${\bf NP}$${\bf NP}-{\bf E}$

TQBF (Công thức Boolean định lượng thực) nằm trong E và sẽ không ở NP trừ khi NP = PSPACE.

Một ngôn ngữ trong NP-E phức tạp hơn. Một ngôn ngữ như vậy cũng sẽ có trong NP-NTIME (n) và chúng tôi không có những ví dụ tuyệt vời về những ngôn ngữ đó. Bạn có thể sử dụng một đại diện cô đọng như

$L = \{ C \ |\ $ Mạch mô tả đồ thị trên nút trong đó có 3 màu .$C$$G$$|C|^5$$G$$\}$

$L$ ở trong NP, không có khả năng ở nhưng không phải tự nhiên.$E$