Als «sat» getaggte Fragen

SAT steht für das Boolesche Erfüllbarkeitsproblem.

2
Was ist die Komplexität von Median-SAT?
Sei eine CNF-Formel mit Variablen und Sätzen. Es sei eine Variablenzuordnung und die Anzahl von Klauseln, die durch eine Variablenzuordnung zu erfüllt sind. . Definieren Sie dann Median-SAT als das Problem der Berechnung des Medianwerts von über alle . Wenn beispielsweise eine Tautologie ist, lautet die Lösung für Median-SAT da …
2
Zählung der Anzahl zufriedenstellender Aufträge in einem POSITIVEN CNF-SAT
Wir kennen das Problem, die Anzahl der erfüllenden Zuordnungen in einer gegebenen allgemeinen Booleschen Formel (CNF-SAT), einer gegebenen DNF-Formel oder sogar einer gegebenen 2SAT-Formel zu zählen, als ein # P-vollständiges Problem. Betrachten Sie nun ein CNF-SAT ohne negatives Literal (no , immer ). Das Entscheidungsproblem ist sehr einfach (setzen Sie …
1
Wie hat sich herausgestellt, dass die MA-Version von SETH falsch ist?
Nach diesem Aufsatz , der eine nichtdeterministische Erweiterung der Artikel Strong Exponential Time Hypothesis (SETH) diskutiert, heißt es: "[…] Williams hat kürzlich gezeigt, dass verwandte Hypothesen zur Merlin-Arthur-Komplexität von k-TAUT falsch sind." Dieses Papier zitiert jedoch nur eine persönliche Mitteilung. Wie hat sich herausgestellt, dass die MA-Version von SETH falsch …
1
Eine 3-CNF-Formel, die die Auflösungsbreite
Es sei daran erinnert, dass die Breite einer Auflösungs-Widerlegung einer CNF-Formel die maximale Anzahl von Literalen in einer Klausel ist, die in . Für jedes gibt es nicht erfüllbare Formeln in 3-CNF. Jede Auflösungs-Widerlegung von erfordert eine Breite von mindestens .RRRFFFRRRwwwFFFFFFwww Ich brauche ein konkretes Beispiel für eine unbefriedigende Formel …
2
Übersicht über Transformationen im Zusammenhang mit der Verwendung von SAT-Lösern
Ich beginne, die Möglichkeit zu untersuchen, mich auf einen SAT-Löser zu verlassen, um ein Optimierungsproblem zu lösen, an dem ich interessiert bin, und suche derzeit nach einer Umfrage, die Beispiele für "clevere" Transformationen in Varianten von SAT (dh Transformationen, die resultieren) enthält in einem Problem von vernünftiger Größe, da ich …
2
Ist SAT eine kontextfreie Sprache?
Ich bin die Sprache aller erfüllbar Propositionslogik Formeln unter Berücksichtigung, SAT (um sicherzustellen , dass dies eine endliche Alphabet hat, würden wir propositionaler Buchstaben in geeigneter Weise kodieren [edit: die Antworten darauf hingewiesen , dass die Antwort auf die Frage nicht robust unter sein kann Da die Kodierungen variieren, muss …
3
Eigenschaften, die in 2-CNF oder 2-SAT ausgedrückt werden können
Wie zeigt man, dass eine bestimmte Eigenschaft nicht in 2-CNF (2-SAT) ausgedrückt werden kann? Gibt es irgendwelche Spiele, wie zum Beispiel Kieselspiele? Das klassische Schwarzkieselspiel und das Schwarz-Weißkieselspiel scheinen dafür ungeeignet zu sein (laut Hertel und Pitassi, SIAM J of Computing, 2010, sind sie PSPACE-vollständig). Oder andere Techniken als Spiele? …
2
?
Ist es möglich , dass ? Gibt es interessante Konsequenzen einer solchen Eindämmung? Würde es der Exponential Time Hypothese widersprechen?SA T¯¯¯¯¯¯¯¯¯¯∈ NTichME( exp( n0.9) )SEINT¯∈NTichME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))
1
Messung der Zufälligkeit von CNF-Formeln
Es ist allgemein bekannt, dass CNF-Formeln grob in zwei breite Klassen unterteilt werden können: Zufalls- und Strukturformeln. Strukturierte CNF-Formeln weisen im Gegensatz zu zufälligen CNF-Formeln eine bestimmte Reihenfolge auf und zeigen Muster, die wahrscheinlich nicht zufällig auftreten. Man kann jedoch strukturierte Formeln finden, die einen gewissen Grad an Zufälligkeit aufweisen …
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.