Автор: Бакаев Е.В.
На длинной скамейке сидели мальчик и девочка. К ним по одному подошли еще 20 детей, и каждый из них садился между какими-то двумя уже сидящими. Назовём девочку отважной, если она садилась между двумя соседними мальчиками, а мальчика – отважным, если он садился между двумя соседними девочками. Когда все сели, оказалось, что мальчики и девочки сидят на скамейке, чередуясь. Сколько из них были отважными?
   Первый способ. Посмотрим на количество пар из соседних мальчика и девочки. Изначально оно равно 1. Заметим, что если мальчик сел между двумя мальчиками, то количество таких пар не изменилось. Если же он сел между мальчиком и девочкой, то он одну такую пару "разрушил" и одну "создал", и количество таких пар тоже не изменилось. И только в случае, если мальчик был отважным, он увеличивает количество таких пар на две. Аналогичные рассуждения верны и для девочек. Так как в конце у нас таких пар 21, то отважных детей было  (21 – 1) : 2 = 10.
Процессы и операции Инварианты