Fibonacci-Folge

Wir können ja mal in etwas höhere Informatik vorstossen:
Damit der Loop Fortschritte macht, muss sich der Programmstatus in jeder Iteration ändern. Denn da das Programm ja deterministisch ist, würde bei derselben Eingabe auch dieselbe Ausgabe auftreten. Sobald eine Iteration keine Veränderung mehr vornimmt, bliebe das Programm stecken.

Ok, nun kennt man "Variante" und "Invariante". Die Invariante gibt Regeln an, die am Anfang und Ende jeder Iteration gelten müssen. Meistens ist die Invariante wichtiger als die Variante, da sie für die Korrektheit eines Programmes verwendet wird. Z.B. wäre hier die Invariante, dass zahl1 und zahl2 immer positiv sein müssen (negative Fibonaccizahlen machen ja nicht wirklich Sinn).

Für deine Frage interessanter: Die Variante. Sie bestimmt, welche Variablen garantieren, dass ein Loop in endlicher Zeit beendet. Z.B.
C:
int i = 10;
while(i > 0) {
    --i;
}
Hier ist i die Variante: Sie geht nämlich streng monoton nach 0, und dann ist der Loop vorbei. (streng monoton sinkend = die Funktion wird immer kleiner)
Bei dir ist die Variante "max - zahl1 - zahl2". (oder anders geschrieben: max < zahl1 + zahl => loop beendet)
Wenn du ein bisschen darüber nachdenkst, wirst du das sicher sehen :)

Gruss
cwriter
Ja, ich muss noch das Ganze noch vertiefen, danke für die Tipps und Hilfestellung :)
 
Moin MaxMustermann,

und nutze bitte die Code-Tags - das macht Deinen Code deutlich lesbarer (und erhöht die Chance, dass er auch gelesen wird ;) )
--> im Editor oben der Button mit den drei Punkten !!

VG Klaus
 
Zurück