Approximationsalgorithmen (APPROXA)7.5 ECTS
(englische Bezeichnung: Approximation Algorithms)
(Prüfungsordnungsmodul: Vertiefungsmodul Theoretische Informatik)

Lectures:

• • Approximationsalgorithmen
    (Vorlesung, 2 SWS, Rolf Wanka, Mon, 14:15 - 15:45, E 1.11)
  • Übungen zu Approximationsalgorithmen
    (Übung, 2 SWS, Rolf Wanka, Tue, 12:15 - 13:45, E 1.11)

Inhalt:

Für viele kombinatorische Optimierungsprobleme hat sich herausgestellt, daß sie vermutlich nicht durch schnelle exakte Algorithmen gelöst werden können, weshalb man sich mit Näherungslösungen zufrieden geben muß. In dieser Vorlesung werden Approximationsalgorithmen vorgestellt, die für eine Reihe populärer Optimierungsprobleme beweisbar gute Lösungen in vertretbarer Zeit berechnen.

Im ersten Teil der Veranstaltung werden die grundlegenden Begriffe vorgestellt, mit Beispielalgorithmen ausgeführt und jeweils die Grenzen aufgezeigt.

Im zweiten Teil werden allgemeine Techniken eingeführt und anhand instruktiver Beispiele mit Leben erfüllt.

Lernziele und Kompetenzen:

Wissen

Lernende können Wissen abrufen und wiedergeben. Sie kennen konkrete Einzelheiten wie Begriffe, Definitionen, Fakten, Gesetzmäßigkeiten und Theorien.

Verstehen

Lernende können Beispiele anführen und Aufgabenstellungen interpretieren ,

Anwenden

Lernende können neue Probleme durch Transfer des Wissens lösen.

Analysieren

Lernende können ein Problem in einzelne Teile zerlegen und so die Struktur des Problems verstehen und der Anwendung der erlernten Methoden zugänglich machen.

Literatur:

• R. Wanka. Approximationsalgorithmen - Eine Einführung. Teubner, 2007.

• K. Jansen, M. Margraf. Approximative Algorithmen und Nichtapproximierbarkeit. de Gruyter, 2008.

• G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela, M. Protasi. Complexity and Approximation -- Combinatorial Optimization Problems and Their Approximability Properties. Springer, 1999.

• E. W. Mayr, H. J. Prömel, and A. Steger (Hrsg.). Lectures on Proof Verification and Approximation Algorithms. Springer, 1998.

• V. V. Vazirani. Approximation Algorithms. Springer, 2001.

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Mathematik (Bachelor of Science)
   (Po-Vers. 2015w | Bachelorprüfung | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsmodul Theoretische Informatik)

Studien-/Prüfungsleistungen:

Approximationsalgorithmen (Vorlesung mit Übung) (Prüfungsnummer: 247639)

Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 30, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

Erstablegung: SS 2015, 1. Wdh.: WS 2015/2016, 2. Wdh.: keine Wiederholung

1. Prüfer:

Rolf Wanka