Полуинварианты // Андрей Щетников / GetAClass

Полуинвариант — это такая величина, которая с каждым шагом изменения системы изменяется в одну сторону (увеличивается либо уменьшается). Наличие полуинварианта позволяет доказать, что в системе с конечным числом состояний изменения рано или поздно прекратятся.