1 van 1

Invariant

Geplaatst: di 22 sep 2009, 16:36
door DrPhill
Hallo,

ik heb de volgende code:

x = 1;

y = A; // A is een getal die je zelf invoert

while( y > 0 )

{

x = (x / 2);

y = (y - 1);

}

Als formule heb ik: x(A) = 1/(2A)

Hieruit moet ik een invariant opstellen, dit is mij tot dusver niet gelukt.

Heeft iemand een idee hoe ik verder moet?

Groeten,

DrPhill

Re: Invariant

Geplaatst: di 22 sep 2009, 19:25
door Vladimir Lenin
Wat dacht je van x = 1/2^(A-y)

Re: Invariant

Geplaatst: di 22 sep 2009, 21:08
door DrPhill
Wat dacht je van x = 1/2^(A-y)


Dat is 'm. Heel erg bedankt!