50
правок
Изменения
м
→Пример №1
Покажем то, что минимальное количество клеток, которое нужно закрасить, равно максимальному количеству клеточно-непересекающихся путей из позиции монстра до крайних клеток поля. Очевидно, что ответ не больше, чем количество всех путей от монстра до крайних клеток. Сделаем ещё более строгое неравенство: ответ не больше, чем максимальное количество клеточно-непересекающихся путей, т.к. если мы возьмём какие-нибудь 2 пересекающихся пути и закрасим клетку в позиции, где они пересекаются, то мы блокируем путь монстру сразу по 2 этим путям. С другой стороны, если мы закрасим клетку на каком-то из путей, то у нас блокируется только этот путь, т.к. мы взяли клеточно-непересекающиеся пути. Значит, ответ не меньше, чем количество таких путей. В итоге получаем то, что и хотели доказать.
Рассмотрим [[Определение сети, потока#flow_network|сеть]], в которой вершинам будут соответствовать незакрашенные клетки поля, соседние незакрашенные клетки соединим ориентированными рёбрами с пропускной способностью 1. Чтобы пути клеточно-непересекались, раздвоим каждую вершину графа на 2 вершины: в одну будут только входить рёбра, из другой - только выходить рёбра, и сами эти вершины соединим ребром с пропускной способностью 1. Используя [[Схема алгоритма Диница|алгоритм Диница]], найдём максимальный поток в сети.
