Präsentationsfolien (PDF)
Präsentationsfolien (PDF)
Präsentationsfolien (PDF)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
8.2 Türme von Hanoi<br />
• Korrektheit:<br />
Beweis per Induktion<br />
(kann direkt aus Rekursion abgelesen werden.)<br />
• Terminierung:<br />
Terminierungsfunktion T(x) = x<br />
(Anzahl zu versetzender Scheiben)<br />
□ Streng monoton fallend (per Induktionsbeweis)<br />
□ Nach unten durch 0 beschränkt<br />
Algorithmen und Datenstrukturen Philippsen/Stamminger/Pflaum/Riehle WS 2010/2011 Folie 08-23