Изменения

}}

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

*Построить максимальное паросочетание.

*Запустить обход в глубину из всех свободных вершин левой доли, построить множества <tex>L^+,L^-,R^+,R^-,</tex>.

*В качестве результата взять <tex>L^- \cup R^+</tex>.

== Примеры ==

<div class="tleft" style="clear:none">[[Файл:Matching.jpg|thumb|left|Пример максимального паросочетания]]</div>

<div class="tleft" style="clear:none">[[Файл:Cover.jpg|thumb|left|Пример минимального вершинного покрытия]]</div>