Witam mam problem z zadaniem, czytałem o zbieżnikach i niezmiennikach ale nie mogę poradzić sobie z tym przypadkiem, z góry dziękuję
- Uzasadnij, że poniższy program zatrzymuje się poprzez znalezienie zbieżnika pętli. Oczywiście należy dokładnie uzasadnić, czemu znalezione wyrażenie jest zbieżnikiem.
int funkcja(int a, int b)
{
while(a >= 0 && b >= 0)
{
if(a < b)
{
zamien(a, b);
}
else
{
a = a - 1;
}
}
return a;
}