Es ist allgemein bekannt, dass CNF-Formeln grob in zwei breite Klassen unterteilt werden können: Zufalls- und Strukturformeln. Strukturierte CNF-Formeln weisen im Gegensatz zu zufälligen CNF-Formeln eine bestimmte Reihenfolge auf und zeigen Muster, die wahrscheinlich nicht zufällig auftreten. Man...
Ich frage mich insbesondere, ob es eine interessante Bedingung für den Prozentsatz der Aufgaben gibt, die eine 3SAT-Formel erfüllen, um sicherzustellen, dass solche Probleme behoben werden können. Nehmen wir zum Beispiel die Klasse der 3SAT-Probleme an, dass der möglichen Zuordnungen die Boolesche...
Ich bin die Sprache aller erfüllbar Propositionslogik Formeln unter Berücksichtigung, SAT (um sicherzustellen , dass dies eine endliche Alphabet hat, würden wir propositionaler Buchstaben in geeigneter Weise kodieren [edit: die Antworten darauf hingewiesen , dass die Antwort auf die Frage nicht...
Was sind Hindernisse, um SAT-Löser mit speziellen Graph-Algorithmen wettbewerbsfähig zu machen? Mit anderen Worten, ist es möglich, SAT-Löser zu erwarten, die die Rolle des Algorithmus-Designers ersetzen können - dh in der Lage sind, die Problemstruktur automatisch zu erkennen und sie dann so...
Sei ein Vektor boolescher Variablen. Sei zwei boolesche Schaltungen auf . Sagen Sie, dass ähnlich ist, wenn:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] ist exponentiell klein, wenn xxx gleichmäßig zufällig aus \ {0,1 \} ^ n gezeichnet wird...
Impagliazzo, Paturi und Calabro, Impagliazzo, Paturi führten die Exponential-Time-Hypothese (ETH) und die Strongly Exponential-Time-Hypothese (SETH) ein. Ungefähr sagt SETH, dass es keinen Algorithmus gibt, der SAT in der Zeit löst . 1.99n1.99n1.99^n Ich fragte mich, was das bedeuten würde, um SETH...
In diesem kürzlich erschienenen Artikel aus dem FOCS2013, Starke Hintertüren zu begrenztem Baumbreite SAT von Gaspers und Szeider, wird der Zusammenhang zwischen der Baumbreite des SAT- Klauseldiagramms und der Instanzhärte erläutert . Welche Korrelation besteht für zufällige 3-SAT-Instanzen, dh...
Gibt es ein bekanntes Ergebnis für die Komplexitätsklasse 1-in-3-SAT mit einer begrenzten Anzahl variabler Vorkommen? Ich habe mir mit Peter Nightingale die folgende sparsame Reduktion ausgedacht, aber ich möchte etwas zitieren, wenn dies bekannt ist. Hier ist der Trick, den wir uns ausgedacht...
Alle mir bekannten # SAT-Löser, z. B. RelSat, C2D, geben nur die Anzahl der erfüllbaren Instanzen zurück. Aber ich möchte jede dieser Instanzen kennen? Gibt es einen solchen # SAT-Solver oder wie sollte ich einen verfügbaren # SAT-Solver ändern, um dies zu tun? Vielen
Ich habe eine Weile einen SAT-Algorithmus entwickelt und einen Punkt erreicht, an dem ich ihn gerne teilen möchte. Ich kenne nicht viele Leute in der Informatik und bin mir nicht sicher, wohin ich mich wenden soll. Ich frage mich, welche Ressourcen für jemanden mit einem Algorithmus verfügbar sind,...
Ich interessiere mich für eine SAT-Variante, bei der die CNF-Formel monoton ist (keine Variablen werden negiert). Eine solche Formel ist offensichtlich erfüllbar. Angenommen, die Anzahl der wahren Variablen ist ein Maß dafür, wie gut unsere Lösung ist. Wir haben also folgendes Problem: MINIMUM TRUE...
Ist ein CNF-SAT-Problem NP schwierig, wenn die Gesamtzahl (aber nicht die Breite) der 3-oder-mehr-Term-Klauseln oben durch eine Konstante begrenzt ist? Was ist konkret, wenn es nur eine solche Klausel
Ich bin daran interessiert, Clique auf SAT zu reduzieren , ohne die Instanz viel größer zu machen.kkk Die Clique befindet sich in NP, sodass sie mithilfe des logarithmischen Raums auf SAT reduziert werden kann. Durch die einfache Reduzierung des Garey / Johnson-Lehrbuchs wird die Instanz auf...
Elberfeld, Jakoby und Tantau 2010 ( ECCC TR10-062 ) erwiesen sich als platzsparende Version des Satzes von Bodlaender. Sie zeigten, dass für Graphen mit einer Baumbreite von höchstens eine Baumzerlegung der Breite k unter Verwendung des logarithmischen Raums gefunden werden kann. Der konstante...
Was ist die Standarddefinition von Planar 3-SAT? Ich habe verschiedene Definitionen gesehen. Was war das Originalpapier, das es definierte und als NP-vollständig
Gibt es eine natürliche Klasse von CNF-Formeln - vorzugsweise eine, die zuvor in der Literatur untersucht wurde - mit den folgenden Eigenschaften:C.CC ist ein einfacher Fall von SAT, wie z. B. Horn oder 2-CNF, dh die Zugehörigkeit zu C kann in Polynomzeit getestet werden, und die Formeln F ∈ C...
Ich interessiere mich für "harte" Einzelfälle von NP-vollständigen Problemen. Ryan Williams diskutierte das SAT0-Problem in Richard Liptons Blog . SAT0 fragt, ob eine SAT-Instanz die spezifische Lösung hat, die aus allen Nullen besteht. Dies brachte mich zum Nachdenken über die Erstellung von...
Ich würde gerne den aktuellen Zustand des Phasenübergangs für zufälliges k-sat bei n Variablen und m Klauseln kennen, was das bekannteste c = m / n für obere und untere Grenzen
Diese Frage ist mir in den Sinn gekommen, nachdem ich die Beiträge von András Salamon und Colin McQuillan zu meiner vorherigen Frage gelesen hatte . Zählen von Lösungen für monotone 2CNF-Formeln . EDIT 30 th März 2011 hinzugefügt Frage n ° 2. EDIT 29 th Oktober 2010 Frage nach András Vorschlag...
Eine Sprache gehört zur Klasse wenn es zwei Sprachen und so dassLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Ein kanonisches vollständiges Problem ist SAT-UNSAT: Ist es bei zwei 3-CNF-Ausdrücken, und , wahr, dass erfüllbar ist und nicht?DPDPDPFFFGGGFFFGGG Es ist...