[Algorytmy] Niezmiennik pętli programu

[Peter Zof]

Witam, mam podany taki program:

Kod: Zaznacz cały

int i = 0;
int res = 0;

while(i != n)
{
   if(a[i] == x)
      res = res + 1;
 
   i = i + 1;
   }
}

I pytają mnie o niezmiennik pętli. Co to jest niezmiennik wiem, ale nie mogę go wymyślić już od ponad 30 minut co mnie niepokoi. Bardzo proszę o jakieś wskazówki. Jakby ktoś nie wiedział, w co wątpie ale napiszę dlatego żeby nie było że nawet nie próbowałem zrozumieć zadania to chodzi o to że w zmiennej res ma się znaleźć liczba elementów równych x w ciągu \(\displaystyle{ a[0], [1], ... , a[n-1]}\)

[Medea 2]

Hmh... liczba elementów równych \(\displaystyle{ x}\) za indeksem \(\displaystyle{ i}\) plus wartość res?