Wechselbarkeit von 2 Versionen des Befrieflichkeitsproblems
-
29-09-2020 - |
Frage
Ich brauche Hilfe bei diesem Problem.
Es gibt 2 Versionen des Befrieflichkeitsproblems:
[1] Entscheidungsversion: Bestimmen Sie, ob eine beliebige Formel F ist befriedigend oder nicht
[2] Suchversion: Wenn eine beliebige Formel F erfüllt ist, rufen Sie zurück Eine Zuordnung von Wahrheitswerten in Variablen in der Formel, die f macht erfüllbar.Wenn f unzufrieden ist, rufen Sie null zurück.
zeigen, dass [2] auf [1] reduzierbar ist.
Ich muss nachweisen, dass der Oracle-Algorithmus von [1] das von [2] zu sagen bedeutet "[2], der zu [1] umrätet ist, um [1]" ist.
Ich sehe, dass [2] nur der Oracle-Algorithmus von [1] ist, da er die Erfüllung der beliebigen Formel f unterscheidet.
kann dies bedeuten, dass der Oracle-Algorithmus von [1] den von [2] mit sich beinhaltet?Wenn kann, was wäre der Grund?
Lösung
Jeder Algorithmus, der die Erfüllung einer Formel entscheidet, kann auch verwendet werden, um eine Zuordnung für eine ergiebige Formel zu finden:
Während nicht alle Variablen zugewiesen werden:
- .
-
Wählen Sie eine Variable und wählen Sie Wert 0.
-
Wenn die Formel nicht mehr erfüllt ist, ersetzen Sie den Wert mit 1.