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?
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?
Respostas:
Se o SAT tivesse um algoritmo de tempo subexponencial, você contestaria a hipótese de tempo exponencial .
fonte