Diese Frage befindet sich wahrscheinlich an der Grenze zwischen "on-topic" und "off-topic". Allerdings habe ich hier ähnliche Fragen gesehen, daher werde ich sie stellen. Ich implementiere einen eindeutigen kkk SAT-Löser, dessen Eingabe eine kkk CNF-Formel mit höchstens 111 befriedigender Zuordnung...
SAT-Löser bieten eine leistungsstarke Möglichkeit, die Gültigkeit einer Booleschen Formel mit einem Quantifizierer zu überprüfen. Zum Beispiel, um die Gültigkeit von zu überprüfen . φ ( x ) können wir einen SAT-Löser verwenden, um zu bestimmen, ob φ ( x ) erfüllt werden kann. Überprüfung der...
Wenn , dann gibt es einen logspace Algorithmus , dass löst die Entscheidungsversion von 2-SAT ausgestattet .L = N LL=NL\mathsf{L = NL} Ist bekannt, dass impliziert, dass es einen Logspace-Algorithmus gibt, um eine zufriedenstellende Zuweisung zu erhalten , wenn eine zufriedenstellende 2-SAT-Instanz...
Diese Frage hängt eng mit einem anderen Beitrag zusammen: Phasenübergänge bei schwierigen NP-Problemen, aber es ist etwas anders. Während die Frage nach der Härte von bestimmten Instanzen von NP schwer Problemen ist, geht es um Ranking die Schwierigkeit der gleichen Instanzen. Es gibt eine Menge...
Ich habe im Internet nachgeschlagen, aber ich konnte keine "große Liste" von Varianten des SAT-Problems finden. Abgesehen von den (gemeinsamen) SAT, k-SAT, MAX-kSAT, Halb-SAT, XOR-SAT, NAE-SAT Welche weiteren Varianten gibt es? (Auch ist es sehr nützlich, wenn dort Komplexitätsklassen angegeben...
Gibt es größere Konsequenzen, wenn SAT höchstens subexponentielle Beweise für unsat hätte oder noch stärker, wenn SAT Algorithmen für subexponentielle Zeit
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,...
Das kritische Verhältnis von Klauseln zu Variablen für zufälliges 3-SAT ist mehr als 3 und weniger als 6 und scheint allgemein als "um 4,2" oder "um 4,25" beschrieben zu werden. Mezard, Parisi und Zecchina beweisen (im physikalischen Sinne), dass das kritische Verhältnis 4,256 beträgt, während der...
Das Problem #SAT ist das kanonische # P-vollständige Problem. Es ist eher ein Funktionsproblem als ein Entscheidungsproblem. Sie fragt mit einer Booleschen Formel in der Aussagenlogik, wie viele befriedigende Zuordnungen hat. Welches sind die besten Untergrenzen für
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 ,...
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)...
In der Bundeswettberweb Infomatik 2010/2011 gab es ein interessantes Problem: Finden Sie für festes ein Minimum k und eine Abbildung φ : { ( i , j ) | i ≤ j ≤ n } → { 1 , … , k } , so dass es kein Tripel ( i , j ) , ( i + l , j ) , ( i + l , j + l ) mit φ ( i gibtnnnkkkφ : { ( i , j ) | i ≤ j...
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...
Eine Monotone-2CNF-Formel ist eine CNF- Formel, bei der jeder Satz aus genau 2 positiven Literalen besteht. Jetzt habe ich eine Monotone-2CNF Formel . Sei die Menge von befriedigenden Zuordnungen. Ich habe auch ein Orakel , das folgende Informationen liefern kann:FFFSSSFFFOOO Die Kardinalität der...
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...
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...
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...
Es gibt 4 verschiedene Einschränkungen, die wir bei der Definition von Random K-SAT haben können. 1) Die Gesamtzahl der Literale in einer gegebenen Klausel ist genau K oder höchstens K 2) Ein gegebenes Literal kann mit oder ohne Ersetzung in derselben Klausel verwendet werden (A oder A oder A) 3)...
Ich frage mich insbesondere, ob es eine interessante Bedingung für den Prozentsatz der Aufgaben gibt, die eine 3SAT-Formel erfüllen, um sicherzustellen, dass solche Probleme behoben werden können. Nehmen wir zum Beispiel die Klasse der 3SAT-Probleme an, dass der möglichen Zuordnungen die Boolesche...
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...