faecher:informatik:oberstufe:adt:baeume:breitensuche:start

Levelorder Traversierung, Iterative Tiefensuche

Bei den drei rekursiv implementierbaren Traversierungen wird der Baum zuerst in die Tiefe durchwandert bis hin zu seinen Blättern ("Tiefensuche"). Manchmal möchte man aber einen Baum auf jedem Level von links nach rechts (oder andersherum) durchlaufen, also Level für Level. Das nennt man "Level-Order-Traversierung":

Bei der Levelorder Traversierung werden auf jedem Niveau des Baums erst alle Knoten besucht, bevor auf das nächste Niveau gewechselt wird, in unserem Beispielbaum ergibt sich damit die Traversierungsreihenfolge: A→B→F→C→D→G→E. Der Algorithmus zur Levelorder Traversierung ist nicht rekursiv.

In diesem Wiki-Abschnitt wollen wird zunächst die Rekursiven Traversierungen iterativ umschreiben, um uns anschließend zu überlegen, wie man die Level-Order-Traversierung (oder Breitensuche) implementiert.

Die rekursiven Implementationen der Traversierungen versagen ihren Dienst, wenn die Bäume zu tief werden, da der Call-Stack für die Rekursion nicht beliebig wachsen kann. Bei Java ist seine Größe auf ca. 256kB beschränkt, wenn diese Größe überschritten wird, erhältst du einen Stack Overflow Error:

Die einfachste Lösung für dieses Problem ist es, den Stack, in dem man darüber Buch führt, welche Knoten des Baums als nächstes zu bearbeiten sind, selbst zu verwalten:

Die folgende Tabelle stellt den rekursiven Pseudocode zur Ermittlung der Knotenzahl einer iterativen Variante gegenüber.

Rekursiv Iterativ
anzahl(b: Binaerbaum): 
  falls b == null: 
    return 0 
  sonst: 
    t1 = anzahl(b.links) 
    t2 = anzahl(b.rechts)
    return 1 + t1 + t2
anzahl(b: Binaerbaum):
  todo = new Stack
  todo.push(b)
  zaehler = 0
  solange todo nicht leer:
    tmp = todo.pop()
    zaehler++ 
    falls tmp.rechts != null:
      todo.push(tmp.rechts)
    falls tmp.links != null:
      todo.push(tmp.links)
  return zaehler

Während die rekursive Variante die Verwaltung der noch zu bearbeitenden Knoten dem Aufrufstack der Rekursion überlässt, implementiert die iterative Variante einen eigenen "todo"-Stack mit, dem die den in den nächsten Schritten zu verarbeitenden Knoten verwaltet werden.

(A1) Tiefensuche

Arbeite mit der folgenden Bluej-Vorlage: https://codeberg.org/qg-info-unterricht/binaerbaum-iterativ

Du kannst in der Klasse "Testbaeume" anpassen, welche Baumdefinitionen geladen werden sollen: Entweder 100 "große" Bäume oder 5 "kleine" Bäume.

  • Implementiere zunächst den Stack, so dass du anschließend die Knoten des Baums verwalten kannst. Schlage, wenn nötig, auf den entsprechenden Wiki-Seiten nach.
  • Implementiere dann eine iterative Traversierung des Baums. Gelingt es dir, Pre-, In- und Postorder Traversierung zu implementieren? Mit den "kleinen" Bäumen kannst du die Traversierungen gut nachvollziehen.
  • Erweitere deine Traversierung zu einer Tiefensuche, die
    • einen Knoten eines bestimmten Wertes findet
    • den ersten Knoten findet, dessen Wert zwischen den an die Suchmethode zu übergebenden Parametern low und high liegt.

(A2) Breitensuche

  • Implementiere zunächst die nötige Queue, so dass du anschließend die Knoten des Baums verwalten kannst. Schlage, wenn nötig, auf den entsprechenden Wiki-Seiten nach. Du kannst auch den vorhandenen Code für den Stack nutzen.
  • Implementiere dann die Level-Order-Traversierung des Baums. Gelingt es dir, die Traversierung von links nach rechts und andersherum zu implementieren? Mit den "kleinen" Bäumen kannst du die Traversierungen gut nachvollziehen.
  • Erweitere deine Traversierung zu einer Breitensuche, die
    • einen Knoten eines bestimmten Wertes findet
    • den ersten Knoten findet, dessen Wert zwischen den an die Suchmethode zu übergebenden Parametern low und high liegt.
FilenameFilesizeLast modified
baeume_traversierung_iterativ.odp106.8 KiB14.02.2022 14:21
baeume_traversierung_iterativ.pdf170.4 KiB14.02.2022 14:21
levelorder.gif44.1 KiB14.02.2022 19:37
stackoverflow.png13.9 KiB14.02.2022 14:24
  • faecher/informatik/oberstufe/adt/baeume/breitensuche/start.txt
  • Zuletzt geändert: 18.01.2024 07:31
  • von Marco Kuemmel