a) Fügen Sie die Zahlen 39, 38, 37 und 36 in folgenden (2, 3)-Baum ein:

Transkript

1 1 Aufgabe 8.1 (P) (2, 3)-Baum a) Fügen Sie die Zahlen 39, 38, 37 und 36 in folgenden (2, 3)-Baum ein: Zeichnen Sie, was in jedem Schritt passiert. b) Löschen Sie die Zahlen 65, 70 und 100 aus folgendem (2, 3)-Baum: Zeichnen Sie den Ablauf. Lösungsvorschlag 8.1 a) Einfügen:

2 2 b) Löschen: Aufgabe 8.2 (P) Rot-Schwarz-Bäume Ein Rot-Schwarz-Baum ist ein binärer Suchbaum, dessen Knoten entweder rot oder schwarz gefärbt sind und die folgenden 5 Regeln erfüllt: Der Schlüssel eines Vaterknotens ist grösser als der Schlüssel seines linken und kleiner als der Schlüssel seines rechten Kindknotens. Ein Knoten ist entweder schwarz oder rot Die Wurzel ist schwarz Ein Pfad, von der Wurzel zu einem Endknoten, hat gleich viele schwarze Knoten. Ein roter Knoten, hat nur schwarze Kindknoten (d.h. es folgen niemals zwei rote Knoten aufeinander). Mehr Informationen finden Sie, zum Beispiel hier:

3 3 nkirov/2009/netb201/slides/ch09/ch09b.html a) Finden Sie eine Darstellung von Rot-Schwarz-Bäumen durch geeignete (a,b)-bäume. b) Überlegen Sie sich einen Algorithmus zum Einfügen in Rot-Schwarz-Bäumen und testen sie ihn Anhand des Beispiels aus der Vorlesung zum Einfügen in (a,b)-bäumen (p42ff). c) Diskutieren Sie, welche Probleme beim Einfügen in Rot-Schwarz-Bäumen auftreten und vergleichen Sie es mit dem Löschen in (a,b)-bäumen. Lösungsvorschlag 8.2 a) Rot-Schwarz-Bäume sind eine Darstellung von (2, 4)-Bäumen, man wandelt die Knoten eines (2, 4)-Baumes nach folgendem Schema um (Kreise repräsentieren Teilbäume): a = a Grad 2 Knoten 1 2 a, b 1 2 = b a 3 Grad 3 Knoten a, b, c 1 2 = b a c Grad 4 Knoten b) Zunächst fügt man wie bei einem normalen binären Suchbaum ein und färbt den neuen Knoten (k) rot. Falls der Vaterknoten schwarz ist, bleiben alle Eigenschaften erfüllt und es ist nichts weiter zu tun. Ist der Vaterknoten rot, müssen wir eine Korrektur durchführen und unterscheiden hierzu zwei Fälle: Schwarzer Nachbar: Dies entspricht einer falschen Anordnung der Teile eines 4-Knotens und wird durch folgende Umsortierung behoben: g = k n v g v 1 1 k 4 n

4 4 Roter Nachbar: Dies entspricht dem split -Fall im (2, 4)-Baum und hat hier ein Umfärbung der Knoten zufolge und ebenfalls einen rekursiven Aufruf dieser Prozedur, sollte sich der Farbkonflikt für den Großvaterknoten (g) wiederholen. Wird bei diesem Vorgehen die Wurzel des gesamt Baumes erreicht, so wird sie nicht rot gefärbt und das Verfahren terminiert, was dem Entstehen eines neuen Wurzelknotens entspricht. g = g n v n v 1 2 k k Den (2, 4)-Baum aus dem Vorlesungsbeispiel kann man wie folgt darstellen: Führt man auf diesem Baum Insert(8); aus erhält man: Anschließend Insert(32); liefert: Der hier entstehende Rot-Schwarz-Baum enspricht nicht der Umsetzung des Baums des Beispiels, da nicht das Element rechts der Mitte nach oben geschoben wird, sondern das Ältere. Dies wäre auch für den (2, 4)-Algorithmus eine Möglichkeit, denn welches der beiden mittleren Elemente benutzt wird, ist für die Struktur und Effizienz des Baumes nicht wichtig. Man benötigt lediglich ein deterministisches Verfahren zur Bestimmng des Elements. Welches Verfahren man schließlich wählt liegt im eigenen Ermessen. Der Rot-Schwarz-Baum zur Vorlesung wäre:

5 c) Bereits beim Löschen im (2, 4)-Baum werden mehrere Fälle unterschieden. Betrachtet man nun die direkte Übertragung der (2, 4)-Bäume auf Rot-Schwarz-Bäume und versucht, Remove entsprechend zu übersetzen, muss man bei Rot-Schwarz-Bäumen bei diesen Fällen zusätzlich weitere Fälle unterscheiden. Betrachten wir zum Beispiel den Fall, dass im (2, 4)-Baum zwei Knoten vereinigt werden müssen; konkret folgender Baum (links im Bild). Wird in diesem Baum die 1 gelöscht, entsteht ein Baum mit Wurzel 4, linkem Blatt 2, 3 und rechtem Blatt 5 (siehe rechter Baum). 2, 4 = ,3 5 Der entsprechende Rot-Schwarz-Baum kann zwei Varianten haben (durch Einfügen und Löschen kann die zweite Variante entstehen) Würde man nun das Löschen aus dem (2, 4)-Baum übertragen, muss man diese beiden Fälle unterscheiden. Entsprechend gibt es auch für die anderen Fälle des Löschens in (2, 4)-Bäumen wieder Fallunterscheidungen auf den Rot-Schwarz-Bäumen. Eine ausführliche Diskussion aller Fälle ist hier nicht verlangt. Für die konkrete Umsetzung des Löschens bei Rot-Schwarz-Bäumen finden Sie in der Literatur ausführliche Erklärungen, z.b. in dem Buch Introductions to Algorithms von T.H. Cormen et al. Aufgabe 8.3 [5 Punkte] (H) (a, b) Baum a) Fügen Sie in den folgenden (3, 6)-Baum die Elemente 2, 4 und 12 ein. Zeichnen Sie, was in jedem Schritt passiert.

6 6 b) Löschen Sie aus dem resultierenden Baum die Elemente 2, 17, 3 und 21. Zeichnen Sie, was in jedem Schritt passiert. Lösungsvorschlag 8.3 a) insert 2: insert 4: Das linke Blatt hat zuviele Schlüssel, es wird aufgeteilt. insert 12:

7 7 Das Blatt hat zuviele Schlüssel, es wird aufgeteilt. Der innere Knoten hat zuviele Schlüssel, er wird aufgeteilt. b) remove 2: remove 17:

8 8 Das Blatt hat zuwenig Schlüssel, es klaut einen Schlüssel beim linken Nachbarn. Um die Suchbaumeigenschaft zu erhalten, werden die Schlüssel 13 und 15 rotiert. remove 3: Das Blatt hat zuwenig Schlüssel, der einzige Nachbar hat genau a 1 = 2 Schlüssel, kann also keinen mehr abgeben. Die beiden Knoten werden gemergt. Da der Vater dann ein Kind weniger hat, wandert ein Schlüssel (4) runter.

9 9 remove 21: Da der Schlüssel im inneren Knoten steht, wird er durch den größten Schlüssel (19), der kleiner ist als er selbst, ersetzt. Das Blatt, in dem der Schlüssel 19 stand, hat zuwenig Schlüssel, der einzige Nachbar hat genau a 1 = 2 Schlüssel, kann also keinen mehr abgeben. Die beiden Knoten werden gemergt. Da der Vater dann ein Kind weniger hat, wandert ein Schlüssel (13) runter. Der Vater hat nun auch zuwenig Schlüssel.Es muss wieder gemergt werden. Da der Vater dann ein Kind weniger hat, wandert ein Schlüssel (19) runter. Der resultierende Baum hat eine Wurzel mit nur 2 Kindern. Dies ist in einem (3, 6)- Baum nur der Wurzel erlaubt. Für andere innere Knoten wäre die Grad-Invariante verletzt.

10 10 Aufgabe 8.4 [5 Punkte] (H) (2,3)-Baum Beweisen Sie folgende Aussage: Für einen (2, 3)-Baum gibt es eine Folge von n insert bzw. remove-operationen, so dass die Anzahl der nötigen Aufspaltungen und Vereinigungen in Ω(n log n) ist. Lösungsvorschlag 8.4 Zunächst sorgen wir dafür, dass der (anfangs leere) (2,3)-Baum eine gewisse Anzahl von Blättern enthält. Wir berechnen dazu die größte Zweierpotenz, die kleiner oder gleich n/2 ist. Dazu sei bemerkt, dass diese Größe n = 2 log 2 (n/2) höchstens um den Faktor 1/4 kleiner als n ist, also Ω(n). Wir fügen also erstmal die Schlüssel von 1 bis n in den (2, 3)-Baum ein. Die restlichen n n Operationen verwenden wir, um abwechselnd immer wieder denselben Schlüssel mit remove zu entfernen und mit insert wieder einzufügen. Die Anzahl dieser Operationen ist natürlich auch mindestens halb so groß wie n, also natürlich auch in Ω(n). Bei jeder remove-operation wird ein Blatt entfernt, so dass der entsprechende Vater-Knoten nur noch ein Kind hat. Dieser Knoten muss also mit einem anderen Knoten vereinigt werden. Der gemeinsame Vater-Knoten hatte vorher jedoch auch nur diese zwei Kinder und muss nun ebenfalls mit seinem einzigen Bruder verschmolzen werden usw. Dieser Prozess endet erst an der Wurzel. Umgekehrt wird bei jeder darauffolgenden insert-operation ein Knoten mit drei Kindern in zwei Knoten mit je zwei Kindern aufgespalten, was sich auch wieder bis zur Wurzel fortsetzt. Da die Höhe des Baums mit n Ω(n) Blättern gleich log 2 (n ) Ω(log 2 n ) ist, beträgt der Gesamtaufwand Ω(n log 2 n).