7   Bin�re B�ume

Literatur: Kapitel 13 aus [CLR90]. Balancierte B�ume stammen aus [AVL62].

Inhalt Bin�re B�ume �Baumoperationen

• Unterst�tzung vieler W�rterbuchoperationen
• Baumstrukturen effizient
• Effizienz der Operationen proportional H�he des Baumes = O(log n) (falls der Baum ``ausgeglichen'')
• Viele Varianten, abh�ngig von der Anwendung
  • Rot/Schwarz-B�ume [Bay72]
  • B-B�ume
  • AVL-B�ume [AVL62]
  • Splay-Trees
  • (a,b)-B�ume, z.B. (2,3)-B�ume (2-3-B�ume)
  • selbst-balancierende B�ume
  • ...

• Die Elemente des Baumes sind `` sortiert''
• � Ausgeben der sortierten Elemente = rekursives Durchlaufen des Baumes (in-order tree walk)⁴

InOrder-Tree-Walk(t) =
  if   t != nil
  then InOrder-Tree-Walk(left(t));
       print (key(t));
       InOrder-Tree-Walk(right(t));

• wichtige Operation auf Suchb�umen
• Komplexit�t: O(h), wobei h die H�he
• Minimum/Maximum bestimmen: genauso einfach (der linkeste/rechteste Knoten im Baum)

Search(t,k) =                // t : tree, k : key
  if         t == nil    then raise error("Not found")
  else if    k == key(t) then return t
  else if    k <  key(t) 
       then Search( left(t),k)
       else Search(right(t),k)

Search(t,k) =                // t : tree, k : key
  while (t != nil) and (k != key(t))
  do
    if k < key(t)
       then t :=  left(t)
       else t := right(t)
  od;
  if   (t == nil) 
  then raise error("Not Found")
  else return t

• Einf�gen immer an den Bl�ttern
• Komplexit�t: O(h)

Insert(T,z) =              // T : tree, z : node to insert
  y := nil; x := root(T);  // zwei Hilfsvariablen
  while  x != nil          // finde das passende Blatt
  do
    y := x;                // y zum merken des Vaters
    if   key(z) < key(x)
    then x := left(x) 
    else x := right(x)
  od;                     
  p(z) := y;               // => x ist nil, y sein Vorgaenger
  if   y = nil             // Sonderfall: y = Wurzel;
  then root(T) := z
  else if   key(z) < key(y)// f"uge an der passenden Stelle
       then  left(y) := z  // z als neues Blatt ein.
       else right(y) := z 

• Problem (s. Bild):
  • Erhalt der Baumeigenschaft: innere Knoten m�ssen ersetzt werden
  • Erhalt der Sortierungseigenschaft: der Ersatz mu� passen
• Baumnachfolger eines Knotens x: Nachfolger in der in-order-Baumordnung
  • falls Knoten mit rechtem Kind:
  • � Nachfolger = der ``linkeste'' Knoten im rechten Teilbaum.
  • � Nachfolger hat kein linkes Kind!
  • � key(left(x)) � key(x) � keysucc(x) � key(right(x))⁵
• �
  Nachfolger ersetzt zu l�schenden inneren Knoten
• Komplexit�t: O(h)

Delete(T,z)           // T = tree, z = zu loeschender Knoten
  if   left(z) = nil or right(z) = nil
    then y := z              // y tritt an die Stelle von x
    else y := Successor(z);  // wobei: y hat <= 1 Kind!

  if left(y) != nil          // Bestimmung des Kindes x
     then x :=  left(y)      // von y.
     else x := right(y);
                                 // Ver"andern der Verzeigerung
  if x != nil then p(x) = p(y);  // y herausgenommen => x mit 
                                 // neuem Vater
  if p(y) = nil                  // Spezialfall: wurzel
    then root(t) = x
    else if  y = left(p(y))
           then  left(p(y)) := x
           else right(p(y)) := x  // y ist nun  vom
                                  //  urspr. Platz entfernt

  if y != z then key(z) := key(y);// z durch y ersetzen

  return y;