Algorithmen und Komplexität - Hauptseite Algorithmen und Komplexität

Vorlesung: Theoretische Informatik 3

Dozent: T. Nierhoff


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
  1. Random Access Machines und Polynomialzeitalgorithmen
  2. Selbstreduzierbarkeit
  3. Polynomialzeitreduktionen
  4. NP, NP-schwer, NP-vollständig, coNP
Teil II: Approximationsalgorithmen
  1. NPO
  2. 2-Approximationsalgorithmen für VertexCover und TSP
  3. PTAS für Knapsack
  4. ln n-Approximationsalgorithmus für SetCover
  5. 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.

zuletzt geändert am 23.01.2006 (alkox-www)