Предварительный просмотр презентации














































Инвариант - величина, которая не изменяется в результате некоторых операций (например, разрезание и перестановка частей фигур не меняет суммарной площади). Полуинвариант - величина, изменяющаяся только в одну сторону (т. е. которая может только увеличиваться или только уменьшаться). Понятие полуинварианта часто используется при доказательствах остановки процессов.























Пример 25.
























