KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 19.01.2016, Vorlesung - 19

Autor

Peter Sanders

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

19: Vorlesung |
0:00:00 Starten
0:03:08 Beweis SUBSET SUM
0:03:31 Beweis ""SUBSET SUM ist NP-hart""
0:03:34 SUBSET SUM
0:06:04 Die SUBSET SUM Instanz
0:10:08 Beispiel
0:13:55 Beweisidee
0:18:29 F erfüllbar -> Instanz lösbar
0:20:42 Instanz lösbar -> F erfüllbar
0:23:44 Beispiel Rucksackproblem
0:24:29 Rucksackproblem
0:26:11 Reduktionen
0:26:56 PARTITION
0:28:30 Beweis SUBSET SUM <= pPARTITION
0:38:39 Integer Linear Programming (ILP)
0:40:14 Beweis von ""ILP ist NP-hart""
0:41:18 Ist ILP in NP ?
0:44:52 Umgang mit NP-harten Probleme
0:55:29 Optimierungsprobleme
0:56:11 NP vollständig
0:57:26 Nichtapproximierbarkeit des Handlungsreisendenproblems (TSP)
1:00:20 alpha-Approximation von TSP
1:01:13 HamiltonCycle<=palpha-Approximation von TSP
1:05:45 Pseudopolynomielle Algorithmen
1:07:56 Beispiel Rucksackproblem

Laufzeit (hh:mm:ss)

01:08:38

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016

Publiziert am

21.01.2016

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 101522 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 907502 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4118 s
Dateiname DIVA-2016-106_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 799888 kbps
Video Codec h264

Embed-Code

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