So, (viele zu einer Reduktion), dass Sprache auf Sprache reduziert werden kann , wenn es existiert eine Turing-berechenbare Funktion so und .
(Turing-Reduzierbarkeit) bedeutet, dass Sprache auf Sprache Turing-reduziert werden kann, wenn eine Orakelmaschine die über entscheidet .
Ich Art sie beide einzeln, aber ich verstehe nicht , warum impliziert .
computability
reductions
FOKDIEKUL
quelle
quelle
Antworten:
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. "A≤TB B A A≤mB B A
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.
quelle