290 likes | 435 Vues
Lehrstuhl für Algorithm Engineering LS11. Karsten Klein. Lehrgebietsvorstellung 29. Juni 2007. Die Professoren…. Petra Mutzel. Jan Vahrenhold. Günter Rudolph. Dezember 2004: Lehrstuhl für Algorithm Engineering (Nachfolge des Lehrstuhls für Systemanalyse, Prof. Schwefel).
E N D
Lehrstuhl für Algorithm Engineering LS11 Karsten Klein Lehrgebietsvorstellung 29. Juni 2007
Die Professoren… Petra Mutzel Jan Vahrenhold Günter Rudolph Dezember 2004: Lehrstuhl für Algorithm Engineering (Nachfolge des Lehrstuhls für Systemanalyse, Prof. Schwefel)
Forschungsinteressen • Algorithmen und Datenstrukturen • Graphenalgorithmen • Kombinatorische Optimierung Algorithm Engineering • Design, • theoretische Analyse, • Implementierung, und • experimentelle Evaluation von Algorithmen und Datenstrukturen anwendungs- orientiert
Traditionelle Algorithmik • Entwurf für einfache Problem- und Maschinenmodelle • Hauptergebnis: beweisbare Leistungsgarantien für alle möglichen Eingaben • → Elegante, zeitlose, an viele konkreten Anwendungen anpassbare Lösungen • → Zuverlässig hohe Effizienz auch für zur Implementie-rungszeit unbekannte Typen von Eingaben Vorstellung: Anwender greifen Ergebnisse auf, Implementierung, Einbau in Anwendungen Klappt meist nicht! Große Lücke zwischen Theorie und Praxis!
Traditionelle Algorithmik Abstrakte Modelle Entwurf Algorithmentheorie Analyse Leistungsgarantien Implementierung Anwendungen
Traditionelle Algorithmik Beweisbare Leistungsgarantie? • Asympt. Worst-Case • Teilweise SEHR hohe versteckte Konstanten • Systemcharakteristika beeinflussen Performance • Eingabecharakteristika beeinflussen Performance Praktisches Verhalten so schwer beschreibbar • Simplex-Algorithmus: Theoretisch exponentiell, praktisch „gutmütig“ • Auch „Crossover Point“ für Algorithmen 70er/80er Jahre: Häufig gar keine Implementierung, Gefahr der Veröffentlichung inkorrekter Algorithmen
Hierarchisches Speichermodell moderner Computer Extern- speicher Interner Speicher (Main Memory) Cache CPU Faktor 100 schneller als Faktor 1000-106 schneller als Secondary Memory
Problem ist aktueller denn je, denn • Geschwindigkeit der Prozessoren verbessert sich zwischen 30%-50% im Jahr; • Geschwindigkeit des Speichers nur um 7%-10% pro Jahr • „One of the few resources increasing faster than the speed of computer hardware is the amount of data to be processed.“
Algorithm Engineering • Einfluss von System- und Eingabecharakteristika evaluieren und in Entwurf berücksichtigen • Praktisch schnelle Algorithmen entwerfen • Algorithmen und Datenstrukturen für Praxis vereinfachen
Algorithm Engineering Reale Eingaben Realistische Modelle 1 Entwurf Experimente 5 2 Anwendungen 3 4 Analyse Implementierung Alg.-Bibliotheken Leistungsgarantien
Anwendungsbereiche • Automatisches Zeichnen von Graphen:Übersichtliche Darstellung von Informationen • Netzwerkdesign: Aufwandsoptimierung und Versorgungssicherheit in Kommunikation oder Energieversorgung • Routenplanung: Speditionen • Bioinformatik: Schnelle/optimale Algorithmen und Visualisierung
Anwendungsbereiche • Automatisches Zeichnen von Graphen • Kreuzungsminimierung • Planare Zeichenverfahren Viele Probleme sind NP-schwer
Diplomarbeit (MPII) Ein Layoutverfahren für biologische Netzwerke
Anwendungsbereiche • Automatisches Zeichnen von Graphen • Kreuzungsminimierung • Planare Zeichenverfahren • Molekulare Bioinformatik • Sequenzanalyse (Sequenzenalignierung) • Proteinanalyse (Suffix Arrays, Graphprobleme)
Anwendungsbereiche • Automatisches Zeichnen von Graphen • Kreuzungsminimierung • Planare Zeichenverfahren • Molekulare Bioinformatik • Sequenzanalyse (Sequenzenalignierung) • Proteinanalyse (Suffix Arrays, Graphprobleme) • Netzwerkdesign
) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) Ausbau eines Fernwärmesystems
Diplomarbeitsthemen Anwendungsbereiche • Automatisches Zeichnen von Graphen • Kreuzungsminimierung • Planare Zeichenverfahren • Molekulare Bioinformatik • Sequenzanalyse (Sequenzenalignierung) • Proteinanalyse (Suffix Arrays, Graphprobleme) • Netzwerkdesign • Routenplanung
Weitere Themen • Externspeicheralgorithmen: PG 503 Xaver: Algorithm Engineering XXL(Auch: Vahrenhold) • Algorithmische Geometrie (Vahrenhold)
Algorithmische Geometrie & Externspeicher Simulation von Flussnetzwerken auf hochauflösenden dig. Geländemodellen zur Überschwemmungsvorhersage
LVAs im WS 07/08 • Vorlesung Automatisches Zeichnen von Graphen • VO Mo, Di 12-14, 4VO+2Ü • Seminar Algorithm Engineering:Vorbesprechung Mittwoch 11.07, 14Uhr • PG 512 Smart Cell: Clevere Algorithmen für den Cell-Prozessor
Weitere Vorlesungen… • Algorithmische Geometrie • Algorithm Engineering • Graphenalgorithmen • … • Schwerpunktgebiete: • Algorithmen und Komplexität (4) • Computational Intelligence (6) • Intelligente Systeme (7)