Der GSAT-Algorithmus ist größtenteils unkompliziert: Sie erhalten eine Formel in konjunktiver Normalform und spiegeln die Literale der Klauseln, bis Sie eine Lösung finden, die der Formel entspricht, oder Sie die Grenze max_tries / max_flips erreichen und keine Lösung finden. Ich implementiere den...
Ich versuche, meinen Kopf um einen NP-Vollständigkeitsnachweis zu wickeln, der sich anscheinend um SAT / 3CNF-SAT dreht. Vielleicht ist es die späte Stunde, aber ich fürchte, ich kann mir keine 3CNF-Formel vorstellen, die nicht befriedigt werden kann (ich vermisse wahrscheinlich etwas...
Planar 3SAT ist NP-vollständig. Eine planare 3SAT-Instanz ist eine 3SAT-Instanz, für die das unter Verwendung der folgenden Regeln erstellte Diagramm planar ist: fügen Sie einen Eckpunkt für jeden und ¯ x ixichxichx_ixich¯xich¯\bar{x_i} füge einen Vertex für jede Klausel CjCjC_j Addiere eine Kante...
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...
Es gibt einen sehr einfachen randomisierten Algorithmus, der bei einem 3SAT eine Zuordnung erzeugt, die mindestens 7/8 der Klauseln erfüllt (in Erwartung): Wählen Sie eine zufällige Zuordnung. Eine zufällige Zuordnung erfüllt jede Klausel mit einer Wahrscheinlichkeit von 7/8, und die Linearität der...
Nachfolgend meine Vereinfachung eines Teils eines größeren Forschungsprojekts zu räumlichen Bayes'schen Netzwerken: Angenommen, eine Variable ist " -local" in einer Zeichenfolge wenn zwischen dem ersten und dem letzten Satz, in dem sie vorkommt, weniger als Klauseln stehen (wobei eine natürliche...
Im schlimmsten Fall benötigt die Boolesche Erfüllbarkeit (unter der Annahme von P! = NP) exponentielle Zeit. Dennoch können moderne SAT-Löser, die Varianten von DPLL verwenden, genügend Instanzen lösen, um in der Praxis nützlich zu sein. Eine verwendete Technik, die in der Praxis gute Ergebnisse...