Здравствуйте, читая Кормена понял, что очень плохо понимаю способ определения инварианта цикла(особенно в сортировке, где есть массивы). Вопрос: есть какие-то задачи с ответами в других книгах/статьях/сборниках/ресурсах, где можно попрактиковаться в определении инвариантов?
P.S. если скинете хотя бы пару задач, уже очень сильно поможете