Letteratura intorno a NP vs EXPTIME

Anche se non è un punto cruciale, non vedo letteratura intorno a questa domanda. Ci sono risultati di relativizzazione?

Non sarebbe del tutto semplice dimostrare una rigorosa inclusione adattando il teorema della gerarchia temporale non deterministica esplorando tutti i possibili percorsi della macchina NP?

cc.complexity-theory complexity-classes

— Ludovic Patey
fonte

È facile dimostrare una separazione degli oracoli tra NP ed EXP. Esiste un teorema di gerarchia temporale non deterministico che ci dice che NP è strettamente contenuto in NEXP. Non vedo come possa essere adattato a NP vs EXP.

— Robin Kothari,

@Robin Sì, naturalmente, un oracolo tale che

implica che

. Ma poiché non trovo un oracolo tale che

, in caso contrario, una prova di

potrebbe essere relativizzante.

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,

Lo zoo di complessità ( qwiki.stanford.edu/index.php/Complexity_Zoo ) dice: ... Esistono oracoli relativi ai quali

[Hel84a], [Hel84b], [Kur85], [ Hel86], .... Vedi ad esempio Due oracoli che costringono a una grande crisi ( people.cs.uchicago.edu/~fortnow/papers/nexp.ps )

E X P = N P = Z P P

$EXP = NP = ZPP$

— Marzio De Biasi,

@Vor, @Robin, penso che queste dovrebbero essere risposte

— Suresh Venkat,

Lo zoo di complessità dice:

$EXP=NP=ZPP$

Vedi per esempio Due oracoli che costringono a una grande stretta .

Forse l'oracolo originale usato da Dekhtyar è meno potente (e più semplice): sulla relativizzazione delle classi di complessità deterministica e non deterministica in Proc. Fondamenti matematici di CS 1977 ... ma non ho il suo documento.

— Marzio De Biasi
fonte

Grazie. Il nome esatto del documento Dekhtyar è Sulla relativizzazione delle classi di complessità deterministica e non deterministica.

— Ludovic Patey,