Alle Videos / 2014 SoSe / Theoretische Informatik
2014-03-11
Anzahl Videos: 6, Dauer: 1:57:13
01 Einführung(13:59)[mp4][webm]
02 Valeries Problem(15:10)[mp4][webm]
03 'Naiver' Algorithmus für Valeries Problem(13:46)[mp4][webm]
04 Das 'RAM'-Modell(22:10)[mp4][webm]
05 Laufzeitanalyse und worst case(22:15)[mp4][webm]
06 Wiederholung Landau-Symbole(29:53)[mp4][webm]
2014-03-18(1)
Anzahl Videos: 9, Dauer: 1:44:32
01 Weitere Beispiele für Laufzeitanalysen(15:18)[mp4][webm]
02 Exponentielle vs. polynomiale Laufzeit von Algorithmen(19:25)[mp4][webm]
03 Carlas Problem(10:40)[mp4][webm]
04 Praktikable und widerspenstige Probleme(08:21)(1 Kommentar)[mp4][webm]
05 Ians Problem(07:06)[mp4][webm]
06 Polynomiale Reduktion(14:57)[mp4][webm]
07 Noch eine polynomiale Reduktion(08:23)[mp4][webm]
08 Optimierungs- vs. Entscheidungsprobleme(10:04)[mp4][webm]
09 Liegt es an der Anzahl der möglichen Lösungen?(10:18)[mp4][webm]
2014-03-25
Anzahl Videos: 9, Dauer: 1:56:13
01 Das 'N-RAM'-Computermodell(18:45)[mp4][webm]
02 Die Klassen P und NP(16:37)[mp4][webm]
03 NP-Vollständigkeit und der Satz von Cook und Levin(17:57)[mp4][webm]
04 SAT(07:13)[mp4][webm]
05 SAT, Teil 2(16:33)[mp4][webm]
06 Ein spezieller Typ Formel(08:25)[mp4][webm]
07 Beweis des Satzes von Cook und Levin(12:45)[mp4][webm]
08 Beweis des Satzes von Cook und Levin, Teil 2(11:59)[mp4][webm]
09 Beweis des Satzes von Cook und Levin, Teil 3(05:59)[mp4][webm]
2014-04-01(1)
Anzahl Videos: 8, Dauer: 1:31:53
01 Konsequenzen aus NP-Vollständigkeit(13:51)[mp4][webm]
02 Clique ist NP-vollständig(15:43)[mp4][webm]
03 Ist mein Problem NP-vollständig?(06:44)[mp4][webm]
04 Sams Problem(13:20)[mp4][webm]
05 Shortest Tour ist NP-vollständig(16:13)[mp4][webm]
06 Shortest Tour ist NP-vollständig, Teil 2(15:02)[mp4][webm]
07 Shortest Tour ist NP-vollständig, Teil 3(08:50)[mp4][webm]
08 Wikipedia-Liste NP-vollständiger Probleme(02:10)(1 Kommentar)[mp4][webm]
2014-04-08
Anzahl Videos: 7, Dauer: 1:33:23
01 Weitere NP-vollständige Probleme(19:51)[mp4][webm]
02 Brutale Gewalt(05:43)[mp4][webm]
03 'Gesetzeslücken'(10:01)[mp4][webm]
04 Analyse des Entscheidungsbaums für Vertex Cover(14:25)[mp4][webm]
05 Ein verbesserter Algorithmus für Vertex Cover(22:58)[mp4][webm]
06 Ein verbesserter Algorithmus für Independent Set(11:09)[mp4][webm]
07 Aktueller Stand bei einigen bekannten Problemen(09:16)[mp4][webm]
2014-04-15
Anzahl Videos: 7, Dauer: 1:18:42
01 Pre-Processing(14:53)[mp4][webm]
02 Pre-Processing für Vertex Cover(07:38)[mp4][webm]
03 Konsequenzen aus dem Pre-Processing für Vertex Cover(11:40)[mp4][webm]
04 Fixed-parameter tractability(13:45)[mp4][webm]
05 Fixed-parameter tractability, Teil 2(12:47)[mp4][webm]
06 Fixed-parameter tractability, Teil 3(05:01)[mp4][webm]
07 Faktor-c-Approximationen(12:58)[mp4][webm]
2014-04-22
Anzahl Videos: 6, Dauer: 1:21:29
01 Die Algorithmen 'Take 2' und 'Greedy'(10:21)[mp4][webm]
02 'Take 2' ist eine Faktor-2-Approximation(07:26)[mp4][webm]
03 'Greedy' ist keine Faktor-c-Approximation(22:21)[mp4][webm]
04 Aufspannende Bäume(07:56)[mp4][webm]
05 Eine Faktor-2-Approximation für Shortest Tour(21:47)[mp4][webm]
06 Keine Faktor-c-Approximation für Clique und Independent Set(11:38)[mp4][webm]
2014-04-29(2)
Anzahl Videos: 8, Dauer: 1:55:23
01 Ein pseudo-polynomialer Algorithmus für das Rucksack-Problem(29:58)[mp4][webm]
02 Haben wir P=NP bewiesen?(07:08)[mp4][webm]
03 Ein PTAS für das Rucksack-Problem(24:15)(1 Kommentar)[mp4][webm]
04 Randomisierung(13:57)[mp4][webm]
05 Ein randomisierter Algorithmus ohne Strategie(04:08)[mp4][webm]
06 Ein randomisierter Algorithmus für 3-SAT(21:09)[mp4][webm]
07 Heuristische Strategien(08:48)[mp4][webm]
08 ACO-Demo(06:00)(1 Kommentar)[mp4][webm]
2014-05-06(1)
Anzahl Videos: 8, Dauer: 1:54:30
01 Geht es noch schwerer?(16:07)[mp4][webm]
02 Computer-Probleme(11:33)[mp4][webm]
03 Das Halteproblem(13:52)(1 Kommentar)[mp4][webm]
04 Das Halteproblem ist nicht entscheidbar(13:48)[mp4][webm]
05 Weitere unentscheidbare Probleme(21:59)[mp4][webm]
06 Der Satz von Rice(13:32)[mp4][webm]
07 Rekursiv aufzählbare Mengen(17:46)[mp4][webm]
08 Gibt es Mengen, die nicht rekursiv aufzählbar sind?(05:53)[mp4][webm]
2014-06-03(3)
Anzahl Videos: 10, Dauer: 2:00:51
01 Eine Menge, die nicht rekursiv aufzählbar ist(08:09)[mp4][webm]
02 Das Collatz-Problem(05:17)[mp4][webm]
03 Fleißiger Biber(03:59)(1 Kommentar)[mp4][webm]
04 Diophantische Gleichungen(09:15)[mp4][webm]
05 Polyominos(14:29)(2 Kommentare)[mp4][webm]
06 Alphabete(18:38)[mp4][webm]
07 Wörter(12:54)[mp4][webm]
08 Kleensche Hülle, Sprachen(17:15)[mp4][webm]
09 Beispiele für Sprachen(13:08)[mp4][webm]
10 Konkatenation(17:47)[mp4][webm]
2014-06-10
Anzahl Videos: 7, Dauer: 1:35:52
01 Sprachen und Mengenoperationen(15:40)[mp4][webm]
02 Konkatenation von Sprachen(09:03)[mp4][webm]
03 Potenzieren von Sprachen(22:41)[mp4][webm]
04 Der Schwimmbadautomat(11:54)[mp4][webm]
05 Endliche Automaten(19:21)[mp4][webm]
06 Die von einem Automaten akzeptierte Sprache(09:28)[mp4][webm]
07 JFLAP(07:45)[mp4][webm]
2014-06-17(1)
Anzahl Videos: 8, Dauer: 1:55:37
01 Abschlusseigenschaften der von endlichen Automaten akzeptierten Sprachen(17:50)[mp4][webm]
02 Reguläre Ausdrücke(20:14)[mp4][webm]
03 Semantik der regulären Ausdrücke(21:20)[mp4][webm]
04 Äquivalenz regulärer Ausdrücke(08:02)[mp4][webm]
05 Reguläre Sprachen und endliche Automaten(14:36)[mp4][webm]
06 Sprachen, die nicht regulär sind(14:08)[mp4][webm]
07 Reguläre Ausdrücke in der Praxis (Perl-Syntax)(07:02)[mp4][webm]
08 Anwendung - grep und Regex Coach(12:25)(1 Kommentar)[mp4][webm]