Education
20: Vorlesung und Übung | 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