Beruflich Dokumente
Kultur Dokumente
Binre Suchbume
Bjrn Steffen
Timur Erdag
berarbeitet von Christina Class
Binre Suchbume
Ein ETH-Leitprogramm fr die Informatik
Adressaten und Institutionen Das Leitprogramm richtet sich an Studierende an einer Fachhochschule im 2. Semester des Informatik- oder Elektrotechnikstudiums.
Vorkenntnisse Die Leser und Leserinnen
beherrschen die wesentlichen Aspekte einer Programmiersprache.
kennen das Konzept der verketteten Liste.
verstehen die Rekursion und deren Anwendung.
Dauer Fr die vollstndige Bearbeitung des Leitprogramms werden ungefhr
68 Stunden bentigt.
9. April 2008
Nutzungsrechte
Die ETH stellt dieses Leitprogramm zur Frderung des Unterrichts interessierten
Lehrkrften oder Institutionen zur internen Nutzung kostenlos zur Verfgung.
Vorwort
Bume gehren zu den bedeutendsten Datenstrukturen in der Informatik. Dieses
Leitprogramm gibt eine Einfhrung in dieses vielseitige Gebiet und befasst sich
im Speziellen mit den binren Suchbumen.
Das Leitprogramm richtet sich an Studierende an einer Fachhochschule im
2. Semester des Informatik- oder Elektrotechnikstudiums. Im Besonderen ist
dieses Leitprogramm auf den Einsatz im Modul Programmieren II der Hochschule Luzern Technik & Architektur (HSLU T&A) ausgerichtet.
Es kann auch in anderen Schulstufen verwendet werden, sofern die im Folgenden beschriebenen Vorkenntnisse vorliegen.
Vorkenntnisse
Die Leserinnen und Leser
beherrschen die wesentlichen Aspekte einer Programmiersprache.
kennen das Konzept der verketteten Liste.
verstehen die Rekursion und deren Anwendung.
Inhaltsverzeichnis
1 Einleitung
1.1 Lernziele des Leitprogramms . . . . .
1.2 bersicht . . . . . . . . . . . . . . . .
1.3 Aufbau . . . . . . . . . . . . . . . . . .
1.4 Aufgaben . . . . . . . . . . . . . . . .
1.5 Kapiteltests . . . . . . . . . . . . . . .
1.6 Programmiersprache und Pseudocode
1.7 Vorgehen . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
10
10
10
11
11
11
2 Bume
2.1 Lernziele . . . . . . . . . . . . . .
2.2 Der Baum . . . . . . . . . . . . .
2.3 Die Komponenten eines Baumes
2.4 Masse eines Baumes . . . . . . .
2.5 Lernkontrolle . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
13
13
14
15
20
.
.
.
.
.
.
.
.
23
23
24
24
26
26
28
30
32
.
.
.
.
.
.
35
35
35
37
37
39
40
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3 Binrbume
3.1 Lernziele . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Definition von Binrbumen . . . . . . . . . . . . . . . .
? 3.2.1 Alternative Definition von Binrbumen . . . . .
3.3 Durchlaufordnungen in Binrbumen . . . . . . . . . . .
3.3.1 Preorder-Reihenfolge (Hauptreihenfolge) . . . . .
3.3.2 Postorder-Reihenfolge (Nebenreihenfolge) . . . .
3.3.3 Inorder-Reihenfolge (Symmetrische Reihenfolge)
3.4 Lernkontrolle . . . . . . . . . . . . . . . . . . . . . . . .
4 Binre Suchbume
4.1 Lernziele . . . . . . . . . . . . . . . . . . . . .
4.2 Definition von binren Suchbumen . . . . .
4.3 Suchen, Einfgen und Entfernen von Knoten
4.3.1 Suchen eines Knotens . . . . . . . . .
4.3.2 Einfgen eines neuen Knotens . . . . .
4.3.3 Entfernen eines Knotens . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Inhaltsverzeichnis
4.4
Lernkontrolle . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5 Balancierte Suchbume
5.1 Lernziele . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Laufzeitbetrachtungen von binren Suchbumen . .
5.3 AVL-Bume . . . . . . . . . . . . . . . . . . . . . . .
? 5.4 Operationen in AVL-Bumen . . . . . . . . . . . . .
? 5.4.1 Suchen, Einfgen und Entfernen von Knoten
? 5.4.2 Rebalancierung durch Baumrotationen . . . .
? 5.5 Implementierung von AVL-Bumen . . . . . . . . . .
5.6 Lernkontrolle . . . . . . . . . . . . . . . . . . . . . .
6 Zusammenfassung
6.1 Weiterfhrende Literatur
A Lsungen zu den Aufgaben
A.1 Lsungen zum Kapitel 2 .
A.2 Lsungen zum Kapitel 3 .
A.3 Lsungen zum Kapitel 4 .
A.4 Lsungen zum Kapitel 5 .
45
.
.
.
.
.
.
.
.
47
47
48
49
51
51
52
57
59
. . . . . . . . . . . . . . . . . . . . .
63
63
.
.
.
.
69
69
72
76
89
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Abbildungsverzeichnis
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
3.1
? 3.2
3.3
3.4
3.5
4.1
4.2
4.3
4.4
4.5
4.6
4.7
4.8
5.1
5.2
5.3
? 5.4
? 5.5
? 5.6
? 5.7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
14
14
15
16
17
17
18
18
19
Ein Binrbaum . . . . .
Ein Binrbaum nach der
Durchlaufordnung in der
Durchlaufordnung in der
Durchlaufordnung in der
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
24
25
27
29
30
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
36
36
37
39
41
41
43
44
. . . . . . . . . . . . .
alternativen Definition
Preorder-Reihenfolge .
Postorder-Reihenfolge
Inorder-Reihenfolge .
48
49
50
51
53
54
56
1 Einleitung
Bume gehren zu den bedeutendsten Datenstrukturen in der Informatik. Sie
werden nicht nur zur effizienten Speicherung und schnellem Finden von Daten
benutzt, sondern sind auch ein ntzliches Hilfsmittel zur Strukturierung von
Informationen.
Auch die visuelle Aussagekraft der Bume wird in den verschiedensten Bereichen eingesetzt. Zum Beispiel fr die Strukturierung von Mens graphischer
Benutzeroberflchen oder fr das Prsentieren von hierarchisch gruppierten
Informationen wie bei einem Dateisystem.
Fr viele Anwendungen sind spezialisierte Bume entwickelt worden. Fr
die Speicherung von Daten spielen zum Beispiel die binren Suchbume eine
wichtige Rolle. Diese Bume stehen deshalb im Zentrum dieses Leitprogramms.
1 Einleitung
1.2 bersicht
Dieses Leitprogramm fhrt die Leserinnen und Leser schrittweise in das Gebiet
der binren Suchbume ein.
Im folgenden Kapitel werden die wesentlichen Begriffe und Eigenschaften von
Bumen aufgezeigt, whrend im dritten Kapitel auf Binrbume und deren
Durchlaufordnungen eingegangen wird. Das Kapitel 4 befasst sich mit den
Eigenschaften und der Implementierung von binren Suchbumen. Im darauf
folgenden Kapitel wird auf die Notwendigkeit einer Balancierung fr Suchbume
eingegangen und im besonderen die AVL-Bume vorgestellt.
1.3 Aufbau
Am Anfang jedes Kapitels werden nach einer kurzen Einfhrung die Lernziele
aufgelistet, die in diesem Kapitel erreicht werden sollten.
Einige schwierigere oder weiterfhrende Abschnitte, Aufgaben oder Abbildungen sind mit einem Stern (?) markiert. Diese Inhalte sind optional und fr
die Erreichung der Lernziele nicht notwendig. Sie dienen den interessierten oder
schnelleren Leserinnen und Lesern zur Vertiefung.
1.4 Aufgaben
Jedes Kapitel enthlt eine Anzahl von eingestreuten Aufgaben, die direkt an der
entsprechenden Stelle gelst werden sollen. Die Aufgaben dienen nicht nur dem
Einben des Gelernten, sondern enthalten auch weiterfhrende Informationen
und bringen zustzliche Hinweise.
Im Weiteren befinden sich am Schluss jedes Kapitels zustzliche Aufgaben zur
Lernkontrolle und als Vorbereitung fr die Kapiteltests oder allfllige Prfungen.
Fr die Selbstkontrolle befinden sich in Anhang A auf Seite 69 die Lsungen zu
den Aufgaben.
Es gibt zwei Arten von Aufgaben:
Aufgaben die mit einem Stift gekennzeichnet sind, knnen auf
Papier gelst werden.
Bei den Aufgaben mit einem CD-ROM Symbol handelt es sich
um Programmieraufgaben, welche am Computer gelst werden
mssen. Dazu befinden sich auf EducETH weitere Hinweise und
Codegerste. Lsungen finden Sie zu diesen Aufgaben ebenfalls auf
EducETH.
10
1.5 Kapiteltests
1.5 Kapiteltests
Am Ende jedes Kapitels wird ein Kapiteltest abgelegt. Dieser kurze Test umfasst
einige Aufgaben zur Kontrolle des Lernfortschritts.
1.7 Vorgehen
Wurde ein Kapitel fertig bearbeitet und die Aufgaben der Lernkontrolle gelst,
kann der Kapiteltest abgelegt werden. Bei erfolgreichem Bestehen des Tests, wird
dann mit dem nchsten Kapitel weitergemacht. Sollten jedoch Schwierigkeiten
bei der Lsung der Tests auftauchen, so mssen die entsprechenden Abschnitte
des Kapitels nochmals bearbeitet und der Test zur Kontrolle wiederholt werden.
Dieses Vorgehen nennt man auch Mastery Lernen. Man fhrt erst mit dem Lernen fort, wenn man den bisherigen Stoff beherrscht. Dies erhht den Lernerfolg
deutlich.
11
2 Bume
In diesem Kapitel werden Sie mit dem erforderlichen Vokabular im Zusammenhang mit Bumen vertraut gemacht. Dieses Vokabular ist intuitiv verstndlich,
da es sich auf bekannte Wrter und deren Bedeutung sttzt. Jedoch mssen
diese in einem neuen Zusammenhang gesehen werden. Wenn Sie diese einmal
verstehen, werden Sie keine Mhe mehr haben, Texten ber Bume in der
Informatik zu folgen.
2.1 Lernziele
Um sich mit Algorithmen und Anwendungen im Zusammenhang mit Bumen
zu befassen, ist es erforderlich, dass Sie die grundlegenden Begriffe im Gebiet
der Bume kennen und verstehen.
Sie knnen die wesentlichen Elemente eines Baumes identifizieren und umgangssprachlich beschreiben.
Am Ende dieses Kapitels sind Sie in der Lage, sich selbstndig in weiterfhrender Literatur ber Bume zu informieren.
Im Gegensatz zur Natur besitzt ein Baum in der Informatik jedoch nur eine Wurzel.
13
2 Bume
Wurzel
Kante
Knoten
Abbildung 2.1 Ein Baum mit der Wurzel, mehreren Knoten und Kanten.
Vter
Kinder
Abbildung 2.2 Die Wurzel ist Vater von drei Kindern und eines ihrer Kinder (ganz rechts)
ist selber Vater eines Kindes.
14
innere Knoten
Bltter
Abbildung 2.3 Ein Baum mit inneren Knoten und Blttern.
Ein innerer Knoten (inner node) ist ein Knoten mit mindestens einem
Kind. Ist ein Knoten kinderlos, so spricht man von einem Blatt (leaf). (vgl. Abbildung 2.3)
Aufgabe 2.1
Bestimmen Sie den Typ aller Knoten in folgender Abbildung. Beachten Sie, dass
einzelne Knoten auch von mehreren Typen sein knnen.
a
b
c
e
d
g
15
2 Bume
Dabei gilt, dass der Grad jedes Knotens kleiner oder gleich der Ordnung des
Baumes sein muss. In Abbildung 2.4 haben zum Beispiel die Knoten a und b
den Grad 2 und der Knoten e hat den Grad 5.
Pfad Der Weg zwischen
Ein Pfad (path) von Knoten v nach Knoten w gibt an, welche Kanten und
zwei Knoten. Knoten besucht werden, wenn man von v nach w wandert.
Die Tiefe (depth) eines Knotens v gibt an, wie lange der Pfad zur Wurzel
Tiefe Die Anzahl der
Knoten auf dem direkten ist.
Pfad zur Wurzel.
depth(v) = Anzahl der Knoten auf dem Pfad
von der Wurzel zum Knoten v
Dabei werden alle Knoten gezhlt, welche auf dem direkten Pfad von der Wurzel
zum Knoten v liegen inklusive der Wurzel und dem Knoten v selbst (siehe
Abbildung 2.5).
Niveau Die Knoten mit
Knoten, welche die gleiche Tiefe haben, werden zu Niveaus (level) zusamder gleichen Tiefe. mengefasst, wie Abbildung 2.6 zeigt.
a
c
b
e
16
+1
z
Abbildung 2.5 Die Tiefe vom Knoten z ist 1 + 1 + 1 + 1 = 4.
Die Hhe (height) eines Baumes entspricht der Tiefe des Knoten, welcher
am weitesten von der Wurzel entfernt ist.
height(v) = Die Hhe des Baumes mit Wurzel v
Die Hhe eines Baumes entspricht somit dem grssten Niveau aller Knoten
dieses Baumes (siehe Abbildung 2.7).
Ein Baum heisst ausgefllt, wenn alle inneren Knoten die maximale Anzahl
Kinder haben. Somit ist der Grad jedes Knotens entweder gleich der Ordnung
des Baumes (innerer Knoten) oder 0 (Blatt) (siehe Abbildung 2.8).
Abbildung 2.6 Die Knoten d und e haben das gleiche Niveau von 3.
17
2 Bume
Hhe = 4
Vollstndig Jedes
Ein Baum heisst vollstndig, wenn jedes Niveau die maximale Anzahl
Niveau hat die maximale Knoten hat (siehe Abbildung 2.9). Jeder vollstndige Baum ist auch ausgefllt.
Anzahl Knoten.
Bruder/Geschwister
Die Knoten mit dem
gleichen Vater.
Nun kennen Sie alle relevanten Begriffe der Bume, welche fr das weitere Studium dieses Leitprogramms ntig sind und haben damit eine wichtige
Grundlage geschaffen.
Abbildung 2.8 Wenn beide Bume Ordnung 2 haben, dann ist nur der Linke ein ausgefllter
Baum.
18
Abbildung 2.9 Wenn beide Bume Ordnung 2 haben, dann ist der linke Baum vollstndig.
Der rechte Baum ist zwar ausgefllt, aber nicht vollstndig.
Aufgabe 2.2
Bestimmen Sie fr die zwei Bume der Aufgabe 2.1 auf Seite 15:
a) die Hhe,
b) die Ordnung,
c) die Niveaus,
d) ob der Baum ausgefllt ist,
e) den Grad aller Knoten
f) und die Tiefe jedes Knotens.
19
2 Bume
2.5 Lernkontrolle
Die folgenden Aufgaben dienen dem weiteren ben und der Lernkontrolle
der Inhalte dieses Kapitels. Wenn Sie alle Aufgaben lsen knnen, kann der
Kapiteltest in Angriff genommen werden. Wenn jedoch Schwierigkeiten bestehen,
sollten die entsprechenden Abschnitte des Kapitels nochmals bearbeitet werden.
Aufgabe 2.3
Bestimmen Sie im folgenden Baum die Typen der Knoten. Fllen Sie dazu die vorgegebene Tabelle aus.
a
f
j
Wurzel
Blatt
Innerer Knoten
Aufgabe 2.4
Bestimmen Sie fr jeden Knoten des Baumes der Aufgabe 2.3 die Tiefe und den Grad.
Aufgabe 2.5
Zeichnen Sie im Baum der Aufgabe 2.3 die Niveaus und die Hhe ein. berlegen Sie sich,
20
2.5 Lernkontrolle
welche Ordnung dieser Baum haben knnte, und begrnden Sie ihre Entscheidung.
Aufgabe 2.6
Gegeben sind die drei folgenden Bume der Ordnung 2. Entscheiden Sie, welche Bume
vollstndig und welche ausgefllt sind, und begrnden Sie Ihre Antwort.
Aufgabe 2.7
Fr viele Anwendungen gibt es verschiedene spezialisierte Bume. Recherchieren Sie
in verschiedenen Quellen (Internet, Bibliothek, . . . ) und notieren sich drei spezielle
Bume und deren wichtigste Anwendung.
Beachten Sie dabei besondere Eigenschaften der Bume, wie zum Beispiel die Ordnung
der Bume.
21
3 Binrbume
In der Informatik werden Bume fr die Strukturierung von Daten fr verschiedene unterschiedliche Zwecke eingesetzt. Fr spezifische Anwendungen sind
deshalb spezialisierte Bume entstanden. Von besonderem Interesse ist hierbei
der Binrbaum.
Ein Binrbaum ist ein Baum der Ordnung 2. Somit hat jeder Knoten hchstens zwei Kinder. Durch diese Einschrnkung vereinfachen sich viele Algorithmen
und Reprsentationen der Bume. Der Binrbaum wird in der Informatik daher
oft eingesetzt und liefert die Grundlage fr weitere spezialisiertere Bume.
Fr viele Anwendungen ist es ausserdem notwendig alle Knoten eines Baumes
der Reihe nach zu bearbeiten. Da die Knoten jedoch nicht linear angeordnet sind
wie zum Beispiel in einer Liste, gibt es verschiedene Durchlaufordnungen,
um alle Knoten eines Baumes zu durchlaufen.
3.1 Lernziele
Da die Binrbume eine Grundlage fr weitere spezialisiertere Bume sind, ist
es wichtig, dass Sie die Definition der Binrbume kennen. Im Weiteren ist es
fr viele Anwendungen unerlsslich, dass alle Knoten eines Baumes in einer
bestimmten Reihenfolge durchlaufen werden.
Fr dieses Kapitel des Leitprogramms gelten die folgenden Lernziele:
Sie kennen die Definition und die Besonderheiten der Binrbume.
Sie kennen die drei wichtigsten Durchlaufordnungen und deren Eigenschaften.
Sie knnen diese Durchlaufordnungen fr Binrbume implementieren.
Fr die drei Durchlaufordnungen knnen Sie je eine Beispielanwendung
angeben und begrnden, weshalb diese Reihenfolge verwendet wurde.
23
3 Binrbume
Abbildung 3.1 Ein Binrbaum. Jeder Knoten v des Baumes hat hchstens zwei Kinder,
ein Linkes (left(v)) und ein Rechtes (right(v)).
Ein binrer Baum oder Binrbaum (binary tree) ist ein Baum der Ordnung
2. Die inneren Knoten eines Binrbaumes haben somit hchstens zwei Kinder.
Diese Kinder werden als linkes (left(v)) bzw. rechtes Kind (Sohn) (right(v))
eines Knotens v bezeichnet.
v
left(v)
right(v)
24
Abbildung 3.2 Der Binrbaum nach der alternativen Variante. Durch eingefgte leere
Bltter ist dieser Binrbaum immer ausgefllt.
Leere Bltter sind die einzigen Knoten die keine Kinder haben und werden
mit dem folgenden Symbol dargestellt:
1. Alle Bltter des Binrbaumes B erhalten zwei leere Bltter und werden somit
zu inneren Knoten.
2. Alle inneren Knoten des Baumes B, die noch nicht zwei Kinder besitzen,
erhalten an entsprechender Stelle ein leeres Blatt.
Der resultierende Binrbaum B 0 hat dann die Eigenschaften dieser alternativen
Definition. Abbildung 3.2 zeigt einen Binrbaum dieser Definition.
Diese strikte Variante der Definition erlaubt es gewisse Algorithmen einfacher
zu definieren, da alle inneren Knoten immer genau zwei Kinder haben. Andererseits werden die Abbildungen dadurch berladen und die Beschreibungen
und Definitionen unntig kompliziert. In diesem Leitprogramm wird deshalb
die weniger restriktive Variante der Definition eines Binrbaumes verwendet.
25
3 Binrbume
26
algorithm preorder(v)
{Durchluft alle Knoten des Binrbaumes mit Wurzel v in der PreorderReihenfolge}
if v 6= null then
Besuche den Knoten v {}
preorder( left(v) )
preorder( right(v) )
end if
end algorithm
Bei der mit {} markierten Stelle im Algorithmus findet die eigentliche Bearbeitung des besuchten Knotens statt. Zum Beispiel kann hier der Inhalts des
Knotens ausgegeben werden.
Die Preorder-Reihenfolge ist dann ntzlich, wenn die Berechnung fr einen
Knoten vor der Berechnung seiner Kinder stattfinden muss.
Aufgabe 3.1
Die Preorder-Reihenfolge ist nicht nur fr das Durchlaufen von Binrbumen anwendbar.
Erweitern sie den gegebenen Algorithmus preorder() so, dass beliebige Bume damit
durchlaufen werden knnen.
27
3 Binrbume
Aufgabe 3.2
Bestimmen Sie fr den folgenden Binrbaum die Durchlaufordnung nach der PreorderReihenfolge.
a
c
b
e
d
g
f
i
h
j
Programmieraufgabe 3.3
Schreiben Sie eine Methode preorderPrint() in der Klasse BinaryNode. In dieser Methode werden alle Knoten eines Binrbaumes in der Preorder-Reihenfolge ausgegeben.
Das Durchlaufen eines Binrbaumes in der Postorder-Reihenfolge (Nebenreihenfolge) erfolgt hnlich zur Preorder-Reihenfolge. Bei dieser Durchlaufordnung
wird jedoch ein Knoten v nach seinem linken und rechten Teilbaum besucht.
1. Durchlaufe den linken Teilbaum des Knotens v in der Postorder-Reihenfolge.
2. Durchlaufe den rechten Teilbaum des Knotens v in der Postorder-Reihenfolge.
3. Besuche den Knoten v.
Die Postorder-Reihenfolge liefert beim Durchlaufen eines Baumes eine lineare
Ordnung der Knoten, bei dem die Elternknoten immer nach ihren Kindern
besucht werden, wie Abbildung 3.4 zeigt.
Das Durchlaufen in der Posterorder-Reihenfolge ist fr verschiedene Anwendungen ntzlich. Zum Beispiel wenn fr jeden Knoten v eine Eigenschaft
berechnet werden soll, fr deren Bestimmung aber zuerst die Eigenschaften der
Kinder von v berechnet werden mssen.
28
3
2
4
b
e
d
g
f
i
h
j
Aufgabe 3.5
Schreiben Sie einen rekursiven Algorithmus postorder() in Pseudocode, der alle Knoten
eines Binrbaumes in der Postorder-Reihenfolge besucht.
29
3 Binrbume
4
5
30
b
e
d
g
f
i
h
j
31
3 Binrbume
3.4 Lernkontrolle
Die folgenden Aufgaben dienen dem weiteren ben und der Lernkontrolle
der Inhalte dieses Kapitels. Wenn Sie alle Aufgaben lsen knnen, kann der
Kapiteltest in Angriff genommen werden. Wenn jedoch Schwierigkeiten bestehen,
sollten die entsprechenden Abschnitte des Kapitels nochmals bearbeitet werden.
Aufgabe 3.8
Schreiben Sie fr den folgenden Binrbaum die Durchlaufordnungen fr die Preorder-,
Postorder- und die Inorder-Reihenfolge auf.
a
c
b
e
d
g
f
j
h
k
Aufgabe 3.9
Um mathematische Ausdrcke durch Programme auszuwerten, muss der Ausdruck
in eine geeignete Reprsentation gebracht werden. Eine mgliche Reprsentation ist
der abstrakte Syntaxbaum, wie er fr einen gegebenen Ausdruck in der folgenden
Abbildung dargestellt ist.
2
3
4
6
Das Erstellen von Syntaxbumen aus Texten ist ein wesentlicher Bestandteil von
Compilern und Interpretern.
32
3.4 Lernkontrolle
Wichtig ist das richtige Setzen der Klammern, denn die beiden Teilbume eines
Knotens mssen vor diesem Knoten ausgewertet werden. Dies kann man erreichen,
indem man standardmssig jeden Ausdruck eines Teilbaumes mit einer Klammer
umschliesst. Mit einer passenden Traversierung des Syntaxbaumes erhlt man den
mathematischen Ausdruck, der im Baum dargestellt ist.
Welche Durchlaufordnung wird dabei angewandt?
Wie lautet der mathematische Ausdruck, der durch den Syntaxbaum reprsentiert
wird?
Aufgabe 3.10
Ein Dateisystem lsst sich einfach als Baum darstellen. Die Bltter reprsentieren die
Dateien. Die inneren Knoten entsprechen den Verzeichnissen oder Ordnern. Die folgende
Grafik zeigt einen Ausschnitt aus einem Dateisystem mit Angabe der Dateigrssen. Die
Verzeichnisse selbst bentigen dabei keinen Speicherplatz.
Home/
Privat/
aufsatz.doc
4 kbyte
Programmieren/
Aufgabe1/
Bilder/
Aufgabe2/
b1.jpg
b2.jpg
b3.jpg
A.java
B.java
A.java
B.java
120 kbyte
230 kbyte
105 kbyte
1 kbyte
2 kbyte
5 kbyte
12 kbyte
Aufgabe 3.11
B sei ein vollstndiger Binrbaum der Hhe h. Bestimmen Sie die folgenden Werte fr
B in Abhngigkeit von h:
a) Die Anzahl der Bltter im Binrbaum B.
b) Die Anzahl der Knoten im Binrbaum B.
Aufgabe 3.12
Sei B ein Baum mit mehr als einem Knoten.
a) Ist es mglich, dass beim Durchlaufen des Baumes B in der Preorder-Reihenfolge die
gleiche Reihenfolge der Knoten entsteht, wie wenn B in der Postorder-Reihenfolge
durchlaufen wird?
33
3 Binrbume
Geben Sie ein Beispiel, falls dies zutrifft, oder argumentieren Sie, wieso dies nicht
eintreten kann.
b) Ist es mglich, dass beim Durchlaufen des Baumes B in der Preorder-Reihenfolge
die umgekehrte Reihenfolge der Knoten entsteht, wie wenn B in der PostorderReihenfolge durchlaufen wird?
Geben Sie ein Beispiel, falls dies zutrifft, oder argumentieren Sie, wieso dies nicht
eintreten kann.
Aufgabe 3.13
Erweitern Sie den folgenden Binrbaum so, dass er der alternativen Definition fr
Binrbume aus Abschnitt 3.2.1 entspricht.
34
4 Binre Suchbume
In den vorherigen zwei Kapiteln haben Sie Bume im Allgemeinen sind und
Binrbume im Speziellen kennengelernt. Nun nutzen Sie dieses Wissen, um eine
erweiterte Form der Binrbume zu verstehen. Hierbei handelt es sich um eine
Baumstruktur, welche insbesondere auf das Suchen und Entfernen von Knoten
spezialisiert ist. Diese erweiterten Binrbume werden Binre Suchbume
genannt.
4.1 Lernziele
Um binre Suchbume korrekt in einem Programm als Datenstruktur anzuwenden, ist es erforderlich, dass Sie deren Aufbau verstehen.
Sie knnen einen binren Suchbaum als Datenstruktur anwenden.
Sie kennen Unterschiede und Gemeinsamkeiten zwischen Binrbumen und
binren Suchbumen.
Sie knnen die Operationen Suchen und Einfgen eines binren Suchbaumes auf Papier skizzieren und implementieren.
Sie knnen das Prinzip der Operation Entfernen auf Papier aufzeichnen.
35
4 Binre Suchbume
7
2
Abbildung 4.1 Knoten a besitzt Schlssel 7, Knoten b hat Schlssel 2 und Knoten c
besitzt Schlssel 9.
Daten darstellen. Die Abbildung 4.1 zeigt einen Suchbaum bei dem die Schlssel
der Knoten eingetragen sind.
Der Schlssel, der einem Knoten v zugeordnet ist, wird als key(v) bezeichnet.
In der Abbildung 4.2 gilt beispielsweise key(f) = 3.
key(v) = Schlssel vom Knoten v
Basierend auf den Schlsseln knnen die Eigenschaften definiert werden, die
einen Binrbaum zu einem binren Suchbaum machen:
Jeder Schlssel im linken Teilbaum eines Knotens ist kleiner als der Schlssel
im Knoten selbst.
Jeder Schlssel im rechten Teilbaum eines Knotens ist grsser als oder gleich
dem Schlssel im Knoten selbst.
Aus den zwei eben genannten Eigenschaften folgt, dass bei der InorderReihenfolge der Knoten (siehe Abschnitt 3.3.3) die Schlssel in aufsteigender
Reihenfolge betrachtet werden. Um dies zu verdeutlichen zeigt Abbildung 4.3 die
Ausgabe der Schlssel der Bume aus Abbildung 4.2 in der Inorder-Reihenfolge.
4
2
1
3
5
b
3
5
2
Abbildung 4.2 Zwei binre Suchbume mit den gleichen Schlsseln. Je nachdem in welcher
Reihenfolge die Knoten eingefgt wurden, sehen die Suchbume anders aus.
36
2
1
4
10
10
13
10
11
11
13
3
7
13
10
11
13
Abbildung 4.3 Die beiden binren Suchbume haben die gleichen Schlssel. Die InorderReihenfolge der Schlssel ist somit fr beide Suchbume identisch.
Aufgabe 4.1
Bestimmen Sie die Werte in Abbildung 4.2 von key(a), key(b), key(e) und key(g),
key(i).
Aufgabe 4.2
In diesem Leitprogramm werden, wie bereits erwhnt, nur ganzzahlige Schlssel verwendet. Suchen Sie nach geeigneten Schlsseln fr die folgenden Daten, welche in einem
binren Suchbaum gespeichert werden sollen: Personen, Bcher, Adressen. Begrnden
Sie Ihre Wahl.
37
4 Binre Suchbume
1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
algorithm search(v, k)
{Im Baum mit Wurzel v wird der Schlssel k gesucht}
if v 6= null then
if k < key(v) then
search(left(v), k) {Suche im linken Teilbaum left(v)}
else
if k > key(v) then
search(right(v), k) {Suche im rechten Teilbaum right(v)}
else
Beende Suche {Suche war erfolgreich}
end if
end if
else
Beende Suche {Suche war erfolglos}
end if
end algorithm
Dieser Algorithmus wird nur den ersten Knoten mit dem Schlssel k suchen und
auch finden, falls er vorhanden ist. Hat es jedoch weitere Knoten mit diesem
Schlssel, werden diese nicht gefunden.
Programmieraufgabe 4.3
Setzen Sie die Theorie in die Praxis um. Implementieren Sie den Algorithmus search(root, key).
Hierzu steht Ihnen die Klasse BinSearchTree zur Verfgung.
Aufgabe 4.4
ndern Sie den Pseudocode von search(v, k) so, dass nun alle Knoten mit dem gleichen
Schlssel ausgegeben werden.
Programmieraufgabe 4.5
Implementieren Sie den Algorithmus search(root, key) aus Aufgabe 4.4 in der Klasse
BinSearchTree.
38
insert(3)
8
insert(7)
8
8
3
Abbildung 4.4 Das Einfgen eines Knotens mit Schlssel 3 und 7 in den binren Suchbaum.
algorithm insert(v, k)
{Im Baum mit Wurzel v wird nach einem Platz gesucht, an dem der
neue Knoten mit Schlssel k gespeichert werden kann.}
if v 6= null then
if k < key(v) then
insert(left(v), k) {Knoten muss im linken Teilbaum gespeichert
werden}
else
insert(right(v), k) {Knoten muss im rechten Teilbaum gespeichert
werden}
end if
else
Fge hier den neuen Knoten mit Schlssel k ein.
end if
end algorithm
Die Reihenfolge in der Knoten mit ihren Daten und Schlsseln in einen binren
Suchbaum einfgt werden, bestimmt die Struktur des Baumes (vgl. Aufgabe 4.6).
1
Leer bedeutet, dass der Teilbaum keine Knoten hat, also null ist.
39
4 Binre Suchbume
Aufgabe 4.6
Ausgangslage ist jeweils ein leerer Baum. Fgen Sie die folgenden neun Knoten in den
drei verschiedenen vorgegebenen Reihenfolgen nacheinander in den Baum ein.
Reihenfolge a: 1, 2, 3, 4, 5, 6, 7, 8, 9
Reihenfolge b: 5, 3, 7, 4, 6, 2, 8, 1, 9
Reihenfolge c: 8, 2, 7, 3, 6, 4, 5, 9, 1
Aufgabe 4.7
In Aufgabe 4.6 haben Sie gesehen, dass die Einfgereihenfolge wichtig ist. Nun wird
der umgekehrte Weg eingeschlagen. Verwenden Sie Ihren in Aufgabe 4.6 gezeichneten
Baum (Reihenfolge b). Nennen Sie mindestens zwei weitere Reihenfolgen, welche den
gleichen binren Suchbaum erzeugen.
Programmieraufgabe 4.8
Implementieren Sie den Algorithmus insert(root, key) zum Einfgen eines neuen Schlssels in der Klasse BinSearchTree.
40
delete(3)
8
7
Fall 1
Fall 1 ist am Einfachsten: Es wird nach dem zu entfernenden Knoten gesucht
und dieser dann einfach entfernt (vgl. Abbildung 4.5).
Fall 2
Fall 2 ist auch relativ einfach: Es wird nach dem zu entfernenden Knoten gesucht.
Dieser wird gelscht und mit seinem Kind ersetzt (Abbildung 4.6).
Die nchste Aufgabe veranschaulicht diese zwei Flle. Danach wird Fall 3
erlutert.
delete(12)
12
7
2
7
9
9
Abbildung 4.6 Fall 2: Das Entfernen vom Knoten mit dem Schlssel 12.
41
4 Binre Suchbume
Aufgabe 4.9
Entfernen Sie im folgenden Baum die Knoten in der vorgegebenen Reihenfolge: 3, 27,
30, 2, 38, 5. Notieren Sie bei jedem Knoten, den Sie entfernen, ob es sich um Fall 1
oder Fall 2 handelt.
5
2
1
38
3
27
30
Fall 3
Fall 3 liegt dann vor, wenn der zu entfernende Knoten Grad 2 hat. Dieser Fall ist
etwas komplexer, da der zu entfernende Knoten nicht einfach durch eines seiner
Kinder ersetzt werden kann. Die Grnde sind in folgender Abbildung ersichtlich.
Wenn hier nun die Wurzel (Schlssel 5) entfernt wird, kann nicht einfach das
linke Kind (Wert 2) oder das rechte Kind (Wert 9) als neue Wurzel eingesetzt
werden. In beiden Fllen wren die Eigenschaften eines binren Suchbaumes
verletzt.
5
2
0
9
4
11
42
delete(2)
38
27
27
27
delete(5)
38
38
27
38
27
Abbildung 4.7 Fall 3: Der Knoten mit dem Schlssel 2 wird entfernt. Danach der Knoten
mit dem Schlssel 5.
Aufgabe 4.10
Entfernen Sie im folgenden Baum die Knoten in der Reihenfolge: 5, 7, 16, 14, 9, 10.
Notieren Sie bei jedem Knoten, den Sie entfernen, um welchen Fall es sich handelt.
9
5
3
16
7
12
10
19
14
Sie haben bereits gelesen, dass die Inorder-Reihenfolge der Knoten eines
binren Suchbaumes eine aufsteigend geordnete Schlsselreihe ergibt. Dies
kann nun genutzt werden, um den Nachfolger zu bestimmen. Der Schlssel des
Nachfolgers steht in der Inorder-Reihenfolge rechts neben dem Schlssel des zu
entfernenden Knotens (vgl. Abbildung 4.8).
43
4 Binre Suchbume
a
5
0
b
1
18 e
2
0
27 c
18
27
Abbildung 4.8 Der Nachfolger von Knoten a ist der Knoten e, da e in der InorderReihenfolge auf a folgt.
Aufgabe 4.11
Gegeben sind die beiden folgenden binren Suchbume. Geben Sie fr den linken Baum
die Inorder-Reihenfolge aus und bestimmen Sie zustzlich die Nachfolger der Knoten a,
b und c mit Hilfe der Inorder-Reihenfolge. Bestimmen Sie dann fr den rechten binren
Suchbaum die Nachfolger der Knoten d und e ohne Hilfe der Inorder-Reihenfolge.
9
5
3
10
16
7
12
8
19
19
14
15
12
e
18
17
16
Aufgabe 4.12
Schreiben Sie den Algorithmus delete(root, key) in Pseudocode. Bercksichtigen Sie
dabei alle drei Flle. Lschen Sie alle Knoten mit dem Schlssel key.
Programmieraufgabe 4.13
Implementieren Sie den Algorithmus delete(root, key) in der Klasse BinSearchTree.
44
4.4 Lernkontrolle
4.4 Lernkontrolle
Die folgenden Aufgaben dienen dem weiteren ben und der Lernkontrolle
der Inhalte dieses Kapitels. Wenn Sie alle Aufgaben lsen knnen, kann der
Kapiteltest in Angriff genommen werden. Wenn jedoch Schwierigkeiten bestehen,
sollten die entsprechenden Abschnitte des Kapitels nochmals bearbeitet werden.
Aufgabe 4.14
Notieren Sie fr jeden Knoten den Schlssel in der Schreibweise: key(x) = y.
27
1
40
33
c
57
Aufgabe 4.15
Wenden Sie die Operationen search(a, 12), search(a, 9) und search(a, 15) auf den folgenden Baum an. Notieren Sie sich dabei fr jede Operation die Knoten, die besucht
werden. Geben Sie auch an, ob ein Knoten mit dem entsprechenden Schlssel gefunden
wird.
9
5
3
0
16
7
12
19
14
45
4 Binre Suchbume
Aufgabe 4.16
Gegeben ist ein leerer binrer Suchbaum. Fgen Sie nun die folgenden Knoten in der
gegebenen Reihenfolge ein:
Reihenfolge Knoten Schlssel
1.
a
27
2.
b
7
3.
c
10
4.
d
33
5.
e
27
6.
f
31
7.
g
27
8.
h
0
Aufgabe 4.17
Gegeben ist folgender Baum:
15
10
5
58
7
27
24
21
18
48
33
23
50
49
Entfernen Sie nun die Knoten mit den folgenden Schlsseln in der gegebenen Reihenfolge:
7, 49, 10, 15, 58, 27, 33, 18. Geben Sie auch hier zuerst an, welchen Fall Sie benutzen.
Aufgabe 4.18
In diesem Kapitel wurde der Begriff Nachfolger erklrt. berlegen Sie sich, wie ein
Vorgnger definieren werden knnte ohne die Inorder-Reihenfolge zu verwenden.
Aufgabe 4.19
In Aufgabe 4.18 haben Sie den Vorgnger definiert ohne die Hilfe der Inorder-Reihenfolge.
Definieren Sie nun den Vorgnger mit Hilfe der Inorder-Reihenfolge.
46
5 Balancierte Suchbume
Solange ein Suchbaum eine ausgeglichene Struktur hat, ist das Suchen, Einfgen und Entfernen eines Knotens effizient mglich (O(log n)). Im schlechtesten
Fall kann es jedoch vorkommen, dass der Suchbaum zu einer Liste entartet.
Dann haben die erwhnten Operationen nicht mehr die gewnschte Effizienz. In
diesem Fall gilt dann O(n). Um zu verhindern, dass ein Suchbaum eine unvorteilhafte Struktur annimmt, mssen zustzliche Bedingungen an die Struktur
des Suchbaumes gestellt werden. Durch die Einhaltung dieser Bedingungen ist
dann die Effizienz der Suchbume gewhrleistet.
Es gibt eine grosse Anzahl von solchen Bedingungen an die Struktur der
Bume, bei deren Einhaltung das Suchen, Einfgen und Entfernen von Knoten
immer effizient mglich ist. Werden diese Bedingungen durch das Einfgen oder
Entfernen eines Knotens verletzt, mssen Umstrukturierungen vorgenommen
werden, um sicherzustellen, dass diese Bedingungen weiterhin gelten. Eine Art
solcher sich selbst ausbalancierenden Suchbume sind die AVL-Bume, die in
diesem Kapitel vorgestellt werden.
5.1 Lernziele
Fr die effiziente Anwendung von binren Suchbumen als Datenstruktur ist es
notwendig, dass die Suchbume ausgeglichen sind. Somit ist die leistungsfhige
Struktur der binren Suchbume ber die gesamte genutzte Zeit gewhrleistet.
Sie kennen Grnde fr eine Balancierung eines binren Suchbaumes.
Sie kennen die Definition der AVL-Bume und knnen diese von unausgeglichen Bumen unterscheiden.
Sie knnen fr die Knoten von Binrbumen die Balancefaktoren bestimmen.
Sie sind in der Lage, sich selbstndig in weiterfhrender Literatur ber
weitere Bedingungen zur Balancierung von Suchbumen zu informieren.
47
5 Balancierte Suchbume
3
2
2
3
4
5
4
5
Abbildung 5.1 Der linke stark entartete Suchbaum ist durch das Einfgen der Knoten
in aufsteigender Reihenfolge ihrer Schlssel entstanden. Der rechte Suchbaum mit den
gleichen Schlsseln hat hingegen eine ausbalancierte Struktur.
48
5.3 AVL-Bume
5.3 AVL-Bume
AVL-Bume sind binre Suchbume, welche durch Balancierungen eine ausgeglichene Struktur garantieren. Diese Bume werden nach ihren Erfindern
Adelson-Velsk und Landis benannt. Die AVL-Bume sind hhenbalancierte
(height-balanced) binre Suchbume, das heisst die Balancierung wird erreicht,
indem eine Bedingung an die Hhen von Teilbumen gestellt wird.
Ein binrer Suchbaum ist ein AVL-Baum oder AVL-ausgeglichen, wenn AVL-Baum Ein binrer
fr alle Knoten v des Baumes gilt, dass sich die Hhe des linken Teilbaumes Suchbaum, bei dem sich
von v hchstens um 1 von der Hhe des rechten Teilbaumes unterscheidet (siehe die Hhen der Teilbume
Abbildung 5.2).
eines Knotens um
Aus der Definition des AVL-Baumes folgt direkt, dass jeder Teilbaum eines hchstens 1
AVL-Baumes ebenfalls ein AVL-Baum ist. Die Hhenbalancierung erwirkt, dass unterscheiden.
der Baum in jedem Fall eine mglichst kleine Hhe hat, womit eine effiziente
Laufzeit der Suchbaum-Operationen gewhrleistet ist.
Da sich ein AVL-Baum durch das Einfgen und Entfernen von Knoten
verndert, mssten nach jeder Ver alle Knoten die Hhen der beiden Teilbume
neu bestimmt werden. Dies wre jedoch sehr aufwndig. Durch die Verwendung
von Balancefaktoren bal(v) an jedem Knoten v, kann effizienter bestimmt Balancefaktor Die
werden, ob ein AVL-Baum nach einer Vernderung noch ein AVL-Baum ist..
Differenz zwischen der
Hhe des rechten und
des linken Teilbaumes
bal(v) = Hhe des rechten Teilbaumes von v
eines Knotens.
Hhe des linken Teilbaumes von v.
Fehlende Teilbume mssen dabei mit einer Hhe von 0 bercksichtigt werden
(vgl. Abbildung 5.3).
Abbildung 5.2 Der linke Binrbaum ist AVL-ausgeglichen und somit ein AVL-Baum. Der
rechte Binrbaum ist hingegen kein AVL-Baum.
49
5 Balancierte Suchbume
+1
+2
1
0
+1
0
+2
1
0
0
Abbildung 5.3 Zwei Binrbume mit eingetragenen Balancefaktoren. Der linke Baum ist
ein AVL-Baum, da alle Knoten ausgeglichen sind. Der Rechte ist hingegen kein AVL-Baum,
da zwei Knoten unausgeglichen sind.
Ausgeglichen Ein
Knoten ist ausgeglichen,
wenn sein Balancefaktor
1, 0 oder +1 ist.
50
+1
9
insert(7)
9
7
+2
1
Abbildung 5.4 Der linke AVL-Baum wird durch das Einfgen des Knotens mit Schlssel 7 zum unausgeglichenen rechten Suchbaum. Der rechte Suchbaum ist nicht mehr
hhenbalanciert, da der Balancefaktor des Knotens mit Schlssel 5 nun +2 ist.
51
5 Balancierte Suchbume
Aufgabe 5.2
Entfernen Sie den Knoten mit Schlssel 2 aus dem folgenden AVL-Baum und berechnen
Sie die Balancefaktoren des neuen Baumes. Ist der resultierende Baum noch AVLausgeglichen?
5
2
9
3
11
8
Aufgabe 5.3
Fgen Sie im folgenden AVL-Baum zuerst einen Knoten mit Schlssel 4 ein. Entfernen
Sie danach den Knoten mit Schlssel 9. Bestimmen Sie nach den einzelnen Operationen
jeweils die Balancefaktoren des neu enstehenden Baumes. Sind Umstrukturierungen
notwendig?
5
7
3
2
9
8
?
Rebalancierung Eine
Umstrukturierung, bei
der ein unausgeglichener
Baum wieder balanciert
wird.
Baumrotation Eine
Methode zur
Rebalancierung eines
Suchbaumes, bei der die
Eigenschaften des
Suchbaumes erhalten
bleiben.
10
52
?
Situation 1
p
v
Situation 2
p
2
v
Situation 3
p
2
v
h
h+1
2
+1
h
h+1
h+1
h
h
h+1
Bei den folgenden Situationen sei p der unausgeglichene Knoten. Einer der
beiden Teilbume von p hat eine grssere Hhe als der andere. Die Wurzel
dieses hheren Teilbaumes sei der Knoten v.
Situation 1 Die Balancefaktoren bal(p) und bal(v) haben das gleiche Vorzeichen. In Abbildung 5.5 sind beide Vorzeichen negativ. Bei der spiegelbildlichen Varianten sind beide Vorzeichen positiv.
Situation 2 Der Balancefaktor bal(v) ist 0. In Abbildung 5.5 gilt bal(p) = 2,
bei der spiegelbildlichen Variante ist bal(p) = +2.
Situation 3 Die Balancefaktoren bal(p) und bal(v) haben ein unterschiedliches
Vorzeichen. In Abbildung 5.5 gilt bal(p) = 2, bei der spiegelbildlichen
Variante ist bal(p) = +2.
Durch eine Baumrotation wird das Niveau von einigen Knoten verkleinert und
von anderen vergrssert. Somit wandern erstere im Baum nach oben und letztere
nach unten, um die Balance des Baumes wieder herzustellen.
Nach dem Einfgen eines Knotens kann die Balance immer mit genau einer
Baumrotation wiederhergestellt werden. Beim Lschen knnen jedoch mehrere
Baumrotationen notwendig sein, vom jeweiligen Knoten aus bis hinauf zur
Wurzel.
53
5 Balancierte Suchbume
y
x
h+1
h+1
Abbildung 5.6 Eine einfache Rotation nach rechts um den unausgeglichenen Knoten mit
Schlssel y wieder in die Balance zu bringen (Situation 1). Neben den Balancefaktoren sind
auch die Hhen der Teilbume eingetragen.
Einfache Rotation
Entsteht nach dem Einfgen oder Entfernen eines Knotens ein unausgeglichener
Knoten der Situation 1 oder 2, kann dieser Knoten durch eine einfache Rotation
wieder ausgeglichen werden.
Einfache Rotation Die
Die einfache Rotation nach rechts wird angewendet, wenn der linke Teileinfache Rotation bringt baum eines Knotens im Vergleich zum rechten Teilbaum zu hoch ist. Durch
einen unausgeglichenen eine Baumrotation nach rechts wird dieser Teilbaum angehoben und der rechte
Knoten in Situation 1 weniger hohe Teilbaum abgesenkt, um den unausgeglichenen Knoten wieder
oder 2 wieder in die auszugleichen.
Balance.
Abbildung 5.6 zeigt den Vorgang der einfachen Rotation nach rechts an einem
unausgeglichenen Knoten mit Schlssel y. Der hohe Teilbaum A und der Knoten
mit Schlssel x werden durch die Rechtsrotation um ein Niveau angehoben,
whrend der Teilbaum C und der Knoten mit Schlssel y abgesenkt werden.
Im resultierenden Baum ist die Balance wieder hergestellt.
Bei der einfachen Rotation nach links findet die Baumrotation in der entgegengesetzten Richtung statt. Dabei wird der rechte Teilbaum angehoben und
der linke Teilbaum abgesenkt.
Aufgabe 5.4
Zeichnen Sie eine Grafik analog zur Abbildung 5.6 die eine einfache Rotation nach links
illustriert.
54
?
?
Aufgabe 5.5
Der folgende unausgeglichene Suchbaum ist durch Entfernen des Knotens mit Schlssel
2 entstanden. Zeichnen Sie die Balancefaktoren ein und Fhren Sie auf dem Suchbaum
die notwendige einfache Rotation aus, um ihn wieder auszugleichen.
5
7
3
2
9
8
10
Aufgabe 5.6
Bei folgendem Baum liegt die Situation 3 vor. Die Balancefaktoren der Knoten mit
den Schlsseln x und y haben also unterschiedliche Vorzeichen. In diesem Fall reicht
eine einfache Baumrotation nicht aus, um den Baum wieder auszugleichen. Zeigen Sie
dies, indem Sie eine einfache Rotation nach rechts ausfhren und danach prfen ob der
resultierende Suchbaum ausgeglichen ist.
y
x
+1
C
h+1
55
5 Balancierte Suchbume
Doppelrotation
Tritt die Situation 3 auf, reicht eine einfache Rotation nicht aus, um den
unausgeglichenen Knoten zu balancieren (vgl. Aufgabe 5.6). Denn eine einfache
Rotation wrde das Ungleichgewicht nur auf die andere Seite verlagern. Es ist
deshalb eine Doppelrotation ntig.
Doppelrotation Die
Durch eine Doppelrotation links-rechts wird der Baum in Abbildung 5.7,
Doppelrotation bringt der sich in Situation 3 befindet, ausgeglichen. Der mittlere Teilbaum mit Wurzel
einen unausgeglichenen y (grau) ist im Vergleich zum Teilbaum D des Knotens z zu hoch. Die DopKnoten in Situation 3 pelrotation hebt den Knoten y um zwei Niveaus nach oben und er wird somit
wieder in die Balance. Vaterknoten von x und z. Der Teilbaum D wird dabei abgesenkt. Die beiden
Teilbume B und C werden zu rechten bzw. linken Teilbumen der Knoten x
und z. Im resultierenden Baum ist die Balance wieder hergestellt.
Die Doppelrotation rechts-links ist die spiegelbildliche Variante bei der die
mittleren Teilbume ebenfalls angehoben werden, dafr aber der linke Teilbaum
absenkt wird.
Aufgabe 5.7
Zeichnen Sie eine Grafik analog zur Abbildung 5.7, die eine Doppelrotation rechts-links
illustriert.
Aufgabe 5.8
Der folgende unausgeglichene Suchbaum ist durch das Einfgen des Knotens mit
Schlssel 6 entstanden. Fhren Sie auf dem Suchbaum die notwendige Doppelrotation
z
x
+1
y
h
B
A
h
A
h
D
h
h+1
56
4
8
6
9:
57
5 Balancierte Suchbume
Die beiden mit {} markierten Zeilen berechnen die neuen Balancefaktoren
der Knoten nur anhand der vorherigen Balancefaktoren. Bei der Funktion
leftrotation(p) lauten die beiden Zeilen daher anders:
algorithm leftrotation(p)
v right(p)
3:
Vertausche die Inhalte und Schlssel von p mit v
1:
2:
4:
bv 1 max(bal(v), 0) + bal(p)
bp 1 + bal(v) max(0, bv)
7:
bal(p) bp
8:
bal(v) bv
9: end algorithm
5:
6:
Das Einfgen und Entfernen von Knoten erfolgt wie im Abschnitt 5.4.1 erlutert.
Es wird bewusst kein Pseudocode vorgegeben.
Programmieraufgabe 5.9
Vervollstndigen Sie die beiden Methoden rightrotation(), leftrotation() in der
gegebenen Klasse AVLNode. Diese beiden Methoden sollen die einfachen Baumrotationen
gemss dem Pseudocode durchfhren.
Programmieraufgabe 5.10
Erweitern Sie die Klasse AVLNode so, dass nach dem Einfgen oder Entfernen eines
Knotens, die unausgeglichenen Knoten mit Hilfe von Baumrotationen ausbalanciert
werden. Nutzen Sie dabei die Erluterungen im Abschnitt 5.4.1 auf Seite 51.
58
5.6 Lernkontrolle
5.6 Lernkontrolle
Die folgenden Aufgaben dienen dem weiteren ben und der Lernkontrolle der
Inhalte dieses Kapitels. Wenn Sie alle Aufgaben lsen knnen, kann der letzte
Kapiteltest gemacht werden. Wenn jedoch Schwierigkeiten bestehen, sollten die
entsprechenden Abschnitte des Kapitels nochmals bearbeitet werden.
Aufgabe 5.11
Der folgende binre Suchbaum ist zu einer verketten Liste entartet.
6
9
11
16
23
34
38
42
49
a) Wie viele Schritte werden im schlechtesten Fall fr die Suche eines Knotens bentigt?
b) Zeichnen Sie einen binren Suchbaum mit den gleichen Schlsseln der mglichst
ausgeglichen ist. Wie viele Schritte werden nun im schlechtesten Fall fr die Suche
bentigt?
59
5 Balancierte Suchbume
Aufgabe 5.12
Zeichnen Sie bei den folgenden Binrbumen die Balancefaktoren aller Knoten ein und
bestimmen Sie, ob diese ausgeglichen sind.
Aufgabe 5.13
Bestimmen Sie die Balancefaktoren aller Knoten des folgenden binren Suchbaumes.
Handelt es sich um einen AVL-Baum?
44
17
78
32
50
48
88
62
Aufgabe 5.14
Schreiben Sie eine Funktion balanced(v) in Pseudocode, die true zurck gibt, falls
der Binrbaum mit Wurzel v hhenbalanciert ist. Die Funktion height() darf dabei
verwendet werden.
60
5.6 Lernkontrolle
Aufgabe 5.15
Entfernen Sie den Knoten mit Schlssel 78 aus dem folgenden Suchbaum und fhren
Sie danach die notwendigen Rebalancierungen durch, um wieder einen AVL-Baum zu
erhalten.
44
17
78
32
50
48
88
62
Aufgabe 5.16
Zeichnen Sie den AVL-Baum, der durch Einfgen der Schlssel
9, 14, 12, 4, 8, 6, 3, 1, 13
der Reihe nach in den anfangs leeren Baum entsteht. Fhren Sie dabei die bentigten
Rebalancierungen durch.
61
6 Zusammenfassung
In diesem Leitprogramm wurden die wichtigsten Elemente von Bumen, wie
sie in der Informatik verwendet werden, aufgezeigt. Sie haben somit alle in der
Einleitung aufgelisteten Lernziele erreicht.
Bume sind ein mchtiges Konzept in der Informatik und werden in vielen
Gebieten eingesetzt. Fr besondere Zwecke wurden unter anderem spezialisierte
Bume entwickelt. Darunter gehren zum Beispiel die abstrakten Syntaxbume,
die in Aufgabe 3.9 vorgestellt wurden. In der Algorithmischen Geometrie oder
Computergrafik sind die Quad- und Oct-trees verbreitet. Diese sind, wie der Name vermuten lsst, Bume der Ordnung 4 bzw. 8. Eine weitere verbreitete Form
von Bumen sind die B-Bume, die bei der Implementierung von Datenbanken
eingesetzt werden.
63
Literaturverzeichnis
Class, Christina (2006). Modul Programmierung II.
SW3 DAT, HTA Luzern.
Goodrich, Michael T. und Roberto Tamassia (2004).
Data Structures and Algorithms in JAVA. 3. Auflage.
Hoboken: John Wiley & Sons, Inc.
Ottmann, Thomas und Peter Widmayer (2002).
Algorithmen und Datenstrukturen. 4. Auflage.
Heidelberg, Berlin: Spektrum, Akadademischer Verlag.
Sedgewick, Robert und Michael Schidlowsky (2003a). Algorithms in C++,
Parts 14: Fundamentals, Data Structures, Sorting, Searching.
Addison Wesley Professional.
Sedgewick, Robert und Michael Schidlowsky (2003b). Algorithms in C, Parts
14: Fundamentals, Data Structures, Sorting, Searching.
Addison Wesley Professional.
Sedgewick, Robert und Michael Schidlowsky (2003c). Algorithms in Java,
Parts 14: Fundamentals, Data Structures, Sorting, Searching.
Addison Wesley Professional.
Wikipedia (2006). Binary search tree Wikipedia, The Free Encyclopedia.
URL: http://en.wikipedia.org/w/index.php?title=Binary_search_
tree&oldid=74720615 (besucht am 19. 09. 2006).
65
Index
A
Einfgen, 39
Elternknoten, 18
Entfernen, 40
Fall 1, 40, 41
Fall 2, 40, 41
Fall 3, 40, 42
B
bal(), 49
balanced(), 60
Balancefaktor, 49
Baum, 13
Baumrotation, 52
Doppelrotation, 56
einfache Rotation, 54
Situation 1, 53, 54
Situation 2, 53, 54
Situation 3, 53, 56
Binrbaum, 23, 24
Binrer Suchbaum, 35
Bruderknoten, 18
deg(), 16
delete(), 83
depth(), 16
Durchlaufordnung, 23, 26
Hauptreihenfolge, 26
Inorder, 26, 30
Nebenreihenfolge, 26, 28
Postorder, 26, 28, 29
Preorder, 26, 27
Symmetrische, 26, 30
key(), 36
Kind, 14
Knoten, 14
Bruder-, 18
Einfgen, 39
Eltern-, 18
Entfernen, 40
Geschwister, 18
Innerer Knoten, 15
Kind, 14
Suchen, 37
66
Geschwisterknoten, 18
Grad, 15
H
height(), 17
Hhe, 17
Hhenbalanciert, 49
I
Innerer Knoten, 15
inorderNext(), 72
insert(), 39
INDEX
Vater, 14
Wurzel, 14
W
Wurzel, 14
L
Laufzeit, 48
Leeres Blatt, 24
left(), 24
leftrotation(), 57, 58
N
Niveau, 16
O
Ordnung, 15, 23
P
postorder(), 29
preorder(), 27
R
Rebalancierung, 52
right(), 24
rightrotation(), 57
S
Schlssel, 35
search(), 37
Suchbaum, Binrer, 35
Suchen, 37
T
Tiefe, 16
Traversierung, 26
U
Umstrukturierung, 52
Unausgeglichen
Knoten, 50
V
Vater, 14
Vollstndig, 18
67
Knoten
a
b
c
d
e
f
g
h
Grad
0
2
3
1
0
0
0
0
Tiefe
1
2
3
69
Wurzel
Blatt
Innerer Knoten
a
x
x
x
x
x
Grad
4
1
3
2
0
0
0
0
2
0
1
0
1
0
0
Tiefe
1
2
70
Hhe = 5
j
71
72
5:
2i1
i=1
73
a
b
c
d
e
Lsung zur Aufgabe 3.13
Der erweiterte Binrbaum nach der alternativen Definition fr Binrbume
sieht so aus:
74
75
76
77
5
7
3
4
2
1
9
Reihenfolge b
2
3
4
5
8
2
6
9
1
3
4
5
Reihenfolge c
78
7
8
9
Reihenfolge a
Fall
1
2
1
2
1
2
79
38
3
delete(3)
27
2
1
38
3
27
30
30
delete(27)
5
2
38
delete(30)
30
38
30
delete(2)
5
1
delete(38)
38
38
delete(5)
1
80
16
7
delete(5)
12
10
19
16
7
14
12
10
19
14
delete(7)
9
delete(16)
19
12
10
3
19
16
12
14
10
19
14
delete(14)
9
10
delete(9)
19
19
12
10
12
14
delete(10)
10
12
3
19
12
81
82
entfernt werden}
else
if k > key(v) then
delete(right(v), k) {Knoten muss im rechten Teilbaum right(v) gesucht und entfernt werden}
else
{Knoten v gefunden}
Suche erfolgreich
if left(v) = null then
if right(v) = null then
{Fall 1 Der Knoten zum Entfernen ist ein Blatt}
Entferne den Knoten v
else
{Fall 2 Der zu entfernende Knoten ist ein innerer Knoten
mit einem Kind rechts}
v = right(v) {Ersetze Knoten v mit seinem Kind}
end if
else
if right(v) = null then
{Fall 2 Der zu entfernende Knoten ist ein innerer Knoten
mit einem Kind links}
v = left(v) {Ersetze Knoten v mit seinem Kind}
else
{Fall 3 Der zu entfernende Knoten ist ein innerer Knoten
mit zwei Kindern}
Suche Nachfolger
Lsche Nachfolger von seiner alten Position
Ersetze den zu entfernenden Knoten mit seinem Nachfolger
end if
end if
delete(v,k) {Suche im verbleibenden Baum weitere Vorkommen zum
Lschen}
end if
end if
end if
end algorithm
83
Besuchte Knoten
a, c, f
a
a, c, f, i
Erfolgreich?
Ja
Ja
Nein
84
insert(10)
27 a
27 a
7
27 a
7
b
10
insert(33)
insert(27)
27 a
7
27 a
33 d
10 c
27 e
33 d
c 10 c
insert(31)
insert(27)
27 a
7
27 a
33 d
10 c
27 e
33 d
10 c
27 e
31 f
31 f
insert(0)
27 g
27 a
7
0
33 d
10 c
27 e
31 f
27 g
85
86
Fall
1
1
2
3
2
3
3
3
58
7
24
18
10
5
27
21
15
delete(7)
58
7
48
33
23
27
24
50
21
49
18
48
33
23
50
49
delete(49)
15
5
58
10
24
18
58
27
21
15
delete(10)
27
48
33
24
50
23
21
18
48
33
23
50
49
delete(15)
18
18
delete(58)
58
27
27
24
21
18
48
33
23
24
21
50
48
33
23
delete(27)
87
50
18
18
delete(33)
48
24
33
50
21
24
50
23
21
48
33
23
delete(18)
21
5
48
24
50
23
23
Lsung zur Aufgabe 4.18
Ein Vorgnger ist vom Prinzip her das gleiche wie der Nachfolger - nur spiegelverkehrt:
Nachfolger : Knoten, das am weitesten links steht im rechten Teilbaum des zu
lschenden Knotens
Vorgnger : Knoten, das am weitesten rechts steht im linken Teilbaum des zu
lschenden Knotens
Lsung zur Aufgabe 4.19
Anstatt den rechten Nachbarn in der Inorder-Reihenfolge zu whlen, nimmt
man den linken Nachbarn.
88
50
1
+1
0
0
+1
0
0
Lsung zur Aufgabe 5.2
Der resultierende Baum ist nicht mehr AVL-ausgeglichen, da der Knoten mit
Schlssel 5 mit einem Balancefaktor von +2 unausgeglichen ist.
5
3
+2
9
3
+1
8
11 0
0
89
+1
+1
9
8
10 0
5
3
2
+1
7
4
+1
9
8
0
10 0
5
3
2
+1
7
4
+1
10 1
0
8
10 0
90
+2
y
+1
h+1
h+1
5
3
+2
+1
9
8
10 0
7
5
3
9
6
0
10 0
91
+2
y
+1
h+1
h+1
+2
z
A
h
B
h+1
Lsung zur Aufgabe 5.8
Der erste unausgeglichene Knoten auf dem Pfad vom eingefgten Knoten bis
zur Wurzel ist der Knoten mit Schlssel 4. Es liegt die Situation 3 vor um
den Knoten mit Schlssel 4 zu wieder auszugleichen. Es wird deshalb eine
Doppelrotation rechts-links durchgefhrt.
92
D
h
3
1
+2
3
+2
8
+1
0
8
Nach dem Ausgleich des Knotens mit Schlssel 4 wird dem Pfad weiter zur
Wurzel gefolgt. Nun ist aber kein Knoten mehr unausgeglichen und somit ist
die Rebalancierung beendet.
Lsung zur Aufgabe 5.11
a) Im schlechtesten Fall werden neun Schritte bentigt.
b) Ein ausgeglichener binrer Suchbaum mit den gleichen Schlsseln knnte
folgendermassen aussehen. Es werden maximal vier Schritte zum Suchen
bentigt.
23
11
9
38
16
34
42
49
2
2
+1
2
+1
0
0
93
17 +1
32 0
50 0
48 0
88 0
62 0
44
17
50
32
48
88
62
94
8
4
3
1
12
6
14
13
95