Meilleur espace actuel limite inférieure pour SAT?

22

Suite à une question précédente ,

quelles sont les meilleures limites inférieures de l' espace actuel pour SAT?

Avec une borne inférieure d'espace, je veux dire ici le nombre de cellules de bande de travail utilisées par une machine Turing qui utilise un alphabet binaire de bande de travail. Un terme additif constant est inévitable, car une MT peut utiliser des états internes pour simuler un nombre fixe de cellules de bande de travail. Cependant, je suis intéressé à contrôler la constante multiplicative qui est souvent laissée implicite: la configuration habituelle permet une compression constante arbitraire via des alphabets plus grands donc la constante multiplicative n'y est pas pertinente, mais avec un alphabet fixe, il devrait être possible de la prendre en compte.

Par exemple, SAT nécessite plus que l' espace loglogn+c ; sinon, cette limite supérieure d'espace conduirait à une limite supérieure de temps de n1+o(1) par simulation, et ainsi la limite inférieure combinée de n1.801+o(1) espace-temps pour SAT serait violée (voir le lien question). Il semble également possible d'améliorer cet argument pour faire valoir que SAT nécessite au moins δlogn+c espace pour un petit positif δqui est quelque chose comme 0.801/C, où C est l'exposant constant dans la simulation d'une MT limitée dans l'espace par une TM limitée dans le temps.

Malheureusement, C est généralement assez volumineux (et certainement au moins 2 dans la simulation habituelle, où les bandes d'une MT sont d'abord encodées sur une seule bande via un alphabet plus grand). De telles bornes avec δ1 sont plutôt faibles, et je serais particulièrement intéressé par une borne inférieure d'espace de logn+c . Une limite inférieure de temps inconditionnelle de Ω(nd) pas, pour une constante suffisamment grande d>1, impliquerait un tel espace inférieur par simulation. Cependant, les bornes inférieures de temps de Ω(nd) pour ne sont pas connus actuellement, et encore moins pour les grands d .d>1d

Autrement dit, je recherche quelque chose qui serait une conséquence des bornes inférieures du temps super-linéaire pour SAT, mais qui pourrait être possible d'obtenir plus directement.

András Salamon
la source
comme dans cette autre réponse (par exemple par RW), se concentrer séparément sur le temps ou l'espace semble être hors de portée et n'a que des limites connues faibles / génériques, et les recherches de pointe dans le domaine semblent donner naissance à un concept relativement nouveau de complexité spatio-temporelle combinée.
vzn

Réponses:

3

Il semble que la meilleure limite connue (pour les machines de Turing multitape) soit logarithmique.

Supposons que bits de bande de travail binaire est suffisant pour décider si une formule CNF à n bits est satisfaisable, pour tout n suffisamment grand . Par la simulation standard, une MT avec q états qui utilise au plus s bits d'espace peut être simulée par une TM qui a au plus q n s configurations différentes. Chaque fois que la machine accepte, il y a une séquence de mouvements (non déterministes) atteignant un état d'acceptation qui est au maximum aussi long que ce nombre de configurations. Lorsque s = Ω ( log n ) , c'est au plus 2 (δlognnnqsqns2s=2s+logn+logs+logqs=Ω(logn) (notez queqreste le même pour toutes les longueurs d'entréen). Sur une contre-bande séparée,M2s(2+o(1))qnMpeut d'abord écrire cette quantité en unaire, puis à chaque étape de la simulation effacer l'un des symboles du compteur, et terminer le calcul si jamais il manque de symboles de compteur. Cela crée un facteur de surcharge constant (quelque chose comme 3), qui est absorbé par le terme dans l'exposant. Donc 2 s ( 2 + o ( 1 ) ) pas suffisent.o(1)2s(2+o(1))

Par hypothèse , donc le produit spatio-temporel est au plus δ log n 2 δ log n ( 2 + o ( 1 )sδlogn .δlogn2δlogn(2+o(1))=nδ(2+o(1))

Rahul Santhanam a montré en 2001 (voir doi: 10.1016 / S0020-0190 (00) 00227-1 ) que le produit spatio-temporel pour une machine de Turing décidant SAT doit être au moins ; son argument s'applique également aux machines non déterministes. D'oùδ1, et au moinslognbits de bande de travail binaire sont nécessaires.Ω(n2o(1))δ1logn

Plus généralement, des bandes de travail supplémentaires et un alphabet de bande de travail plus grand modifient l'exposant d'un facteur constant. Cela réduit finalement le facteur , mais la borne inférieure de l'espace est toujours Ω ( log n ) .δΩ(logn)

András Salamon
la source
2

Peut-être pouvons-nous prouver un espace inférieur pour SAT de cette manière (mais je ne suis pas confiant avec l'analyse limite / asymptotique, donc ma réponse peut être totalement fausse).logn

Sur un modèle de machine Turing avec une bande d'entrée en lecture seule et une bande de travail, toutes deux sur alphabet binaire , pour chaque décideur avec des états c sur une entrée de taille n, nous avons ceci:Σ={0,1}cn

T(n)c2S(n)nS(n)(1)

sinon, la machine Turing bouclera pour toujours (le composant représente toutes les configurations de bande possibles, le composant n représente les positions de tête de bande d'entrée, tandis que le composant S ( n ) représente les positions de tête de bande de travail). Sur une seule bande, une seule tête TM sur l'alphabet binaire (1) devient T ( n ) c 2 S ( n ) S2S(n)nS(n) .T(n)c2S(n)S(n)

Multipliant les deux termes par et en appliquant le compromis espace-temps général pour SAT, nous obtenons:S(n)

n1.801+o(1)S(n)T(n)cS(n)22S(n)n

Donc, choisir une borne supérieure d'espace comme S(n)(logn)1ϵ pour SAT conduirait à une contradiction, en effet

limnn1.801c((logn)1ϵ)22(logn)1ϵn=

limn(0.801lognlogc2(1ϵ)log(logn)(logn)1ϵ)=
Marzio De Biasi
la source
Il semble y avoir au moins deux façons générales de montrer qu'une limite supérieure conduit à une contradiction. Principalement j'avais à l' esprit en utilisant la (essentiellement identique, mais un peu plus facile de travailler avec) l' inégalité T ( n ) 2 log n + C . S ( n ) pour une constante C . La dernière étape que vous fournissez peut également être renforcée, car une contradiction découle même de S ( n ) δ log n pour δ < 0,801 /o(logn)T(n)2logn+C.S(n)CS(n)δlogn . δ<0.801/C
András Salamon
@ AndrásSalamon: du côté lié , vous ne pouvez pas vous attendre à des améliorations faciles: de S. Buss et R. Williams. Limits on Alternation-Trading Proofs for Time-Space Lower Bounds, 2012: "Nous montrons que de nouvelles techniques sont prouvées nécessaires pour prouver de meilleures limites inférieures d'espace-temps pour le problème de satisfiabilité. C'est-à-dire la méthode de" l'alternance-trading preuves "utilisées pour établir que SAT ne peut pas être résolu en n 2 cos ( π / 7 ) temps et n o ( 1 ) espace ne peut pas prouver un n 2 cos ( π / 7STn2cos(π/7)no(1) limite inférieure de temps, pour chaque ϵ > 0 ". Avez-vous une idée :-)?n2cos(π/7)+ϵϵ>0
Marzio De Biasi
Je pense que c'est à peu près aussi loin que l'on peut utiliser les limites de l'espace-temps, précisément parce que l'approche de Ryan va aussi loin que ces limites.
András Salamon
Pour même stocker une instance SAT, vous avez besoin de et la lire, vous avez besoin de temps Ω ( n ) . Cela ne prouve-t-il pas la borne inférieure de Ω ( n 2 ) ST? Ω(n)Ω(n)Ω(n2)
T ....
@Turbo, il est clair que chaque algorithme pour décider SAT doit stocker l'instance: prouver un bit espace déterministe borne inférieure montrerait LN P . Ω(n)LNP
András Salamon