Rot-Schwarz-Bäume Bearbeiten

Auf dieser Seite werden die Rot-Schwarz Bäume( auch RS Bäume genannt) behandelt. Die Idee ist wie bei den 2-3-4 Bäumen ein ausgeglichener Baum mit variablem Verzweigungsgrad. Die Ausgeglichenheit wird bei der Einfügeoperation gewährleistet und die Implementierung erfolgt durch Binärbäume.

Binäre Repräsentation von 2-3-4 Bäumen als Rot-Schwarz Baum Bearbeiten

Rot-Schwarz-Bäume sind binäre Suchbäume. Jeder Knoten ist entweder rot oder schwarz. Der Wurzelknoten (Null-Knoten) ist per Definitionem schwarz. Die Kinder jedes roten Knotens sind schwarz. Für jeden Knoten k gilt, dass jeder Pfad von k zu einem Blatt die gleiche Anzahl schwarze Knoten enthält.

Einfügen in RB Bäume Bearbeiten

Zuerst erfolgt top-down ein Splitten (nicht-rekursiv) der 4er-Knoten. Dann wird in zwei Hauptfälle unterschieden. Im Fall 1 hängt der 4er-Knoten an einem 2er-Knoten und im Fall 2 hängt der 4er-Knoten an einem 3er-Knoten. Hierbei gibt es noch Unterfälle. Bei Fall 2A hängt der Teilbaum links oder rechts.Bei Fall 2B hängt der Teilbaum in der Mitte.

Das Splitten im RB Baum bei Fall 1 Bearbeiten

Das Splitten im RB Baum bei Fall 2a Bearbeiten

Das Splitten im RB Baum bei Fall 2b Bearbeiten

Beispiel Einfügen der Zahl 13 Bearbeiten

Zuerst wird die Einfügeposition gesucht. Die Knoten mit 2 roten Kindern (4-Knoten) werden auf dem Weg präventiv gesplittet. Anschließend wird ein neuer Knoten auf Blattebene erzeugt. Nun wird die Balance wieder hergestellt durch Split und Rotation.

Implementierung RB Baum Bearbeiten

Die Datenstruktur ist weitgehend identisch mit einem „normalem“ Binärbaum. Das Balance-Kriterium besagt, dass die Anzahl der schwarzer Knoten auf Weg von jedem Blatt zur Wurzel gleich sein muss. Außerdem hat jeder schwarze Knoten 0, 1 oder 2 rote oder schwarze Kindknoten. Des weiteren kann jeder rote Knoten nur schwarze Kindknoten haben.

Die im Folgenden vorgestellte Implementierung eines binären Suchbaumes wurde abgewandelt.

Die Klasse TreeNode wird zu RBNode abgewandelt.
Hinzufügen des booleschen Attributs red
Keine generische Implementierung hier, d.h.java.lang.Object wird als Typ des Schlüssels verwendet
Pseudoknoten head und nullNode
Innere Klasse für Knoten

public class RedBlackTree {
   static class RBNode {

      Object key;
      RBNode left = null, right = null;
      boolean red = false;
      ...
   }

   private RBNode head, nullNode;
   ...
}

Einfügeposition suchen Bearbeiten

Nach der Initialisierung wird grand ein Niveau tiefer gesetzt. Wenn der Knoten schon enthalten ist, wird ein false zurückgegeben. Ansonsten wird die Einfügeposition gesucht. In der If Anweisung werden präventiv die 4er Knoten aufgesplittet

public boolean insert (Compareable c) {
   RBNode node, great, grand, parent;
   int cmp = 0;
   node = parent = grand = great = head;
   while (node != nullNode) {
      great = grand; grand = parent; parent = node;
      cmp = node.getKey.compareKeyTo (c);
      if (cmp == 0)
         return false;
      else
         node = cmp > 0 ?
            node.getLeft () : node.getRight ();
      if (node.getLeft().isRed() && node.getRight().isRed())
         split (c, node, parent, grand, great);
   }

Neuen Knoten einfügen und Balancieren Bearbeiten

Der neue Knoten wird als linker oder rechter Knoten eingefügt. Eingefügte Knoten werden als Teil eines 4er Knoten angenommen.

   node= new RBNode (c);
   node.setLeft (nullNode); node.setRight(nullNode);
   if (parent.compareKeyTo(c) > 0)
      parent.setLeft(node);
   else
      parent.setRight(node);
   split(c, node, parent, grand, great);
   return true;
}

Der Splitvorgang Bearbeiten

Zuerst werden die Knoten umgefärbt (Fall 1), dann wird überprüft, ob der Elternknoten ein 3er Knoten ist und ob der aktuelle Knoten und der Elternknoten gleich orientiert sind. Anschließend wird Fall 2b in Fall 2a überführt. Zum Schluss wird der geteilte Knoten umgefärbt.

private void split (Compare c, RBNode node, RBNode parent, RBNode grand, RBNode great) {
   node.setRed(true);
   node.getLeft().setRed(false);
   node.getRight().setRed(false);
   if (parent.isRed()) {
      grand.setRed(true);
      if (grand.compareKeyTo (c)!= parent.compareKeyTo (c))
        parent = rotate (c, grand);
      node = rotate(c, great);
      node.setRed(false);
   }
   head.getRight().setRed(false);
}

Der Rotiervorgang Bearbeiten

Zuerst wird der Nachfolgerknoten bestimmt, und eine Rotation findet rechts oder links herum statt. Zum Schluss wird die Rotation in node eingehängt.

private RBNode rotate(Comparable c, RBNode node) {
   RBNode child, gchild;
   child = node.compareKeyTo (c) >0 ? node.getLeft (): node.getRight();
   if (child.getKey().compareKeyTo (c) >0) {
       gchild = child,getLeft();
       child.setLeft(gchild.getRight());
       gchild.setRight(child);
   }
   else {
      gchild = child.getRight();
      child.setRight(gchild.getLeft());
      gchild.setLeft(child);
   }
   if (node.getKey().compareKeyTo(c) > 0)
       node.setLeft(gchild);
   else
      node.setRight(gchild);
   return gchild;
}

Literatur Bearbeiten

Da die Vorlesungsinhalte auf dem Buch Algorithmen und Datenstrukturen: Eine Einführung mit Java von Gunter Saake und Kai-Uwe Sattler aufbauen, empfiehlt sich dieses Buch um das hier vorgestellte Wissen zu vertiefen. Die auf dieser Seite behandelten Inhalte sind in Kapitel 14.4.1 zu finden.

Kurs:Algorithmen und Datenstrukturen/Vorlesung/Rot-Schwarz-Bäume

Inhaltsverzeichnis