08: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 27.11.2018
Author
Editor
Participating institute
Institut für Theoretische Informatik (ITI)
Genre
Description
- 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
Duration (hh:mm:ss)
01:28:26
Series
Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19
Published on
29.11.2018
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 128000 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 934113 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 5306 s |
| Filename | DIVA-2018-901_hd.mp4 |
| File Size | 619.500.920 byte |
| Frame Rate | 25 |
| Video Bitrate | 800015 bps |
| Video Codec | h264 |
Media URL
Embed Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19
Episodes 1-18
of 18
