¿


10

¿ implica E = N E ?EXP=NEXPE=NE


3
Sí, E = NE implica EXP = NEXP que se puede probar usando el argumento de relleno.
Mohammad Al-Turkistany

11
No es obvio para mí por qué EXP = NEXP implica E = NE. Si eso fuera cierto, entonces cualquier algoritmo time para Succinct3SAT se puede convertir en un algoritmo 2 O ( n ) -time para Succinct3SAT. ¿Quizás invirtió las cosas y quiso preguntar sobre la otra implicación? 2nk2O(n)
Ryan Williams

2
¡Y luego P = NP si P = 0 o N = 1!
Daniel Apon

1
Si. Supongo que es un problema de tarea.
Mohammad Al-Turkistany

66
No entiendo el cierre de esta pregunta como "no es una pregunta real" después de haber sido editada como una pregunta razonable (aunque el texto de la pregunta no es interesante). Por ejemplo, el comentario de Ryan Williams puede ser una respuesta.
Tsuyoshi Ito

Respuestas:


19

Esto está abierto, que yo sepa. Podría ser demostrable (porque su hipótesis puede ser falsa) o puede ser difícil demostrar que cualquier algoritmo de time para Succinct3SAT puede convertirse en un algoritmo de 2 O ( n ) -time para Succinct3SAT.2nk2O(n)

En general, los teoremas de este tipo se denominan "colapsos descendentes" que dicen que si dos clases "grandes" son iguales, entonces dos clases "más pequeñas" son iguales. Estos teoremas son raros. Por lo general, puede probar un "colapso hacia arriba" (clases pequeñas iguales implica clases más grandes iguales, como implica N E X P = E X P ) o su contraposición, una "separación hacia abajo".P=NPNEXP=EXP

Algo similar a lo que quieres es el teorema de Hartmanis, Immerman y Sewelson ( http://dl.acm.org/citation.cfm?id=808769 ) que NE=E cada conjunto escasa en está contenido en P . Esto da un "colapso hacia abajo", pero sólo para los conjuntos de Disperso (aquellos conjuntos que contienen sólo p o l y ( n ) cadenas de longitud n ).NPPpoly(n)n

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.