KIT | KIT-Bibliothek | Impressum | Datenschutz

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
Open Access Logo


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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page