Als «3-sat» getaggte Fragen

1
Implementieren des GSAT-Algorithmus - Wie wähle ich das zu spiegelnde Literal aus?
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 folgenden Algorithmus: procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF …
2
Was ist ein Beispiel für eine unbefriedigende 3-CNF-Formel?
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 Offensichtliches). Können Sie mir ein Beispiel für eine solche …
1
Planaritätsbedingungen für planares 1-in-3-SAT
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 für jedes ( xich, xich¯)(xich,xich¯)(x_i,\bar{x_i}) Paar Addiere eine …
1
Wie kann man beweisen, dass eine eingeschränkte Version von 3SAT, in der kein Literal mehr als einmal vorkommen kann, in Polynomzeit lösbar ist?
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 denen jedes Literal höchstens …
1
Randomisierter Algorithmus für 3SAT
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 Erwartung zeigt, dass der erwartete Anteil der Klauseln, …
1
Ist eine "lokale" Version von 3-SAT NP-hard?
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 Zahl ist).kkkC∈3-CNFC∈3-CNFC \in 3\text{-CNF}kkkkkk Betrachten Sie nun die Teilmenge die …
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.