KIT | KIT-Bibliothek | Impressum | Datenschutz

Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 21.01.2016, Vorlesung und Übung - 20

Sanders, Peter; Hübschle-Schneider, Lorenz; Maier, Tobias ORCID iD icon

  • 0:00:00 Starten
  • 0:00:11 Directed Hamilton Cycle (DHC)
  • 0:01:35 Beweis von »DHC ist NP-hart«
  • 0:02:03 Reduktionen
  • 0:02:43 DHC
  • 0:03:34 Beweis von »DHC ist NP-hart«
  • 0:05:07 Ein Knoten pro Variable
  • 0:05:47 Gadget Kj mit 6 Knoten je Klausel
  • 0:08:35 »Vorgesehene« Hamiltonkreise
  • 0:12:12 Unmögliche Hamiltonkreise
  • 0:14:16 Verbindungen der Gadgets
  • 0:18:35 Beispiel
  • 0:27:46 F erfüllbar - Instanz lösbar
  • 0:29:28 Instanz lösbar - F erfüllbar
  • 0:30:41 DHC - Hamilton Circle
  • 0:34:32 Exkurs: Euler-Tour
  • 0:36:11 Gesehene Reduktionen
  • 0:36:53 Komplexität (verallgemeinerter) klassischer Spiele
  • 0:43:48 10. Übung
  • 0:44:23 Integer Linear Programming
  • 0:44:51 ILP: 0-1-Belegung erzwingen
  • 0:45:29 Beispiel: KNAPSACK
  • 0:47:01 Pseudo-polynomieller Knapsack Algorithmus
  • 0:56:04 Approximation von Knapsack
  • 1:01:16 Domino
  • 1:03:34 Domino: Probleme
  • 1:04:00 2-Player Cooperative Dominoes
  • 1:08:19 Weitere Domino-Varianten
  • 1:09:28 Portal 2
  • 1:12:14 3Sat - Super Mario World

Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 05.02.2016
Erstellungsdatum 21.01.2016
Sprache Deutsch
DOI 10.5445/DIVA/2016-141
Identifikator KITopen-ID: 1000113758
Lizenz KITopen-Lizenz
Serie Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Folge 21
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page