NP와 EXPTIME 관련 문헌

중요한 점이 아니더라도이 질문에 관한 문헌은 보이지 않습니다. 상대화 결과가 있습니까?

NP 머신의 모든 가능한 경로를 탐색하여 비 결정적 시간 계층 정리를 적용하여 엄격한 포함을 증명하는 것이 매우 간단하지 않습니까?

cc.complexity-theory complexity-classes

— 루도빅 패티
소스

NP와 EXP 간의 오라클 분리를 쉽게 입증 할 수 있습니다. NP가 NEXP에 엄격하게 포함되어 있음을 알려주는 비 결정적 시간 계층 정리가 있습니다. NP 대 EXP에 어떻게 적용 할 수 있는지 보지 못했습니다.

— Robin Kothari

@Robin 예, 물론 오라클은

N P^{A} \neq P S P A C E^{A}

$NP^A \neq PSPACE^A$ 암시

N P^{A} \neq E X P^{A}

$NP^A \neq EXP^A$ . 하지만 오라클을 찾지 못하면

N P^{B} = E X P^{B}

$NP^B = EXP^B$ 그렇지 않은 경우

N P \neq E X P

$NP \neq EXP$ 상대성이 될 수 있습니다.

— Ludovic Patey

Complexity Zoo ( qwiki.stanford.edu/index.php/Complexity_Zoo )는 다음과 같이 말합니다 : ...

E X P = N P = Z P P

$EXP = NP = ZPP$ [Hel84a], [Hel84b], [Kur85], [Hel86], ... 예를 들어 큰 위기를 일으키는 두 개의 오라클 ( people.cs.uchicago.edu/~fortnow/papers/nexp.ps )

— Marzio De Biasi

@Vor, @Robin, 나는 이것이 답변이어야한다고 생각합니다

— Suresh Venkat

... 어느 것에 비해 oracles가 존재 $EXP=NP=ZPP$ [Hel84a], [Hel84b], [Kur85], [Hel86], ....

아마도 Dekhtyar에 의해 사용되는 원래 오라클은 덜 강력한 (간단) : 결정 및 비 결정적 복잡성 클래스의 상대화에 의 발동. CS 1977 의 수학적 기초 ... 그러나 나는 그의 논문이 없다.

— 마르 치오 데 비아시
소스

감사합니다. Dekhtyar 논문의 정확한 이름은 결정 론적 및 비결정론 적 복잡성 클래스의 상대 성화에 있습니다.

— Ludovic Patey