10. ¨Ubung Informatik B WS 2010

Werbung
10. Übung
Klaus Kriegel
Aufgabe 1:
Informatik B
WS 2010
Abgabe: 30.06.2010, 10:00 Uhr
Ternäre Bäume
(3 + 3 Punkte)
Ein ternärer Baum T ist in allgemeiner Form ein Baum mit Wurzel, in dem jeder
innere Knoten höchstens drei Kinder hat. Er wird echt genannt, wenn jeder innere
Knoten genau drei Kinder hat. Wir bezeichnen wieder mit i(T ) und b(T ) die
Anzahlen der inneren Knoten und der Blätter von T.
a) Stellen Sie fest, welcher Zusammenhang zwischen i(T ) und b(T ) in echten
ternären Bäumen besteht und beweisen Sie diesen mit vollständiger Induktion.
b) Beschreiben Sie den Zusammenhang zwischen i(T ) und b(T ) in allgemeinen
ternären Bäumen durch Ungleichungen der Form f (i(T )) ≤ b(T ) ≤ g(i(T )), wobei
f bzw. g Funktionen sind wie z.B. f (n) = n + 3 oder g(n) = 5n2 − 2. Beweisen
Sie, dass diese Ungleichungen für alle allgemeinen ternären Bäume gültig sind und
finden Sie für jede der beiden Ungleichungen und jeden Wert i(T ) ein Extremalbeispiel, dass diese schwache Ungleichung zur Gleichung macht.
Aufgabe 2:
Größe von Binärbäumen
(5 Punkte)
Sei h ≥ 2 eine gerade Zahl. Bestimmen Sie die minimale Anzahl von Blättern, die
ein (echter!) Binärbaum T der Tiefe h haben muss, wenn jeder Knoten der Tiefe
d ≤ h/2 die Höhe h − d hat. Beweisen Sie Ihre Behauptung und zeigen Sie wieder
mit einem Extremalbeispiel, dass Ihre Schranke scharf ist.
Aufgabe 3:
Entscheidungsbäume
(3 + 2 + 3 Punkte)
a) Konstruieren Sie einen Entscheidungsbaum, mit dem die kleinste von vier
Zahlen a, b, c, d durch Vergleichsoperationen bestimmt wird. Für die volle Punktzahl sollte der Baum nicht mehr als 7 innere Knoten haben.
b) Zeigen Sie, dass jeder Entscheidungsbaum für a) mindestens 7 innere Knoten
haben muss.
Hinweis: Begründen Sie, dass jedes Blatt mindestens die Tiefe 3 haben muss.
c) Konstruieren Sie einen Entscheidungsbaum, mit dem die zweit-kleinste von vier
Zahlen a, b, c, d durch Vergleichsoperationen bestimmt wird. Gemeint ist hier die
zweite Zahl aus der sortierten Folge (z.B. wird für die Eingabefolge 4, 3, 5, 3 die
Antwort 3 erwartet und nicht die 4).
Herunterladen