Beste aktuelle Raumuntergrenze für SAT?


22

Im Anschluss an eine vorherige Frage ,

was sind die besten aktuellen Raum untere Schranken für SAT?

Mit einer Leerzeichenuntergrenze meine ich hier die Anzahl der von einer Turing-Maschine verwendeten Arbeitsbandzellen, die ein binäres Arbeitsbandalphabet verwendet. Ein konstanter additiver Term ist unvermeidlich, da ein TM interne Zustände verwenden kann, um eine feste Anzahl von Arbeitsbandzellen zu simulieren. Ich bin jedoch daran interessiert, die häufig implizit belassene multiplikative Konstante zu steuern: Der übliche Aufbau erlaubt eine willkürliche Komprimierung von Konstanten über größere Alphabete, so dass die multiplikative Konstante dort nicht relevant ist, aber mit einem festen Alphabet sollte es möglich sein, dies zu berücksichtigen.

Zum Beispiel benötigt SAT mehr als loglogn+c Speicherplatz; andernfalls würde diese Raumobergrenze durch Simulation zu einer Zeitobergrenze von n1+o(1) , und dadurch würde die kombinierte Raum-Zeit-Untergrenze für SAT von n1.801+o(1) verletzt (siehe die Verknüpfung) Frage). Es scheint auch möglich zu sein, dieses Argument zu verbessern, um zu argumentieren, dass SAT mindestens δlogn+c Platz für ein kleines positives δ , das 0.801/C, wobei C der konstante Exponent bei der Simulation eines raumbegrenzten TM durch ein zeitbegrenztes TM ist.

Leider ist C in der Regel recht groß (und in der üblichen Simulation, bei der die Bänder eines TM zunächst über ein größeres Alphabet auf einem einzigen Band codiert werden, mindestens 2). Solche Schranken mit δ1 sind eher schwach, und ich wäre besonders an einer Raumuntergrenze von interessiert logn+c. Ein unbedingter Zeit gebunden unteren Ω(nd) Schritte, für einige groß genug , um konstante d>1 , würde bedeuten , einen solchen Raum niedriger durch Simulation gebunden. Zeituntergrenzen von Ω(nd) für d>1 sind derzeit nicht bekannt, geschweige denn für großed .

Anders ausgedrückt, ich suche nach etwas, das eine Folge der Untergrenzen der superlinearen Zeit für SAT ist, das aber möglicherweise direkter erhalten werden kann.


Wie in dieser anderen Antwort (z. B. von RW) scheint die getrennte Fokussierung auf untere Zeit- oder Raumgrenzen unerreichbar zu sein und nur schwache / generische bekannte Grenzen zu haben, und die führende Forschung auf diesem Gebiet scheint ein relativ neueres Konzept hervorzubringen von kombinierter Zeit-Raum-Komplexität.
VZN

Antworten:


3

Es sieht so aus, als ob die bekannteste Bindung (für Multitape-Turing-Maschinen) logarithmisch ist.

Angenommen Bits binärer worktape genug ist , um zu entscheiden , ob ein n -Bit - CNF Formel erfüllbar ist, für alle groß genug n . Durch die Standard - Simulation, ein TM mit q besagt , dass Verwendungen höchstens n Bits von Raum kann durch ein TM simuliert werden, die höchstens hat q n s 2 s = 2 s + log n + log s + log qδlognnnqsqns2s=2s+logn+logs+logqverschiedene Konfigurationen. Wann immer die Maschine akzeptiert, gibt es eine Folge von (nicht deterministischen) Bewegungen, die einen Akzeptanzzustand erreichen, der höchstens so lang ist wie diese Anzahl von Konfigurationen. Wenn , beträgt dies höchstens 2 s ( 2 + o ( 1 ) ) (beachte, dass q für alle Eingangslängen n gleich bleibt ). Auf einem separaten Zählband ist Ms=Ω(logn)2s(2+o(1))qnMkann diese Menge zuerst unär schreiben, dann bei jedem Schritt der Simulation eines der Symbole des Zählers löschen und die Berechnung beenden, falls ihm jemals die Zählersymbole ausgehen. Dies erzeugt einen konstanten Overhead-Faktor (etwa 3), der vom Term im Exponenten absorbiert wird . Daher sind 2 s ( 2 + o ( 1 ) ) Schritte ausreichend.o(1)2s(2+o(1))

Unter der Annahme ist das Zeit-Raum-Produkt also höchstens δ log n 2 δ log n ( 2 + o ( 1 ) ) = n δ ( 2 + o ( 1 ) ) .sδlognδlogn2δlogn(2+o(1))=nδ(2+o(1))

Rahul Santhanam zeigte im Jahr 2001 (siehe doi: 10.1016 / S0020-0190 (00) 00227-1 ), dass das Raum-Zeit-Produkt für eine Turing-Maschine, die SAT entscheidet, mindestens ; sein Argument gilt auch für nichtdeterministische Maschinen. Daher werden δ 1 und mindestens log n Bits des binären Arbeitsbands benötigt.Ω(n2o(1))δ1logn

Im Allgemeinen ändern zusätzliche Arbeitsbänder und ein größeres Arbeitsbandalphabet den Exponenten um einen konstanten Faktor. Dies reduziert letztendlich den Faktor , aber die untere Raumgrenze ist immer noch Ω ( log n ) .δΩ(logn)


2

Vielleicht können wir auf diese Weise eine untere Grenze des -Bereichs für SAT nachweisen (aber ich bin mit der Grenzwert- / asymptotischen Analyse nicht sicher, daher kann meine Antwort völlig falsch sein).logn

Auf einem Turing-Maschinenmodell mit einem schreibgeschützten Eingabeband und einem Arbeitsband, beide über dem binären Alphabet , haben wir für jeden Entscheider mit c- Zuständen bei einer Eingabe der Größe n Folgendes:Σ={0,1}cn

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

Andernfalls wird die Turing-Maschine eine Endlosschleife ausführen (die -Komponente repräsentiert alle möglichen Bandkonfigurationen, die n- Komponente repräsentiert die Eingabebandkopfpositionen, während die S ( n ) -Komponente die Arbeitsbandkopfpositionen repräsentiert). Auf einem Ein-Band-Einzelkopf TM über dem binären Alphabet (1) wird T ( n ) c 2 S ( n ) S ( n ) .2S(n)nS(n)T(n)c2S(n)S(n)

Multipliziert man beide Terme mit und wendet den allgemeinen Raum-Zeit-Kompromiss für SAT an, so erhält man:S(n)

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

Die Auswahl einer Leerraumobergrenze wie für SAT würde in der Tat zu einem Widerspruch führenS(n)(logn)1ϵ

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

limn(0.801lognlogc2(1ϵ)log(logn)(logn)1ϵ)=

Es scheint mindestens zwei allgemeine Wege zu geben, um zu zeigen, dass eine -Obergrenze zu einem Widerspruch führt. In erster Linie dachte ich daran, die (im Wesentlichen identische, aber etwas leichter zu bearbeitende) Ungleichung T ( n ) 2 log n + C zu verwenden . S ( n ) für eine Konstante C . Der letzte Schritt, den Sie vorsehen, kann auch verstärkt werden, da sich ein Widerspruch auch aus S ( n ) δ log n für δ < 0,801 / ergibt .o(logn)T(n)2logn+C.S(n)CS(n)δlogn . δ<0.801/C
András Salamon

@ AndrásSalamon: auf der Seite gebunden ist , kann man nicht einfach Verbesserungen erwartet: von S. Buss und R. Williams. Grenzen für Wechselhandelsnachweise für Zeit-Raum-Untergrenzen, 2012: "Wir zeigen, dass neue Techniken nachweislich notwendig sind, um bessere Zeit-Raum-Untergrenzen für das Erfüllbarkeitsproblem zu beweisen. Das heißt, die Methode des" Wechselhandels " Proofs“verwendet , um festzustellen , dass SAT kann nicht gelöst werden , in N 2 cos ( π / 7 ) Zeit und n o ( 1 ) Raum belegen kann keine n 2 cos ( π / 7 ) +STn2cos(π/7)no(1) Zeit Untergrenze, für jeden ϵ > 0 ". Haben Sie eine Idee :-)?n2cos(π/7)+ϵϵ>0
Marzio De Biasi

Ich denke, das ist ungefähr so ​​weit, wie man die Raum-Zeit-Grenzen nutzen kann, gerade weil Ryans Ansatz so weit ist, wie diese Grenzen gehen.
András Salamon

To even store a SAT instance you need Ω(n) and read it you need Ω(n) time. Doesn't this prove Ω(n2) ST lower bound?
T....

@Turbo, it is not clear that every algorithm to decide SAT has to store the instance: proving an Ω(n) bit deterministic space lower bound would show LNP.
András Salamon
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.