Ich habe gesehen, wie XOR-3-SAT effizient lösbar ist (siehe zum Beispiel den Abschnitt "XOR-Erfüllbarkeit" im Wikipedia-Eintrag für das Boolesche Erfüllbarkeitsproblem ). Ich frage mich eine grundlegende Frage: Ist XOR-k-SAT für Formeln mit unterschiedlich vielen Literalen pro Klausel effizient...
Ich versuche, dieses Problem zu lösen, und ich kämpfe wirklich. Eine monotone Boolesche Formel ist eine Formel in der Aussagenlogik, in der alle Literale positiv sind. Beispielsweise, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4...
Das Entscheidungsproblem Bei einer Booleschen Formel , tut φ genau eine erfüllende Belegung haben?ϕϕ\phiϕϕ\phi kann gesehen werden, in , U P -hard und c o N P -hard zu sein. Ist etwas mehr über seine Komplexität
Ich frage mich, ob es einen Polynomalgorithmus für "2-SAT mit XOR-Beziehungen" gibt. Sowohl 2-SAT als auch XOR-SAT sind in P, aber ist seine Kombination? Beispiel Eingabe: 2-SAT-Teil: (a or !b) and (b or c) and (b or d) XOR-Teil: (a xor b xor c xor 1) and (b xor c xor d) Mit anderen Worten, die...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Unterscheidet sich das Problem der Bestimmung, ob ein gegebener Boolescher Ausdruck rechnerisch erfüllt werden kann oder nicht, davon, tatsächlich eine Lösung für den Ausdruck zu finden? Mit anderen Worten, gibt es eine andere Möglichkeit festzustellen, dass ein bestimmter Ausdruck erfüllt werden...
Moderne SAT-Löser sind sehr gut darin, viele reale Beispiele für SAT-Instanzen zu lösen. Wir wissen jedoch, wie man harte generiert: Verwenden Sie beispielsweise eine Reduzierung vom Factoring auf SAT und geben Sie die RSA-Nummern als Eingabe an. Dies wirft die Frage auf: Was ist, wenn ich ein...
In Bezug auf den Thread Nachweis, dass die Konvertierung von CNF zu DNF NP-Hard ist (und ein verwandter Math-Thread ): Wie wäre es mit der anderen Richtung, von DNF zu CNF? Ist es einfach oder schwer? Auf Seite 2 dieses Papiers scheinen sie darauf hinzudeuten, dass beide Richtungen gleich schwer...
Ich versuche, eine Aufgabe zu erarbeiten (entnommen aus dem Buch Algorithmen - von S. Dasgupta, CH Papadimitriou und UV Vazirani , Kapitel 8, Problem 8.6a), und paraphrasiere, was darin steht: Angesichts der Tatsache, dass 3SAT auch dann NP-vollständig bleibt, wenn es auf Formeln beschränkt ist, in...
Sei die Sprache aller 2- CNF-Formeln φ , so dass mindestens ( 1LϵLϵL_\epsilon222φφ\varphiderφ-Klauseln können erfüllt sein.(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Ich muss beweisen, dass es st L ϵ gibt, das für jedes ϵ < ϵ ' N P -hart ist
Ich bin ein Gymnasiast, der sich für Informatik interessiert. Ich habe einen coolen Algorithmus für #SAT entwickelt und implementiere und mache ein wissenschaftlich faires Projekt darauf. Meine Beraterin, die die beste Lehrerin für Naturwissenschaften an meiner Schule und auch die Lehrerin für AP...
Auf der Wikipedia-Seite hier wird der CDCL-Algorithmus ziemlich gut beschrieben (und es scheint, dass die Bilder von Folien stammen, die von Sharad Malik in Princeton erstellt wurden). Bei der Beschreibung des Zurückverfolgens heißt es jedoch nur "zum richtigen Punkt". MiniSAT verwendet auch eine...
Ich habe mich gefragt, ob dieses Problem einen Namen hat: Bei einem einfachen Graphen, dessen Kanten rot, blau und grün gefärbt sind, , gibt es eine Scheitelpunktfärbung c : V → { B , R , G }, so dass jede Kante einen Endpunkt hat mit der gleichen Farbe?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup...
Valiant & Vazirani haben bewiesen, dass SAT unter randomisierten probabilistischen Verkürzungen der Polynomzeit auf EINZIGARTIGES SAT reduzierbar ist. Calabro et al . zeigten, dass EINZIGARTIGES k-SAT so hart ist wie k-SAT. Die Frage ist nun, wenn jemand zeigt, dass UNIQUE k-SAT in P ist,...
Ich habe die folgende Frage. Sind die SAT-Löser deterministisch? Ich meine zum Beispiel den miniSAT- und DPLL- Algorithmus. Sind sie völlig deterministisch? Wenn diese Algorithmen unSAT zurückgeben, bedeutet dies, dass die Lösung sicherlich nicht
Lässt sich vorstellen , wir eine erfüllbare Formel Das Problem „zu lösen , ist Gibt es eine Zuweisung für Variablen ( S 0 , . . . , S n ) was macht F unbefriedigend? ". Eine Möglichkeit zum Lösen besteht darin, alle Lösungen für F in Form von Variablen S 0 , . . . ,
Wenn wir annehmen, dass wir mit einer Instanz von kkk -SAT beginnen und versuchen, das Problem in eine Instanz von (k+m)(k+m)(k+m) -SAT zu konvertieren, in der es (k+m)(k+m)(k+m) Literale pro Klausel gibt, können wir eine Reduzierung der Gesamtzahl der Klauseln? Nach dem Posten wurde mir klar, dass...
Kürzlich lese ich Artikel über Dichotomie . Ich verstehe nicht, welche Bedingung als Dichotomie bezeichnet werden kann ? Was bedeutet "eine Frage ist entweder in P oder in NP - vollständig "? (nehme P ≠≠\neq NP an ) Ich kenne zum Beispiel den Schäfer-Dichotomie-Satz, in dem eine Dichotomie darüber...
Es wird nicht angenommen, dass die allgemeine Erfüllbarkeit (mit wenigen Ausnahmen wie Horn-Klauseln) eine algorithmische Lösung hat. Der folgende Algorithmus scheint jedoch eine Lösung für die allgemeine Erfüllbarkeit zu sein. Was genau ist der Fehler mit dem folgenden Algorithmus? Sei WWW eine...
Let und sein -Vektoren der Booleschen Variablen. Ich habe ein boolesches Prädikat auf . Ich gebe meiner Freundin Priscilla . Als Antwort gibt sie mir , ein boolesches Prädikat für , und sie behauptet