Heute. Algorithmen für Ad-hoc- und Sensornetze. Erinnerung: MAC-Layer. Erinnerung: Färbungen. Definition

Transkript

1 Heute Algorithmen für Ad-hoc- und Sensornetze VL 0 Eine kurze Geschichte vom Färben (Teil ) Medium Access Control / Färbungen, Teil kurze Wiederholung Schöner verteilter Färbungsalgorithmus Markus Völker 04. Juli 0 (Version ) INSTITUT FÜR THEORETISCHE INFORMATIK -LEHRSTUHL FÜR ALGORITHMIK (PROF. WAGNER) Kapazität & Scheduling Interferenz etwas realistischer neue Probleme und Herangehensweisen VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft Erinnerung: MAC-Layer Erinnerung: Färbungen Übertragungen können nicht beliebig parallel stattfinden Interferenzen naher Übertragungen verhindert erfolgreiches Dekodieren Lösung : CSMA/CA Spontane Benutzung des Mediums, aber vorsichtig Warten auf freien Kanal, Anfragen beim Empfänger Übliche Lösung, kostet aber Energie (Kollisionen, Mithören) Lösung : TDMA/CDMA/FDMA feste Zuweisung von Zeiten/Codierung/Frequenzen an Sender/Übertragungen gleiche Ressource immer nur so genutzt, dass es keine Konflikte geben sollte (Noch) wenig populär in WSN Definition Eine Knotenfärbung eines Graphen G =(V, E) ist eine Abbildung c : V! N, so dass für jede Kante die beiden Endpunkte unterschiedliche Farben haben, also {u, v} E ) c(u) 6= c(v) Eine Färbung c hat die Größe c = max vv c(v) darauf lassen sich allgemeinere Färbungsprobleme reduzieren es gibt immer eine + -Färbung in jeder schlechteren Färbung kann man die Farbe eines Knotens herabsetzen das ging auch verteilt, aber bisher nur langsam VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (4/7)

2 Satz Beweisstruktur Satz Es gibt einen verteilten Algorithmus, der eine O( + log (n)) Schritten berechnet. + -Färbung in log (n): Anzahl der Anwendungen von log, bevor das Argument unter fällt. (Bsp.: log (050 )=5) Andere Möglichkeit sich das zu merken: log (x) =5, < x apple Beweisstruktur es gibt einen Algorithmus, der in einem Baum in log (n) Schritten eine 6-Färbung berechnet es gibt einen Algorithmus, der in einem Baum in k Runden eine Färbung mit + k Farben auf Farben reduziert beide Verfahren funktionieren auch auf Pseudo-Wäldern jeder Graph läßt sich in konstanter Zeit verteilt in Pseudo-Wälder zerlegen Färbungen mit je Farben lassen sich in + Farben reduzieren Runden auf VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (6/7) schreibe Label binär in log n Bits Setze L = log n (aktuelle Labellänge) Solange L > und dann noch einmal: kodiere dessen Position in log setze L = log (L)+ (neue Labellänge) schreibe Label binär in log n Bits Setze L = log n (aktuelle Labellänge) Solange L > und dann noch einmal: kodiere dessen Position in log setze L = log (L)+ (neue Labellänge) VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7)

3 schreibe Label binär in log n Bits Setze L = log n (aktuelle Labellänge) Solange L > und dann noch einmal: kodiere dessen Position in log setze L = log (L)+ (neue Labellänge) schreibe Label binär in log n Bits Setze L = log n (aktuelle Labellänge) Solange L > und dann noch einmal: kodiere dessen Position in log setze L = log (L)+ (neue Labellänge) VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7) schreibe Label binär in log n Bits Setze L = log n (aktuelle Labellänge) Solange L > und dann noch einmal: kodiere dessen Position in log setze L = log (L)+ (neue Labellänge) bit = val = schreibe Label binär in log n Bits Setze L = log n (aktuelle Labellänge) Solange L > und dann noch einmal: kodiere dessen Position in log setze L = log (L)+ (neue Labellänge) bit = 0 b val = VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7)

4 schreibe Label binär in log n Bits Setze L = log n (aktuelle Labellänge) Solange L > und dann noch einmal: kodiere dessen Position in log setze L = log (L)+ (neue Labellänge) schreibe Label binär in log n Bits Setze L = log n (aktuelle Labellänge) Solange L > und dann noch einmal: kodiere dessen Position in log setze L = log (L)+ (neue Labellänge) VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7) Korrektheit Baum-6-Färbung schreibe Label binär in log n Bits Setze L = log n (aktuelle Labellänge) Solange L > und dann noch einmal: kodiere dessen Position in log setze L = log (L)+ (neue Labellänge) Satz Der beschriebene Algorithmus berechnet eine 6-Färbung. Nach jeder Runde liegt eine Färbung des Baumes vor Annahme: zwei Knoten haben nach einer Runde dasselbe Label dann haben sie beide dasselbe Bit ausgewählt und hatten dort vorher denselben Wert stehen aber das Kind sollte Bit wählen, in dem es sich vom Vorgänger unterscheidet! Widerspruch! Die Färbung enthält zum Schluss maximal 6 Farben L ist immer aktuelle Labellänge sobald L apple wird noch eine Runde ausgeführt. dann reichen die drei Beschreibungen 00, 0, 0 für die Position dann gibt es nur noch die Labels 000, 00, 00, 0, 00, 0 VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (8/7)

5 Laufzeit Baum-6-Färbung Satz Der beschriebene Algorithmus terminiert nach O(log (n)) Schritten. Das werden wir nicht beweisen. Grobe Vorstellung: in jeder Runde wird die Labellänge von L auf log (L)+ gedrückt ohne das + wäre die Aussage klar ein bisschen Formelschieberei löst das Problem (bei Interesse an den Details: siehe Buch) Kompression von 6 auf Farben im Baum Baum-(+k)-zu--Färbung Für i =( + k),...,4 tue folgendes: 4 4 Das war schon Teil : Wir können einen Baum in O(log (n)) Schritten mit 6 Farben färben! VL 0 Eine kurze Geschichte vom Färben (Teil ) (9/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (0/7) Kompression von 6 auf Farben im Baum Baum-(+k)-zu--Färbung Für i =( + k),...,4 tue folgendes: jeder Knoten nimmt die Farbe seines Vorgängers an ( shift down ) Wurzel nimmt neue Farbe aus {,, } 4 Kompression von 6 auf Farben im Baum Baum-(+k)-zu--Färbung Für i =( + k),...,4 tue folgendes: jeder Knoten nimmt die Farbe seines Vorgängers an ( shift down ) Wurzel nimmt neue Farbe aus {,, } VL 0 Eine kurze Geschichte vom Färben (Teil ) (0/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (0/7)

6 Kompression von 6 auf Farben im Baum Baum-(+k)-zu--Färbung Für i =( + k),...,4 tue folgendes: jeder Knoten nimmt die Farbe seines Vorgängers an ( shift down ) Wurzel nimmt neue Farbe aus {,, } jeder Knoten mit Farbe i wählt Farbe aus {,, }, die kein Nachbar hat Kompression von 6 auf Farben im Baum Baum-(+k)-zu--Färbung Für i =( + k),...,4 tue folgendes: jeder Knoten nimmt die Farbe seines Vorgängers an ( shift down ) Wurzel nimmt neue Farbe aus {,, } jeder Knoten mit Farbe i wählt Farbe aus {,, }, die kein Nachbar hat Korrektheit: nach einem Shift hat jeder Knoten die Farbe seines Vorgängers, und seine Kinder seine alte Farbe das ist eine Färbung! jeder Knoten sieht nur benachbarte Farben in jeder Runde werden wir Farbe i los! nach k Runden je Schritte haben wir noch Farben! VL 0 Eine kurze Geschichte vom Färben (Teil ) (0/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (0/7) Pseudo-Wälder (klingt schlimmer als es ist) Definition Pseudo-Wald Ein gerichteter Graph heißt Pseudo-Wald, wenn jeder Knoten höchstens eine ausgehende Kante hat. Satz jeder Knoten zeigt auf maximal einen Vorgänger Vorsicht: Graph kann gerichtete Kreise enthalten Die Dreifärbung von Pseudo-Wäldern funktioniert exakt wie bei Bäumen. Beweise gehen exakt wie vorher, nur gibt es ggf. mehrere Knoten ohne Vorgänger Definition Eine eines Graphen G ist eine Menge von Pseudo-Wäldern F,...,F, so dass jede Kante von G in mindestens einem F i vorkommt (in beliebiger Richtung). VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7)

7 Definition Eine eines Graphen G ist eine Menge von Pseudo-Wäldern F,...,F, so dass jede Kante von G in mindestens einem F i vorkommt (in beliebiger Richtung). Definition Eine eines Graphen G ist eine Menge von Pseudo-Wäldern F,...,F, so dass jede Kante von G in mindestens einem F i vorkommt (in beliebiger Richtung). VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) Verteilte Verteilte Verteilte Dekomposition, Runde i =,..., Verteilte Dekomposition, Runde i =,..., VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7)

8 Verteilte Verteilte Dekomposition, Runde i =,..., Verteilte Verteilte Dekomposition, Runde i =,..., VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) Verteilte Verteilte Verteilte Dekomposition, Runde i =,..., Verteilte Dekomposition, Runde i =,..., VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7)

9 Verteilte Verteilte Dekomposition, Runde i =,..., Verteilte Verteilte Dekomposition, Runde i =,..., nach Runden (oder früher) sind alle Kanten markiert VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) Verteilte Wo stehen wir? Verteilte Dekomposition, Runde i =,..., nach Runden (oder früher) sind alle Kanten markiert in jeder Runde wird ein Pseudo-Wald gewählt Wir können den Graphen in einem Schritt in Pseudo-Wälder dekomponieren Wir können Bäume und Pseudo-Wälder verteilt mit Farben einfärben erst färben wir in log (n) Runden mit konstant vielen Schritten 6-farbig, dann reduzieren wir die Farben in Runden mit konstant vielen Schritten auf ) Wir können in O(log (n)) Schritten jeden der Pseudo-Wälder dreifärben das kann in allen Pseudowäldern parallel geschehen was fangen wir mit -Färbungen für die Pseudo-Wälder an? Wir wollen eine + -Färbung des Graphen! VL 0 Eine kurze Geschichte vom Färben (Teil ) (/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (4/7)

10 und warten eine Färbung mit + Farben! und warten eine Färbung mit + Farben! Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) und warten eine Färbung mit + Farben! und warten eine Färbung mit + Farben! Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7)

11 und warten eine Färbung mit + Farben! und warten eine Färbung mit + Farben! Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat R: VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) und warten eine Färbung mit + Farben! und warten eine Färbung mit + Farben! Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat R: Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat R: VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7)

12 und warten eine Färbung mit + Farben! und warten eine Färbung mit + Farben! Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat R: 4 Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat R: 5 VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) und warten eine Färbung mit + Farben! und warten eine Färbung mit + Farben! Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat R: 6 Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat R: VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7)

13 und warten eine Färbung mit + Farben! und warten eine Färbung mit + Farben! Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat R: Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat 4 R: VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) Wo stehen wir jetzt? und warten eine Färbung mit + Farben! Wir beginnen mit F und dessen Farben das ist eine + -Färbung von F i die -Färbung von F j und die + -Färbung von F [ [ F j ergeben ( + ) Mischfarben (, 0),...,(, + ) in ( + ) Runden können immer Knoten mit {, + } wählen, die keiner der Nachbarn hat das sind = Runden zum Zusammenführen 4 R: 5 Wir können den Graphen in einem Schritt in Pseudo-Wälder dekomponieren Wir können Bäume und Pseudo-Wälder verteilt mit Farben einfärben erst färben wir in log (n) Runden mit konstant vielen Schritten 6-farbig, dann reduzieren wir die Farben in Runden mit konstant vielen Schritten auf ) Wir können in O(log (n)) Schritten jeden der Pseudo-Wälder dreifärben das kann ja in allen Pseudowäldern parallel geschehen wir können aus den -Färbungen für die Pseudowälder in O( ) Schritten eine + -Färbung des eigentlichen Graphen gewinnen! wir sind fertig, Laufzeit insgesamt: O( + log n) VL 0 Eine kurze Geschichte vom Färben (Teil ) (5/7) VL 0 Eine kurze Geschichte vom Färben (Teil ) (6/7)

14 Zusammenfassung Färbungen sind ein leichtes Mittel, um gegenseitige Ausschlüsse zu modellieren Knoten dürfen nicht gleichzeitig senden oder Kanten dürfen nicht gleichtzeitig aktiv sein das lässt sich immer auf Knotenfärbungen reduzieren wir haben einen schnellen und verteilten Algorithmus für + -Färbungen kennengelernt! VL 0 Eine kurze Geschichte vom Färben (Teil ) (7/7)