Invariant

Moderators: jkien, Xilvo

Reageer
Berichten: 9

Invariant

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

Gebruikersavatar
Berichten: 829

Re: Invariant

Wat dacht je van x = 1/2^(A-y)
"Als je niet leeft zoals je denkt, zul je snel gaan denken zoals je leeft."

--Vladimir Lenin-- (Владимир Ильич Ульянов)

Berichten: 9

Re: Invariant

Wat dacht je van x = 1/2^(A-y)


Dat is 'm. Heel erg bedankt!

Reageer