Hauptseminar im Wintersemester 2007/08

Exakte Algorithmen

Kontaktpersonen:

Joachim Kneis (kneis@informatik.rwth-aachen.de)
Stefan Richter (richter@informatik.rwth-aachen.de)
Peter Rossmanith (rossmani@informatik.rwth-aachen.de)

Einordnung

Theoretische Informatik

Ort und Zeit

Das Seminar findet wöchentlich statt. Der Termin wird noch verhandelt.
    WocheVortragende(r)Thema
    18.10.HenrikExakte und Parametrisierte Algorithmen
    22.10.--
    29.10.RobertTSP auf planaren Graphen
    05.11Malyanti-
    12.11ThomasFast Convolution
    19.11.Oliver3-Colorability
    26.11.FernandoLongest Path
    03.12.FelixMemorization
    10.12MichaelUpper Bounds for SAT
    17.12Felix II4-Colorability
    07.01StefanCluster Editing
    14.01YangIndependent Set
    21.01SebastianPathwidth
    28.01ViktorMinimum Quartett Inconsistency
    04.02Daniel2-CSP
    11.02DavidMinimum Dominating Set

Themenspektrum

Eines der Hauptarbeitsgebiete unseres Lehr- und Forschungsgebietes liegt im Design und der Analyse von Algorithmen, die NP-schwere Probleme exakt lösen. Aus diesem Themenkreis sollen besonders wichtige und interessante Meilensteine im Rahmen eines Seminars beleuchtet werden. Wir gehen dabei von einem Überblicksartikel von Fomin, Grandoni und Kratsch und der dort genannten Literatur aus.

Modus

Das Seminar soll über das bloße Anhören von Vorträgen hinausgehen. Wir streben dabei die Vermittlung fortgeschrittener Kulturtechniken wie Präsentation, Moderation, zielgerichteter Gruppenarbeit und Diskussion, Textsatz und schriftlichen Ausdruckes an.

Voraussetzungen

Interesse an Mathematik, offener Zusammenarbeit und experimentellem Lernen. Bereitschaft und Fähigkeit zur Begeisterung und Selbstmotivation. Von Vorteil sind Vorkenntnisse in algorithmischen Aspekten der theoretischen Informatik.

Unsere Hinweise zum Verfassen schriftlicher Arbeiten sind unbedingt zu beachten!

Vorlagen

Einige mit LaTeX-Beamer erzeugte Beispielfolien finden sich hier. Zum Kompilieren benötigt man diese Quellen. Lesenswert ist zudem die Anleitung für das Beamerpaket. Im wesentlichen für Linux: Einige Hinweise und Quelldateien zum Schreiben einer LaTeX-Arbeit gibt es hier. Neben den wichtigsten Textelementen werden auch der Formelsatz sowie das Erzeugen und Einbinden von Metapost-Abbildungen behandelt. Außerdem liegt ein einfaches, aber praktisches Makefile bei.