Witam, mam taką pętlę:
int a,x,s;
x=a;
s=0;
while(x>0)
{
s=s+a;
x=x-1;
}
Jaki jest wynik działania programu i jak sformułować niezmiennik? Głowię się z tym już kawał czasu :/
Witam, mam taką pętlę:
int a,x,s;
x=a;
s=0;
while(x>0)
{
s=s+a;
x=x-1;
}
Jaki jest wynik działania programu i jak sformułować niezmiennik? Głowię się z tym już kawał czasu :/
Wynik czyli pewnie dla Ciebie wartości zmiennych na koniec będą takie, że:
x
jak nie trudno zgadnąć będzie = 0,
a
to jakieś określone a
- pewnie sobie możesz ustalić,
s
=a^2
.
Jeśli chodzi o niezmiennik to powiedziałbym, że jest to s == a*(a-x)