Anda di halaman 1dari 15

Universidade Federal do Amazonas

Instituto de Computao

Programa de Ps-Graduao em Informtica


Bacharelado em Cincia da Computao

Introduo a Teoria dos Grafos

Parte II Matching
Emparelhamento em Grafos
Rosiane de Freitas Rodrigues
rosiane@icomp.ufam.edu.br

Dezembro de 2014
Manaus-AM
Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


Dado um grafo G, um subconjunto M de arestas
de G, M E, tal que seus elementos no so
adjacentes 2 a 2 dito um emparelhamento
de G.

Emparelhamento em um grafo arbitrrio.

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


Um emparelhamento (matching) em um grafo simples G
um conjunto de arestas que no compartilham extremos
(vrtices).
Os vrtices incidentes s arestas de um emparelhamento M
so ditas serem saturadas por M (as outras, ento, so nosaturadas).

Saturadas
No-saturadas

emparelhamento em um
grafo bipartido

Intro Teoria dos Grafos 2014/02

emparelhamento em um
grafo arbitrrio

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


Emparelhamento Perfeito (perfect matching)
|M| = n/2: cada vrtice est no extremo de uma aresta no
emparelhamento em M.
OU
Um emparelhamento perfeito em G aquele que satura todos
os vertices!!

emparelhamento
perfeito

emparelhamento
mximo
(no perfeito)

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


EMPARELHAMENTO MXIMO E MAXIMAL
Emparelhamento Maximal (maximal matching)
No existe nenhuma aresta e E, com M {e} formando
tambm um emparelhamento ( o maior emparelhamento
local).

Emparelhamento Mximo (maximum matching)


Emparelhamento com o maior conjunto |M| possvel no grafo
(maior emparelhamento do grafo).

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


EMPARELHAMENTO MXIMO E MAXIMAL
O menor grafo que contm um emparelhamento
maximal que no um emparelhamento mximo
o P4.
Se a aresta do meio for selecionada para M, nenhuma
outra pode ser adicionada; mas, M mximo contm 2
arestas.

Grafo caminho P4

emparelhamento maximal
Intro Teoria dos Grafos 2014/02

emparelhamento maximal e mximo

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


EMPARELHAMENTO PONDERADO (COM CUSTOS)
Cada aresta tem um valor (peso) associado e desejase um emparelhamento perfeito de custo mnimo.
Obs: Tal como o problema de encontrar um emparelhamento mximo
em um grafo no-ponderado, a verso com pesos tambm est em P
(possui soluo polinomial), mas sua resoluo no trivial.

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


CAMINHO ALTERNANTE e AUMENTANTE
(alternating path & augmenting path)
Dado um emparelhamento ou matching M:
um caminho M-alternante um caminho que alterna entre
arestas em M e arestas fora de M.
um caminho M-alternante que um caminho cujos extremos
so no-saturados por M, um caminho M-aumentante.

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


Teorema: Um emparelhamento M em um grafo G um

emparelhamento mximo em G se e somente se G no tiver


um caminho M-aumentante.

Prova:
Usando a contrapositiva de cada direo: G tem um matching maior
do que M sse G tiver um caminho M-aumentante.
(suficiente) Pode ser observado que um caminho M-aumentante
pode ser usado para gerar um emparelhamento maior do que M.

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


Teorema: Um emparelhamento M em um grafo G um

emparelhamento mximo em G se e somente se G no tiver


um caminho M-aumentante.

Prova:
(necessria)

?? PROVAR!!

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


Complexidade dos Problemas
Dado um grafo G, achar:

Maximal matching
Fcil, em P (algoritmo guloso).

Maximum matching
Tempo polinomial em P (no trivial).
Caso particular importante: grafos bipartidos (mais fcil)

Perfect matching
Caso especial do matching mximo.
Teorema para grafos bipartidos regulares e algoritmo de
Schrijver.
Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


Aplicaes
Atribuio de tarefas a recursos:
Cargos a pessoas (habilidades).
Professores a turmas.
Tripulao a voos.
Jogos a local.

Modelo em grafos para vrios tipos de problemas de


otimizao:
Assignment problems
Timetabling problems
Scheduling problems

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


Aplicaes
Combinando objetos em
movimento!
Objetos vistos em dois momentos
sucessivos de tempo.
Qual objeto veio de onde?

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


GRAFOS BIPARTIDOS
Determinar o emparelhamento mximo em grafos
bipartidos.
Modelar como um PROBLEMA DE FLUXO EM REDES e
resolv-lo (algoritmos para fluxo mximo).
Capacidades unitrias

s
origem ou fonte
(source)
Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

t
destino
(target)

Profa. Rosiane de Freitas

Emparelhamento em Grafos (Matching)


GRAFOS BIPARTIDOS
Determinar o emparelhamento mximo em grafos
bipartidos
Modelar como um PROBLEMA DE FLUXO EM REDES e
resolv-lo (algoritmos p/ determinar fluxo mximo).

PRXIMO PERODO!!
Introduo
OTIMIZAO COMBINATRIA

Intro Teoria dos Grafos 2014/02

Emparelhamento em Grafos (matching)

Profa. Rosiane de Freitas