Universidade Federal do Rio Grande do Norte Centro de Cincias Exatas e da Terra Departamento de Informtica e Matemtica Aplicada

Emparelhamento
Slvia Maria Diniz Monteiro Maia Prof D.Sc. Elizabeth Ferreira Gouva Goldbarg
Natal - RN

Roteiro
Problema do casamento Problema de alocao (assignment problem)
Problema de alocao tima

Emparelhamento

Problema do Casamento
Dado um conjunto de homens e mulheres em que cada mulher conhece alguns homens. Quais seriam as condies para que toda mulher pudesse casar com um homem que ela conhece? Encontre o nmero mximo de mulheres as quais podem casar com um homem que conhecem.

Problema do Casamento

Problema do Casamento
1) Em que condies G tem um subgrafo 1-regular que contm todos os vrtices que representam mulheres?

2) Qual o tamanho mximo de um subgrafo 1-regular de G?

Problema de Alocao
Dado vrias vagas de trabalho e candidatos para um ou mais desses cargos, determine uma alocao candidado-vaga de maneira que o maior nmero possvel de vagas seja preenchido.

Problema de Alocao

Problema de Alocao tima

Alocao com maximizao de benefcios para empresa.
10

20

10 20
5

Emparelhamento
Um emparelhamento em um grafo G um subgrafo 1-regular de G, ou seja, um subgrafo induzido por uma coleo de arestas no adjacentes par a par.

e1
e2

y e3 z e4

e6 e5

e1 e2

e6 e5

e3
z e4 w

Emparelhamento mximo

Emparelhamento mximal

Emparelhamento
Emparelhamento mximo
Mxima cardinalidade. Maior nmero de arestas possvel.

Emparelhamento maximal
Nenhuma aresta pode ser adicionada e aumentar o emparelhamento.

Emparelhamento perfeito
Contm n/2 arestas. Abrange todos os vrtices do grafo. O grafo deve possuir um nmero par de vrtices. Nem todo grafo de ordem par tem emparelhamento perfeito.

um

Emparelhamento
Emparelhamento mximo ponderado em um grafo ponderado
Emparelhamento no qual a soma dos pesos das arestas mximo. No necessariamente coincide com o emparelhamento mximo do grafo.
1 x y 2 z 3 u

1
v x

1 y

2 z

3 u 1 w

1 v

1
w Emparelhamento ponderado mximo

Emparelhamento mximo

Emparelhamento
Problemas relacionados a emparelhamento
Encontrar emparelhamento mximo em um grafo bipartido. Encontrar emparelhamento mximo em um grafo qualquer. Encontrar emparelhamento ponderado mximo em um grafo bipartido ponderado. Encontrar emparelhamento ponderado mximo em um grafo ponderado qualquer.

Emparelhamento
Definies:
Aresta emparelhada: faz parte do emparelhamento. Aresta no-emparelhada: no faz parte do emparelhamento. Vrtice emparelhado: vrtice terminal de alguma aresta emparelhada. Vrtice simples: no vrtice terminal de nenhuma aresta emparelhada. Caminho alternante: Caminho cujas arestas so alternadamente emparelhadas e no-emparelhadas. Caminho de aumento: caminho alternante no-trivial que inicia e termina com um vrtice simples.

Emparelhamento
Caminho alternante: x, y, z, u, w Caminho de aumento: x, y, z, w, u, v
x e1 e2 z y u e6 e5 e4 w v

e3

Emparelhamento
Teorema Seja M1 e M2 emparelhamentos em um grafo G. Seja E o conjunto de arestas de G que pertence ou a M1 ou a M2, porm no a ambos. Sendo assim, E = (M1-M2) U (M2-M1). Seja H o subgrafo gerador com conjunto de arestas E(H) = E. Ento, cada componente de H se encontra em um dos casos a seguir: (a)Um vrtice isolado; (b)Um ciclo de cardinalidade par, cujas arestas esto alternadamente em M1 e M2; (c)Um caminho no-trivial cujas arestas esto alternadamente em M1 e M2 de tal forma que cada vrtice terminal do caminho simples com relao a M1 ou a M2 mas no a ambos.

Emparelhamento

Teorema de Berge
Um emparelhamento M em um grafo G mximo se, e somente se, no existe caminho de aumento, no que diz respeito a M, em G.

Emparelhamento
Teorema do Casamento de Hall
Uma condio necessria e suficiente que garante que cada mulher pode casar com um homem que ela conhece que cada subconjunto de k mulheres (1kn) conhea coletivamente pelo menos k homens.

Emparelhamento
Emparelhamento mximo em um grafo bipartido como um problema de fluxo em redes.
a b e f

c g

d h

Emparelhamento
Emparelhamento mximo em um grafo bipartido como um problema de fluxo em redes.
a b

c e h

d g f

Emparelhamento
Emparelhamento mximo em um grafo bipartido como um problema de fluxo em redes. 1 a b
1 1 1

1 1

c
e

d g

1 1

Complexidade: O(nm2) Ford-Fulkerson modificado por Edmond e Karp; O(n3) MPM.

Emparelhamento
Sejam
M: um emparelhamento no grafo G; P: um caminho de aumento em relao a M; M: conjunto de arestas de P pertencentes a M; M: E(P) M.

Faa M1 = (M-M) U M. M1 um emparelhamento para G com cardinalidade |M| + 1, obtido a partir do aumento de M ao longo de P. Todo vrtice simples em M1 tambm simples em M.

Emparelhamento
M: {e2, e5} P: (x, y, z, w, u, v) M: {e2, e5} M: {e1, e4, e6} M1 = (M M) U M = M = {e1, e4, e6}
x

e1
e2

y e3 z e4

e6 e5

e1 e2

y e3 z e4

e6
e5

Emparelhamento
Teorema Seja M um emparelhamento de um grafo G que no mximo e seja v um vrtice simples com relao a M. Seja M1 um emparelhamento obtido a partir do aumento de M ao longo de algum caminho de aumento. Se G contm um caminho de aumento com relao a M1 em que um dos vrtices terminais v, ento G contm um caminho de aumento com relao a M em que um dos vrtices terminais v.

Emparelhamento
Corolrio Seja M um emparelhamento de um grafo G. Suponha que M = M1, M2, ..., Mk uma sequncia de emparelhamentos de G tal que Mi (2ik) obtido aumentando Mi-1 ao longo de algum caminho de aumento. Suponha que v um vrtice simples com respeito a M de maneira que no existe um caminho de aumento comeando em v. Ento, G no contm um caminho de aumento com respeito a Mi (2ik) que tenha v como um vrtice terminal.

Emparelhamento
O procedimento de busca em largura pode ser empregado para gerar uma rvore alternante de G com raiz em um n simples v.
a b e f
g c b a e f d h

Caminho de aumento

c g

d h

G rvore de largura de G

Emparelhamento
Novo emparelhamento decorrente da rvore alternante.
a b e f a b e f

c
g

d
h

c g

d h

Emparelhamento
Algoritmo 1.Enquanto existir vrtice no emparelhado no examinado 2.Encontrar um vrtice no emparelhado 3.Construir a rvore alternante 4.Encontrar um caminho de aumento 5.Aumentar o emparelhamento Complexidade: O(nm)

Emparelhamento
Exemplo:
c

a c e

b d

Caminho de aumento
d