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 , . . . ,
Wie beweisen Sie, dass SAT NP-vollständig ist? Ich weiß, was es mit NP-vollständig bedeutet, daher brauche ich keine Erklärung dafür. Was ich wissen möchte, ist, woher wissen Sie, dass ein Problem wie SAT NP-vollständig ist, ohne auf andere Probleme wie das Hamilton-Problem oder was auch immer...
Concorde TSP ist ein Löser für TSP. SAT-Löser sind Löser für die boolesche Erfüllbarkeit. TSP und SAT sind NP-vollständig. Warum also die Zeit damit verbringen, Concorde TSP zu entwickeln, wenn es damals eine Fülle von SAT-Lösern auf dem Markt
Ich habe kürzlich erfahren, dass für jeden Fall ein k-SAT-Problem mit mmm Klauseln und nnn Literale, wir haben eine Zuordnung von Literalen, so dass zumindest m ( 1 -2- k)m(1−2−k)m(1 - 2^{-k}) Klauseln sind erfüllt. Ich habe mich gefragt, ob wir eine (nicht triviale) Untergrenze zeigen können, wie...
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...
Gegeben sind boolesche Variablen von denen jeweils positive Kosten und eine boolesche Funktion für diese in der Form ( bezeichnet XOR) mit , ganze Zahlen und für alle , , besteht das Problem darin, eine Zuordnung der Mindestkosten für , die
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...
Gab es Bemühungen zu zeigen (unter Verwendung des Switching Lemma), dass SAT oder 3SAT keine AC Reduktion auf 2SAT haben können? Was sind die Probleme oder Schwierigkeiten?00^0 SAT und 3SAT sind für NP vollständig , und 2SAT ist für NL unter AC Reduzierungen vollständig . Daher würde ein solcher...
Ich weiß aus dem Schäfer-Dichotomie-Theorem, dass nur wenige Arten von Erfüllbarkeitsproblemen in P vorliegen und jedes andere Problem NP-vollständig ist. Alle Algorithmen, die ich für sie kenne, verwenden jedoch spezifische Techniken, die für diese Art von Problem einzigartig sind, z. B. die...
Ich habe nach einer Referenz für die obige Frage gesucht. Soweit ich weiß, lautet die Antwort: Wenn wir einen Solver erstellen können, der für alle zufällig generierten Instanzen effizient ist, sollte er für jede Instanz effizient sein. Wenn wir also einen Löser erstellen, der sich nicht auf eine...
Ich definiere einen langen CNF , der mindestens enthält2n22n22^\frac{n}{2}Klauseln, wobei die Anzahl seiner Variablen ist. Es sei eine erfüllbare lange CNF-Formel .nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}}\} Ich würde gerne wissen , warum . Zuerst dachte ich, es sei da ich...
Ich habe eine einfache Konstruktion bekommen, die scheinbar einem Papier widerspricht, das plausible Vermutungen annimmt. Was ist falsch an dem Argument, da es unwahrscheinlich ist, dass die Vermutung falsch ist? Aus einem Papier Eine UND-Komprimierung ist ein deterministischer
Ich gehe davon aus, dass die Größe einer Instanz des SAT-Problems anhand der Anzahl der (booleschen) Variablen gemessen wird. Wie viele Fälle von SAT-Problemen der Größe N gibt es insgesamt? Ich denke, das läuft darauf hinaus, die Anzahl der "unterschiedlichen" Formeln zu zählen, die durch N...
Es ist bekannt, dass jede CNF-Formel in Polynomzeit unter Verwendung neuer Variablen in eine 3-CNF-Formel umgewandelt werden kann ( siehe hier ). Wenn die Verwendung neuer Variablen nicht zulässig ist, ist dies nicht immer möglich (nehmen Sie zum Beispiel die Einzelklauselformel:...
Sei eine 3-CNF-Formel über die Variablen . Jede Variable , , kommt in gleich oft als positives Literal und als negatives Literal vor .ϕϕ\phix1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_nxixix_ii∈[n]i∈[n]i \in [n]ϕϕ\phi Ist es NP-vollständig, über die Erfüllbarkeit einer solchen Formel zu entscheiden?...
Ich bin daran interessiert, die Komplexität des NAE-HORN-SAT-Problems zu kennen (nicht alle gleich). Wir wissen, dass HORNSAT istP.P\mathsf{P}-vollständig, aber auf der anderen Seite ist NAE-SAT N P.NP\mathsf{NP}-Komplett. Ich möchte wissen, was wir über das NAE-HORN-SAT-Problem sagen können....