Veranstalterin | Prof. Dr. Petra Mutzel |
Modul | Diplom, Master INF-MSc-102 (Informatik, Angewandte Informatik) |
Veranstaltungsart | Seminar |
Veranstaltungsnummer | 041402 |
Forschungsbereich | Algorithmen und Komplexität |
SWS | 2 |
Max. Teilnehmer | 12 |
Algorithmen und Datenstrukturen sind das Herz jeder Computeranwendung. Traditionell hat sich die Algorithmik der Methodik der Algorithmentheorie bedient: Algorithmen werden für einfache und abstrakte Problem- und Maschinenmodelle entworfen und Leistungsgarantien werden für alle möglichen Eingaben bewiesen (z.B. Worst-Case Analyse).
Bei wachsenden Anforderungen an innovative Algorithmen ergeben sich daraus wachsende Lücken zwischen Theorie und Praxis: Reale Hardware entwickelt sich durch Parallelismus, Speicherhierarchien, Pipelining, etc. immer weiter weg von einfachen Maschinenmodellen und reale Anwendungen werden immer komplexer. Gleichzeitig entwickelt die Algorithmentheorie auch für einfache Anwendungen immer komplexere Algorithmen, die zwar in der Theorie wichtige Ideen und Resultate liefern, aber oft auch kaum implementierbar sind. Außerdem haben reale Eingaben oft wenig mit den Worst-Case Szenarien der theoretischen Analyse zu tun. Im schlimmsten Fall werden viel versprechende algorithmische Ansätze vernachlässigt, weil eine vollständige Analyse mathematisch zu schwierig wäre.
Seit Beginn der 1990er Jahre wird deshalb eine breitere Sichtweise der Algorithmik immer wichtiger, die als Algorithm Engineering bezeichnet wird. Dabei stehen der Entwurf, die Analyse, die Implementierung und die experimentelle Bewertung von Algorithmen gleichberechtigt nebeneinander. Der gegenüber der Algorithmentheorie größere Methodenapparat, die Einbeziehung realer Hard- und Software und der engere Bezug zu realen Anwendungen verspricht realistischere Algorithmen. Dadurch soll die Lücke zwischen Theorie und Praxis überbrückt und ein schnellerer Transfer von algorithmischem Wissen in Anwendungen gewährleistet werden.
In diesem Seminar beschäftigen wir uns mit ausgewählten aktuellen Veröffentlichungen aus dem Bereich des Algorithm Engineerings, die auf internationalen Konferenzen oder in Zeitschriften erschienen sind:
Auf die einzelnen Artikel kann aus dem Netz der Universität zugegriffen werden.
Nr. | Thema | Quelle | Teilnehmer | Betreuer |
---|---|---|---|---|
1 | Clique Cover on Sparse Networks M. Blanchette, E. Kim, A. Vetta | ALENEX 2012 | Markus Kloß | Nils Kriege |
2 | Maximum Flow Networks for Stability Analysis of LEGO Structures M. Waßmann, K. Weicker | ESA 2012 | Alexander König | Carsten Gutwenger |
3 | Anatree: A Fast Data Structure for Anagrams C. Reams | JEA 17.1 | Bartholomaeus Maciag | Denis Kurz |
4 | A Multiple Sliding Windows Approach to Speed Up String Matching Algorithms S. Faro, T. Lecroq | SEA 2012 | Alexey Egorov | Till Schäfer |
5 | A topological sorting algorithm for large graphs D. Ajwani, A. Cosgaya-Lozano, N. Zeh | JEA 17.1 | Alexander Wernicke | Fritz Bökler |
Die Anmeldung erfolgt per Email bei Petra Mutzel bis zum Montag, 08. Oktober 2012. Dieser Email fügen Sie bitte eine 3er Prioritätenliste Ihrer gewünschten Vorträge (Auswahl s. oben) bei. Die Themenverteilung erfolgt bei der Vorbesprechung (Termin s. unten).
Die Themenverteilung erfolgt während der Vorbesprechung. Im weiteren Verlauf des Semesters haben die Teilnehmer Zeit die Ausarbeitung zu schreiben und den Vortrag vorzubereiten. In dieser Zeit wird es keine regelmäßigen Treffen in der Gruppe geben, die Seminarteilnehmer besprechen sich allerdings mit ihrem zugeordneten Betreuer.
Es handelt sich um ein Blockseminar. Alle Teilnehmer halten kurz nach Ende des Semesters einen 45-minütigen Vortrag über das festgelegte Thema; im Anschluss folgt eine ca. 15-minütige Diskussion über Thema und Vortrag. Bitte beachten Sie auch die Hinweise zur Foliengestaltung! Es herrscht Anwesenheitspflicht bei allen Vorträgen.
Voraussetzung für den Vortrag ist die vorherige Abgabe einer schriftlichen Ausarbeitung, welche 15-20 Seiten umfasst und mit LaTeX erstellt wird. Mangelhafte Ausarbeitungen sowie mangelhafte Vorträge führen zum Nicht-Bestehen des Seminars. Auch nicht rechtzeitig abgegebene Ausarbeitungen können zum Nicht-Bestehen führen.
Vorbesprechung und Themenvergabe: Dienstag, der 09.10.2012 um 14:15 Uhr in OH14, Raum 202 (Seminarraum des LS11).
Weitere Termine:
Abgabe des Ausarbeitungskonzepts | 07.01.2013 |
Abgabe der Ausarbeitung | 14.01.2013 |
Abgabe der Präsentationsfolien (Aufbau) | 21.01.2013 |
Abgabe der Präsentationsfolien (Final) | 28.01.2013 |
Vorträge | 05.02.2013, 10:00-12:00 Uhr und 13:30-17:00 Uhr in Raum 202, OH14 |
Bei Fragen zu dieser Veranstaltung wenden Sie sich bitte an Petra Mutzel.