2010/1 Teoria dos Grafos (INF 5037/INF2781) Grafos Hamiltonianos

2010/1 Teoria dos Grafos (INF 5037/INF2781) Ciclo Hamiltoniano Um caminho que contém todos os vértices de G é dito um caminho hamiltoniano

2010/1 Teoria dos Grafos (INF 5037/INF2781) Caminho e Ciclo Hamiltoniano Um caminho que contém todos os vértices de G é dito um caminho hamiltoniano Um ciclo hamiltoniano é um ciclo que contém todos os vértices de G Nem todo grafo conexo possui um ciclo hamiltoniano

2010/1 Teoria dos Grafos (INF 5037/INF2781) Questão Existe uma condição necessária e suficiente para um grafo conexo possuir um ciclo hamiltoniano?

2010/1 Teoria dos Grafos (INF 5037/INF2781) Teorema Se G é hamiltoniano então, para todo subconjunto não-vazio e próprio S de V, (G-S) |S|

2010/1 Teoria dos Grafos (INF 5037/INF2781) Exemplo n = 9 S = {s 1, s 2, s 3 } s1s1 s1s1 s1s1 s1s1 s1s1 s2s2 s3s3

2010/1 Teoria dos Grafos (INF 5037/INF2781) Grafo de Petersen

2010/1 Teoria dos Grafos (INF 5037/INF2781) Teorema Se G é um grafo simples com n 3 e n/2, então G é hamiltoniano a d c b

2010/1 Teoria dos Grafos (INF 5037/INF2781) Prova Seja G um grafo simples e maximal, com n 3 e n/2 e não hamiltoniano. Ou seja, não existe nenhum outro grafo com mais arestas do que ele que não seja hamiltoniano Sejam u e v vértices não adjacentes em G Como G é maximal, G + {u,v} é hamiltoniano A aresta {u,v} pode ser adicionada a G pois sabemos que G não é completo, pois por suposição, n 3 e G é não hamiltoniano (todo grafo completo possui um ciclo hamiltoniano) Como G é não hamiltoniano, todo ciclo hamiltoniano de G contém a aresta {u,v}

2010/1 Teoria dos Grafos (INF 5037/INF2781) Prova Logo existe o caminho hamiltoniano em G descrito por u = v 1 v 2 v 3...v n-1 v n = v O grafo G pode conter mais arestas do que aquelas pertencentes ao caminho (pois n/2) Sejam S = {v i | uv i+1 E} e T = {v i | v i v E} v n S e v n T v n S T |S T| < n (I) Além disso, |S T| = 0 (senão haveria um ciclo hamiltoniano em G) (II) De (I) e (II): d(u) + d(v) = |S|+|T| = |S T| + |S T| < n+0 = n Daí, existe algum vértice em G cujo grau é menor que n/2 (contradição) Logo G é hamiltoniano

2010/1 Teoria dos Grafos (INF 5037/INF2781) Teorema Número de ciclos hamiltonianos com arestas disjuntas em um grafo: Em um grafo completo com n vértices, existem (n-1)/2 ciclos hamiltonianos com arestas disjuntas, se n é ímpar e n 3.

2010/1 Teoria dos Grafos (INF 5037/INF2781) Exercício Exiba um grafo euleriano e hamiltoniano Exiba um grafo euleriano e não hamiltoniano Exiba um grafo não euleriano e hamiltoniano