Die Turing-Reduktion ist ein Konzept aus der theoretischen Informatik, das sich mit der Beziehung zwischen verschiedenen Entscheidungsproblemen beschäftigt. Sie beschreibt, wie man ein Problem auf ein anderes Problem reduzieren kann, indem man eine hypothetische Turing-Maschine nutzt, die die Lösung von als Unterprozedur aufruft. Wenn eine Turing-Maschine in der Lage ist, das Problem zu lösen, indem sie eine endliche Anzahl von Aufrufen an eine Turing-Maschine, die löst, sendet, sagen wir, dass Turing-reduzierbar auf ist, was wir als notieren. Diese Art der Reduktion ist besonders wichtig für die Klassifikation von Problemen hinsichtlich ihrer Berechenbarkeit und Komplexität. Ein klassisches Beispiel ist die Reduktion des Halteproblems, das zeigt, dass viele andere Probleme ebenfalls unlösbar sind.
Starte dein personalisiertes Lernelebnis mit acemate. Melde dich kostenlos an und finde Zusammenfassungen und Altklausuren für deine Universität.