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 …
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 …
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 …
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 …
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; …
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?
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 …
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 …
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) …
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 …
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 …
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. …
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 …
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?
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 …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.