Verteilte Algorithmen

Vorlesung: Mittwoch, 11:30 - 13:00, Raum IZ 305
Übung: Mittwoch, 13:15 - 14:45, Raum IZ 305
Kleine Übung: wird noch festgelegt.

Die erste Vorlesung findet am 23.04.2014 statt.

Grundkenntnisse aus Algorithmen und Datenstrukturen.
Bei einigen Themen sind Kenntnisse auf Netzwerkalgorithmen und Computational Geometry (Algorithmische Geometrie) vorteilhaft, werden aber nicht vorausgesetzt (und jeweils in der VL eingeführt).

Erfolgreiche Bearbeitung der Hausaufgaben und erfolgreiche Teilnahme an der mündlichen Prüfung.

In dieser Vorlesung werden theoretische und algorithmische Grundlagen verteilter Systeme diskutiert. Dafür betrachten wir Problemstellungen, bei denen beispielsweise die Knoten eines Netzwerks gemeinsam ein algorithmisches Problem lösen sollen, indem sie miteinander kommunizieren und lokale Berechnungen ausführen. Die Fragen sind der Art "Wie schnell kann dieses Problem gelöst werden?", "Wieviel Kommunikation ist dafür notwendig?", "Welche Charakteristika muss ein Netz haben, um dieses Problem überhaupt lösen zu können?".

Das vorläufige Programm ist das folgende; das kann bei Interesse (oder Desinteresse) an bestimmten Themen auch angepasst werden.

1. Modelle, Schranken, Komplexitäten, Berechenbarkeit.
2. Grundlegende Netzwerkalgorithmen und -strukturen, Kommunikationsparadigmen.
3. Lokale und selbstabilisierende Algorithmen.
4. Asynchrone vs. synchrone Netzwerke.
5. Geometrische und drahtlose Netzwerke.

• Nancy Lynch: Distributed Algorithms. Morgan Kaufmann Publishers.
• David Peleg: Distributed Computing - A Locality-Sensitive Approach. SIAM.
• Dorothea Wagner und Roger Wattenhofer: Algorithms for Sensor and Ad Hoc Networks, Advanced Lectures. Springer Verlag.