Consequências de provas / algoritmos subexponenciais para SAT

14

Haveria grandes consequências se o SAT tivesse no máximo provas subexponenciais de insat ou ainda mais fortemente, o SAT tivesse algoritmos de tempo subexponencial?

Optar
fonte
4
Isso refutaria a hipótese do tempo exponencial que tem várias consequências (abordadas no artigo da Wikipedia).
Artem Kaznatcheev
1
@ArtemKaznatcheev comentário -> resposta?
Suresh Venkat
1
O @SureshVenkat parece meio estranho dar uma resposta quando Ryan Williams pode oferecer uma resposta muito melhor. Eu dei um por enquanto, mas espero que Ryan e outros participem com algo mais legal.
Artem Kaznatcheev
7
Se a resposta for correta, não importa que lhe dá :)
Suresh Venkat
7
Desculpe Artem, minha resposta não seria muito mais legal que a sua ... Acho que uma coisa a acrescentar seria que o ETH é falso implica em novos limites inferiores do circuito superlinear (mesmo documento).
Ryan Williams

Respostas:

21

Se o SAT tivesse um algoritmo de tempo subexponencial, você contestaria a hipótese de tempo exponencial .

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

Artem Kaznatcheev
fonte
10
Penso que o primeiro parágrafo da sua resposta é apenas a definição da hipótese do tempo exponencial.
Tsuyoshi Ito