Modelo Computacional em SETH


11

Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi introduziram a Hipótese de tempo exponencial (ETH) e a Hipótese de tempo fortemente exponencial (SETH). Grosso modo, o SETH diz que não há algoritmo que resolva o SAT no tempo . 1.99n

Eu queria saber o que isso significaria para quebrar SETH. Definitivamente, precisamos encontrar um algoritmo que resolva o SAT em menos de etapas, mas não entendo bem qual modelo computacional devemos usar. Até onde eu sei, os resultados baseados no SETH (veja, por exemplo, Cygan, Dell, Lokshtanov, Marx, Nederlof, Okamoto, Paturi, Saurabh, Wahlstrom ) não precisam fazer suposições sobre o modelo subjacente de computação.2n

Suponha, por exemplo, que encontramos um algoritmo que resolve SAT no tempo usando o espaço 1,5 n . Isso implica automaticamente que podemos encontrar uma máquina de Turing que resolva esse problema no tempo 1,99 n ? Isso quebra SETH?1.5n1.5n1.99n

Respostas:


18

δ<1kk2δnO(logN)N

2δn2δnpoly(n)ser eficientemente simulado com máquinas de Turing multitape). Observe que muitas primitivas computacionais (como classificação, avaliação de circuitos, programação dinâmica simples) podem ser implementadas eficientemente em máquinas Turing multitape. Uma referência relevante para essas questões é Regan, "Sobre a diferença entre o tempo da máquina de Turing e o tempo da máquina de acesso aleatório".

Para resolver suas perguntas específicas: não, uma máquina de Turing multitape não é automaticamente implícita aqui, mas sim, esse "algoritmo" para SAT (no modelo de acesso aleatório usual) quebraria SETH.


3
δ=1

2
Nem tanto. Eu consertei os quantificadores.
Ryan Williams

E os computadores quânticos nesse contexto? Não há conseqüências do algoritmo de Grover neste contexto? Existe algum trabalho em assumir um análogo quântico da ETH?
Martin Schwarz

2n/2

Claro, mas essa aceleração melhor que a clássica e o "quatum SETH" já têm implicações em algum outro lugar da teoria da complexidade? Apenas me perguntando.
Martin Schwarz
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.