Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 21.01.2016, Vorlesung und Übung - 20
Autor
Peter Sanders, Lorenz Hübschle-Schneider, Tobias Maier
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
Beschreibung
- 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
Laufzeit (hh:mm:ss)
01:23:05
Serie
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Publiziert am
05.02.2016
Fachgebiet
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 105290 bps |
| Audio Kanäle | 2 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 911246 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 4985 s |
| Dateiname | DIVA-2016-141_hd.mp4 |
| Dateigröße | 4.096 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 799863 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Folgen 1-27
von 27
