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 (True Quantified Boolean Formulas)는 E에 있으며 NP = PSPACE가 아니면 NP에 없습니다.

NP-E의 언어는 더 까다 롭습니다. 이러한 언어는 NP-NTIME (n)에도 속하며 이에 대한 좋은 예는 없습니다. 당신은 간결한 표현을 사용할 수 있습니다

$L = \{ C \ |\ $회로 $C$ 가 3 색인 노드 의 그래프 를 설명합니다 .$G$$|C|^5$$G$$\}$

$L$ 은 NP에 있지만 있을 가능성은 낮지 만 자연 스럽지는 않습니다.$E$