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）は次のように述べています：...関連するオラクルが存在します。 ..たとえば、大きなクランチを強制する2つのオラクル（people.cs.uchicago.edu/~fortnow/papers/nexp.ps）を参照してください

E X P = N P = Z P P

$EXP = NP = ZPP$

— Marzio De Biasi

@ Vor、@ Robin、私はこれらが答えになるはずだと思います

— Suresh Venkat

...関連するオラクルが存在します[Hel84a]、[Hel84b]、[Kur85]、[Hel86]、... $EXP=NP=ZPP$

多分Dekhtyarによって使用される元のOracleは、非力な（かつ簡単）：決定論と非決定的な複雑性クラスの相対化にでPROC。CS 1977の数学の基礎 ...しかし彼の論文はありません。

— マルツィオデビアシ
ソース

ありがとうございました。Dekhtyar論文の正確な名前は、「決定論的および非決定論的複雑性クラスの相対化について」です。

— Ludovic Patey