Termine
Beginn der Vorlesung:
15.04.2003
Beginn der Übung:
15.04.2003
| VL |
Dienstag |
09:00 - 11:00 |
(RUD 26, 3.001) |
| UE |
Dienstag |
11:00 - 13:00 |
14tgl./1. (RUD 26, 1.305) T. Nierhoff |
| Dienstag |
11:00 - 13:00 |
14tgl./2. (RUD 26, 1.305) T. Nierhoff |
| Dienstag |
11:00 - 13:00 |
14tgl./2. (RUD 25, 1.011) M. Füssel |
| Donnerstag |
9:00 - 11:00 |
14tgl./1. (RUD 26, 0.311) D. Osthus |
| Donnerstag |
9:00 - 11:00 |
14tgl./2. (RUD 26, 0.311) D. Osthus |
| Donnerstag |
11:00 - 13:00 |
14tgl./1. (RUD 26, 0.311) D. Osthus |
| Donnerstag |
11:00 - 13:00 |
14tgl./2. (RUD 26, 0.311) D. Osthus |
Zuordnung
- Grundstudium, 4. Semester
Voraussetzungen
- Theoretische Informatik 1
- Theoretische Informatik 2
Inhalte und Lernziele
Teil I: NP-Vollständigkeit
- Random Access Machines und Polynomialzeitalgorithmen
- Selbstreduzierbarkeit
- Polynomialzeitreduktionen
- NP, NP-schwer, NP-vollständig, coNP
Teil II: Approximationsalgorithmen
- NPO
- 2-Approximationsalgorithmen für VertexCover und TSP
- PTAS für Knapsack
- ln n-Approximationsalgorithmus für SetCover
- Ausblick: randomisierte Algorithmen
Lernziele: Selbständige Lösungsfindung, schlüssige
Argumentation, saubere Dokumentation
Folien
Disclaimer: Es gilt das gesprochene Wort
Übungen
Leiter: Dr. Till Nierhoff, M. Füssel und D. Osthus
Empfohlene Literatur
-
Asteroth, Baier,
Theoretische Informatik,
Pearson Studium, 2002.
-
Emden-Weinert, Hougardy, Kreuter, Prömel, Steger,
Einführung in Graphen
und Algorithmen,
Vorlesungsskript, 450 Seiten, Berlin 1996.
-
Garey, Johnson,
Computers and Intractability - A Guide to the Theory of NP-Completeness,
W.H. Freeman and Company, 1979.
-
Hochbaum (ed.),
Approximation Algorithms for NP-hard problems,
PWS Publishing, 1995.
-
Hougardy, Prömel,
Graphen und Algorithmen 1,
Vorlesungsskript, Berlin 2000.
-
Köbler,
Theoretische Informatik II,
Vorlesungsskript, Berlin 2000.
-
Papadimitriou,
Computational Complexity,
Addison Wesley, 1994.
-
Steger,
Diskrete Strukturen 1,
Springer Verlag, 2001.
-
Vazirani,
Approximation Algorithms,
Springer Verlag, 2001.
-
Wegener,
Theoretische Informatik,
Teubner Verlag, 1993.
Prüfung
- Klausur
-
Die Nachklausur findet am
15. Oktober 2003 von 9 bis 13 Uhr im großen Hörsaal 3.001 (RUD 25)
statt.
- Einsicht in die Klausur bis zum 1. Dezember in Raum 3.320, RUD 25.
- Die erste Klausur war am 12.7.03.