KIT-Bibliothek
Audio-/Videodatei publizieren

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

Vorlesung

Beschreibung

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

Laufzeit (hh:mm:ss)

01:23:05

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016

Publiziert am

05.02.2016

Fachgebiet

Informatik

Lizenz

KITopen-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

Embed-Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016 Folgen 1-27 von 27