Скачать презентацию
Идет загрузка презентации. Пожалуйста, подождите
Презентация была опубликована 11 лет назад пользователемГерман Стафеев
1 Паросочетания в двудольных графах Лекция 8
2 Паросочетание Паросочетанием в графе G называется множество попарно несмежных ребер.
3 Задача «Максимальное Паросочетание» Дан граф G. Найти паросочетание в G максимальной мощности.
4 Совершенное паросочетание Определение 8.1. Пусть G граф и M паросочетание в G. Будем говорить, что вершина v покрыта M, если v e для некоторого e M. M называется совершенным паросочетанием, если все вершины покрыты M.
5 Биразбиение Биразбиением графа G называется разбиение множества вершин на два подмножества, V(G)=A B, такое что подграфы индуцированные на A и B оба пустые. Граф называется двудольным, если он имеет биразбиение.
6 Паросочетание в двудольном графе Для графа G, пусть (G) обозначает мощность максимального паросочетания, а (G) мощность минимального вершинного покрытия в G. Теорема 8.2 (König [1931]) Если G двудольный, то (G) = (G).
7 Доказательство G' = (V(G) {s,t}, E(G) {{s,a}: a A} {{b,t}: b B}) (G) – максимальное число вершинно-непересекающихся s-t-путей. (G) – минимальное число вершин удаление которых разделяет вершины s и t.
8 Вторая Теорема Менгера Theorem 7.2 (Menger [1927] ) Пусть G граф (ориентированный или неориентированный), пусть s и t две несмежные вершины и k N. Тогда существует k вершинно- непересекающихся s-t-путей, тогда и только тогда, когда после удаления любых k – 1 вершин (отличных от s и t) t остается достижима из s.
9 Доказательство G' = (V(G) {s,t}, E(G) {{s,a}: a A} {{b,t}: b B}) (G) – максимальное число вершинно-непересекающихся s-t-путей. (G) – минимальное число вершин удаление которых разделяет вершины s и t. 2-я теорема Менгера (G) = (G).
10 Теорема Холла Теорема 8.3 (Hall [1935] ) Пусть G двудольный граф с биразбиением V(G) = A B. Тогда G имеет паросочетание, покрывающее A, тогда и только тогда, когда | (X)| |X| для всех X A. ( (X) – множество вершин соседних с X.)
11 Доказательство (достаточность) Пусть G не имеет паросочетание, покрывающее A ( (G) < |A|). Теорема 8.2 (G) < |A|. Рассмотрим A' A и B' B, такие что A' B' покрывают все ребра и | A' B' | < | A |. Тогда (A /A' ) B'. | (A /A' ) | |B'| < | A | – | A' | = |A /A' |, что противоречит условию теоремы.
12 Теорема о бракосочетаниях Теорема 8.4 (Frobenius [1917] ) Пусть G двудольный граф с биразбиением V(G) = A B. Тогда G имеет совершенное паросочетание, тогда и только тогда, когда |A| = |B| и | (X)| |X| для всех X A.
13 Паросочетание в двудольном графе Теорема 8.5 Задача «Максимальное Паросочетание» в двудольном графе G может быть решена за время O(nm), где n = |V(G)| и m = |E(G)|.
14 Справка Используя идею о кратчайшем увеличивающем пути можно получить алгоритм с трудоемкостью O(n 0.5 (m + n)) (Hopcroft & Karp 1973).
15 M- увеличивающий путь Определение 8.6 Пусть G граф, и M паросочетание в G. Путь P называется M-чередующимся путем, если E(P) \ M является паросочетанием. Чередующийся путь называется M-увеличивающим, если его граничные точки не покрываются M, то есть | E(P) \ M | > | E(P) M |.
16 Пример M-увеличивающего пути M P:P: E(P)\ M
17 Паросочетание и увеличивающий путь Theorem 8.7 (Berge [1957] ) Пусть G граф, и M паросочетание в G. Тогда M является максимальным тогда и только тогда, когда не существует M-увеличивающего пути.
18 Доказательство Если M-увеличивающий путь P существует, то симметрическая разность ME(P) будет паросочетанием большей мощности. Если существует паросочетание | M '| > | M |, то MM ' является вершинно- непересекающимся объединением путей и циклов, один из которых является увелличивающим.
19 Алгебраический подход Пусть G простой граф и пусть G' орграф, полученный из G произвольной ориентацией ребер. Для произвольного вектора x определим матрицу Татта.
20 Матрица Татта
21 Паросочетание и матрица Татта Теорема 8.8 (Tutte [1947] ) Граф G имеет совершенное паросочетание тогда и только тогда, когда det T G (x) 0.
22 Доказательство V(G) = {v 1,…,v n } Пусть S n множество всех перестановок {1,…, n}. Каждая перестановка π S' n соответствует орграфу H π = ( V(G),{(v i,v π(i) ): i = 1,…, n}), где ровно одна дуга входит в каждую вершину и ровно одна дуга выходит из нее. (H π Ğ').
23 Пример H π MHπHπ vivi vjvj π(i)=j, π(j)=i.
24 Доказательство Если существует перестановка π S' n такая что H π состоит только из четных циклов, то в G есть совершенное паросочетание. Пусть это не так. То есть для каждой π S' n существует нечетный цикл. Тогда r( π ) S' n такая, что H r( π ) получается из H π обратной ориентацией дуг в первом нечетном цикле (r(r( π )) = π).
25 vivi vjvj π(i)=j, π(j)=k, π(k)=i. vkvk vivi vjvj π(i)=k, π(j)=i, π(k)=j. vkvk HπHπ Hr(π)Hr(π) Пример H π и H r(π)
26 sgn(π)= sgn(r(π)) w1w1 w2w2 w 2k+1 HπHπ Hr(π)Hr(π) w1w1 w2w2 w 1,w 2,w 3, …, w 2k,w 2k+1 w 2,w 3,w 4, …, w 2k+1,w 1 w 1, w 2,w 3, …, w 2k,w 2k+1 w 2k+1,w 1,w 2, …, w 2k-1,w 2k Одна перестановка получается из другой за 2к транспозиций.
27 Доказательство Следовательно, два соответствующих этим перестановкам слагаемые в сумме взаимно сокращаются. Так как это выполняется для всех пар π и r(π), то det T G (x)0.
28 Вероятностный Алгоритм Следствие 8.9 (Lovász [1979] ) Пусть x = (x e ) e E(G) случайный вектор, каждая координата которого равномерно распределена в [0,1]. Тогда с вероятностью 1 ранг T G (x) в точности равен 2 (G).
29 Упражнение 8.1 Пусть G произвольный граф, M 1 и M 2 два максимальных паросочетания в нем. Доказать, что | M 1 | | M 2 |.
30 Упражнение 8.2 Доказать, что k-регулярный двудольный граф имеет k попарно не пересекающихся совершенных паросочетаний.
Еще похожие презентации в нашем архиве:
© 2024 MyShared Inc.
All rights reserved.