Angenommen, wir betrachten 3-SAT mit Variablen und Klauseln. Ich erforsche eine Methode, die anscheinend Zeit / Raum benötigt, um ein SAT-Problem zu lösen, das dieser Beschreibung entspricht, und zwar innerhalb eines Fehlers, der auf einen beliebigen Betrag eingestellt werden kann. Es gibt jedoch einen Haken.
Dieses Verfahren erfordert einen Satz vorberechneter Werte, wonach ein beliebiges 3-SAT-Problem gelöst werden kann, das der obigen Beschreibung entspricht. Die vorberechneten Werte sind eine Menge der Größe wobei jeder Wert Platz einnimmt . Das eigentliche Problem besteht darin, dass die Berechnung jedes dieser Werte dauern kann . Es besteht die Möglichkeit, dass ich einen Weg finde, diese Berechnungen zu beschleunigen.
Ich denke, dass die Grenzen selbst die in dieser Frage dargestellten oberen Grenzen überschreiten (für kleines ). Ich frage mich also, ob es einen trivialen Weg gibt, die von mir beschriebenen Obergrenzen zu erreichen, wenn wir -Vorberechnungen zulassen.
Ich möchte diese Forschung fortsetzen und hoffentlich meine Ergebnisse veröffentlichen, wenn alles klappt, aber zuerst möchte ich wissen, ob es einen trivialen Weg gibt, dies auch oder besser zu tun.
AKTUALISIEREN
Ich habe verwandte Probleme untersucht und diesen Algorithmus untersucht. Ich habe diese Frage auf der IT-Sicherheitsseite von StackExchange in Bezug auf das Knacken von Passwörtern und SAT gestellt, wenn Sie interessiert sind. Mindestens eine der Antworten spiegelt dies wider.