Quais são os melhores limites inferiores de corrente para o tempo e a profundidade do circuito para o 3SAT?
fonte
Quais são os melhores limites inferiores de corrente para o tempo e a profundidade do circuito para o 3SAT?
Até onde eu sei, o limite inferior de tempo conhecido como "independente do modelo" para o SAT é o seguinte. Seja e S o tempo de execução e o espaço vinculado a qualquer algoritmo SAT. Então devemos ter T ⋅ S ≥ n 2 cos ( π / 7 ) - o ( 1 ) infinitamente frequentemente. Nota 2 cos ( π / 7 ) ≈ 1.801 . (O resultado que Suresh cita é um pouco obsoleto.) Esse resultado apareceu no STACS 2010, mas é um resumo extenso de um artigo muito mais longo, que você pode obter aqui:http://www.cs.cmu.edu/~ryanw/automated-lbs.pdf
Obviamente, o trabalho acima se baseia em muitos trabalhos anteriores mencionados no blog de Lipton (consulte a resposta de Suresh). Além disso, à medida que o limite do espaço S se aproxima de n, o limite inferior do tempo T também se aproxima de n. Você pode provar uma "troca de espaço-tempo" melhor nesse regime; veja a pesquisa de Dieter van Melkebeek sobre os limites inferiores do espaço de tempo SAT a partir de 2008.
Se você se restringir a máquinas de Turing multitape, poderá provar infinitamente com frequência. Isso foi provado por Rahul Santhanam e segue de um limite inferior semelhante, conhecido pelos PALINDROMES neste modelo. Acreditamos que você deve ser capaz de provar um limite inferior quadrático que é "independente de modelo", mas que é ilusório há algum tempo.
Para circuitos não uniformes com fan-in delimitado, não conheço um limite inferior de profundidade melhor que .
fonte
fonte
Meu entendimento é o mesmo que Lev Reyzin. É possível que exista um algoritmo determinístico completo para SAT que seja executado no espaço O (n) e no tempo O (n). É incrível que a existência de um algoritmo tão eficiente não seja proibida.
fonte