¿ implica E = N E ?
¿ implica E = N E ?
Respuestas:
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.
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".
Algo similar a lo que quieres es el teorema de Hartmanis, Immerman y Sewelson ( http://dl.acm.org/citation.cfm?id=808769 ) que 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 ).