WikiDer > Соответствие максимальной мощности

Соответствие максимальной мощности это фундаментальная проблема в теория графов.^[1]Нам дается график ${displaystyle G}$, а цель - найти соответствие содержащий как можно больше ребер, то есть подмножество ребер с максимальной мощностью, так что каждая вершина смежна не более чем с одним ребром подмножества. Поскольку каждое ребро покрывает ровно две вершины, эта проблема эквивалентна задаче поиска соответствия, которое покрывает как можно больше вершин.

Важный частный случай задачи сопоставления максимальной мощности - это когда г это двудольный граф, вершины которого V разбиты между левыми вершинами в Икс и правые вершины в Y, и края в E всегда соединяйте левую вершину с правой. В этом случае проблема может быть эффективно решена более простыми алгоритмами, чем в общем случае.

Алгоритмы для двудольных графов

Самый простой способ вычислить максимальное соответствие количества элементов - это следовать Алгоритм Форда – Фулкерсона. Этот алгоритм решает более общую проблему: вычисление максимального потока, но легко адаптируется: мы просто преобразуем граф в проточная сеть добавив исходную вершину к графу, имея все левые вершины в Икс, добавляя вершину стока, имеющую ребро из всех правых вершин в Y, сохраняя все края между Икс и Y, и присвоив каждому ребру емкость 1. Затем алгоритм Форда – Фулкерсона продолжит работу, многократно находя увеличивающий путь из некоторых Икс ∈ Икс некоторым у ∈ Y и обновление соответствия M взяв симметричную разность этого пути с M (при условии, что такой путь существует). Поскольку каждый путь можно найти в ${displaystyle O (E)}$ время, время работы ${displaystyle O (VE)}$, а максимальное совпадение состоит из ребер E которые несут поток из Икс к Y.

Улучшение этого алгоритма дается более сложным Алгоритм Хопкрофта – Карпа, который одновременно ищет несколько дополнительных путей. Этот алгоритм работает в ${displaystyle O ({sqrt {V}} E)}$ время.

Алгоритм Чандрана и Хохбаума^[2] для двудольных графов выполняется за время, которое зависит от размера максимального соответствия ${displaystyle k}$, который для ${displaystyle | X | <| Y |}$ является ${displaystyle Oleft (min {| X | k, E} + {sqrt {k}} min {k ^ {2}, E} ight)}$. Использование логических операций над словами размера ${displaystyle lambda}$ сложность дополнительно улучшена до ${displaystyle Oleft (min left {| X | k, {frac {| X || Y |} {lambda}}, Eight} + k ^ {2} + {frac {k ^ {2.5}} {lambda}} ight) )}$.^[2]

Существуют более эффективные алгоритмы для специальных видов двудольных графов:

• За редкий двудольных графов, задача максимального согласования может быть решена в ${displaystyle {ilde {O}} (E ^ {10/7})}$ с алгоритмом Мадри, основанным на электрических потоках.^[3]
• За планарный двудольные графы, задача решается за время ${displaystyle O (nlog ^ {3} n)}$ где п количество вершин, сводя задачу к максимальный поток с несколькими источниками и стоками.^[4]

Алгоритмы для произвольных графов

В алгоритм цветения находит соответствие максимальной мощности в общих (не двудольных) графах. Он работает во времени ${displaystyle O (| V | ^ {2} cdot | E |)}$. Лучшая производительность О(√VE) для общих графиков соответствие производительности Алгоритм Хопкрофта – Карпа на двудольных графах может быть достигнуто с помощью гораздо более сложного алгоритма Микали и Вазирани.^[5] Такой же оценки был достигнут алгоритм Блюм (де)^[6] и алгоритм Габоу и Tarjan.^[7]

Альтернативный подход использует рандомизация и основан на быстром матричное умножение алгоритм. Это дает рандомизированный алгоритм для общих графов со сложностью ${displaystyle O (V ^ {2.376})}$.^[8] Теоретически это лучше для достаточно плотные графы, но на практике алгоритм работает медленнее.^[2]

Другие алгоритмы решения задачи рассмотрены Дуаном и Петти.^[9] (см. Таблицу I). С точки зрения аппроксимационные алгоритмы, они также отмечают, что алгоритм цветения а алгоритмы Микали и Вазирани можно рассматривать как аппроксимационные алгоритмы выполняется за линейное время для любой фиксированной границы ошибки.

Приложения и обобщения

• Найдя соответствие максимальной мощности, можно решить, существует ли идеальное соответствие.
• Проблема поиска совпадения с максимальным весом в взвешенный график называется проблема соответствия максимального веса проблема, и ее ограничение на двудольные графы называется проблема назначения. Если каждой вершине можно сопоставить несколько вершин одновременно, то это обобщенная задача о назначении.
• А соответствие приоритета - это конкретное сопоставление максимальной мощности, при котором приоритетные вершины сопоставляются первыми.
• Проблема поиска максимальной мощности соответствие в гиперграф NP-полна даже для 3-равномерных гиперграфов.^[10]

Рекомендации