KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

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

Vorlesung

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

Informatik

Lizenz

KITopen-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 kbps
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 kbps
Video Codec h264

Embed-Code

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