Teoria dos Grafos

Edson Prestes

Teoria dos Grafos

Complemento de Grafos
Mostre que para qualquer Grafo G com 6 pontos, G ou

possui um tringulo

Considere um vrtice v de V(G). Sem perda de generalidade, podemos assumir

v adjacente a outros trs vrtices u1, u2 e u3 em G. !
Se dois destes vrtices forem adjacentes, ento existir um triangulo formado
por estes dois e por v. !
Caso contrrio, estes trs vrtices no sero adjacentes entre si em G, mas
sero em

Teoria dos Grafos

Decomposio
Uma decomposio de um grafo uma lista de subgrafos tal que cada aresta
aparece exatamente uma nica vez em um nico subgrafo.

Teoria dos Grafos

Matching
Um matching em um grafo G um conjunto de arestas que no formam loops e
que no compartilham vrtices entre si. !
Um vrtice incidente s arestas de um matching M dito saturado por M. !
Um matching perfeito de G satura todos os vrtices de G.
Determine um matching para o grafo abaixo

um matching perfeito ?

Sim!

Teoria dos Grafos

Matching
O tamanho de um matching M igual a quantidade de arestas de M. !
Um matching M de um grafo G maximal se toda aresta que no participa de M
incidente a alguma aresta em M. !
Se M for o matching de maior cardinalidade de G ento ele chamado matching
mximo.

Teoria dos Grafos

Matching
Um caminho de alternante em um matching M um caminho cujas arestas
alternam entre aquelas que esto em M e aquelas que no esto em M. !
!

Um caminho alternante, cujos vrtices extremos no so saturados por M, um

caminho de aumento de M. !
!

Quando M possuir um caminho de aumento P podemos trocar as arestas deste

caminho, substituindo aquelas que no esto M pelas que esto. Isto ir
aumentar em uma (1) unidade o tamanho do matching. !
!

Uma observao importante que o matching mximo caracterizado pela

ausncia de caminhos de aumento.

Teoria dos Grafos

Matching
O matching do grafo abaixo, representado pelas arestas slidas, um matching
maximal ou mximo ?

Caminho de aumento

Maximal!

Teoria dos Grafos

Cobertura de Vrtices
Uma cobertura de vrtices de um grafo G um subconjunto, Q, de vrtices de
G que contm no mnimo um vrtice de cada aresta de G. !
Logo, podemos dizer que os vrtices em Q cobrem A(G).

Teoria dos Grafos

Cobertura de Vrtices
A relao entre os problemas de matching e da cobertura de vrtices
corresponde a uma relao min-max, quando tomados sob a mesma instncia
de um problema. !
!

Quando a resposta para a maximizao de um problema igual a resposta para

a minimizao do outro sobre a mesma instncia do problema ento sabemos
que o valor encontrado timo. Ou seja, obtendo um matching mximo e uma
cobertura mnima de vrtices de mesmo tamanho provamos que cada um deles
timo. !
!

O teorema que rege esta relao para os problemas de matching e de cobertura

o teorema de Knig-Egervary. Este teorema afirma que para grafos bipartidos
o tamanho do matching mximo igual ao tamanho da menor cobertura de
vrtices.

Teoria dos Grafos

Cobertura de Vrtices
Na figura abaixo, tanto a cardinalidade do matching (denotado pelas arestas
mais escuras) quanto a da cobertura de vrtices (ilustrado pelos vrtices cinzas)
a mesma e igual a 2.

Note que a cardinalidade da cobertura probe matching com mais de 2

arestas; e o tamanho do matching proibe coberturas com menos que 2
vrtices.

Teoria dos Grafos

Cobertura de Vrtices
Encontre a menor cobertura e o maior matching do grafo abaixo ?

A cardinalidade da cobertura igual a 5 enquanto que a cardinalidade do

matching igual a 5 vrtices.

Teoria dos Grafos

Grafos Eulerianos
O problema das pontes de Knigsberg o primeiro e mais famoso problema em
teoria dos grafos resolvido por Euler em 1736. Na cidade de Knigsberg
existiam sete pontes que cruzavam o rio Pregel estabelecendo ligaes entre
duas ilhas e entre as ilhas e as margens opostas do rio.!
!
!
!
!
!

O problema consiste em determinar se possvel ou no fazer um passeio pela

cidade comeando e terminando no mesmo lugar, cruzando cada ponte
exatamente uma nica vez. Se isto for possvel o grafo chamado grafo
Euleriano.

Teoria dos Grafos

Grafos Eulerianos

Este problema similar ao problema do carteiro chins. Neste ltimo, as

arestas correspondem a trechos de ruas que o carteiro deve percorrer para
entregar as cartas. !
!

O carteiro deve realizar a entrega das cartas de forma mais eficiente possvel,
ou seja, percorrendo o menor caminho.

Teoria dos Grafos

Grafos Eulerianos
Se o grafo G euleriano ento qualquer circuito euleriano timo, caso
contrrio algumas arestas sero percorridas mais de uma vez. !
!

Baseado na segunda situao, busca-se encontrar um percurso de peso mnimo

no grafo que modela o problema.!
!

Logo o nosso problema consiste em um problema de otimizao onde devemos

encontrar um circuito que contenha todas as arestas do grafo e cuja distncia
total seja mnima.

Teoria dos Grafos

Grafos Eulerianos
O teorema de Euler caracteriza uma classe de grafos e ao mesmo tempo mostra
como construir um circuito Euleriano.!
Teorema: Um grafo conexo G=(V,A) euleriano, sse, os graus de todos os ns
de G so pares.
Demonstrao: Suponha que o grafo seja euleriano. Ento G possui um
circuito (passeio fechado) euleriano. Se contarmos para cada n, a entrada e
sada dele, ao final de todo percurso teremos um conjunto de nmeros pares.!
Suponha agora que temos um grafo G onde todos os seus ns tm grau par.
Escolha um n i qualquer e comece a percorre-lo sem repetir arestas, at no
existirem arestas a serem percorridas, a partir do vrtice corrente. !
Como todos os ns tm grau par ento o ltimo n alcanado o n i. Se o
circuito C contiver todos as arestas de G ento a demonstrao est concluda.
Caso contrrio, existiro arestas no percorridas.

Teoria dos Grafos

Grafos Eulerianos
Como o grafo conexo ento existe um caminho entre qualquer par de
vrtices. Logo, existe algum caminho entre algum vrtice do circuito at uma
aresta q no includa em C. !
Imagine que este caminho seja formado pela aresta (j,k), onde j pertence ao
circuito C e k pertence a aresta q. !
Se isto ocorrer devemos percorrer o grafo a partir de j visitando todas as novas
arestas sem acessar nenhuma aresta em C. Este novo circuito C' pode ser unido
ao circuito C formando um nico circuito. Agora basta percorrer C a partir de
j e quando retornar a j comear a percorrer C.!
Repetimos este processo at que todas as arestas tenham sido visitadas. No
final teremos um nico circuito formado pela unio de vrios circuitos. O
circuito resultante chamado euleriano, assim como o grafo.

Teoria dos Grafos

Grafos Eulerianos
O grafo abaixo euleriano? Se sim decomponha em ciclos.

Teoria dos Grafos

Grafos Eulerianos
Baseado nesta idia podemos afirmar que todo grafo par (cujos vrtices possui
grau par) pode ser decomposto em circuitos. !
Se removermos a condio de que o circuito tem que ser fechado ento temos
um grafo semi-euleriano.
O grafo abaixo euleriano ? Se sim determine um circuito euleriano.

Euleriano

Teoria dos Grafos

Grafos Eulerianos
O grafo abaixo euleriano ? Se sim determine um circuito euleriano. !
Caso contrrio se o grafo for semi-euleriano, determine um passeio que visite !
todos as arestas do grafo

semi-euleriano
Um grafo semi-euleriano possui 2 vrtices com grau impar. Um deles o
ponto de partida e o outro o ponto de chegada.

Teoria dos Grafos

Grafos Hamiltonianos
Um grafo G chamado Hamiltoniano quando possui um ciclo que inclui todos !
os vrtices de G, ou seja, neste ciclo cada vrtice aparece uma nica vez, com !
exceo do vrtice de partida.
O grafo abaixo hamiltoniano? Se sim, encontre o ciclo hamiltoniano.

Teoria dos Grafos

Grafos Hamiltonianos
O problema do clculo do ciclo hamiltoniano, embora semelhante ao problema
do clculo do circuito euleriano, muito mais complexo pois no so
conhecidas todas as condies necessrias e suficientes para que um grafo
genrico contenha um ciclo hamiltoniano nem tampouco mtodos eficientes
para construir tal ciclo. !
!
Este problema est intimamente relacionado ao problema do caixeiro viajante,
o qual consiste em encontrar um caminho que passe por todas as cidades uma
nica vez e retorne ao ponto de partida escolhendo para isso um caminho de
custo mnimo. !
!
Este caminho consiste em um ciclo hamiltoniano de custo mnimo, onde a
soma dos custos das arestas pertencentes ao ciclo mnima.

Teoria dos Grafos

Grafos Hamiltonianos
Verifique se o grafo abaixo Hamiltoniano. Se for, mostre um ciclo
hamiltoniano.

No

Teoria dos Grafos

Grafos Hamiltonianos
Verifique se o grafo abaixo Hamiltoniano. Se for, mostre um ciclo
hamiltoniano.

Hamiltoniano

Teoria dos Grafos

Grafos Hamiltonianos
Se o grafo no contiver um ciclo hamiltoniano, mas contiver um caminho entre
dois vrtices de forma que cada vrtice do grafo seja visitado uma nica vez,
ento este grafo chamado semi-hamiltoniano.
O grafo abaixo hamiltoniano ? semi-hamiltoniano, euleriano, semi-euleriano?

Hamiltoniano e semi-euleriano

semi-hamiltoniano e semi-euleriano

Teoria dos Grafos

Grafos Hamiltonianos
Traga na prxima aula as condies necessrias e suficientes para que
um grafo seja hamiltoniano (Olhar livro do Harary ou West).!