Применения максимального потока: различия между версиями
Ctrlalt (обсуждение | вклад) (Новая страница: «== Ссылки == * [http://jeffe.cs.illinois.edu/teaching/algorithms/book/11-maxflowapps.pdf Erickson J. — Applications of Flows and Cuts] * [https://neerc.if...») |
Ctrlalt (обсуждение | вклад) |
||
(не показано 6 промежуточных версий этого же участника) | |||
Строка 1: | Строка 1: | ||
== Минимальный разрез == | |||
Вычисляем максимальный поток. | |||
Далее запускаем из истока dfs, который идёт только по рёбрам с ненулевой остаточной пропускной способностью. | |||
Посещённые dfsом вершины составляют одну долю, непосещённые — другую, рёбра между ними составляют минимальный разрез. Величина минимального разреза равна величине максимального потока. | |||
== Максимальное паросочетание в двудольном графе == | |||
Строим сеть: (исток), (количество вершин первой доли), (количество вершин второй доли), (сток). | |||
Соединяем исток со всеми вершинами первой доли рёбрами пропускной способности 1. | |||
Соединяем вершины первой доли с вершинами второй доли рёбрами пропускной способности 1, если соответствующее ребро было в исходном графе. | |||
Соединяем все вершины второй доли со стоком рёбрами пропускной способности 1. | |||
Размер максимального паросочетания равен величине максимального потока. В паросочетание входят рёбра между вершинами долей, нагруженные потоком. | |||
== Количество рёберно-непересекающихся путей между a и b == | |||
Считаем, что рёбра исходного графа имеют пропускную способность 1. | |||
Вычисляем максимальный поток из a в b, его величина равна ответу. | |||
== Количество вершинно-непересекающихся путей между a и b == | |||
Ставим в соответствие каждой вершине исходного графа две вершины («входную» и «выходную»), соединённые ребром пропускной способности 1. | |||
Если в исходном графе было ребро (x → y), до добавляем ребро (выход_x → вход_y) пропускной способности 1. | |||
Вычисляем максимальный поток из выход_a в вход_b, его величина равна ответу. | |||
== Есть ли путь из a в b и из b в c, не проходящий по одному ребру дважды == | |||
Считаем, что рёбра исходного графа имеют пропускную способность 1. | |||
Соединяем a и c со стоком рёбрами пропускной способности 1, вычисляем максимальный поток между b и стоком, проверяем, что его величина равна 2. | |||
== Минимальное количество вершинно-непересекающихся путей, покрывающих все вершины ациклического ориентированного графа == | |||
Строим сеть: (исток), (количество вершин графа), (количество вершин графа), (сток). | |||
Соединяем исток со всеми вершинами первой доли рёбрами пропускной способности 1. | |||
Соединяем вершину первой доли x с вершиной второй доли y рёбром пропускной способности 1, если ребро (x → y) было в исходном графе. | |||
Соединяем все вершины второй доли со стоком рёбрами пропускной способности 1. | |||
Минимальное количество путей равно разности количества вершин исходного графа и величины максимального паросочетания в построенном двудольном графе (или, что то же самое, величины потока в построенной сети). | |||
* [https://e-maxx.ru/algo/path_cover e-maxx.ru — Покрытие путями ориентированного ациклического графа] | |||
== Можно ли замостить заданную клетчатую фигуру костями домино 1 × 2 == | |||
Мысленно раскрашиваем клетки фигуры в шахматном порядке. Строим сеть: (исток), (количество белых клеток), (количество чёрных клеток), (сток). | |||
Соединяем исток со всеми белыми клетками рёбрами пропускной способности 1. | |||
Соединяем белые клетки с соседними чёрными клетками рёбрами пропускной способности 1. | |||
Соединяем все чёрные клетки со стоком рёбрами пропускной способности 1. | |||
Вычисляем максимальный поток, проверяем, что его величина равна количеству клеток, делённому пополам. | |||
== Покрыть заданную клетчатую фигуру минимальным количеством костей домино 1 × 2 == | |||
Мысленно раскрашиваем клетки фигуры в шахматном порядке. Строим сеть: (исток), (количество белых клеток), (количество чёрных клеток), (сток). | |||
Соединяем исток со всеми белыми клетками рёбрами пропускной способности 1. | |||
Соединяем белые клетки с соседними чёрными клетками рёбрами пропускной способности 1. | |||
Соединяем все чёрные клетки со стоком рёбрами пропускной способности 1. | |||
Вычисляем максимальный поток, количество костей равно (площадь фигуры - величина потока). | |||
== Закрасить клетки сетки так, чтобы в i-й строке было закрашено r[i], а в j-м столбце — c[j] == | |||
Строим сеть: (исток), (количество строк), (количество столбцов), (сток). | |||
Соединяем исток со всеми вершинами второго слоя рёбрами пропускной способности r[i]. | |||
Соединяем каждую вершину второго слоя с каждой вершиной третьего слоя рёбрами пропускной способности 1. | |||
Соединяем все вершины третьего слоя со стоком рёбрами пропускной способности c[j]. | |||
Вычисляем максимальный поток, проверяем, что его величина равна сумме r (и сумме c). Клетки, которые нужно закрасить, соответствуют рёбрам между вторым и третьим слоями, по которым идёт поток. | |||
(Также существует [https://github.com/vfolunin/archives-solutions/blob/master/Kattis/tomography.cpp более простое жадное решение]) | |||
== Покрыть закрашенные клетки сетки минимальным количеством горизонтальных и вертикальных линий == | |||
Строим сеть: (исток), (количество строк), (количество столбцов), (сток). | |||
Соединяем исток со всеми вершинами второго слоя рёбрами пропускной способности 1. | |||
Соединяем i-ю вершину второго слоя с j-й вершиной третьего слоя рёбром пропускной способности 1, если клетку [i][j] нужно покрыть. | |||
Соединяем все вершины третьего слоя со стоком рёбрами пропускной способности 1. | |||
Вычисляем максимальный поток, количество линий равно его величине. Через какие строки и столбцы проводить линии, определяется [https://neerc.ifmo.ru/wiki/index.php?title=%D0%A1%D0%B2%D1%8F%D0%B7%D1%8C_%D0%BC%D0%B0%D0%BA%D1%81%D0%B8%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BF%D0%B0%D1%80%D0%BE%D1%81%D0%BE%D1%87%D0%B5%D1%82%D0%B0%D0%BD%D0%B8%D1%8F_%D0%B8_%D0%BC%D0%B8%D0%BD%D0%B8%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE_%D0%B2%D0%B5%D1%80%D1%88%D0%B8%D0%BD%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BF%D0%BE%D0%BA%D1%80%D1%8B%D1%82%D0%B8%D1%8F_%D0%B2_%D0%B4%D0%B2%D1%83%D0%B4%D0%BE%D0%BB%D1%8C%D0%BD%D1%8B%D1%85_%D0%B3%D1%80%D0%B0%D1%84%D0%B0%D1%85#.D0.90.D0.BB.D0.B3.D0.BE.D1.80.D0.B8.D1.82.D0.BC_.D0.BF.D0.BE.D1.81.D1.82.D1.80.D0.BE.D0.B5.D0.BD.D0.B8.D1.8F_.D0.BC.D0.B8.D0.BD.D0.B8.D0.BC.D0.B0.D0.BB.D1.8C.D0.BD.D0.BE.D0.B3.D0.BE_.D0.B2.D0.B5.D1.80.D1.88.D0.B8.D0.BD.D0.BD.D0.BE.D0.B3.D0.BE_.D0.BF.D0.BE.D0.BA.D1.80.D1.8B.D1.82.D0.B8.D1.8F минимальным вершинным покрытием]. | |||
== Ссылки == | == Ссылки == | ||
* [http://jeffe.cs.illinois.edu/teaching/algorithms/book/11-maxflowapps.pdf Erickson J. — Applications of Flows and Cuts] | * [http://jeffe.cs.illinois.edu/teaching/algorithms/book/11-maxflowapps.pdf Erickson J. — Applications of Flows and Cuts] |
Текущая версия от 20:26, 4 апреля 2022
Минимальный разрез
Вычисляем максимальный поток.
Далее запускаем из истока dfs, который идёт только по рёбрам с ненулевой остаточной пропускной способностью.
Посещённые dfsом вершины составляют одну долю, непосещённые — другую, рёбра между ними составляют минимальный разрез. Величина минимального разреза равна величине максимального потока.
Максимальное паросочетание в двудольном графе
Строим сеть: (исток), (количество вершин первой доли), (количество вершин второй доли), (сток).
Соединяем исток со всеми вершинами первой доли рёбрами пропускной способности 1.
Соединяем вершины первой доли с вершинами второй доли рёбрами пропускной способности 1, если соответствующее ребро было в исходном графе.
Соединяем все вершины второй доли со стоком рёбрами пропускной способности 1.
Размер максимального паросочетания равен величине максимального потока. В паросочетание входят рёбра между вершинами долей, нагруженные потоком.
Количество рёберно-непересекающихся путей между a и b
Считаем, что рёбра исходного графа имеют пропускную способность 1.
Вычисляем максимальный поток из a в b, его величина равна ответу.
Количество вершинно-непересекающихся путей между a и b
Ставим в соответствие каждой вершине исходного графа две вершины («входную» и «выходную»), соединённые ребром пропускной способности 1.
Если в исходном графе было ребро (x → y), до добавляем ребро (выход_x → вход_y) пропускной способности 1.
Вычисляем максимальный поток из выход_a в вход_b, его величина равна ответу.
Есть ли путь из a в b и из b в c, не проходящий по одному ребру дважды
Считаем, что рёбра исходного графа имеют пропускную способность 1.
Соединяем a и c со стоком рёбрами пропускной способности 1, вычисляем максимальный поток между b и стоком, проверяем, что его величина равна 2.
Минимальное количество вершинно-непересекающихся путей, покрывающих все вершины ациклического ориентированного графа
Строим сеть: (исток), (количество вершин графа), (количество вершин графа), (сток).
Соединяем исток со всеми вершинами первой доли рёбрами пропускной способности 1.
Соединяем вершину первой доли x с вершиной второй доли y рёбром пропускной способности 1, если ребро (x → y) было в исходном графе.
Соединяем все вершины второй доли со стоком рёбрами пропускной способности 1.
Минимальное количество путей равно разности количества вершин исходного графа и величины максимального паросочетания в построенном двудольном графе (или, что то же самое, величины потока в построенной сети).
Можно ли замостить заданную клетчатую фигуру костями домино 1 × 2
Мысленно раскрашиваем клетки фигуры в шахматном порядке. Строим сеть: (исток), (количество белых клеток), (количество чёрных клеток), (сток).
Соединяем исток со всеми белыми клетками рёбрами пропускной способности 1.
Соединяем белые клетки с соседними чёрными клетками рёбрами пропускной способности 1.
Соединяем все чёрные клетки со стоком рёбрами пропускной способности 1.
Вычисляем максимальный поток, проверяем, что его величина равна количеству клеток, делённому пополам.
Покрыть заданную клетчатую фигуру минимальным количеством костей домино 1 × 2
Мысленно раскрашиваем клетки фигуры в шахматном порядке. Строим сеть: (исток), (количество белых клеток), (количество чёрных клеток), (сток).
Соединяем исток со всеми белыми клетками рёбрами пропускной способности 1.
Соединяем белые клетки с соседними чёрными клетками рёбрами пропускной способности 1.
Соединяем все чёрные клетки со стоком рёбрами пропускной способности 1.
Вычисляем максимальный поток, количество костей равно (площадь фигуры - величина потока).
Закрасить клетки сетки так, чтобы в i-й строке было закрашено r[i], а в j-м столбце — c[j]
Строим сеть: (исток), (количество строк), (количество столбцов), (сток).
Соединяем исток со всеми вершинами второго слоя рёбрами пропускной способности r[i].
Соединяем каждую вершину второго слоя с каждой вершиной третьего слоя рёбрами пропускной способности 1.
Соединяем все вершины третьего слоя со стоком рёбрами пропускной способности c[j].
Вычисляем максимальный поток, проверяем, что его величина равна сумме r (и сумме c). Клетки, которые нужно закрасить, соответствуют рёбрам между вторым и третьим слоями, по которым идёт поток.
(Также существует более простое жадное решение)
Покрыть закрашенные клетки сетки минимальным количеством горизонтальных и вертикальных линий
Строим сеть: (исток), (количество строк), (количество столбцов), (сток).
Соединяем исток со всеми вершинами второго слоя рёбрами пропускной способности 1.
Соединяем i-ю вершину второго слоя с j-й вершиной третьего слоя рёбром пропускной способности 1, если клетку [i][j] нужно покрыть.
Соединяем все вершины третьего слоя со стоком рёбрами пропускной способности 1.
Вычисляем максимальный поток, количество линий равно его величине. Через какие строки и столбцы проводить линии, определяется минимальным вершинным покрытием.