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...
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...
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...
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...
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...
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...