Institut für Theoretische Informatik, Algorithmik

Proseminar: Schwere Probleme und die Kunst der Reduktion

im Sommersemester 2025

Thema

Die Berechnungskomplexität eines Problems ist eines der zentralen Konzepte in der Algorithmik. Neben dem Entwurf von effizienten Algorithmen sind auch theoretisch beweisbare untere Schranken für die Komplexität eines Problems von essentieller Bedeutung. Dies erlaubt unter anderem die Einteilung von Problemen in Komplexitätsklassen wie P, NP oder beispielsweise PSPACE. Untere Schranken, also die Schwere eines Problems, werden mit Reduktionen bewiesen. Eine Reduktion transformiert allgemeine Instanzen eines bekannt schweren Problems in äquivalente spezielle Instanzen des betrachteten Problems. Neben den klassischen polynomiellen Reduktionen und der dazugehörigen NP-Schwere, gibt es eine Vielzahl von weiteren Komplexitätsklassen und entsprechenden Reduktionen. Eine Reduktion für ein neues Problem zu finden erfordert sowohl die Kenntnis von geeigneten schweren Problemen, als auch eine gewisse Erfahrung in der Entwicklung von Reduktionen. In diesem Proseminar werden beide Bereiche durch eine Vielzahl von Beispielen gezielt gestärkt.

Aktuelles

  • Die Homepage wurde eingerichtet.
  • Ein ILIAS-Kurs wurde angelegt.

Voraussetzungen

  • Kenntnisse aus den Vorlesungen „Algorithmen 1“ und „Theoretische Grundlagen der Informatik“ sind erforderlich.
  • Die Kenntnis von Graphen, grundlegenden Algorithmentechniken und Komplexitätsklassen wird vorausgesetzt.

Quellen und Betreuung

  • Jede:r Teilnehmer:in erhält eine wissenschaftliche Quelle zur eigenhändigen Bearbeitung.
  • Die Themen werden am ersten Termin, dem 28.4. vorgestellt und verteilt.
  • Jede:r Teilnehmer:in wird von einer/m Mitarbeiter:in betreut. Die Mitarbeiter:innen stehen für Fragen und Hinweise nach voriger Absprache zur Verfügung.

Allgemeines

Anmeldung

  • Alle Plätze sind belegt.

Ablauf

  • Jede:r Seminarteilnehmer:in hält einen 35-minütigen Vortrag im Proseminar und steht danach für Fragen der Teilnehmer:innen zur Verfügung.
  • Eine regelmäßige Teilnahme am Seminar wird vorausgesetzt.
  • Spätestens zwei Wochen vor dem Vortragstermin ist das Vortragskonzept mit der/m jeweiligen Betreuer:in zu besprechen.
  • Ein vorläufiger Foliensatz ist eine Woche vor dem Vortrag bei dem/der jeweiligen Betreuer:in abzugeben.
  • Die Ausarbeitungen sind vorab (genauer Termin wird noch festgelegt) für Feedback an die/den jeweilige:n Betreuer:in abzugeben. Der Termin für die finale Abgabe wird noch bekanntgegeben.
  • Die Seminarnote ergibt sich aus der Note für den Vortrag und die Ausarbeitung, sowie der Beteiligung am Seminar.

Zeitplan

# Termin Betreuung Thema Vortragende
1 21.04.
2 28.04. Einführung und Themenvergabe Torsten Ueckerdt und Thomas Bläsius
3 05.05. Vortrags-Tutorial, Ipe-Einführung Thomas Bläsius [Torsten, Marcus]
4 12.05.
5 19.05. Kurzvorträge alle
6 26.05.
7 02.06. Adrian Feilhauer (1) Mutual Planar Duality tba
Laura Merker (2) The Price of Upwardness tba
8 09.06.
9 16.06. Samuel Schneider (3) Tiling with Three Polygons tba
Jean-Pierre von der Heydt (4) FRACTRAN tba
10 23.06. Thomas Bläsius (5) T-Level Planarity tba
Michael Zündorf (6) Partial Order Dimension tba
11 30.06. Kolja Kühn (7) GO is Polynomial-Space Hard tba
Torsten Ueckerdt (8) Intersection Graphs of Segments and ER tba
12 07.07. Wendy Yi (9) Binary Space Partitions in the Plane tba
Miriam Goetze (10) Non-Crossing Connectors tba
13 14.07. Max Göttlicher (11) Normalisierung von Schaltkreisen tba
Marcus Wilhelm (12) Graph Diameter and SETH tba
14 21.07.
15 28.07.

Änderungen vorbehalten.

Vorlagen

Eine LaTeX-Vorlage für die Ausarbeitung wird hier demnächst nachgereicht.

Betreuung