clrs- все статьи тега

Что такое инвариант цикла?

Я читаю" введение в алгоритм " CLR. и авторы говорят об инвариантах цикла, в главе 2 (сортировка вставки). Я понятия не имею, что это значит. ...