Ich bin derzeit daran interessiert, 3-CNF-Formeln zu erhalten (oder zu konstruieren) und zu studieren, die nicht befriedigend sind und eine minimale Größe haben. Das heißt, sie müssen aus möglichst wenigen Klauseln (vorzugsweise m = 8) und möglichst wenigen unterschiedlichen Variablen (n = 4 oder mehr) bestehen, so dass das Entfernen von mindestens einer Klausel die Formel erfüllbar macht.
Formal muss jede qualifizierende 3-CNF-Formel F die folgenden Bedingungen erfüllen:
- F ist unbefriedigend
- F hat eine minimale Anzahl (4+) unterschiedlicher Variablen (oder deren Negation)
- F hat eine Mindestanzahl von Klauseln (8+)
- Jede richtige Teilmenge von F ist erfüllbar (was das Entfernen von beliebigen Klauseln oder Klauseln ermöglicht).
- F hat keine 2-Klauseln, die auf eine 2-CNF-Klausel reduzierbar sind, zB
(i, j, k) & (i, j, ~k)
ist NICHT erlaubt (sie reduzieren sich auf(i,j)
)
Zum Beispiel gibt es mit n = 4 viele minimale 8-Klausel-3-CNF-Formeln, die nicht erfüllt werden können. Zum einen kann man durch Betrachten des 4-Hyperwürfels und dem Versuch, ihn mit Kanten (2-Seiten) zu bedecken, die folgende unbefriedigende Formel konstruieren:
1. (~A, B, D)
2. (~B, C, D)
3. ( A, ~C D)
4. ( A, ~B, ~D)
5. ( B, ~C, ~D)
6. (~A, C, ~D)
7. ( A, B, C)
8. (~A, ~B, ~C)
Dies ist eine mindestens unbefriedigende 3-CNF-Formel, weil:
Es ist unbefriedigend:
- Die Absätze 1-3 entsprechen:
D or A=B=C
- Die Absätze 4-6 entsprechen:
~D or A=B=C
- Sie implizieren
A=B=C
, aber nach den Abschnitten 7 und 8 ist dies ein Widerspruch.
- Die Absätze 1-3 entsprechen:
Es gibt nur 4 verschiedene Variablen.
- Es gibt nur 8 Klauseln.
- Durch das Entfernen einer Klausel wird diese zufriedenstellend.
- Keine 2-Klauseln sind auf eine 2-CNF-Klausel 'reduzierbar'.
Ich schätze, meine allgemeinen Fragen hier sind in der Reihenfolge ihrer Wichtigkeit für mich:
Was sind einige andere kleine Mindestformeln, die die obigen Bedingungen erfüllen? (zB 4,5,6 Variablen und 8,9,10 Klauseln)
Gibt es eine Art Datenbank oder "Atlas" mit solchen Mindestformeln?
Welche nicht zufälligen Algorithmen gibt es, um sie vollständig zu konstruieren, wenn überhaupt?
Was sind einige Einblicke in die Eigenschaften dieser Formel? Können sie mit n (# Variablen) und m (# Klauseln) gezählt oder geschätzt werden?
Vielen Dank im Voraus für Ihre Antworten. Ich freue mich über jede Antwort oder Bemerkung.
Antworten:
Nehmen Sie die Formel in Ihrem Beispiel, entfernen Sie die Klausel und fügen Sie die folgenden Klauseln hinzu:¬A∨¬B∨¬C 2
Sie erhalten eine minimal unbefriedigende Formel mit , Bedingung 5.n=5 m=9
Im Allgemeinen können Sie eine Klausel zufällig auswählen und in Klauseln aufteilen :l1∨l2∨l3 2
l 2 ∨ l 3 ∨ ¬ vl1∨l2∨v
l2∨l3∨¬v
Dabei ist eine neue Variable. Jedes Mal, wenn Sie dies tun, werden sowohl als auch um erhöht . Wenn Sie diesen Vorgang wiederholen, können Sie den anfänglichen nicht erfüllbaren Kern "dehnen" und minimale nicht erfüllbare Formeln erhalten (unter Beachtung von Bedingung 5), deren zu tendiert, wenn wächst (was als Formeln ziemlich selten ist) mit sind mit hoher Wahrscheinlichkeit erfüllbar).n m 1 r = mv n m 1 1nr=1r=mn 1 n r=1
quelle
Ich glaube, die Bedingung Nummer 5 ist in Ihrem Beispiel nicht wirklich gegeben und kann niemals gegeben werden.
Die folgenden Klauseln seien gleichbedeutend:
Damit können wir die Klauseln von A, B, C und D den neuen Variablen p, q, r und s als folgende Wahrheitstabelle zuordnen:
Und jetzt können wir die Klauseln von A, B, C und D in p, q, r und s ausdrücken:
Da alle Klauseln angezeigt und mit A-, B-, C- und D-Klauseln verknüpft sind. Dann können wir behaupten, dass die Klauseln p, q, r und s reduziert werden können auf:
Was offensichtlich gegen die Bedingung Nummer 5 verstößt.
Ich möchte darauf hinweisen, dass auch das Beispiel nicht explizit zeigt, dass es 2 Klauseln gibt, die auf 2-CNF reduziert werden können, sondern implizit (zB (~ A, B, D) und (A, ~ B, ~ D)) können Sie die 2-CNF möglicherweise nicht mit den angegebenen Variablen ausdrücken, aber wenn Sie für das Problem eine andere Zuordnung einführen, können Sie sie ausdrücken.
quelle