Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 17.12.2015, Vorlesung und Übung - 16
Autor
Lorenz Hübschle-Schneider, Tobias Maier, Peter Sanders
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
Beschreibung
16: Übung und Vorlesung|
0:00:00 Starten
0:00:56 Rückblick: Chomsky-3
0:05:29 Rückblick: Chomsky-3 Verfahren
0:16:18 Rückblick: Chomsky-2
0:19:33 Rückblick: Chomsky-2 Verfahren
0:27:23 Rückblick: Chomsky-0/1
0:30:41 Rückblick: Entscheidbarkeit
0:36:54 Ausblick: Komplexitätstheorie
0:38:54 Video: Game of Life Automat
0:43:27 Video: Variante von Game of Life mit realen Werten
0:45:23 Vorlesung
0:46:03 Kapitel 2: Komplexitätstheorie
0:46:34 Obere Schranken
0:46:54 Untere Schranken
0:47:23 Untere Schranken: Lösungsansätze
0:49:08 Eine Komplexitätsklasse
0:50:00 Komplexitätsklasse P
0:50:31 P für verschiedene Maschinenmodelle
0:52:33 Komplexitätsklasse NP
0:53:29 Beispiel: Rucksackproblem
0:54:05 Alternative Definition von NTIME: Orakel
0:55:26 Äquivalenz von NTIME und OTIME
0:55:47 Die 1 000 000 $ Frage
0:57:09 Eine Komplexitätshierarchie
0:59:59 Polynomiale Reduzierbarkeit
1:02:10 Beispiel
1:09:05 NP-harte und NP-vollständige Probleme
1:15:09 Ein einfacher Weg zu Ruhm und Reichtum?
1:20:16 SAT: Das Erfüllbarkeitsproblem
1:23:34 Beweis von SAT ∈ NP
Laufzeit (hh:mm:ss)
01:24:20
Serie
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Publiziert am
07.01.2016
Fachgebiet
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 103601 bps |
| Audio Kanäle | 2 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 909657 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 5061 s |
| Dateiname | DIVA-2016-2_hd.mp4 |
| Dateigröße | 4.096 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 799964 bps |
| Video Codec | h264 |
Embed-Code
