KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

09: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 28.11.2017

Autor

Dorothea Wagner

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

09 |
0:00:00 Starten
0:00:39 NP-Vollständigkeit
0:02:03 Transitivität der poly. Transformation
0:02:31 Korollar
0:03:49 Das Problem 3-SAT
0:05:37 Beweis: NP-Vollständigkeit von 3-SAT
0:20:16 Das Problem 2SAT
0:22:09 Das Problem MAX2SAT
0:24:18 Das Problem CLIQUE
0:27:48 Beweis: NP-Vollständigkeit von CLIQUE
0:36:44 Das Problem COLOR
0:37:57 Beweis: NP-Vollständigkeit von 3COLOR
0:39:06 Konstruktion von 3COLOR-Instanz G
0:43:16 Beispielgraph zur Reduktion
0:45:12 Polynomialität der Reduktion
0:45:35 Instantz I erfüllbar auch Instanz G erfüllbar
0:45:57 Instanz G ist 3-färbbar
0:50:30 Das Problem EXACT COVER
0:53:51 Beweis: NP-Vollständigkeit von EXACT COVER
0:55:30 Konstruktion von (X,S)
1:04:50 G dreifärbbar (X,S) hat exakte Überdeckung

Laufzeit (hh:mm:ss)

01:09:58

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18

Publiziert am

05.12.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 105353 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 911219 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4198 s
Dateiname DIVA-2017-743_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 799775 kbps
Video Codec h264

Embed-Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18 Folgen 1-19 von 19