Niezmiennik pętli, prośba o wytłumaczenie

Question

Mam do was prośbę byłby ktoś mi w stanie wytłumaczyć tak na chłopski rozum, czym jest niezbędnik pętli. Tylko proszę bez linków do definicji. Podsyłam algorytm do analizy i mój "tok rozumowania".

INSERTION-SORT(A) 
 for j = 2 to A.length 
 key = A[ j ] 
 i = j – 1
 while i > 0 and A[ i ] > key 
   A[ i + 1 ] = A[ i ] 
    i = i – 1 
   A[ i + 1 ] = key 
 

Dla mnie niezmiennikiem tej pętli jest pętla for oraz pętla while w której warunek zawsze będzie prawdziwy.

Answer 1

Duplikat pytania. Tu masz wytłumaczone: https://forum.pasja-informatyki.pl/221693/niezmienniki-petli