Consecuencias de las pruebas / algoritmos sub-exponenciales para SAT

14

¿Habría alguna consecuencia importante si SAT tuviera a lo sumo pruebas subexponenciales no firmes o, aún más fuerte, SAT tuviera algoritmos de tiempo subexponencial?

Optar
fuente
44
Sería refutar la hipótesis del tiempo exponencial que tiene varias consecuencias (cubiertas en el artículo de Wikipedia).
Artem Kaznatcheev
1
@ArtemKaznatcheev comentario -> respuesta?
Suresh Venkat
1
@SureshVenkat se siente un poco incómodo al dar una respuesta cuando Ryan Williams puede proporcionar una respuesta mucho mejor. Le di uno por ahora, pero espero que Ryan y otros contribuyan con algo más genial.
Artem Kaznatcheev
77
Si la respuesta es correcta, no importa quién la dé :)
Suresh Venkat
77
Lo siento, Artem, mi respuesta no sería mucho mejor que la tuya ... Supongo que una cosa para agregar sería que ETH es falso implica nuevos límites inferiores del circuito superlineal (mismo documento).
Ryan Williams, el

Respuestas:

21

Si SAT tuviera un algoritmo de tiempo subexponencial, usted refutaría la hipótesis del tiempo exponencial .

npoly(n)2npoly(n)NEXPP/poly

Artem Kaznatcheev
fuente
10
Creo que el primer párrafo de su respuesta es solo la definición de la hipótesis del tiempo exponencial.
Tsuyoshi Ito