Als «sat» getaggte Fragen

SAT steht für das Boolesche Erfüllbarkeitsproblem.

43
Beste obere Schranken am SAT

In einem anderen Thread fragte Joe Fitzsimons nach "den derzeit besten Untergrenzen für 3SAT". Ich mag den anderen Weg gehen: Was ist die besten aktuellen oberen Schranken für 3SAT? Mit anderen Worten, was ist die zeitliche Komplexität des effizientesten SAT-Lösers? Ist es insbesondere denkbar,...

28
Wie viele Instanzen von 3-SAT sind erfüllbar?

Betrachten Sie das 3-SAT-Problem bei n Variablen. Die Anzahl der möglichen unterschiedlichen Klauseln ist: C= 2 n × 2 ( n - 1 ) × 2 ( n - 2 ) / 3 ! = 4 n ( n - 1 ) ( n - 2 ) / 3 .C=2n×2(n-1)×2(n-2)/3!=4n(n-1)(n-2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Die Zahl der...

27
Welche SAT-Probleme sind einfach?

Was sind "einfache Regionen" für die Erfüllbarkeit? Mit anderen Worten, ausreichende Bedingungen, damit ein SAT-Löser eine zufriedenstellende Zuordnung finden kann, sofern diese vorliegt. Ein Beispiel ist, wenn jede Klausel Variablen mit wenigen anderen Klauseln teilt, aufgrund des konstruktiven...

26
Gibt es subexponentielle Algorithmen für PLANAR SAT?

Einige NP-harte Probleme, die in allgemeinen Graphen exponentiell sind, sind in ebenen Graphen subexponentiell, da die Baumbreite höchstens 4,9 √ beträgt4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|}und sie sind exponentiell in der Baumbreite. Grundsätzlich interessiert mich, ob es subexponentielle...

26
Berechnung von Informationen zu Max-3SAT

Für eine 3CNF Formel lassen in beliebiger Zuordnung zur maximalen Anzahl der Klauseln erfüllt sein . Es ist bekannt, dass Max-3SAT schwer zu approximieren ist (abhängig von P ≠ NP), dh es gibt keinen Polyzeitalgorithmus, dessen Eingabe eine 3CNF-Formel ist und dessen Ausgabe die Zahl so dass...

26
Übersetzen von SAT nach HornSAT

Ist es möglich, eine Boolesche Formel B in eine äquivalente Konjunktion von Horn-Klauseln zu übersetzen? Der Wikipedia-Artikel über HornSAT scheint zu implizieren, dass dies der Fall ist, aber ich konnte keine Referenz aufspüren. Beachten Sie, dass ich nicht "in polynomialer Zeit" meine, sondern...