07: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 16.11.2017

Autor

Dorothea Wagner

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

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

Laufzeit (hh:mm:ss)

01:19:25

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18

Publiziert am

21.11.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz