Berechenbarkeit #31 – Reduktionen: Grundlagen, Beispiele und formale Definitionen 🔍

Wir lernen Reduktionen kennen, sehen einige Beispiele für Reduktionen und sehen auch die formale Definition. Eine Reduktion stellt eine Beziehung zwischen zwei Entscheidungsproblemen her, die einem erlaubt Eigenschaften wie Entscheidbarkeit und Unentscheidbarkeit des einen Problems auf das andere zu übertragen.