Übung 12

Aufgabe 1: Suchbäume

a)

  • Die Logarithmische Tiefe wird sicher gestellt, indem alle Blätter auf der gleichen Höhe gespeichert werden.
    Hierbei gibt es die Beschränkeung, dass (fast) alle inneren Knoten zwischen und Kinder haben (Menge).
    Dadurch stellen wir sicher, dass Operationen effizient laufen und es generell "nur" eine geringe Tiefe gibt.
    • Sicherstellen der Invariante beim
      • Einfügen durch Spalt-Operationen
      • Löschen durch Balancieren oder Verschmelzen

d) Beweis:

  • Induktionsannahme: Suchbaum besteht nur aus Wurzel
    • Wurzel ist ein Blatt
    • Baum hat innere Knoten
  • Induktionsvorraussetzung: Sei gekte, dass ein binärer Suchbaum mit Blättern genau innere Knoten hat.
  • Induktionsschritt: . Sei binärer Suchbaum mit Blättern , d.h. Wurzel ist innerer Knoten und hat genau 2 Kinder, die Wurzeln von Teilbäumen sind. Wir können als binäre Suchbäume mit Blättern auffassen
  • hat innere Knoten
  • hat
  • innere Knoten von
    • Wurzel