Изменения

<br/><br/>

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

{{Теорема|statement=

Значит, <tex>|V| = |MIVS| + |MVC|</tex>, и <tex>V \backslash MVC</tex> является максимальным независимым множеством, а <tex>V \backslash MIVS</tex> - минимальным вершинным покрытием.

}}

==См. также ==

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