Computerwissenschaften satisfiability

2

Erklären von SAT für Lehrer der Naturwissenschaften

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 Comp Sci ist, sagte mir, dass sie …

9 algorithms satisfiability

1

Wenn man zeigt, dass UNIQUE k-SAT in P ist, bedeutet das P = NP?

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, impliziert dies P = NP? Verweise …

9 complexity-theory satisfiability p-vs-np

1

Wie heißt das Problem? (Aufteilung des Diagramms in drei Umschläge)

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 …

9 algorithms complexity-theory graphs satisfiability colorings

2

Finden Sie

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 .ϵ′ϵ′\epsilon'LϵLϵL_\epsilonNPNP\mathsf{NP}ϵ<ϵ′ϵ<ϵ′\epsilon<\epsilon' Wir wissen, dass ungefähr 55 sein kannMax2SatMax2Sat\text{Max}2\text{Sat} Präzent der Klauseln aus einerMax3Sat-Reduzierung. Wie …

9 complexity-theory satisfiability approximation

2

Ist "Erreichbares Objekt" wirklich ein NP-vollständiges Problem?

Ich habe dieses Papier gelesen , in dem die Autoren Satz 1 erklären, in dem es heißt, dass "erreichbares Objekt" (wie im Papier definiert) NP-vollständig ist. Sie beweisen jedoch die Reduktion nur in eine Richtung, dh von 2P1N SAT zu erreichbarem Objekt. Dies beweist nur, dass das Problem NP-schwer ist; …

8 complexity-theory np-complete np-hard satisfiability

4

Deterministischer SAT-Löser

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 existiert?

8 algorithms logic satisfiability sat-solvers

2

Aufgabe, die Formel unbefriedigend zu machen

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 …

8 logic satisfiability sat-solvers

2

Was ist eine Zweiteilung? Ob 2-SAT selbst eine Dichotomie von SAT ist?

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 gegeben …

8 complexity-theory np-complete satisfiability

1

Überprüfen Sie die Richtigkeit der Quantifizierereliminierung mit SAT

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 dasx=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n)nnnQ(x,y)Q(x,y)Q(x,y)x,yx,yx,yQ(x,y)Q(x,y)Q(x,y)P(x)P(x)P(x)xxx P(x)≡∃y.Q(x,y),P(x)≡∃y.Q(x,y),P(x) \equiv \exists y . Q(x,y), oder mit anderen Worten, das ∀x.[P(x)⇔∃y.Q(x,y)].∀x.[P(x)⇔∃y.Q(x,y)].\forall x . [P(x) …

8 logic satisfiability first-order-logic software-verification model-checking

1

Um wie viel können wir die Anzahl der Klauseln reduzieren, indem wir von

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 wir nicht garantieren …

8 complexity-theory logic satisfiability

2

Ein vorläufiger Erfüllbarkeitsalgorithmus

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 leere Menge, die alle Variablen enthält, die notwendigerweise …

8 algorithms logic satisfiability constraint-programming

1

Zufälliger Neustart für unbefriedigende Instanzen

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 gezeigt hat, ist der zufällige Neustart. …

7 satisfiability randomized-algorithms 3-sat sat-solvers

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 …

7 np-hard satisfiability polynomial-time 3-sat 2-sat

1

Warum werden TSP-Löser benötigt, wenn es SAT-Löser gibt?

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 gibt?

7 np-complete satisfiability p-vs-np traveling-salesman sat-solvers

2

Untergrenzen für die Größe der unabhängigen Menge in einem Diagramm?

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 sie jeder …

7 graphs satisfiability lower-bounds

Als «satisfiability» getaggte Fragen