08: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 27.11.2018
Autor
Herausgeber
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
Beschreibung
- 0:00:00 Start
- 0:00:22 Letzte Vorlesung
- 0:06:59 Plan für heute
- 0:09:46 Pas Problem 3SAT
- 0:11:29 Beweis: NP-Vollständigkeit von 3SAT
- 0:30:58 Das Problem 2SAT
- 0:31:54 Das Problem MAX2SAT
- 0:33:51 Das Problem CLIQUE
- 0:35:32 Beweis: NP - Vollständigkeit von CLIQUE
- 0:48:25 Das Problem COLOR
- 0:50:25 NP-Vollständigkeit von 3COLOR
- 0:52:26 Konstruktion von 3COLOR-Instanz G
- 0:55:48 Polynomialität der Reduktion
- 0:56:35 Instanz/ erfüllbar
- 1:03:01 Zwischenstand Polynomiale Reduktion
- 1:13:41 Das Problem EXACT COVER
- 1:16:23 NP - Vollständigkeit von EXACT COVER
- 1:18:00 Konstruktion
Laufzeit (hh:mm:ss)
01:28:26
Serie
Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19
Publiziert am
29.11.2018
Fachgebiet
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 128000 bps |
| Audio Kanäle | 2 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 934113 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 5306 s |
| Dateiname | DIVA-2018-901_hd.mp4 |
| Dateigröße | 619.500.920 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 800015 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19
Folgen 1-18
von 18
