关于NP vs EXPTIME的文献

即使不是关键点，我也没有看到有关此问题的任何文献。有相对化结果吗？

通过探索NP机器的所有可能路径来适应非确定性时间层次定理，证明严格包含是不是很简单？

cc.complexity-theory complexity-classes

证明NP和EXP之间的预言分隔很容易。有一个不确定的时间层次定理，告诉我们NP严格包含在NEXP中。我不知道如何适应NP vs EXP。

— 罗宾·科塔里

@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

复杂性动物园（qwiki.stanford.edu/index.php/Complexity_Zoo）说：...存在相对于 [Hel84a]，[Hel84b]，[Kur85]，[Hel86]等的预言。 ..例如，见两个预言是力大的紧缩（people.cs.uchicago.edu/~fortnow/papers/nexp.ps）

E X P = N P = Z P P

$EXP = NP = ZPP$

— 马兹奥德BIASI

@ Vor，@ Robin，我认为这些应该是答案

— Suresh Venkat

...存在相对于 [Hel84a]，[Hel84b]，[Kur85]，[Hel86]等的预言。 $EXP=NP=ZPP$

也许Dekhtyar使用原始Oracle是那么强大（和简单）：确定性与不确定性的复杂类的相对化的PROC。CS 1977的数学基础 ...但是我没有他的论文。

— 马齐奥·德·比亚西（Marzio De Biasi）
source

谢谢。Dekhtyar论文的确切名称是关于确定性和非确定性复杂性类别的相对化。

— Ludovic Patey