Gegeben , wie viele von -DNFs mit Variablen und - Klauseln sind Tautologie? (oder wie viele CNFs sind unbefriedigend?)k n m k
co.combinatorics
lo.logic
sat
Anonym
quelle
quelle
Antworten:
Die Antwort hängt von , und . Genaue Zählungen sind im Allgemeinen nicht bekannt, aber es gibt ein "Schwellenwert" -Phänomen, bei dem für die meisten Einstellungen von , , entweder nahezu alle SAT-Instanzen erfüllbar oder nahezu alle Instanzen nicht erfüllbar sind. Wenn beispielsweise , wurde empirisch beobachtet , daß , wenn , sondern ein Anteil von 3-SAT - Instanzen sind erfüllbar, und , wenn , sondern ein Fraktion sind unbefriedigend. (Es sind auch strenge Grenzbeweise bekannt.)m n k m n k k = 3 m < 4,27 n o ( 1 ) m > 4,27 n O ( 1 )k m n k m n k k=3 m<4.27n o(1) m>4.27n o(1)
Ein Ausgangspunkt ist "Die asymptotische Ordnung der k-SAT-Schwelle" .
Amin Coja-Oghlan hat auch viel Arbeit an diesen Erfüllbarkeitsschwellenproblemen geleistet .
quelle
Dies ist ein erweiterter Kommentar zur Ergänzung von Ryans Antwort, der sich mit den Schwellenwerten befasst, bei denen die Anzahl der Klauseln so groß wird, dass die Instanz mit ziemlicher Sicherheit nicht mehr erfüllt werden kann. Man kann auch die viel größeren Schwellen berechnen, bei denen die Anzahl der Klauseln Unzufriedenheit erzwingt, wenn sie eine Funktion von überschreitet .n
Beachten Sie, dass einige technische Probleme behoben werden müssen. Wenn wiederholte Klauseln in gezählt werden , kann beliebig groß gemacht werden, ohne zu ändern . Dies würde die meisten Beziehungen zwischen und zerstören . Nehmen wir also an, dass die Anzahl der unterschiedlichen Klauseln ist. Wir müssen uns für ein anderes Detail entscheiden, ob Instanzen so codiert werden, dass die Reihenfolge der Literale innerhalb einer Klausel oder die Reihenfolge der Klauseln innerhalb einer Instanz von Bedeutung ist. Angenommen, dies ist nicht wichtig, so werden zwei Instanzen als äquivalent angesehen, wenn sie dieselben Klauseln enthalten, und zwei Klauseln sind äquivalent, wenn sie dieselben Literale enthalten. Mit diesen Annahmen können wir nun die Anzahl der unterschiedlichen Klauseln begrenzen, mit denen ausgedrückt werden kannm n m n m n m ≤ 3 nm m n m n m n Variablen. In jeder Klausel kann jede Variable positiv oder negativ oder überhaupt nicht vorkommen, und dann .m≤3n
Betrachten Sie zunächst SAT ohne Einschränkung für . Was ist das größte so dass die Instanz erfüllt werden kann? Ohne Verlust der Allgemeinheit können wir annehmen, dass die All-Null-Zuordnung eine Lösung ist. Es gibt dann verschiedene Klauseln, die mit dieser Lösung übereinstimmen und jeweils mindestens ein negiertes Literal enthalten. Also für jede erfüllbare Instanz. Die Instanz, die aus allen Klauseln besteht, von denen jede mindestens ein negiertes Literal enthält, hat so viele Klauseln und wird durch die All-Null-Zuweisung erfüllt. Ferner ist nach dem Pigeonhole-Prinzip jede Instanz mit mindestens Klauseln unbefriedigend.m 3 n - 2 n m ≤ 3 n - 2 n 3 n - 2 n + 1k m 3n−2n m≤3n−2n 3n−2n+1
Dies ergibt verschiedene Teilmengen solcher Klauseln, von denen jede eine bestimmte Instanz darstellt, die durch irgendeine Zuweisung erfüllt wird. Im Vergleich dazu beträgt die Gesamtzahl der verschiedenen Instanzen . 2 3 n23n−2n 23n
Wenn man nun das Obige für Fälle modifiziert, in denen jede Klausel höchstens Literale hat, gibt es verschiedene solche Klauseln, und -Klauseln, in denen es keine negativen Literale gibt, also für erfüllbare Instanzen und jedes größere ist unbefriedigend. Es gibt dann Instanzen, die durch eine bestimmte Zuweisung erfüllt sind, aus der Summe von -SAT-Instanzen.∑ k i = 0 ( nk ≤ k i = 0 ( n∑ki=0(ni)2i ∑ki=0(ni) m≤∑ki=0(ni)(2i−1) m 2∑ki=0(ni)(2i−1) 2∑ki=0(ni)2i k
quelle