Schleifeninvariante

[Mind_21]

was waere die richtige Schleifeninvariante fuer dieses Programm ?

P =n >= 1 vorbedingung

private static  final  long fib ( int n ) {
long fib1 , fib2 ;
int fib3 = n - 1 ;
fib 1 = fib2 = 1 ;
while ( fib3 > 0 && fib3--> 0) / / fib3 goes t o 0
fib2 = fib1 + ( fib1 = fib2 ) ;
System .out.println ( fib3 ) ;
return  fib1 ;

Q = fib1 = F(n) nachbedingung



ich habe 3 moeglichkeiten

I=fib3 = fib1 + fib2
I=fib1 + fib2 = F(n) ^ n-1 >=fib3 >=−1
oder
I=fib2 = fib1 + fib2 ^ 0 <= fib3 <= n



wenn sie mir helfen koennen , waere ich ihnen sehr dankbar

 

[nrg]

gehts noch schlechter deklartiert/formatiert?

edit: frag mich auch fast schon, ob das ein aprilscherz ist...

 

[Java-Freak]

falscher monat aber trotzdem grausam der code...
variablen wie "fib 2" gibt es nicht...