Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах

Определения

Минимальное вершинное покрытие

Определение:

Вершинным покрытием (англ. Vertex covering, VC) графа [math]G=(V,E)[/math] называется такое подмножество [math]S[/math] множества вершин графа [math]V[/math], что любое ребро этого графа инцидентно хотя бы одной вершине из множества [math]S[/math].

Определение:

Минимальным вершинным покрытием (англ. Minimum vertex covering, MVC) графа [math]G=(V,E)[/math] называется вершинное покрытие, состоящее из наименьшего числа вершин.

Пример

Множество вершин красного цвета — минимальное вершинное покрытие.

Связь максимального паросочетания и минимального вершинного покрытия в двудольном графе

Максимальное паросочетание

Определение:

Максимальным паросочетанием (англ. Maximum matching, MM) в двудольном графе [math]G[/math] называется паросочетание максимальной мощности.

Теорема о мощности минимального вершинного покрытия и максимального паросочетания

Теорема:

В произвольном двудольном графе мощность максимального паросочетания равна мощности минимального вершинного покрытия.

Доказательство:

[math]\triangleright[/math]

Пусть в [math]G[/math] построено максимальное паросочетание. Ориентируем ребра паросочетания, чтобы они шли из правой доли в левую, ребра не из паросочетания — так, чтобы они шли из левой доли в правую. Запустим обход в глубину из всех не насыщенных паросочетанием вершин левой доли. Разобьем вершины каждой доли графа на два множества: те, которые были посещены в процессе обхода, и те, которые не были посещены в процессе обхода. Тогда [math]L = L^+ \cup L^-[/math], [math]R = R^+ \cup R^-[/math], где [math]L, R[/math] — правая и левая доли соответственно, [math]L^+, R^+[/math] — вершины правой и левой доли, посещенные обходом, [math]L^-, R^-[/math] — не посещенные обходом вершины. Тогда в [math]G[/math] могут быть следующие ребра: Доли [math]L^+, L^-, R^+, R^-[/math] и ребра между ними. Из вершин [math]L^+[/math] в вершины [math]R^+[/math] и из вершин [math]R^+[/math] в вершины [math]L^+[/math]. Из вершин [math]L^-[/math] в вершины [math]R^-[/math] и из вершин [math]R^-[/math] в вершины [math]L^-[/math]. Из вершин [math]L^-[/math] в вершины [math]R^+[/math]. Очевидно, что ребер из [math]L^+[/math] в [math]R^-[/math] и из из [math]R^+[/math] в [math]L^-[/math] быть не может. Ребер из из [math]R^-[/math] в [math]L^+[/math] быть не может, т.к. если такое ребро [math]uv[/math] существует, то оно — ребро паросочетания. Тогда вершина [math]v[/math] насыщена паросочетанием. Но т.к. [math]v \in L^+[/math], то в нее можно дойти из какой-то ненасыщенной вершины левой доли. Значит, существует ребро [math]wv, w \in R^+[/math]. Но тогда [math]v[/math] инцидентны два ребра из паросочетания. Противоречие. Заметим, что минимальным вершинным покрытием [math]G[/math] является либо [math]L[/math], либо [math]R[/math], либо [math]L^- \cup R^+[/math]. В [math]R^+[/math] не насыщенных паросочетанием вершин быть не может, т.к. иначе в [math]G[/math] существует дополняющая цепь, что противоречит максимальности построенного паросочетания. В [math]L^-[/math] свободных вершин быть не может, т.к. все они должны находиться в [math]L^+[/math]. Тогда т.к. ребер из паросочетания между [math]R^+[/math] и [math]L^-[/math] нет, то каждому ребру максимальным паросочетания инцидентна ровно одна вершина из [math]L^- \cup R^+[/math]. Тогда [math]|L^- \cup R^+| = |MM|[/math]. Множество вершин [math]L^- \cup R^+[/math] является минимальным вершинным покрытием. Значит мощность максимального паросочетания равна мощности минимального вершинного покрытия.

[math]\triangleleft[/math]

Алгоритм построения минимального вершинного покрытия

Из доказательства предыдущей теоремы следует алгоритм поиска минимального вершинного покрытия графа:

• Построить максимальное паросочетание.
• Ориентировать ребра:
  • Из паросочетания — из правой доли в левую.
  • Не из паросочетания — из левой доли в правую.
• Запустить обход в глубину из всех свободных вершин левой доли, построить множества [math]L^+,L^-,R^+,R^-,[/math].
• В качестве результата взять [math]L^- \cup R^+[/math].

См. также

Связь вершинного покрытия и независимого множества.

Источники

1. Теорема Кёнига.