Littérature autour de NP vs EXPTIME


9

Même si ce n'est pas un point crucial, je ne vois aucune littérature autour de cette question. Y a-t-il des résultats de relativisation?

Ne serait-il pas assez simple de prouver une inclusion stricte en adaptant le théorème de la hiérarchie temporelle non déterministe en explorant tous les chemins possibles de la machine NP?


2
Il est facile de prouver une séparation oracle entre NP et EXP. Il existe un théorème de hiérarchie temporelle non déterministe qui nous dit que NP est strictement contenu dans NEXP. Je ne vois pas comment il pourrait être adapté à NP vs EXP.
Robin Kothari

2
@Robin Oui, bien sûr, un oracle tel que implique que N P AE X P A . Mais comme je ne trouve pas d'oracle tel que N P B = E X P B , alors s'il n'y en a pas, une preuve de N P E X P pourrait être relativisante. NPUNEPSPUNECEUNENPUNEEXPUNENPB=EXPBNPEXP
Ludovic Patey

3
Le Complexity Zoo ( qwiki.stanford.edu/index.php/Complexity_Zoo ) dit: ... Il existe des oracles par rapport auxquels [Hel84a], [Hel84b], [Kur85], [ Hel86], .... Voir par exemple Deux oracles qui forcent un gros resserrement ( people.cs.uchicago.edu/~fortnow/papers/nexp.ps )EXP=NP=ZPP
Marzio De Biasi

@Vor, @Robin, je pense que ce devraient être des réponses
Suresh Venkat

Réponses:


10

Le Complexity Zoo dit:

... Il existe des oracles par rapport auxquels [Hel84a], [Hel84b], [Kur85], [Hel86], ....EXP=NP=ZPP

Voir par exemple Deux oracles qui forcent un gros crunch .

L'oracle original utilisé par Dekhtyar est peut-être moins puissant (et plus simple): sur la relativisation des classes de complexité déterministes et non déterministes dans Proc. Fondements mathématiques de CS 1977 ... mais je n'ai pas son papier.


Je vous remercie. Le nom exact de l'article de Dekhtyar est Sur la relativisation des classes de complexité déterministes et non déterministes.
Ludovic Patey
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.