Wechselbarkeit von 2 Versionen des Befrieflichkeitsproblems

Question

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?

Answer 1

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.