Література навколо NP проти EXPTIME

Навіть якщо це не є вирішальним моментом, я не бачу жодної літератури навколо цього питання. Чи є результати релятивізації?

Чи не було б досить просто довести суворе включення, адаптувавши недетерміновану теорему ієрархії часу, дослідивши всі можливі шляхи роботи машини NP?

cc.complexity-theory complexity-classes

— Людовик Патей
джерело

Неважко довести розділення оракул між NP та EXP. Існує недетермінована теорема ієрархії часу, яка говорить про те, що NP суворо міститься в NEXP. Я не бачу, як це можна було б адаптувати до NP проти EXP.

— Робін Котарі

@ Робін Так, звичайно, оракул такий

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$ може бути релятивізуючим.

— Людовик Патей

Зоопарк Складності ( 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 )

— Марціо Де Біасі

@ Vor, @Robin, я думаю, що це повинні бути відповіді

— Суреш Венкат

У зоопарку складності сказано:

... Існують відносно яких оракули $EXP=NP=ZPP$ [Hel84a], [Hel84b], [Kur85], [Hel86],….

Дивіться, наприклад, два оракули, які викликають великий хрускіт .

Можливо, оригінальний оракул, використаний Дехтяром, є менш потужним (і простішим): про релятивізацію детермінованих та недетермінованих класів складності в Proc. Математичні основи CS 1977 ... але у мене немає його документа.

— Марціо Де Біасі
джерело

Дякую. Точна назва статті «Дехтяр» - Про релятивізацію детермінованих та недетермінованих класів складності.

— Людовик Патей