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.