Theoretische Informatik random-k-sat

2

Derzeit engste Grenzen für die kritische 3-SAT-Dichte

Ich interessiere mich für die kritische Dichte α der 3-Erfüllbarkeit (3-SAT) . Es wird vermutet, dass ein solches α existiert: Wenn die Anzahl der zufällig erzeugten 3-SAT-Klauseln oder mehr beträgt , sind sie mit ziemlicher Sicherheit unbefriedigend. (Hier ist eine kleine Konstante und ist die Anzahl der Variablen.) Wenn die …

26 pr.probability random-k-sat

3

Wurden Untersuchungen zu SAT oberhalb der Erfüllbarkeitsschwelle durchgeführt?

Ein bekanntes Merkmal von SAT-Instanzen ist das Verhältnis der Anzahl von Sätzen zur Anzahl von Variablen , dh der Quotient . Für jedes gibt es einen Schwellenwert st \ für , die meisten Instanzen sind erfüllbar und für meisten Instanzen nicht erfüllbar. Es wurde eine Menge Forschung für Probleme durchgeführt, …

25 cc.complexity-theory sat random-k-sat phase-transition

1

Was ist die Zählkomplexität von zufälligem 2-SAT?

Wurde daran gearbeitet, wie die Komplexität zufälliger Instanzen von # 2-SAT mit der Klauseldichte variiert? Das heißt: Wie variiert die Schwierigkeit, zufriedenstellende Lösungen für eine zufällig generierte Instanz von 2-SAT zu zählen , wenn sich die Klauseldichte ändert ? Gibt es insbesondere strenge Ergebnisse, die kritische Schwellenwerte betreffen? Da 2-SAT …

18 cc.complexity-theory counting-complexity random-k-sat

1

Tautologien / Widersprüche im Durchschnitt jenseits des zufälligen k-CNF-Modells

Es ist bekannt, dass zufällige CNF-Formeln über Variablen mit Klauseln mit hoher Wahrscheinlichkeit für eine ausreichend große Konstante erfüllt werden können (dh sie sind Widersprüche) . Zufällige CNF-Formeln (für groß genug) bilden somit eine natürliche Verteilung über nicht erfüllbare Boolesche Formeln (oder zweifach über Tautologien, dh Negationen von Widersprüchen). Diese …

16 cc.complexity-theory reference-request lo.logic sat random-k-sat

1

Random 3-SAT: Wie groß ist der experimentelle Konsensbereich der Schwelle?

Das kritische Verhältnis von Klauseln zu Variablen für zufälliges 3-SAT ist mehr als 3 und weniger als 6 und scheint allgemein als "um 4,2" oder "um 4,25" beschrieben zu werden. Mezard, Parisi und Zecchina beweisen (im physikalischen Sinne), dass das kritische Verhältnis 4,256 beträgt, während der erste und der dritte …

14 sat phase-transition random-k-sat

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

11 graph-algorithms sat treewidth random-k-sat hard-instances

Als «random-k-sat» getaggte Fragen