Notas de leitura em Teoria dos Grafos: Emparelhamentos

Walner Mendonca dos Santos

Universidade Federal do Cear a

Abstract Minhas notas do livro Graph Theory, Diestel. As notacoes s o as mesmas do a Diestel. Keywords: Teoria dos grafos.

1. Emparelhamento em grafos bipartido Teorema 1.1 (K nig 1931). A cardinalidade m xima de um emparelhamento o a em um grafo bipartido G e igual a mnima cardinalidade de uma cobertura dos ` v rtices de suas arestas. e Demonstra ao. Seja M um emparelhamento em G de cardinalidade m xima. De c a todas as arestas em M, vamos escolher uma de suas extremidades: sua extremidade em B se algum caminho altertante termina neste v rtice, e sua extremidade e em A, caso o contr rio (Figura 1). Iremos provar que o conjunto U desses |M| a v rtices cobrem E; uma vez que qualquer v rtice cobertor de E deve cobrir M, e e n o pode haver nenhum com menos do que |M| v rtices, e ent o o teorema sea e a guir . a Seja ab E uma aresta; mostremos que ou a ou b residem em U. Se ab M, isto seguir pela denicao de U, ent o assuminos que ab M. Uma vez que a a M e um emparelhamento maximal, ele cont m uma aresta a b com a = a ou e b = b . De fato, podemos assumir que a = a : caso a n o seja emparelh vel (e a a portanto b = b ), ent o ab e um caminho alternante e assim a extremidade de a a b M escolhida para U foi o v rtice b = b. Agora se a = a n o est em e a a U, ent o b U, e algum caminho alternante P termina em b . Mas ent o existe a a
Aluno de bacharelado em Matem tica pela Universidade Federal do Cear . a a Email address: walner@alu.ufc.br (Walner Mendonca dos Santos) Preprint submitted to Combinatorial Theory 23 de outubro de 2012

Figura 1: O v rtice cobertor U. e

tamb m um caminho alternante P terminando em b: ou P := Pb (se b P) e ou P := Pb a b. Pela maximalidade de M, contudo, P n o e um caminho de a aumento. Ent o b deve ser emparelh vel, e foi escolhido para U a partir da aresta a a de M contendo-lhe. Teorema 1.2 (Hall 1935). O grafo bipartido G cont m um emparelhamento de e A se, e somente se, |N(S )| |S |, S A. (1) Iremos d tr s provas, uma primeira natural e algortmica, uma segunda ina e dutiva e uma terceira elegante. Primeira prova. Considere um emparelhamento M de G que deixa um v rtice e de A n o emparelhado; iremos construir um caminho de aumento com respeito a a M. Seja a0 , b1 , a1 , b2 , a2 , . . . uma sequ ncia maximal de v rtices distintos ai A e e e bi B satisfazendo as seguintes condicoes para todo i 1 (Figura 2): a (i) a0 e n o emparelhado; (ii) bi e adjacente a algum v rtice a f (i) {a0 , . . . , ai1 }; e (iii) ai bi M.

Figura 2: O v rtice cobertor U. e

Pela condicao de casamento (1), nossa sequ ncia n o pode terminar em um e a v rtice de A: os i v rtices a0 , . . . , ai1 juntos possuem pelo menos i vizinhos e e em B, ent o podemos sempre encontrar um novo v rtice bi a e b1 , . . . , bi1 que satisfaz (ii). Seja bk B o ultimo v rtice da sequ ncia. Por (i)(iii), e e P := bk a f (k) b f (k) a f 2 (k) b f 2 (k) a f 3 (k) a f r (k) com f r (k) = 0, e um caminho alternante. O que e que nos impede de extender nossa sequ ncia um pouco mais? Se e bk e emparelhado, digamos a a, podemos de fato extend -la fazendo ak := a, a e menos que a = ai , com 0 < i < k, neste caso (iii) dever implicar bk = bi com a a uma contradicao. Ent o bk e n o emparelhado, e portanto P e um caminho de a aumento entre a0 e bk . Segunda prova. Aplicamos inducao sobre |A|. Para |A| = 1 a armacao e verda deira. Agora seja |A| 2, e assuma que a condicao de casamento (1) e suciente para a exist ncia de um emparelhamento de A quando |A| e pequeno. e Se |N(S )| |S | + 1 para todo conjunto S A, n s pegamos uma aresta o ab G e consideramos o grafo G := G {a, b}. Ent o todo conjunto n o vazio a a S A \ {a} satisfaz |NG (S )| |NG (S )| 1 |S |, ent o pela hip tese de inducao G cont m um emparelhamento de A \ {a}. Junto a o e com a aresta ab, ir o produzir um emparelhamento de A em G. a Suponha agora que A tem um subconjunto pr prio n o-vazio A com |B | = o a |A | para B := N(A ). Pela hip tese de inducao, G := G[A B ] cont m o e um emparelhamento de A . Mas G G satisfazendo a condicao de casamento (1) tamb m: para qualquer conjunto S A \ A com |NGG (S )| < |S | dever ter e a |NG (S A )| < |S A |, contrariando a nossa suposicao. Novamente, pela inducao, GG cont m um emparelhamento de A\A . Juntando os dois emparelhamentos, e obtemos um emparelhamento de A em G. Terceira prova. Para a nossa terceira prova, consideremos H como um subgrafo de G satisfazendo a condicao de casamento (1) e sendo aresta-minimal em relacao a esta propriedade. Note que dH (a) 1 para todo a A, pela condicao de casamento com S = {a}. Mostremos que dH (a) = 1 para todo a A. As arestas de H ent o formam um emparelhamento de A, uma vez que pela condicao de a casamento nenhum par de aresta pode compartilhar um v rtice em B. e Suponha que a tenha vizinhos distintos b1 , b2 em H. Pela denicao de H, os grafos H ab1 e H ab2 violam a condicao de casamento. Ent o para i = 1, 2 a 3

existe um conjunto Ai A contendo a tal que |Ai | > |Bi | para Bi := NHabi (Ai ). Uma vez que b1 B2 e b2 B1 , obtemos |NH (A1 A2 \ {a})| = = = |B1 B2 | |B1 | + |B2 | |B1 B2 | |B1 | + |B2 | |NH (A1 A2 )| |A1 | 1 + |A2 | 1 |A1 A2 | |A1 A2 \ {a}| 1.

Portanto H viola a condicao de casamento, contrariando a suposicao. Corol rio 1.1. Se o grafo bipartido G e k-regular com k 1, ent o G tem um a a 1-fator. Demonstra ao. Se G e k-regular, ent o claramente |A| = |B|; assim e suciente c a mostrar pelo Teorema 1.2 que G cont m um emparelhamento de A. Agora todo e conjunto S A e ligado a N(S ) pelo um total de k|S | arestas, e estas se encontram entre as k|N(S )| arestas de G incidente com N(S ). Portanto k|S | k|N(S )|, ent o a G dever de fato satisfazer a condicao de casamento (1). a Teorema 1.3 (Gale & Shapley 1962). Para todo conjunto de prefer ncias, G e possue um emparelhamento est vel. a Corol rio 1.2 (Petersen 1891). Todo grafo regular de grau par positivo possue a um 2-fator. Demonstra ao. Seja G qualquer grafo 2k-regular (k 1), sem perda de gec neralidade, conexo. Pelo Teorema de Euler, G cont m uma trilha Euleriana e v0 e0 . . . el1 vl , com vl = v0 . Trocamos todos os v rtices v por uma par (v , v+ ), e e toda aresta ei = vi vi+1 por uma aresta v+ v (Figura 3). O grafo bipartido resulti i+1 tante G e k-regular, ent o pelo Corol rio 1.1 ele cont m um 1-fator. Colapsando a a e todos os pares de v rtices (v , v+ ) de volta em um v rtice unico v, tornaremos e e este 1-fator de G em um 2-fator de G.

2. Emparelhamento em grafos geral Teorema 2.1 (Tutte 1947). Um grafo G possue um 1-fator se, e somente se, q(G S ) |S |, 4 S V(G). (2)

Figura 3: Divis o de v rtices na prova do Corol rio 1.2 a e a

Primeira prova. Seja G = (V, E) uma grafo sem um 1-fator. Nossa tarefa e encontrar um mal conjunto S V, um que viole a condicao de Tutte (2). Podemos assumir que G e aresta-maximal sem um 1-fator. De fato, se G e obtido de G por uma adicao de arestas e S V e mal para G , ent o S tamb m a e ser mal para G: qualquer componente mpar de G S e a uni o de componentes a a de G S e uma delas dever ser novamente mpar. a Com o que G se parece? Claramente, se G cont m um mal conjunto S , ent o, e a pela sua aresta-maximalidade e diante da imediata implicacao do teorema, todas as componentes de G S s o completas e todo v rtice s S e a e adjacente a todos os v rtices de G s.(*) e Mas tamb m reciprocamente, se um conjunto S V satisfaz (*), ent o ou S ou o e a conjunto vazio dever ser mal: se S n o for mal, podemos juntar as componentes a a mpares de GS disjuntas a S e parear todos os v rtices remanescentes a menos e que |G| seja mpar, neste caso ser mal. a Ent o e suciente provar que G possue um conjuto S de v rtices satisfazendo a e (*). Seja S o conjunto de v rtices que s o adjcentes a todos os outros v rtices. Se e a e este conjunto n o satiszer (*), ent o alguma componente de G S ter v rtices a a a e n o-adjacentes, digamos a e a . Seja a, b, c os primeiros tr s v rtices sobre um a e e a a caminho curto nesta componente; ent o ab, bc E, mas ac E. Uma vez a que b S , existe um v rtice d V tal que bd E. Pela maximalidade de G, e existe um emparelhamento M1 de V em G + ac e um emparelhamento M2 de V em G + bd. Seja P = d . . . v um caminho maximal em G comecando em d com uma aresta de M1 e contendo alternativamente arestas de M1 e M2 (Figura 4). Se a ultima aresta de P reside em M1 , ent o v = b, uma vez que caso contr rio, a a poderemos continuar P. Vamos, ent o, denir C := P + bd. Se a ultima aresta a de P reside em M2 , ent o pela maximalidade de P, a M1 -aresta em v deve ser ac, a ent o v {a, c}; ent o seja C o ciclo dPvbd. Em cada caso, C e uma ciclo par a a com todas as outras aretas em M2 e cuja a unica aresta que n o est em E e bd. a a 5

Figura 4: Derivando uma contradicao, se S n o satisfaz (*). a

Trocando em M2 suas arestas sobre C com as arestas de C M2 , obtemos um emparelhamento de V contido em E, uma contradicao. Segunda prova. Seja G um grafo o qual n o possue um emparelhamento pera feito. Considere um emparelhamento m ximo M de G, e denote por U o cona junto de v rtices em G n o coberto por M . Prova-se que G possue uma barreira, e a isto e, um subconjunto B de V tal que q(G B) |B| = |U|. Uma vez que M n o a a e perfeito, |U| e n o-nulo. Portanto q(G B) = |B| + |U| |B| + 1 e a condicao de Tutte falha para o conjunto S := B. Corol rio 2.1 (Petersen 1891). Todo grafo c bico sem pontes possue um 1-fator. a u Demonstra ao. Mostremos que qualquer grafo G c bico sem ponte satisfaz a c u condicao de Tutte. Seja S V(G) dado, e considere uma componente mpar C u de G S . Uma vez que G e c bico, o grau (em G) de v rtices em C somam a e um n mero mpar, mas somente uma parte par desta soma vem das arestas de C. u Ent o G tem um n mero mpar de S C arestas, e portanto tem pelo menos 3 a u tais arestas (uma vez que G n o tem ponte). O n mero total de arestas entre S e a u G S assim e pelo menos 3q(G S ). Mas e tamb m no m ximo 3|S |, porque G e a u e c bico. Uma vez que q(G S ) |S |, como requerido. Denicao 2.1 (Fator-crtico). Um grafo G e dito fator-crtico se G e G v tem um 1-fator para todo v rtice v G. Um fator crtico dever ter ordem mpar. e a Denicao 2.2 (Emparelh vel). Dado um grafo G = (V, E), dizemos que um con a junto de v rtices S V e emparelh vel a CGS se o grafo bipartido GS , o qual e a decorre de G contraindo as componentes C CGS a um unico v rtice e dele e tando todas as arestas dentro de S , cont m um emparelhamento de S . Formale mente, GS e o grafo com conjunto de v rtices S CGS e com o conjunto de e arestas {sC | c C : sc E} (veja Figura 5). 6

Figura 5: Construcao de GS .

Teorema 2.2. Todo grafo G = (V, E) cont m um conjunto de v rtices S com as e e seguintes duas propriedades: (i) S e emparelh vel a CGS ; a (ii) Toda componente de G S e um fator-crtico. Dado qualquer tal conjunto S , o grafo G cont m um 1-fator se, e somente se, e |S | = |CGS |. Para qualquer grafo G dado, a armacao do Teorema de Tutte segue facil mente deste resultado. De fato, por (i) e (ii) n s temos |S | |CGS | = q(G S ) o (uma vez que os fatores-crticos t m ordem mpar); portanto a condicao de Tutte e q(G S ) |S | implica |S | = q(G S ) = |CGS |, e a exist ncia de um 1-fator e segue da ultima armacao do teorema 2.2. Prova do Teorema 2.2. Note primiero que a ultima armacao do teorema segue de uma vez das armacoes (i) e (ii): se G tem um 1-fator, temos q(G S ) |S | e uma vez que |S | = |CGS | como descutido acima; reciprocamente se |S | = |CGS |, ent o a exist ncia de um 1-fator segue imediatamente de (i) e (ii). a e Agora provemos a exist ncia de um conjunto S satisfaendo (i) e (ii), pela e inducao sobre |G|. Para |G| = 0 podemos pegar S = . Agora seja G = (V, E) dado com |G| > 0 e assuma que armacao se assegura para grafos com menos v rtices. e Considere o conjunto T V para o qual a condicao de Tutte falha da pior maneira possvel, i.e., para o qual d(T ) := dG (T ) := q(G T ) |T | a e m ximo, e seja S tal conjunto T de maior tamanho. Note que d(S ) d() 0. Primeiro mostramos que toda componente C CGS =: C e mpar. Se |C| e par, pegue um v rtice c C, e considere T := S {c}. Como C c possue e 7

ordem mpar ele ter pelo menos uma componente mpar, o qual tamb m e uma a e componente de G T . Portanto q(G T ) q(G S ) + 1 enquanto |T | = |S | + 1,

ent o d(T ) d(S ) contrariando a escolha de S . a No que segue, provemos a armacao (ii), que todo C C e um fator-crtico. Suponha a exist ncia de C C e c C tal que C := C c n o possue um 1-fator. e a Pela hip tese de inducao (e o fato que, como mostramos anteriormente, para G o xo nosso teorema implica na condicao de Tutte) existe um conjunto S V(C ) com q(C S ) > |S |. Uma vez que |C| e mpar, os n meros q(C S ) e |S | s o ou ambos pares u a ou ambos mpares, ent o eles n o podem diferir por exatamente uma unidade. a a Podemos portanto melhorar a desigualdade acima para q(C S ) |S | + 2, resultando dC (S ) 2. Ent o para T := S {c} S temos a d(T ) d(S ) 1 1 + dC (S ) d(S ), onde o primeiro 1 vem da perda de C como uma componente mpar e o se gundo vem da inclus o de c no conjunto T . Como antes, isto contradiz a escolha a de S . Falta mostrar que S e emparelh vel a CGS . Se n o, ent o pelo teorema a a a do casamento existe um conjunto S S que envia aresta para menos do que |S | componentes em C. Uma vez que outras componentes em C s o tamb m a e componentes de G (S \ S ), o conjunto T = S \ S satisfaz d(T ) > d(S ), contrariando a escolha de S . Refer ncias e
[1] Diestel, R. Graph theory. Graduate Texts in Mathematics, Third Ed., Springer-Verlag, 2005.