Algorithmen und Datenstrukturen

Transkript

1 1 Algorithmen und Datenstrukturen Wintersemester 018/19 1. Vorlesung Minimale Spannbäume Prof. Dr. Alexander Wolff Lehrstuhl für Informatik I

2 Motivation ) Kantengewichte w : E R >0 ) w(e ) := e E w(e) - 9 Gegeben: zusammenhängendes Straßennetz G = (V, E; w ), das eine Menge V von n Städten verbindet. Gesucht: Teilnetz G = (V, E ) mit E E, so dass (1) man von jeder Stadt in G zu jeder anderen kommen kann ( G spannt G auf ) und () die Schneeräumkosten w(e ) minimal sind unter allen Teilnetzen, die (1) erfüllen. E E G = (V, E; w) { z.b. mit w euklid. Abstände

3 - 1 Beobachtung Wegen der Minimalität von w(e ) gilt: G hat keine Kreise G ist ein Wald. G erbt Zusammenhang von G G Baum. G spannt G auf G ist Spannbaum von G. G hat minimales Gewicht unter allen Spannbäumen von G. Wir nennen { G }} kurz minimalen { Spannbaum von G. (manchmal auch E ) E E G = (V, E; w) { Beob. E = V 1 z.b. mit w euklid. Abstände

4 4-9 Generischer Min.-Spannbaum-Algorithmus GenericMST(UndirectedConnectedGraph G, EdgeWeights w) A = while A < V 1 do // Invariante: A ist Teilmenge eines min. Spannbaums von G finde Kante uv, die sicher für A ist A = A {uv} return A Beob. Frage: Wir sagen uv ist sicher für A, falls Invariante für A {uv} gilt. Dies ist ein sogenannter Greedy-Algorithmus! Gibt s überhaupt immer eine sichere Kante? Antwort: Ja! Per Induktion! Frage: Aber wie findet man eine ohne schon einen minimalen Spannbaum zu kennen?

5 5 - Schnitte und leichte Kanten Def. Ein Schnitt (S, V \ S) eines ungerichteten Graphen G = (V, E) ist eine Zerlegung (od. Zweifärbung ) von V. S V \ S ) benachbarte Knoten dürfen hier die gleiche Farbe haben.

6 5-6 Schnitte und leichte Kanten Def. Ein Schnitt (S, V \ S) eines ungerichteten Graphen G = (V, E) ist eine Zerlegung (od. Zweifärbung ) von V. Eine Kante e kreuzt (S, V \ S), wenn ein Endpunkt von e in S und der andere in V \ S liegt. S V \ S

7 5-9 Schnitte und leichte Kanten Def. Ein Schnitt (S, V \ S) eines ungerichteten Graphen G = (V, E) ist eine Zerlegung (od. Zweifärbung ) von V. Eine Kante e kreuzt (S, V \ S), wenn ein Endpunkt von e in S und der andere in V \ S liegt. Ein Schnitt respektiert eine Kantenmenge A, wenn keine Kante in A den Schnitt kreuzt. S V \ S

8 5-1 Schnitte und leichte Kanten Def. Ein Schnitt (S, V \ S) eines ungerichteten Graphen G = (V, E) ist eine Zerlegung (od. Zweifärbung ) von V. Eine Kante e kreuzt (S, V \ S), wenn ein Endpunkt von e in S und der andere in V \ S liegt. Ein Schnitt respektiert eine Kantenmenge A, wenn keine Kante in A den Schnitt kreuzt. Eine Kante e, die einen Schnitt kreuzt, ist leicht, wenn alle Kanten, die den Schnitt kreuzen, mindestens w(e) wiegen. V \ S S 4 6 4

9 6-1 Erweiterungssatz Satz. Sei G = (V, E; w) ein zshg., gewichteter, unger. Graph. Sei T Kantenmenge eines min. Spannbaums von G. Sei A Teilmenge von T. Sei (S, V \ S) ein Schnitt, der A respektiert. Sei uv E leicht bzgl. (S, V \ S). Dann ist uv sicher für A., d.h. G hat einen min. Spannbaum, der A {uv} enthält. A u S 6 v 4

10 7-1 Beweis Satz.... Dann ist uv sicher für A. Beweis. y π A Zeige: G hat min. Spannbaum, der A {uv} enthält. Falls uv T, fertig. Also uv T. Sei π u-v-pfad in T. π + uv ist Kreis (wobei uv (S, V \ S) kreuzt) Kreis enthält zweite Kante xy, die (S, V \ S) kreuzt. T = (T {uv}) \ {xy} ist auch Spannbaum von G. w(t ) = w(t ) + w(uv) w(xy) w(t ) }{{} 0, da uv leicht bzgl. (S, V \S) 7 x u S 6 T v T ist minimaler Spannbaum von G. Und: A {uv} T. uv ist sicher für A.

11 8 - Zurück zum Algorithmus Satz. Sei G = (V, E; w) ein zshg., gewichteter, unger. Graph. Sei T Kantenmenge eines min. Spannbaums von G. Sei A Teilmenge von T. Sei (S, V \ S) ein Schnitt, der A respektiert. Sei uv E leicht bzgl. (S, V \ S). Dann ist uv sicher für A. GenericMST(UndirectedConnectedGraph G, EdgeWeights w) A = while A < V 1 do // INV: A min. Spannbaum von G finde Kante uv, die sicher für A ist A = A {uv} return A

12 9-1 Zusammenhangskomponenten Def. Eine Zusammenhangskomponente eines Graphen ist ein Teilgraph, der von einer nicht vergrößerbaren ( inklusionsmaximalen ) zusammenhängenden Menge von Knoten induziert wird. u v C A G A Korollar. G = (V, E) wie gehabt. A E in einem min. Spannbaum von G enthalten. C = (V C, E C ) Zshgskomp. des Waldes G A = (V, A). uv leicht bzgl. (V C, V \ V C ) Dann gilt: uv ist sicher für A.

13 10 - Der Algorithmus von Jarník-Prim (190/1957) JarníkPrimMST Undirected Dijkstra(WeightedGraph G = (V, E; w), Vertex s) Initialize(G, s) Q = new PriorityQueue(V, d) // Gewichtung while not Q.Empty() do u = Q.ExtractMin() s foreach v Adj[u] do 0 5 Relax (u, v; w) v Q and... Relax (u, v; w) if v.d > u.d + w(u, v) then v.d = u.d + w(u, v) v.π = u Q.DecreaseKey(v, v.d) Korrektheit? Laufzeit? O( E DecreaseKey+ V ExtractMin) O((E + V ) log V ) O(E + V log V ) 4 Folgt aus Korollar: A = {{u, u.π} : u Q}, Kante {u, u.π} immer sicher bzgl. (Q, V \Q ), wobei Q = Q {u}. [Heap/RS-Baum] [Fibonacci-Heap]

14 Einschub: halbdynamische Mengen (wachsen nur, schrumpfen nicht) 11 - Die halbdyn. Mengen zerlegen immer eine Grundmenge X. Drei Operationen: MakeSet(Element x) x FindSet(Element x) x legt die Menge {x} an. liefert (Zeiger auf) die Menge zurück, die momentan x enthält. Union(Elem. x, Elem. y) y x vereinigt die Mengen, die momentan x und y enthalten. Satz. Eine Folge von m MakeSet-, Union- und FindSet-Oper., von denen n MakeSet-Oper. sind, benötigt O(m α(n)) Zeit, wobei α(n) 4 für alle n Insbesondere α(n) log 10 n für n > 1. funktionales Inverses der extrem schnellwachsenden Ackermann-Funktion A(n, n)

15 1 - Der Algorithmus von Kruskal KruskalMST(WeightedUndirectedGraph G = (V, E; w)) A = foreach v V do MakeSet(v) Sortiere E nicht-absteigend nach Gewicht w foreach uv E do if FindSet(u) FindSet(v) then A = A {uv} Union(u, v) Laufzeit? V MakeSet + ( V 1) Union + E FindSet + Sort(E) O(E log V + E log E) = O(E log V )! Warum?? Weil O(log E) O(log V ) = O(log V ). Ah... 4

16 1 - Übersicht: Algo. für min. Spannbäume Jarník-Prim Kruskal Greedy! geht (wie Dijkstra / BFS) wellenförmig von einem Startknoten aus aktuelle Kantenmenge zusammenhängend bearbeitet Kanten nach aufsteigendem (genauer: nicht-absteig.) Gewicht nach Einfügen der i. Kante gibt es n i Zshgskomp. Laufzeit O(E + V log V ) Laufzeit O(E log V ) s