Henneberg-Konstruktion in O(n²) Konstruktion von Laman-Graphen mittels Rot-Schwarz-Hierarchien Marko Walther WS 07/08.

Präsentation zum Thema: "Henneberg-Konstruktion in O(n²) Konstruktion von Laman-Graphen mittels Rot-Schwarz-Hierarchien Marko Walther WS 07/08."—  Präsentation transkript:

1 Henneberg-Konstruktion in O(n²) Konstruktion von Laman-Graphen mittels Rot-Schwarz-Hierarchien Marko Walther WS 07/08

2 Überblick 1. Grundlagen und Definitionen 2. Die Rot-Schwarz-Hierarchie (RSH) 3. Charakterisierung von Laman-Graphen mittels der RSH 4. Berechnung der Henneberg-Konstruktion mittels der RSH in O(n²)

3 1.Grundlagen

4 Theorem 1 (Charakterisierung von Laman-Graphen): Ein Graph G(V,E) heißt Laman-Graph genau dann, wenn: I. II.

5 Theorem 2 (Henneberg): Ein Graph ist genau dann ein Laman-Graph, wenn für ihn eine Henneberg-Konstruktion existiert.

6 Theorem 3 (Lovász und Yemini): Ein Graph G(V,E) mit n Ecken und 2n-3 Kanten ist ein Laman-Graph genau dann, wenn für jede Kante e aus E der Multigraph G+e, der durch Hinzufügen einer Kante parallel zu e entsteht, die Vereinigung von zwei kantendisjunkten Spannbäumen ist.

7 Definition 1: 3tree2-Partition

8 Beispiel für 3tree2-Partition:

9 Theorem 4: Ein Graph G(V,E) ist ein Laman-Graph genau dann, wenn er eine 3tree2-Partition zulässt.

10 2.Die Rot-Schwarz-Hierarchie (RSH)

11 Definitionen:

12 Definition: Hierarchie

13

14

15 Beispiel: Hierarchie

16 Definition: Rot-Schwarz-Hierarchie Eine Rot-Schwarz-Hierarchie ist eine Hierarchie welche folgenden 4 Regeln genügt:

17 1. Wurzel-Regel: Die Wurzel von T hat genau zwei Kinder.

18 2. Blatt-Regel: Eine Ecke v von T ist genau dann das einzige Kind seines Elternknotens, wenn v ein Blatt ist.

19 3. Querkanten-Regel: Die Endecken jeder Querkante haben denselben Großelternknoten, jedoch unterschiedliche Elternknoten.

20 4. Baum-Regel: Für jede Ecke v aus T bilden die Querkanten, die inzident zu Enkelknoten von v sind einen Baum, der alle Enkel von v verbindet.

21 Färbung der RSH: Ecken gerader/ungerader Tiefe werden rot/schwarz eingefärbt. Kanten können rot oder schwarz gefärbt sein. Querkanten haben die Farbe ihrer Endpunkte.

22 Beispiel: Rot-Schwarz-Hierarchie Hierarchie H

23 3.Charakterisierung von Laman- Graphen mittels der RSH Die RSH als Charakterisierung von Laman-Graphen.

24 Bezeichnungen:

25 Lemma 5:

26 Beweis: Lemma 5

27

28

29 Lemma 5 impliziert auch, dass nicht für jeden Graphen eine RSH existiert.

30 Lemma 6:

31 Beweis(Skizze): Lemma 6

32 Folgerung aus Lemma 5,6: Graphen, für die eine RSH existiert sind Laman-Graphen.

33 Theorem 7:

34 Beweis: Theorem 7 Der Beweis wird hier nicht geführt. Nur soviel: Die RSH wird konstruiert, indem der Graph G in eine 3tree2-Partition zerlegt wird und aus dieser rekursiv die Unterbäume der Knoten in H sowie die Querkanten erzeugt werden. Für einen ausführlichen Beweis, siehe [2].

35 Laufzeit: Die 3tree2-Zerlegung kann in O(n²) Zeit konstruiert werden (siehe [3]). Die Knoten in H der selben Tiefe werden in O(n) Schritten bearbeitet. Da die Höhe der RSH O(n) beträgt, folgt eine Laufzeit von O(n²).

36 Folgerung: Ein Graph ist genau dann ein Laman-Graph, wenn für ihn eine RSH existiert. Damit ist die RSH eine weitere Charakterisierung von Laman-Graphen neben der 3tree2-Partitionierung z.B..

37 Lemma 8 (Validierung der RSH): Sei H eine Hierarchie für den Graph G. Es kann in O(n) Schritten überprüft werden, ob H eine Rot-Schwarz-Hierarchie ist.

38 Beweis: Lemma 8

39 Nun wird überprüft, ob H allen 4 Regeln für RSH genügt.

40 Beweis: Lemma 8 Die Wurzel-Regel kann in O(1) Zeit überprüft werden.

41 Beweis: Lemma 8 Die Blatt-Regel kann für jedes Blatt und jeden inneren Knoten von H überprüft werden. Dafür sind O(n) Schritte notwendig.

42 Beweis: Lemma 8

43 Die Baum-Regel kann in O(m+n) Zeit überprüft werden. Es folgt eine Gesamtlaufzeit von O(n).

44 4.Berechnung der Henneberg-Konstruktion mittels der RSH in O(n²)

45 Henneberg-Operationen: a b a b v Henneberg-Einfüge-Operation vom Typ I

46 Henneberg-Operationen: Henneberg-Einfüge-Operation vom Typ II a b a b v

47 Henneberg-Operationen: Die inversen Operationen werden Henneberg-Lösch-Operationen vom Typ I bzw. Typ II genannt.

48 Theorem 9:

49 Beweis(Vorbemerkungen): Theorem 9

50

51 Beweis: Theorem 9 Der Beweis unterscheidet 4 Fälle. Fall 1 und Fall 3 werden ausführlich bewiesen, um die Vorgehensweise aufzuzeigen. Fall 1, 2 entsprechen einer Typ I Lösch-Operation, Fall 3, 4 einer Typ II Lösch-Operation.

52 Fall 1, 2: a b v

53 Fall 1: w u v Ausschnitt aus H:

54 Fall 1:

55 w u v s ab

56

57 w u v s ab s ab a b v a b

58 Fall 2: w ist nicht die Wurzel von T. Für einen Beweis siehe [2].

59 Fall 3,4: a b v c

60 Es wird nun immer die Kante e ermittelt, die bei der Lösch- Operation vom Typ II hinzugefügt werden soll: a b a b v c e c

61 Fall 3: w (der Großelternknoten von v) hat zwei Kinder.

62 Fall 3:

63

64 3 Spezialfälle werden unterschieden:

65 Fall 3a: x w u v=v‘ s a‘ c‘ b‘ Ausschnitt aus H für Fall 3:

66 Fall 3a: x w u v s a‘ c‘ b‘ y‘ y

67 Fall 3a: Diese Prozedur wird als „Vervollständigung des Baumes vom Typ I“ genannt.

68 Fall 3a: 2. u und v und alle zu ihnen inzidenten Kanten werden entfernt. 3. a‘ und c‘ werden zu Kindern von w. x w u v s a‘ c‘ b‘ x w a‘ c‘ b‘

69 Fall 3:

70 Fall 3a:

71 Fall 3b: x w u=v‘ v s a‘=a c‘ b‘

72 Fall 3b: 1. u und v und alle zu ihnen inzidenten Kanten werden entfernt. 2. s wird durch das Blatt a ersetzt.

73 Fall 3b: w u=v‘ s c‘ b‘ va=a‘

74 Fall 3b: x w u v s a c‘ b‘ x w a c‘ b‘

75 Fall 3c: x w=v‘ u v s a‘=a c‘ b‘

76 Fall 3c: 1. u und v und alle zu ihnen inzidenten Kanten werden entfernt. 2. s wird durch das Blatt a ersetzt.

77 Fall 3c: x w=v‘ u v s a‘=a c‘ b‘ x w a c‘ b‘

78 Fall 3: In den Fällen 3a, 3b und 3c genügt die resultierende RSH wieder allen 4 Regeln.

79 Fall 4: w hat mehr als zwei Kinder. Für einen Beweis siehe [2].

80 Theorem 9: Die vorherigen 4 Fälle reichen aus.

81 Theorem 9: Denn angenommen, keiner der vorherigen 4 Fälle kann angewendet werden. Dann beträgt der Grad jeder Ecke aus G mindestens 3. Da es 2n-3 Kanten gibt, existieren mind. 6 Ecken in H mit Grad 3. (sieht man durch Konstruktion eines solchen Graphen). Nach der Wurzel-Regel existiert ein Kindknoten u der Wurzel von T, so dass mind. 3 Ecken vom Grad 3 Nachfahren von u sind. Der Großelternknoten kann nach der Blatt-Regel nicht die Wurzel sein. Also greift hier Fall 3 oder 4.

82 Theorem 10: Die Henneberg-Konstruktion eines Laman- Graphen mit n Ecken kann in O(n²) Zeit Berechnet werden.

83 Beweis: Theorem 10 Es wird eine RSH für den Graphen mit dem Algorithmus aus Theorem 7 in O(n²) Zeit konstruiert. Mit dem Algorithmus aus Theorem 9 kann eine Lösch-Operation in O(n) Zeit berechnet werden. Da O(n) Lösch-Operationen nötig sind, folgt daraus die Behauptung.

84 Quellen:  [1] R. Haas, D. Orden, G. Rote, F. Santos, B. Servatius, H. Servatius, I. Streinu, D. Souvaine and W. Whiteley. Planar minimally rigid graphs and pseudo-triangulations. Comput. Geom. Theory Appl., 31(1-2):31-61, 2005, http://dx.doi.org/10.1016/j.comgeo.2004.07.003. http://dx.doi.org/10.1016/j.comgeo.2004.07.003  [2] Henneberg-Aufbau in O(n²) Schritten: S. Bereg. Certifying and constructing minimally rigid graphs in the plane. In Proc. 21st Annu. Sympos. Comput. Geom., pages 73-80, 2005.  [3] A.R.Berg und T.Jordan. Algorithms for graph rigidity and scene analysis. In 11th European Symp. on Algorithms, LNCS 2832, pp. 78-89. Springer-Verlag, 2003.