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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «==Определения== {{Определение|definition= Паросочетанием <tex>M</tex> в графе <tex>G</tex> называется такое …»)
 
Строка 1: Строка 1:
 
==Определения==
 
==Определения==
 
{{Определение|definition=
 
{{Определение|definition=
Паросочетанием <tex>M</tex> в графе <tex>G</tex> называется такое подмножество
+
Паросочетанием <tex>M</tex> <tex>(matching)</tex> в графе <tex>G</tex> называется такое подмножество множества ребер графа <tex>Е</tex>, что каждая вершина <tex>G</tex> инцидентна не более чем одному ребру из <tex>M</tex>.
множества ребер графа <tex>Е</tex>, что каждая вершина <tex>G</tex> инцидентна
 
не более чем одному ребру из <tex>M</tex>.
 
 
}}
 
}}
 
{{Определение|definition=
 
{{Определение|definition=
Максимальным паросочетанием <tex>M</tex> в графе <tex>G</tex> называется
+
Максимальным паросочетанием <tex>MM</tex> <tex>(maximum</tex> <tex>matching)</tex> в графе <tex>G</tex> называется паросочетание максимальной мощности.
паросочетание максимальной мощности.
 
 
}}
 
}}
  
 
{{Определение|definition=
 
{{Определение|definition=
Вершинным покрытием <tex>С</tex> графа <tex>G</tex> называется такое подмножество
+
Вершинным покрытием <tex>VC</tex> <tex>(vertex</tex> <tex>covering)</tex> графа <tex>G</tex> называется такое подмножество множества вершин графа <tex>V</tex>, что каждому ребру <tex>G</tex> инцидентна хотя бы одна вершина из <tex></tex>.
множества вершин графа <tex>V</tex>, что каждому ребру <tex>G</tex> инцидентна
 
хотя бы одна вершина из <tex>С</tex>.
 
 
}}
 
}}
 
{{Определение|definition=
 
{{Определение|definition=
Минимальным вершинным покрытием <tex>С</tex> графа <tex>G</tex> называется
+
Минимальным вершинным покрытием <tex>MVС</tex> <tex>(minimum</tex> <tex>vertex</tex><tex>covering)</tex> графа <tex>G</tex> называется вершинное покрытие минимальной мощности.  
вершинное покрытие минимальной мощности.  
 
 
}}
 
}}

Версия 01:27, 9 декабря 2010

Определения

Определение:
Паросочетанием [math]M[/math] [math](matching)[/math] в графе [math]G[/math] называется такое подмножество множества ребер графа [math]Е[/math], что каждая вершина [math]G[/math] инцидентна не более чем одному ребру из [math]M[/math].


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


Определение:
Вершинным покрытием [math]VC[/math] [math](vertex[/math] [math]covering)[/math] графа [math]G[/math] называется такое подмножество множества вершин графа [math]V[/math], что каждому ребру [math]G[/math] инцидентна хотя бы одна вершина из [math]VС[/math].


Определение:
Минимальным вершинным покрытием [math]MVС[/math] [math](minimum[/math] [math]vertex[/math][math]covering)[/math] графа [math]G[/math] называется вершинное покрытие минимальной мощности.