Professional Documents
Culture Documents
SE3
Rekursive Berechnungen
Gesamtpunktzahl: 30
Hinweis: Bitte beachten Sie bei der Bearbeitung der Aufgaben, dass Sie
Pr
adikatsdefinitionen immer u
uhrlich kombersichtlich strukturieren und ausf
mentieren,
in jedem Fall ein Pr
adikatsschema mit Zusicherungen f
ur die zulassigen Datentypen und den m
oglichen Instanziierungsvarianten f
ur die einzelnen Argumentpositionen angeben und
die von Ihnen durchgef
uhrten Tests mit ihren jeweiligen Resultaten dokumentieren und ggf. diskutieren.
Aufgabe 1: Numerische Rekursion (2)
8 Punkte
maximale Bearbeitungszeit: 40 Minuten
a
a+b
=
.
b
a
Eine geometrische Aufteilung in diesem Verhaltnis wird von vielen Menschen als
besonders harmonisch empfunden und spielt insbesondere in der klassischen Architektur und Malerei ein wichtige Rolle.
Der goldene Schnitt kann durch folgende rekursive Berechnungsvorschrift approximiert werden:
n+1 =
1
+1
n
2. Vergleichen Sie Ihre Definitionen im Hinblick auf die Verstandlichkeit und das
Berechnungsverhalten.
7 Punkte
maximale Bearbeitungszeit: 40 Minuten
15 Punkte
maximale Bearbeitungszeit: 70 Minuten
dieser Klausel die lokalen Tiefenangaben aus dem linken und rechten Zweig
des Baumes.
Uberlegen
Sie sich, welche der beiden Definitionsvarianten (endrekursiv bzw.
nicht-endrekursiv) auf eine einfachere Losung f
uhrt?
5. Definieren Sie ein rekursives Testpradikat, das u
uft, ob ein Binarbaum
berpr
balanciert ist, d.h. die lokalen Einbettungstiefen d
urfen sich maximal um den
Wert eins unterscheiden.
Hinweis: Erweitern Sie die Losung zu Aufgabenteil 4 so, dass das Pradikat
zus
atzlich auch die minimale Einbettungstiefe f
ur einen (Teil-)Baum ermittelt
und stellen Sie sicher, dass der Unterschied zwischen Minimum und Maximum
unterhalb der geforderten Schwelle bleibt.