Ratefähigkeit der nichtdeterministischen TM

Question

Im Informatik Lehrbuch wird gesagt, dass eine nichtdet. TM insofern korrekt rät, als dass sie die deterministische Verifizierung übersteht.

Was passiert denn jetzt, wenn wir eine Abzweigung genommen haben, die sich hinterher als falsch erweist? Ist nicht durch die Möglichkeit des falsch-raten der Aufwand einen akzeptierenden Pfad zu finden, höher, als wenn man ihn von vornherein deterministisch sucht?

Oder soll man einfach blind der Annahme vertrauen, dass die nichtdeterministische TM einfach sehr gut raten kann?

Viele Grüße

Answer 1

Das zweite ist es, Sie können blind annehmen, dass, wenn es einen richtigen Weg, die Turingmaschine die richtige Abzweigung nimmt.