Anzahl der Fälle von SAT-Problemen (Boolesche Erfüllbarkeit) der Größe N?


7

Ich gehe davon aus, dass die Größe einer Instanz des SAT-Problems anhand der Anzahl der (booleschen) Variablen gemessen wird. Wie viele Fälle von SAT-Problemen der Größe N gibt es insgesamt?

Ich denke, das läuft darauf hinaus, die Anzahl der "unterschiedlichen" Formeln zu zählen, die durch N boolesche Variablen unter Verwendung einer normalen Form wie CNF oder DNF gebildet werden können.

Update: Diese Frage wurde teilweise für den 3SAT-Fall beantwortet: https://cstheory.stackexchange.com/q/2168/15553

und die Anzahl der unterschiedlichen Klauseln ist:

C.=2N.×2(N.- -1)×2(N.- -2)/.3!=4N.(N.- -1)(N.- -2)/.3

1
Welche logischen Operatoren sind zulässig? Wissen Sie, wie man Wörter in einer beliebigen Sprache zählt?
Raphael

1
In welchem ​​Kontext tritt dieses Problem auf? Was ist die Motivation? Wieso kümmert es dich? Wie werden Sie die Antwort verwenden? Und ... was hast du versucht? Wir erwarten von Ihnen, dass Sie ernsthafte Anstrengungen unternehmen, um die Frage selbst zu beantworten, bevor Sie sie stellen, und uns in der Frage zeigen, was Sie versucht haben.
DW

Entschuldigung, ich bin vorübergehend zu beschäftigt, um über diese Frage nachzudenken, aber ich werde aktualisieren, wenn ich Zeit habe :)
Yan King Yin

Antworten:


6

Wenn Sie die 3-konjunktive Normalform (3CNF) berücksichtigen (jede Klausel hat genau drei Literale) und Klauseln mit wiederholten Variablen zulassen, ist es leicht zu erkennen, dass bei Verwendung von Variablen die Anzahl der verschiedenen 3SAT-Klauseln ( weil jedes Literal nicht negativ oder negiert erscheinen kann).N(2N)32N

Die Gesamtzahl der verschiedenen 3CNF-Formeln (ohne wiederholte Klauseln) beträgt also .2(2N)3

Seien Sie jedoch vorsichtig, da die "Größe" einer 3CNF-Formel (z. B. als Eingabe eines Entscheidungsproblems betrachtet) normalerweise der Größe ihrer Darstellung entspricht. Verwenden Sie beispielsweise das Alphabet die 3CNF-Formel kann mit der folgenden Zeichenfolge dargestellt werden:Σ={0,...,9,,",}(x1x¯2x3)(x2x¯3x¯4)

1,-2,3,2,-3,-4

und seine Länge beträgt 14.


5

Eine Klausel besteht aus Literalen über n Variablen. Nehmen wir an, dass eine Instanz eine Teilmenge verschiedener Klauseln ist. Wir können natürlich die Anzahl der Instanzen als Potenzsatz von Klauseln berechnen, aber dazu müssen wir zunächst klären, was wir als gültige Klausel betrachten.

In der Regel wird entweder jede Variable werden dargestellt durch einen oder beide seiner Literale, sonst wird es werden nicht vertreten . Wenn die Variable dargestellt wird, kann sie nur durch das positive Literal, nur durch das negative Literal oder durch beides dargestellt werden. Da es für jede Variable 4 mögliche Fälle und n Variablen gibt, müssen mögliche Klauseln vorhanden sein. Ohne die Nullklausel haben wir Gesamtklauseln und ohne die Nullinstanz mögliche Instanzen.4n4n- -124n- -1- -1

Klauseln, die beide Literale einer Variablen enthalten, sind natürlich nicht besonders nützlich. Jeder ist mit jeder Aufgabe zufrieden. Da diese Klauseln keine wirklichen Einschränkungen hinzufügen, beschränken wir unsere Aufmerksamkeit auf einschränkende Klauseln.

Auf diese Weise wird die Möglichkeit ausgeschlossen, dass eine Variable beide Literale verwendet, sodass drei mögliche Fälle pro Variable oder mögliche Klauseln übrig bleiben . Ohne die Nullklausel und die Nullsammlung haben wir mögliche Instanzen.3n23n- -1- -1

Für k-SAT hat jede Klausel genau k Literale. Offensichtlich gibt es Möglichkeiten, k Variablen auszuwählen. Da wir jedoch genau k Literale pro Klausel benötigen, können wir jede Variable nur mit ihrem positiven oder negativen Literal darstellen. Es muss also k-Klauseln und Instanzen von k-sat geben.(nk)2k(nk)22k(nk)- -1

Beachten Sie schließlich, dass wir auch bestimmen können, wie viele Instanzen genau c-Klauseln enthalten.

  • Für alle möglichen Klauseln mit Ausnahme der Nullklausel:(4n- -1c)
  • Für einschränkende Klauseln:(3n- -1c)
  • Für k-Klauseln:(2k(nk)c)
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.