Warum bedeuten viele zu einer Reduktion Turing-Reduzierbarkeit?

7

So, (viele zu einer Reduktion), dass Sprache auf Sprache reduziert werden kann , wenn es existiert eine Turing-berechenbare Funktion so und .AmBABff(A)Bf(A¯)B¯

ATB (Turing-Reduzierbarkeit) bedeutet, dass Sprache auf Sprache Turing-reduziert werden kann, wenn eine Orakelmaschine die über entscheidet .ABOBA

Ich Art sie beide einzeln, aber ich verstehe nicht , warum impliziert .mT

FOKDIEKUL
quelle
Betrachten . dann haben Sie diese Turing-berechenbare Funktion mit dieser Eigenschaft. Betrachten Sie nun ein Wort . Wir wollen entscheiden , ob . Aber dann können wir nur prüfen , ob . Das liegt daran , wenn , dann wissen wir , dass und wenn dann wissen wir , dass daher die Funktion im Grunde ist das Orakel Maschine , die Sie benötigen um zu bestimmen . AmBfwwAf(w)BwAf(w)BwAf(w)BfOBATB
Bakuriu

Antworten:

16

Informell ausgedrückt bedeutet "Wenn ich eine Unterroutine für  , dann könnte ich lösen  ", während bedeutet "Wenn ich hatte eine Unterroutine für  , dann konnte ich mit einem Programm lösen  , das die Unterroutine nur einmal aufruft und außerdem nur die Antwort der Unterroutine zurückgibt, ohne weitere Berechnungen durchzuführen. "ATBBAAmBBA

Wenn Sie ein Problem mit einer Unterroutine lösen können, so dass bla bla bla, können Sie dieses Problem mit der Unterroutine lösen.

David Richerby
quelle