Kapitel 2: Zeichnen von Bäumen Beispiel: Baumzeichnung

Transkript

1 Automatisches Zeichnen von Graphen Kap. : Zeichnen von Bäumen Prof. Dr. Petra Mutzel Literatur für diese VO Originalartikel: E.M. Reingold und J.S. Tilford: Tidier Drawings of Trees, IEEE Transactions on Software Engineering SE-, 9, - Lehrstuhl für Algorithm Engineering LS Universität Dortmund././4. VO WS/././. Oktober Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Kapitel : Zeichnen von Bäumen Beispiel: Baumzeichnung Orga Diagramme Dateistrukturen Hierarchien Stammbäume Reingold, Tilford 9 4 Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Beispiel: Baumzeichnung Knoten Knoten

2 Überblick zu Kapitel. Einführung. Aesthetikkriterien. Algorithmus von Reingold und Tilford (RT).4 Analyse des RT-Algorithmus. Komplexität. Lineares Programm. Alternative Darstellungen für Bäume. Einführung Kurzer Rückblick auf DAP: Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 9 Definitionen Gewurzelter Baum (rekursiv): entweder leer oder Knoten (Wurzel) mit Verweisen auf mehrere gewurzelte Bäume (Teilbäume) T,T,,T m Kind von Knoten v: Wurzelknoten eines nichtleeren Teilbaums von v Blatt: Knoten ohne Kinder Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Bezeichnungen: Gewurzelte Bäume innere Knoten linker Unterbaum von Wurzel Kanten Knoten Blätter: Knoten ohne Kinder Tiefe d(v): # der Elter-Knoten bis Wurzel (inkl.) ist Wurzel des linken Unterbaums von ist Elter von, ist Elter von ist linkes Kind von, ist rechtes Kind von innere Knoten linker Unterbaum von Bezeichnungen Wurzel d()=? d()=? d(wurzel)=? Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Blätter: Knoten ohne Kinder Tiefe d(v): # der Elter-Knoten bis Wurzel (inkl.) Ebene: Menge aller Knoten mit gleicher Tiefe innere Knoten linker Unterbaum von Bezeichnungen Wurzel Nachfolger(v): Menge aller Knoten im Unterbaum mit Wurzel v d()= d(t )= d()= d(t )= d(wurzel)= d(t Wurzel )= Blätter: Knoten ohne Kinder Höhe h(t r ) eines (Teil-)baumes T r mit Wurzel r: max { d(v): v ist Knoten in T r }

3 WorstWeitere Case Analyse Definitionen von BinarySearch Ein gewurzelter Baum heißt geordnet, wenn die Reihenfolge der Kinder festgelegt ist Ein binärer gewurzelter Baum ist ein gewurzelter Baum, bei dem jeder Knoten genau,, oder Kinder hat. Ein geordneter gewurzelter binärer Baum unterscheidet also zwischen linkem und rechtem Kind T L /T R bzw. linkem und rechtem Unterbaum. Ein binärer Baum heißt vollständig, wenn alle Blätter die gleiche Tiefe haben. HIER: Binärbaum:= geordneter gewurzelter Binärbaum Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 4 Binärbäume Achtung: Binärbäume sind keine Untermenge von Bäumen B A Dies sind die gleichen Bäume aber unterschiedliche Binärbäume Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ A B Implementierung binärer Bäume Realisierung als verallgemeinerte Listen mit bis zu zwei Nachfolgern: x.key: Schlüssel von Knoten x x.info: zum Schlüssel zu speichernde Daten x.parent: Elter von Knoten x x.left: linkes Kind von Knoten x x.right: rechtes Kind von Knoten x Zugriff auf den Baum erfolgt über seinen Wurzelknoten root Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Inorder-Traversierung: Durchsuche rekursiv zunächst den linken Unterbaum, dann die Wurzel, durchsuche dann den rechten Unterbaum.,,,,4,,, Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Preorder-Traversierung: Durchsuche rekursiv zunächst die Wurzel, dann den linken Unterbaum, durchsuche dann den rechten Unterbaum.,,,4,,,, Postorder-Traversierung: Durchsuche rekursiv zunächst den linken Unterbaum, dann den rechten Unterbaum, durchsuche dann die Wurzel.,,,,4,,, Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 9

4 Level-Order-Traversierung: Durchsuche zunächst alle Ebenen von links nach rechts, wobei die Ebenen von oben nach unten besucht werden. Inorder-Traversierung () Procedure INORDER(p) () if p NULL { () INORDER(p.left) (4) Ausgabe von p () INORDER(p.right) () } Aufruf: INORDER(root) Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Aus Inorder-Traversierung und Preorder- Traversierungsreihenfolge kann der binäre Baum eindeutig rekonstruiert werden, wenn er lauter verschiedene Schlüssel enthält. ENDE Rückblick auf DAP Dies gilt nicht, wenn lediglich Preorder- und Postorder-Reihenfolge gegeben sind. Beispiel: Preorder:,,, Postorder:,,, Petra Mutzel: Automatisches Zeichnen von Graphen, WS/. Aesthetikkriterien für Binärbäume. Schichtenzeichnungen, d.h. Knoten mit gleicher Entfernung zur Wurzel erhalten gleiche Schicht (y- Koordinaten). Linkes Kind soll links vom Elter liegen, rechtes Kind soll rechts vom Elter liegen. Elter sollte zentriert über den Kindern liegen 4. Zwei isomorphe Unterbäume sind gleich gezeichnet. Ein Baum und sein Spiegelbild erhalten spiegelbildliche Zeichnungen Bemerkung Aesthetikkriterium 4. widerspricht sich mit der Forderung der minimalen Weite: breit breit Weitere Ziele: Gitterzeichnung, d.h. ganzzahlige Koordinaten Aufgabe: Bestimme die x-koordinaten, so dass Weite minimal Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 4 minimale Weite Zeichnung mit Bed. 4 Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 4

5 Algorithmus von Reingold und Tilford Beispiel des RT-Algorithmus Idee: Postorder -Traversal Zeichne den linken Unterbaum (UB) Zeichne den rechten UB Füge die Zeichnung der UB so zusammen, dass diese Mindestabstand haben Platziere die Wurzel der beiden UB eine Schicht weiter oben genau in der Mitte der beiden Kinder Falls ein Elter nur Kind besitzt, platziere Wurzel in horizontaler Distanz 4 9 Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Probleme: Beispiel Problem: ungerader Abstand nicht-ganzzahlige Koordinate Lösung: rücke rechten UB um weiter nach rechts Beispiel des RT-Algorithmus Problem: ungerader Abstand nicht-ganzzahlige Koordinate Lösung: rücke rechten UB um weiter nach rechts Problem: Weite größer als notwendig Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 9 Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Beispiel des RT-Algorithmus Problem: ungerader Abstand nicht-ganzzahlige Koordinate Lösung A: rücke rechten UB um weiter nach rechts Problem: Weite größer als notwendig 4 9 Lösung: Lösung A in Verbindung mit separiere mit Distanz Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Algorithmus von Reingold und Tilford Ausgefeiltere Idee: Postorder -Traversal Zeichne den linken UB Zeichne den rechten UB Füge die Zeichnung der UB so zusammen, dass diese Mindestabstand haben Platziere die Wurzel der beiden UB eine Schicht weiter oben genau in der Mitte der beiden Kinder (falls der Abstand ungerade, dann schiebe rechten UB um weiter nach rechts) Falls ein Elter nur Kind besitzt, platziere Wurzel in horizontaler Distanz Petra Mutzel: Automatisches Zeichnen von Graphen, WS/

6 Algorithmus Idee von RT Genauer: () Starte mit Wurzel W L und W R () Bestimme die minimale Distanz () Falls Kinder existieren, dann (4) Wandere eine Schicht tiefer; Gehe zu () () Beim Hochwandern: Fixiere Position der UB relativ zu ihrem Elter, der über ihnen zentriert wird () Am Ende werden die relativen Positionen in absolute Koordinaten umgewandelt mittels preorder Bemerkung: Eine Zeichnung eines UB ändert sich während des Verfahrens nicht mehr Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Problem: Äußerste Kontur des Baumes? Kontur folgt nicht immer von Elter zu Kind Realisierung: Falls unterschiedliche Höhe 4 beim Zusammenschieben, dann füge diesen Extra-Link ein 9 Beobachtung: In diesen Fällen ist Knoten ein Blatt Lösung: Benutze normale Kind-Zeiger in Verbindung mit Unterscheidungsbit Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 4 Algorithmus von RT: Teil () Durchlaufe den geg. Baum in postorder: () // Sei T der aktuelle (Teil-)Baum () Initialisiere: MINDIST= (4) Platziere die Wurzeln der UB in MINDIST zueinander () Wandere entlang der rechten Kontur von T L und der linken Kontur von T R nach unten und erhöhe dabei MINDIST, falls notwendig () Setze OFFSET(T L ) = -(MINDIST+)/ (DIV rundet ab) () Setze OFFSET(T R ) = (MINDIST+)/ () Bei ungleicher Tiefe von T L und T R : Bestimme neue Konturen von T (setze Link zum Rand des tieferen) Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Algorithmus von RT: Teil // Jetzt liegen die relativen Koordinaten fest (9) Laufe durch linken Rand um absoluten OFFSET von Wurzel W zu erhalten XCOORD(W) () Durchlaufe T in Preorder-Sequenz und lege die x- Koordinaten aller Knoten fest Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ OFFSET-Werte XCOORD Beispiel für RT Algorithmus neue Kontur: halte hierfür Extrazeiger auf rechteste und linkeste Blätter des linken und rechten Teilbaums auf unterster Ebene - D - I - B F A C 4 E - G - H J neue rechte Kontur Beispiel durchrechnen Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Verallgemeinerung auf Bäume Der RT-Algorithmus kann einfach für allgemeine Bäume verallgemeinert werden Problem: Man muss kleine UB zwischen großen UB gleichmäßig aufteilen 4 9 Algorithmus von Walker 99, Korrektur in Buchheim, Jünger, Leipert: Drawing rooted trees in linear time, Petra Mutzel: Automatisches Zeichnen von Graphen, WS/

7 .4 Analyse des RT Algorithmus Die gewünschten Eigenschaften ()-() aus. (Aesthetikkriterien) sind bei einer RT Zeichnung erfüllt. Alle Koordinaten sind ganzzahlig. Ganzzahlige Koordinaten () Schichtenzeichnungen () Kinder links/rechts von Elter () Elter zentriert (4) isomorphe Unterbäume gleich () Baum und Spiegelbild identisch Wie ist es mit minimaler Weite unter diesen Bedingungen? Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 9 Analyse des RT Algorithmus Der RT Algorithmus erreicht nicht immer die minimale Weite unter den gewünschten Bedingungen. Schlimmer: Es existieren Binärbäume T, für die der RT-Algorithmus Zeichnungen mit Weite (n+)/ produziert, während die optimale Weite gleich ist. T : T k : T RT-Zeichnung min. Weite Höhe: k RT-Weite k+ Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 4 T n=k+ Weite(T k )=k+= =(n-)/+=(n+)/ T k Laufzeitanalyse des RT Algorithmus Lemma: Der RT-Algorithmus läuft in linearer Zeit. h: Anzahl Knoten auf längstem Weg: F(T): Zeit des Algorithmus für Baum T altes h(t)+ T L : linker UB, T R rechter UB, h(t) Höhe von T Rekursionsgleichung: F(T) = F(T L )+F(T R )+min(h(t L ),h(t R )) Auflösung (Beh.): F(T) = n(t)-h(t) ohne Konstanten Beweis: Induktion über Anzahl der Knoten n(t)=: F(T)= n(t)=: F(T)=-= Aussage sei wahr für Bäume mit <N Knoten, sei n(t)=n F(T) = F(T L ) + F(T R ) + min(h(t L ),h(t R )) = = (K h(t L ))+(N K h(t R )) + min(h(t L ),h(t R )) = = N (max(h(t L ),h(t R )) + ) = N h(t) = n(t) h(t). Komplexität des Baumzeichenproblems Lemma: Das Problem eine Zeichnung eines Binärbaums mit Weite W zu erstellen, bei der die Bedingungen ()-() erfüllt sind und () die x-koordinaten ganzzahlig sind, ist NP-vollständig. Beweis: Reduktion von -SAT (s. Bw. in Supowit, Reingold: The complexity of drawings trees nicely, 9, sowie Akkerman, Buchheim, Jünger, Teske: corrigendum, 4) Lemma: Das Problem eine Zeichnung eines Binärbaums mit Weite W zu erstellen, bei der die obigen Bedingungen ohne () und ohne () erfüllt sind, ist äquivalent zu Linearer Programmierung. Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 4. Lineares Programm Variablen x(v) : für x-koordinaten von Knoten v und zusätzlichen Variablen L und R (für linken und rechten Rand) mit L x(v) für alle v und R x(v) für alle v. Zielfunktion: minimiere R-L unter den Nebenbedingungen:???. Lineares Programm Zielfunktion: minimiere R-L unter den Nebenbedingungen: zu.: Aufstellung via preorder zu.: x(v.right) x(v) und x(v) x(v.left) für alle v zu.: x(v.right) x(v) = x(v) x(v.left) Abstände: x(v ) x(v ) für alle v,v auf derselben Schicht mit v level-order Nachfolger von v level-order zu (4): Bestimmung aller Paare von isomorphen UB: Sei {v,v,,v k } Menge von Wurzeln isomorpher UB: x(v i.right) x(v i ) = x(v i+.right) x(v i+ ) für alle i, i<k, für die v i.right existiert ODER dasselbe für v i.left: x(v i ) x(v i+.left) = x(v i+ ) x(v i+.left)??? Lineares UGLS und Lineare Zielfunktion polynomielle Zeit Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 4 Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 44

8 Wie bestimmt man die isomorphen UB?. Alternative Darstellungen für Bäume Merke die Größe (Anzahl der Knoten) jeden UB Jeder UB T k der Größe k erhält eine Nummer: Rank(T k ), so dass isomorphe UB gleichen Rang erhalten. Aufbau von Rank:. Stelle: Wurzel, Stellen danach, die kleiner sind als Wurzel hängen am linken UB, die restlichen am rechten UB. Beispiel: 4 9 Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ Inclusion Drawings: Kinder sind enthalten in Tip-Over Zeichnungen: Kinder entweder horizontal oder vertikal Radiale Baumzeichnungen Petra Mutzel: Automatisches Zeichnen von Graphen, WS/ 4