Инвариант — это величина или свойство, которые не меняются при разрешёных e в задаче действи- ях или одинаковы во всех возможных по условию задачи ситуациях. Например: чётность, делимость, раскраска, сумма или произведение каких-нибудь чисел.