How to practice finding the loop invariant?

Question

Algorithms

Hello, while reading Kormen, I realized that I understand very poorly the way to determine the cycle invariant (especially in sorting, where there are arrays). Question: Are there any problems with answers in other books/articles/collections/resources where you can practice identifying invariants?

PS if you drop at least a couple of tasks, you will already help a lot

Answer 1

There is a module about invariants here:
https://stepik.org/course/Mathematics-for-olympiads-...