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

Name: 08: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 19.11.2019
Uploaded: 2019-11-21T00:00:00Z
Duration: T1H15M57S
Description: 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

Wagner, Dorothea; Sauer, Jonas; Brückner, Guido; Zentrum für Mediales Lernen (ZML)

doi:10.5445/DIVA/2019-893

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

Wagner, Dorothea; Sauer, Jonas; Brückner, Guido; Zentrum für Mediales Lernen (ZML) [Hrsg.]

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

Export

Statistiken

Seitenaufrufe: 72
seit 06.03.2020

Zugehörige Institution(en) am KIT	Institut für Theoretische Informatik (ITI)
Publikationstyp	Audio & Video
Publikationsdatum	21.11.2019
Erstellungsdatum	19.11.2019
Sprache	Deutsch
DOI	10.5445/DIVA/2019-893
Identifikator	KITopen-ID: 1000117051
Lizenz	KITopen-Lizenz
Serie	Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20
Folge	8

Repository KITopen

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