Quelles sont les meilleures limites inférieures actuelles sur 3SAT?


Réponses:


43

Pour autant que je sache, la limite inférieure de temps "indépendante du modèle" la plus connue pour SAT est la suivante. Soit et S la limite d'espace et de temps d'exécution de tout algorithme SAT. Alors nous devons avoir T S n 2 cos ( π / 7 ) - o ( 1 ) infiniment souvent. Remarque 2 cos ( π / 7 ) 1,801 . (Le résultat cité par Suresh est un peu obsolète.) Ce résultat a été publié dans STACS 2010, mais il s’agit d’un résumé étendu d’un article beaucoup plus long, que vous pouvez obtenir ici:TSTSn2cos(π/7)o(1)2cos(π/7)1.801http://www.cs.cmu.edu/~ryanw/automated-lbs.pdf

Bien entendu, le travail ci-dessus s'appuie sur de nombreux travaux antérieurs, mentionnés dans le blog de Lipton (voir la réponse de Suresh). En outre, lorsque la limite d'espace S se rapproche de n, la limite inférieure de temps T se rapproche également de n. Vous pouvez prouver un meilleur "compromis temps-espace" dans ce régime; voir l’enquête de 2008 de Dieter van Melkebeek sur les limites inférieures de la SAT dans l’espace-temps.

Si vous vous limitez aux machines multi-bandes de Turing, vous pouvez prouver indéfiniment. Cela a été prouvé par Rahul Santhanam et découle d'une limite inférieure similaire connue pour PALINDROMES dans ce modèle. Nous pensons que vous devriez être en mesure de prouver une limite inférieure quadratique "indépendante du modèle", mais qui a été difficile à atteindre depuis un certain temps.TSn2o(1)

Pour les circuits non uniformes avec fan-in borné, je ne connais aucune limite inférieure de profondeur meilleure que .logn



2
TSn2cos(π/7)+o(1)

2
TSTS=Ω(n2o(1))

2
@ Warren, pas tout à fait, autant que je sache. Les limites inférieures, telles que Yao, concernent le modèle de programme de branchement basé sur la comparaison , qui est loin d'être aussi expressif qu'un ordinateur à accès aléatoire à usage général. On pourrait imaginer résoudre la distinction des éléments sans aucune comparaison directe entre les éléments.
Ryan Williams

1
@Turbo, la meilleure limite inférieure pour 3sat avec des clauses linéairement nombreuses est identique à celle que j’ai écrite, car la réduction de sat à 3sat est extrêmement locale. La lecture de la littérature sur le sujet le montrera également.
Ryan Williams



4

Ma compréhension est la même que Lev Reyzin. Il est possible qu'il existe un algorithme complet déterministe pour SAT qui s'exécute dans l'espace O (n) et dans le temps O (n). Il est étonnant que l’existence d’un algorithme aussi efficace ne soit pas interdite.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.