Verteilte Algorithmen

Vorlesung: Mittwoch, 09:45 - 11:15, Raum IZ 358
Übung: Dienstag, 09:45 - 11:15, Raum IZ 358
Kleine Übung: wird noch festgelegt.

Die erste Vorlesung findet am 11.04.2012 statt.
Die erste Übung findet am 24.04.2012 17.04.2012 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.

Termine nach der Exkursionswoche

Hausaufgaben und praktische Übungen

Dieses Jahr werden wir erstmalig sowohl theoretische als auch praktische Aufgaben auf den Übungsblättern anbieten, die wahlweise bearbeitet werden können. Das heisst, die Teilnehmer können sich selber entscheiden, auf welcher "Seite" sie sich eher versuchen wollen.

In den praktischen Übungen werden wir grundlegende Algorithmen in der Wiselib implementieren, einer Algorithmenbibliothek für Netze eingebetteter Systeme.

• Hausaufgabenblatt Nr. 1: PDF, Code.
• Hausaufgabenblatt Nr. 2: PDF.
• Hausaufgabenblatt Nr. 3: PDF.
• Hausaufgabenblatt Nr. 4: PDF.
• Hausaufgabenblatt Nr. 5: PDF.