Skriptes - Uni Bremen - Universität Bremen
Skriptes - Uni Bremen - Universität Bremen
Skriptes - Uni Bremen - Universität Bremen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Aussagenlogik<br />
Definition B.8 (Auswertungs-, Erfüllbarkeits-, Gültigkeitsproblem)<br />
• Auswertungsproblem: gegeben eine Formel ϕ und eine Belegung B der Variablen<br />
in ϕ, entscheide, ob ϕ von B erfüllt wird.<br />
• Erfüllbarkeitsproblem: gegeben eine Formel ϕ, entscheide, ob ϕ erfüllbar ist.<br />
• Gültigkeitsproblem: gegeben eine Formel ϕ, entscheide, ob ϕ gültig ist.<br />
Das Auswertungsproblem läßt sich recht effizient lösen. Insbesondere legt die Semantik<br />
der Aussagenlogik in Definition B.2 unmittelbar einen rekursive Algorithmus nahe. Um<br />
beispielsweise die Formel ϕ∧ψ auszuwerten, wertet man rekursiv die Formeln ϕ und ψ<br />
aus und kombiniert das Ergebnis gemäß der Wahrheitstabelle für Konjunktion. Dieser<br />
Algorithmus benötigt offensichtlich nur polynomiell viel Zeit. Es gilt also folgendes.<br />
Satz B.9<br />
Das Auswertungsproblem der Aussagenlogik kann in polynomieller Zeit gelöst werden.<br />
Das Erfüllbarkeits- und das Gültigkeitsproblem sind von gänzlich anderer Natur. Einen<br />
naiven Algorithmus für das Erfüllbarkeitsproblem erhält man, indem man alle Belegungen<br />
B für die Variablen in der Eingabeformel aufzählt und für jede Belegung (in<br />
polynomieller Zeit) prüft, ob sie ϕ erfüllt. Da es exponentiell viele Belegungen gibt, ist<br />
das aber offensichtlich kein Polynomialzeitalgorithmus. Es ist auch nicht bekannt, ob es<br />
einen Polynomialzeitalgorithmus für das Erfüllbarkeitsproblem gibt; man vermutet aber,<br />
dass das nicht der Fall ist (dasselbe gilt für das Gültigkeitsproblem). Das ist sogar dann<br />
der Fall, wenn die Erfüllbarkeit von Formeln in KNF entschieden werden soll oder die<br />
Gültigkeit von Formeln in DNF. Wir werden das im Kapitel über Komplexitätstheorie<br />
weiter diskutieren.<br />
Im folgenden beobachten wir noch kurz, dass die umgekehrten Fälle, also die Erfüllbarkeit<br />
von Formeln in DNF und die Gültigkeits von Formeln in KNF, leicht in polynomieller<br />
Zeit entscheidbar sind.<br />
Satz B.10<br />
1. Eine DNF-Formel ist erfüllbar gdw. es ein Disjunkt gibt, das keine Literale der<br />
Form x,¬x enthält.<br />
2. Eine KNF-Formel ist gültig gdw. jedes Konjunkt zwei Literale der Form x,¬x<br />
enthält.<br />
Den sehr einfachen Beweis dieses Satzes lassen wir als Übung.<br />
168