Preguntas etiquetadas con cc.complexity-theory

9
Literatura sobre NP vs EXPTIME

Incluso si no es un punto crucial, no veo ninguna literatura sobre esta cuestión. ¿Hay resultados de relativización? ¿No sería bastante sencillo demostrar una inclusión estricta adaptando el teorema de la jerarquía de tiempo no determinista explorando todos los caminos posibles de la máquina...