Als «sat» getaggte Fragen

SAT steht für das Boolesche Erfüllbarkeitsproblem.

1
Folgen von
Ich habe einen Teil eines Beweises Versuch von ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Der Beweisversuch besteht aus einer Karp-Reduktion vom ⊕P⊕P\oplus \mathbf{P} vollständigen Problem ⊕⊕\oplus 3-REGELMÄSSIGE VERTEX-ABDECKUNG auf SAT. Bei einem kubischen Graphen GGG gibt die Reduktion eine CNF-Formel FFF mit beiden folgenden Eigenschaften aus: FFF hat höchstens111 zufriedenstellende Aufgabe. …
2
Begrenzte Anzahl variabler Vorkommen in 1-in-3-SAT
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 haben. Dies zeigt, dass 1-in-3-SAT, begrenzt auf …
1
Rechenmodell in SETH
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 zu brechen. Wir müssen definitiv einen Algorithmus finden, der …
1
Erkennungsschaltung, die in Funktionalität und Implementierung ähnlich ist
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 {0,1}n{0,1}n\{0,1\}^n(mit anderen Worten, sie haben eine nahezu identische Funktionalität); und, C,DC,DC,D unterscheiden sich in der …
2
Welche Korrelation besteht zwischen Baumbreite und Instanzhärte für zufälliges 3-SAT?
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 zufällig ausgewählte 3-SAT-Instanzen, zwischen der Baumbreite des Klauseldiagramms und der Instanzhärte? …
2
Führen Sie alle Lösungen eines SAT-Problems auf
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 Dank.
11 lo.logic  sat  software 
1
SAT-Löser mit speziellen Algorithmen wettbewerbsfähig machen
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 schnell wie ein spezialisierter Algorithmus zu lösen? Hier …
3
Wohin wende ich mich bei der Recherche / Veröffentlichung?
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, der eine …
2
Minimum True Monotone 3SAT
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 MONOTONE 3SAT INSTANZ: Setze U von …
2
Ist Fast-2-SAT NP-hart?
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 gibt?
2
Über Inverse 3-SAT
Kontext : Kavvadias und Sideri haben gezeigt, dass das inverse 3-SAT-Problem coNP Complete ist: Gibt es bei einer Reihe von Modellen für n Variablen eine 3-CNF-Formel, bei der ϕ die genaue Menge von Modellen ist? Es entsteht eine unmittelbare Kandidatenformel, die die Konjunktion aller 3-Klauseln ist, die von allen Modellen …
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.