Education
07 | 0:00:00 Starten 0:00:06 Definitionen zur TM 0:01:15 Unentscheidbarkeit der Diagonalsprache 0:02:42 Die Universelle Sprache 0:09:51 Satz von Rice - Motivation 0:17:10 Das Post'sche Korrespondenzproblem 0:21:44 Eigenschaften von (semi-)entscheibaren Sprachen 0:28:02 Komplexitätstheorie 0:32:53 Wie sieht ein Problem aus? 0:37:56 Definition: Problem 0:39:34 Definition: Kodierungsschema 0:43:19 Äquivalenz von Kodierungsschemata 0:44:33 Entscheidungsprobleme 0:46:43 Korrespondenz von Entscheidungsproblemen und Sprachen 0:51:27 Zeitkomplexität 0:53:04 Die Klasse P 0:56:35 Algorithmus OPT-TOUR (als Beweis) 0:59:27 Die Nichtdeterministische Turingmaschine 1:04:41 Übertragung auf Entscheidungsprobleme PI 1:07:16 Bemerkungen zur NTM 1:13:15 Die Klasse NP