08: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 19.11.2019

Share:

Theoretische Grundlagen der Informatik, Vorlesung, WS19/20

Education

08 | 0:00:00 Start 0:07:42 Bemerkungen zur NTM 0:11:20 Zeitkomplexität für NTM 0:14:40 Die Klasse NP 0:18:28 P vs NP 0:24:03 Polynomiale Transformation 0:34:35 Das Problem SAT 0:39:55 Satz von Cook 0:43:37 Setup 0:48:19 Konstruktion der Variablen 1:05:51 Zwischenbilanz