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 = PSPACE，否则不会在NP中。

NP-E中的语言比较棘手。这种语言也将在NP-NTIME（n）中使用，我们没有很好的例子。您可以使用简洁的表示形式，例如

$L = \{ C \ |\ $电路在节点上描述了一个图，其中是3色。$C$$G$$|C|^5$$G$$\}$

$L$在NP中，不太可能在但不是那么自然。$E$