260 likes | 450 Views
Фактор-критические графы. Лекция 9. Необходимость. Необходимое условие для графа иметь совершенное паросочетание – это четное число вершин в каждой компоненте связности. Однако это условие не является достаточным. Нечетные связные компоненты. # нечетных связных компонент.
E N D
Фактор-критические графы Лекция 9
Необходимость • Необходимое условие для графа иметь совершенное паросочетание – это четное число вершин в каждой компоненте связности. • Однако это условие не является достаточным.
# нечетных связных компонент Пусть X V(G), иqG(X) ― числонечетных связных компонентв G – X. Если qG(X) > |X| для некоторогоX V(G), тоGне имеет совершенного паросочетания.
Условие Татта Определение9.1 • Граф G удовлетворяет условиюТатта,если qG(X) ≤ | X | для всехX V(G). • Непустое множество вершин X V(G)называется барьером,если qG(X) = | X |.
Фактор-критический граф Утверждение 9.2 Для любого графа G и любого X V(G) имеемqG(X) – | X | ≡ |V(G)| (mod 2). Определение 9.3 • Граф G называетсяфактор-критическим, еслиG – v имеет совершенное паросочетание для каждого v V(G). • Паросочетаниеназывается почти совершенным,если оно покрывает все вершины кроме одной.
Упражнение 9.1 • Доказать, что фактор-критический граф всегда является связным.
Теорема Татта Теорема 9.4 (Tutte [1947] ) Граф G имеетсовершенное паросочетание тогда и только тогда, когдаон удовлетворяет условиюТатта: qG(X) ≤ | X | для всехX V(G).
qG(X) ≤ | X | для всехX V(G) • Докажем достаточность индукцией по |V(G)|. • Утверждение очевидно для |V(G)| ≤ 2. • Пусть Gудовлетворяет условию Татта. • в нем четное число вершин (иначе qG()≥ 1). • Утверждение 9.2 |X| –qG(X) четно для всех X V(G). • Четность и условие Татта одновершинное множество является барьером. • Выберем максимальный по мощности барьер X.
qG(X) ≤ | X | для всехX V(G) • Выберем максимальный по мощности барьер X. • G– Xимеет |X| нечетных связных компонент. • В G– X нет четных связных компонент. • Докажем, что каждая нечетная связная компонента в G– X является фактор-критической (для любой v ∈G– X, G– X –v имеет совершенное паросочетание).
qG(X) ≤ | X | для всехX V(G) • Пусть C нечетная связная компонента G– Xи v ∈ V(C), такие что в C– v нет совершенного паросочетания. • По индукции Y V(C)\{v} такой что qC–v(Y)> |Y |. • Утверждение 9.2 qC–v(Y)– |Y | четно qC–v(Y)≥ |Y |+2. • Так как X, Y, {v} попарно не пересекаются, то qG(XUYU{v}) = qG(X) – 1 + qC(YU{v}) = = |X | – 1 +qC–v(Y) ≥ ≥ |X | – 1 +|Y | +2 = = |XUYU{v}|. • XUYU{v} – барьер, что противоречит максимальности X.
Доказательство • Осталось найти паросочетание между вершинами Xи представителями связных нечетных компонент. • Двудольный граф G' : V (G' ) = XUZ,где Z множество вершин, соответствующих связным нечетным компонентам Czв G– X. • Вершины x X и z Zсвязаны ребром {x,z} E(G' ), если ребро из x в одну из вершин Cz . • Если в G'нет совершенного паросочетания, то Теорема Фробениуса A Z такое, что |G' (A)| < |A|. • qG(G' (A)) ≥ |A| > |G' (A)| противоречие.
Теорема Татта Теорема 9.4 (Tutte [1947] ) Граф G имеетсовершенное паросочетание тогда и только тогда, когдаон удовлетворяет условиюТатта: qG(X) ≤ | X | для всехX V(G).
Формула Бержа-Татта Теорема 9.5 (Berge [1948] )
Доказательство ≤ • Для любого X V(G), любое паросочетание должно оставлять по крайней мере qG(X) – | X | вершин не покрытыми. • 2ν(G) + qG(X) – | X | ≤ | V(G) |.
Доказательство ≥ H k G Если в Hестьсовершенное паросочетание, то 2ν(G) + k ≥ 2ν(H) – k = |V(H)| – k = |V(G)|.
Пусть в Hнетсовершенного паросочетания. • Теорема Татта Y V(H), такое что q(Y) > |Y|. • Утверждение 9.2 kимеет ту же четность как и V(G) V(H)– четно. • Y ≠ и qH(Y)> 1. • Yсодержит все новые вершины. • qG(Y∩V(G)) = qH(Y) > |Y| = |Y∩V(G)| + k. • Противоречие с определением k.
Формула Бержа-Татта Теорема 9.5 (Berge [1948] )
Ушки Определение 9.6 • Декомпозицией графа G на множество ушек называетсяпоследовательность r, P1,...,Pkс G=({r},) + P1 + ... + Pk, такая чтокаждыйPiестьлибо путь с граничными точками из{r}UV(P1) U... UV(Pi–1), либоцикл, в котором ровно одна из еговершин принадлежит{r}UV(P1)U...UV(Pi–1) (i{1,...,k}). • P1,...,Pk называютсяушками. Если k ≥ 1, P1 ―циклдлины не меньше 3, иP2,...,Pk―пути,тодекомпозицияназываетсясовершенной.
Декомпозиция P2 P3 P5 P4 P1
Нечетнаядекомпозиция Определение 9.7 • Декомпозицияназываетсянечетной, есликаждое ушко имеет нечетную длину. Теорема 9.8 (Lovász [1972] ) Граф являетсяфактор-критическимтогда и только тогда, когдаон имеетнечетнуюдекомпозицию. Более того, начальная вершина в декомпозиции может быть выбрана произвольна.
Доказательство • Пусть Gграф с фиксированной нечетной декомпозицией. • Докажем что G фактор критический индукцией на число ушек. • Пусть P последнее ушко в нечетной декомпозиции.
Индукция G G P P
Доказательство • Выберем произвольную вершину z,как начальную вершину декомпозиции. • Пусть Mпочти совершенное паросочетание в G покрывающее V(G)/{z}. • Предположим, что мы построили нечетную декомпозицию для ĜGтакую, что zV(Ĝ), и M ∩ E(Ĝ) является почти совершенным паросочетанием в Ĝ.
Доказательство • Пусть G ≠ Ĝ. • G – связный, то {x,y} E(G) \ E(Ĝ), и xV(Ĝ). • Если yV(Ĝ) ,то {x,y} следующее ушко. • Иначе, пусть Nпочти совершенное паросочетание в G покрывающее V(G)/{y}. • Тогда M∆N содержит путь Pиз yв z. • Пусть wбудет ближайшая к y вершина в P, которая принадлежит Ĝ.
M∆N и P[y,w] G M P z N w x y Ĝ