Ciclos Eulerianos

Ciclos Hamiltonianos

Notas Teoria dos Grafos - BCC 204

Haroldo Gambini Santos

Universidade Federal de Ouro Preto - UFOP

20 de novembro de 2011

Teoria dos Grafos - BCC 204 1 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Novamente: Pontes de Knigsberg

m1

Notas

i1

i2

m2
Teoria dos Grafos - BCC 204 2 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Novamente: Pontes de Knigsberg

Notas

Euler: Existe percurso fechado somente se no houverem graus mpares no grafo.

Teoria dos Grafos - BCC 204 3 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

p-grafo

Notas

Grafo onde existem p arestas entre dois vrtices quaisquer.

Teoria dos Grafos - BCC 204 4 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Um Lema

Notas

Lema : todo p-grafo G = (V, E) conexo no qual se tenha d(v) 2 para todo v V contm um ciclo. Demonstrao : se p > 1, G possui arestas mltiplas e o teorema ca provado; seno, basta iniciar um percurso a partir de um vrtice qualquer: todo vrtice atingido ou um novo vrtice ou um vrtice j visitado e desse modo obtm-se um ciclo.

Teoria dos Grafos - BCC 204 5 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Grafos Eulerianos

Notas

Percurso Euleriano Percurso fechado que utilize todas as arestas de um grafo, uma vez e uma s. Grafo Euleriano Grafo que possua esse percurso.

Teoria dos Grafos - BCC 204 6 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Euler-Hierholzer
Lema Um grafo G = (V, E) no orientado e conexo possui um ciclo euleriano se e somente se todos os seus vrtices tiverem grau par. Demonstrao Seja G = (V, E) euleriano e seja um ciclo euleriano em G. Ao percorremos esse ciclo a partir de um vrtice dado, cada vez que atravessarmos um vrtice utilizaremos duas arestas, uma na chegada e outra na sada. Logo, o grau de cada vrtice deve ser obrigatoriamente par. Por induo, sobre o nmero de arestas: o teorema vlido, por vacuidade, quando m = 0.

Notas

Teoria dos Grafos - BCC 204 7 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Algoritmo de Fleury

Notas

Passos
1 2

inicie em um vrtice qualquer a cada passo remova do grafo uma aresta que no seja uma ponte e aumente o ciclo construdo

Complexidade O(|E|) remoes de arestas e O(|E|) para deteco de pontes (algoritmo ingnuo), no nal: O(|E|2 )

Teoria dos Grafos - BCC 204 8 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Algoritmo de Hierholzer
Passos
1 2

Notas

selecione um vrtice inicial v e caminhe at chegar novamente a v note que com vrtices de grau par no se car preso em um outro vrtice intermedirio tem-se um percurso fechado formado, que pode no incluir todas as arestas do grafo enquanto houver um vrtice v que pertence ao percurso corrente mas que tm arestas adjacentes no exploradas ainda inicie outro percurso em v usando arestas ainda no exploradas at retornar novamente a v

Complexidade O(|E|) Com as estruturas de dados apropriadas.

Teoria dos Grafos - BCC 204 9 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Grafos Unicursais
Denio Um grafo G dito unicursal se ele possuir um percurso aberto de Euler, ou seja, se possvel percorrer todas as arestas de G apenas 1 vez sem retornar ao vrtice inicial.
a b e d

Notas

Percurso aberto de Euler: a, c, d, a, b, d, e, b Propriedade Adicionando 1 aresta a um Grafo Unicursal, conectando o vrtice inicial e nal do caminho, obtemos um Grafo Euleriano.
Teoria dos Grafos - BCC 204 10 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Grafos Unicursais

Notas

Um Grafo Unicursal se e somente se ele possuir exatamente 2 vrtices de grau mpar. Teorema Em um grafo conexo G com exatamente 2k vrtices de grau mpar, existem k subgrafos disjuntos de arestas, todos eles unicursais, de maneira que juntos eles contm todas as arestas de G.

Teoria dos Grafos - BCC 204 11 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Exerccio

Notas

Quais dos grafos abaixos so Unicursais ? Encontre o percurso Euleriano quando posssvel.

Teoria dos Grafos - BCC 204 12 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

O Problema do Carteiro Chins

Introduo Considere servios como coleta de lixo ou correios. Os cruzamentos so vrtices do grafo e as arestas suas ligaes. Cada ligao tem um custo de percorrimento associado que representa sua distncia (ou tempo). Deve-se percorrer todas as ligaes e retornar ao ponto inicial com custo mnimo . Aplicaes
coleta de lixo vendas em domiclio entrega do correio ...
Teoria dos Grafos - BCC 204 13 / 26

Notas

Ciclos Eulerianos

Ciclos Hamiltonianos

Carteiro Chins

Notas

Resoluo A soluo dever consistir em um itinerrio nico, de modo que caso o grafo no seja Euleriano havero ligaes que sero percorridas mais de uma vez. O processo de soluo, no caso de trabalharmos com um grafo no euleriano, adiciona arestas at que se obtenha um grafo euleriano.

Teoria dos Grafos - BCC 204 14 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Carteiro Chins
Para um grafo no orientado e conexo, pode-se usar a seguinte abordagem:
1 2 3 4

Notas

vericar se G Euleriano; caso positivo v para 6 determinar I, o conjunto de vrtices com grau mpar em G determinar as distncias dij para cada (i, j) I seja D(I) a matriz de distncias obtida, faa dii = e execute o algoritmo hngaro para cada alocao (k, l) feira pelo alg. hngaro adicione a aresta (k, l) de valor dkl aplicar o algoritmo de busca de percursos eulerianos

Teoria dos Grafos - BCC 204 15 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Grafo Hamiltoniano

Notas

Denio Um grafo Hamiltoniano um grafo que possui um percurso fechado que inclui todos os vrtices, sem repeties.

Teoria dos Grafos - BCC 204 16 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Euleriano? Hamiltoniano?

(1/2)

Notas

Teoria dos Grafos - BCC 204 17 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Euleriano? Hamiltoniano?

(2/2)

Notas

Teoria dos Grafos - BCC 204 18 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Ciclos
Todo grafo hamiltoniano com n-vrtices constitudo por um Cn e mais algumas arestas.

Notas

Teoria dos Grafos - BCC 204 19 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Todo Grafo 2-conexo Hamiltoniano ?

Notas

Teoria dos Grafos - BCC 204 20 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Grafos Hamiltonianos

Notas

Ao contrrio dos grafos Eulerianos, no se conhece uma condio necessria e suciente trivial para a existncia de um percurso hamiltoniano em um grafo. Karp, 1972 Encontrar um Ciclo/Circuito Hamiltoniano em um grafo um problema NP-Completo.

Teoria dos Grafos - BCC 204 21 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Ciclos Hamiltonianos

Notas

Algumas condies sucientes para sua existncia Dirac um grafo no qual d(v) n/2 para todo v V hamiltoniano; Ore um grafo no qual se tenha d(v) + d(w) n para todo par (v, w) de vrtices no adjacentes hamiltoniano;

Teoria dos Grafos - BCC 204 22 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

O Fecho Hamiltoniano - (G)

Construo O Fecho Hamiltoniano de um grafo G (G) o grafo obtido a partir de G do seguinte modo: sucessivamente so adicionadas arestas entre pares (u, v) no adjacentes at que em algum momento temos d(u) + d(v) n. Teorema Bondy & Chvtal : Se (G) = Kn ento G ser hamiltoniano. outro resultado: um grafo ser hamiltoniano se e somente se (G) hamiltoniano.
Tente usar esse resultado para o C5
Teoria dos Grafos - BCC 204 23 / 26

Notas

Ciclos Eulerianos

Ciclos Hamiltonianos

Ciclos Hamiltonianos: Uso dos Teoremas

Notas

Indique quais satisfazem Dirac, Ore e Bondy & Chvtal

Teoria dos Grafos - BCC 204 24 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Exerccios

Notas

Mostre que um grafo Euleriano no possui uma ponte (aresta que se removida desconecta o grafo). Mostre que os grafos correspondentes aos 5 slidos platnicos so hamiltonianos. Quais so eulerianos ?

Teoria dos Grafos - BCC 204 25 / 26

Ciclos Eulerianos

Ciclos Hamiltonianos

Exerccio
Mostre que o grafo de Petersen no Hamiltoniano.

Notas

Teoria dos Grafos - BCC 204 26 / 26

Notas