Präsentationsfolien (PDF)
Präsentationsfolien (PDF) Präsentationsfolien (PDF)
8.1 Einführung der Rekursion Skizze für Terminierungsbeweise • e 0 , e 1 , e 2 , ... sei Argumentfolge der Rekursionsschritte bei Auswertung von f. • Finde (ganzzahlige) Terminierungsfunktion t(e i ) und beweise (per Induktion?): □ t fällt bei jedem Rekursionsschritt streng monoton □ t ist nach unten beschränkt (z.B. wird nie kleiner als 0). Algorithmen und Datenstrukturen Philippsen/Stamminger/Pflaum/Riehle WS 2010/2011 Folie 08-14
8.1 Einführung der Rekursion Terminierungsbeweis für fakultaet long fakultaet(int n) { if (n == 1) { return 1; } else { return n * fakultaet(n - 1); } } • Argumentfolge betrachten: x, x-1, x-2, ... Terminierungsfunktion finden: t(x) = x • Nachweis (für ganzzahlige x>0): □ t(x) ist auf der Folge der Argumente streng monoton fallend bei jedem Rekursionsschritt (Induktionsbeweis). □ Bei der impliziten Annahme x ganzzahlig und x>0 ist t(x) nach unten durch 1 beschränkt. Algorithmen und Datenstrukturen Philippsen/Stamminger/Pflaum/Riehle WS 2010/2011 Folie 08-15
- Seite 1 und 2: Algorithmen und Datenstrukturen 8.
- Seite 3 und 4: 8. Rekursion 8.1 Einführung der Re
- Seite 5 und 6: 8.1 Einführung der Rekursion Eine
- Seite 7 und 8: 8.1 Einführung der Rekursion Zentr
- Seite 9 und 10: 8.1 Einführung der Rekursion Java-
- Seite 11 und 12: 8.1 Einführung der Rekursion Rekur
- Seite 13: 8.1 Einführung der Rekursion Termi
- Seite 17 und 18: 8.2 Türme von Hanoi Problemspezifi
- Seite 19 und 20: 8.2 Türme von Hanoi Lösungsansatz
- Seite 21 und 22: 8.2 Türme von Hanoi Java-Code void
- Seite 23 und 24: 8.2 Türme von Hanoi • Korrekthei
- Seite 25 und 26: 8.3 Fibonacci-Zahlen • Ergebnis:
- Seite 27 und 28: 8.3 Fibonacci-Zahlen • Fibonacci-
- Seite 29 und 30: 8.3 Fibonacci-Zahlen Durchreichen v
- Seite 31 und 32: 8.3 Fibonacci-Zahlen Analyse der Re
- Seite 33 und 34: 8.4 Skyline-Problem Teile-und-Herr
- Seite 35 und 36: 8.4 Skyline-Problem Teile-und-Herr
- Seite 37 und 38: 8.4 Skyline-Problem Teile-und-Herr
- Seite 39 und 40: 8.4 Skyline-Problem Teile-und-Herr
- Seite 41 und 42: 8.5 Hinführung: Blasensortierung (
- Seite 43 und 44: 8.5 Sortieren durch Mischen („mer
- Seite 45 und 46: 8.5 Sortieren durch Mischen („mer
- Seite 47 und 48: 8.6 Rekursionsformen • Verschacht
- Seite 49 und 50: 8.6 Rekursionsformen • Verschrän
- Seite 51 und 52: 8.6 Rekursionsformen • Fakultäts
8.1 Einführung der Rekursion<br />
Terminierungsbeweis für fakultaet<br />
long fakultaet(int n) {<br />
if (n == 1) {<br />
return 1;<br />
} else {<br />
return n * fakultaet(n - 1);<br />
}<br />
}<br />
• Argumentfolge betrachten: x, x-1, x-2, ...<br />
Terminierungsfunktion finden: t(x) = x<br />
• Nachweis (für ganzzahlige x>0):<br />
□ t(x) ist auf der Folge der Argumente streng monoton fallend bei jedem<br />
Rekursionsschritt (Induktionsbeweis).<br />
□ Bei der impliziten Annahme x ganzzahlig und x>0<br />
ist t(x) nach unten durch 1 beschränkt.<br />
Algorithmen und Datenstrukturen Philippsen/Stamminger/Pflaum/Riehle WS 2010/2011 Folie 08-15