Schleifeninvariante

[Guest]

Hi Leute,

kann mir mal jmd einen tipp geben wie ich die Schleifeninvariante berechnen/ersehen kann?

Wäre echt nett wenn mir das jmd. erklären könnte.

Ich weiß hat nicht viel mit Java zu tun, aber wissen tut ihr das doch bestimmt oder?

Helft mir bitte.

 

[Leroy42]

Die kann man generell nicht berechnen.
Schau mal hier: wiki schleifeninvariante

Nachtrag: Es ist bewiesen, dass es keinen Algorithmus gibt, der die Schleifeninvariante automatisch bestimmt.

 

[Guest]

Nun ja, aber wie mache ich es nun um eine zu bestimmen?`?

 

[Leroy42]

int k=42;
int j=0;

for (j=27; j != 1; k=(k>>1)+3*7) 
    j = j%2==0 ? j >>1 : (j<<1)+j+1;

Schleifeninvariante:

k == 42

:shock:

Nee, mal im Ernst :

Es gibt nicht die Schleifeninvariante. Was eine sinnvolle
Schleifeninvariante einer Schleife sein könnte, müßte kreativ
aus dem Kontext abgeleitet werden.