Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 19.01.2016, Vorlesung - 19
Autor
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
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
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 bps |
| 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 bps |
| Video Codec | h264 |
Embed-Code
