Capítulo 1. Aula Caminhos de Euler e Hamilton Caminhos de Euler e Circuitos

Documentos relacionados
UNIVERSIDADE FEDERAL DO PARÁ BIBLIOTECA DE OBJETOS MATEMÁTICOS COORDENADOR: Dr. MARCIO LIMA

UNIP - Ciência da Computação e Sistemas de Informação. Estrutura de Dados. AULA 8 Grafos. Estrutura de Dados 1

GRAFOS: UMA INTRODUÇÃO

PERCURSOS. André Falcão, Carlos Augusto, Rafael Broédel e Lucas Dipré

Alguns Problemas Clássicos Sobre Grafos

Comunicação e redes. Aula 2: Teoria dos Grafos Conceitos básicos. Professor: Guilherme Oliveira Mota.

Alguns probleminhas...

Teoria dos Grafos. Maria Claudia Silva Boeres. UFES. Teoria dos Grafos

Árvore de Suporte de Comprimento Mínimo Minimal Spanning Tree

UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 5 a Lista de Exercícios

As Pontes de Königsberg

Estrutura de Dados e Algoritmos e Programação e Computadores II. Aula 10: Introdução aos Grafos

Noções da Teoria dos Grafos. André Arbex Hallack

MATEMÁTICA DISCRETA PARA ENGENHARIA DE COMPUTAÇÃO

01 Grafos: parte 1 SCC0503 Algoritmos e Estruturas de Dados II

Teoria dos Grafos Introdu c ao

Teoria dos Grafos. Motivação

Teoria dos Grafos. Edson Prestes

BCC204 - Teoria dos Grafos

Daniel da Rosa Mesquita. Resolução de Problemas Relacionados à Teoria de Grafos no. Ensino Fundamental

Ciência da Computação Engenharia de Computação Mestrado em Informática. Teoria dos Grafos. Maria Claudia Silva Boeres.

GRAFOS. Introdução Conceitos Fundamentais

Introdução a Teoria dos Grafos Raimundo Macêdo

As pontes de Königsberg

Capítulo 1. Aula Conectividade Caminhos

Teoria dos Grafos. Profa. Alessandra Martins Coelho

Matemática discreta e Lógica Matemática

Algoritmos em Grafos - Aula 02 Introdução à Teoria dos Grafos

Grafos I. Figura 1: Mapa de Königsberg

Problemas de Busca (a.k.a NP) - parte 2

Grafos IFRN. Robinson Alves

Matemática Aplicada às Ciências Sociais- 11º ano (Versão: para o manual a partir de 2016/17)

Teoria dos grafos. FATEC Carapicuíba Augusto de Toledo Cruz Junior

Teoria dos Grafos Aula 3 - Planaridade

IFRN. Introdução à Teoria dos Grafos. Prof. Edmilson Campos

Capítulo 2- Modelos de grafos.

Teoria dos Grafos AULA 1

Teoria dos Grafos. Apresentação da disciplina. Profa. Sheila Morais de Almeida. março DAINF-UTFPR-PG

Teoria dos Grafos AULA 1

GRAFOS Aula 01 Introdução Max Pereira

Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução Matemática e Divisibilidade. 5 Congruências Lineares

Noções da Teoria dos Grafos

Algoritmos e Estruturas de Dados II Grafos conceitos gerais. Thiago A. S. Pardo Profa. M. Cristina Material de aula da Profa. Josiane M.

Noções da Teoria dos Grafos. André Arbex Hallack

x y Grafo Euleriano Figura 1

1 Trajeto Euleriano. > Trajeto Euleriano 0/20

Álvaro Ostroski, Lucia Menoncini

Grafos - Motivação. Grafos - Motivação. Algoritmos e Estruturas de Dados II Introdução a Grafos

Teoria dos Grafos Aula 16

Introdução à Teoria dos Grafos. Isomorfismo

Grafos Eulerianos e o Problema do Carteiro Chinês

MATEMÁTICA DISCRETA GRAFOS (1/4) Carlos Luz. EST Setúbal / IPS. 28 Maio - 3 Junho 2012

GRAFOS ORIENTADOS. PSfrag replacements. Figura 1: Exemplo de um grafo orientado.

Teoria e Algoritmos em Grafos

Alg l ori r t i m t os e E str t u r tu t ra r s d e D ados I I Intr t o r duçã ç o ã a a Gr G a r f a o f s P of o a. M. C r C ist s ina n a /

Algoritmos e Estruturas de Dados II Introdução a Grafos. Divisão do arquivo

Aplicações da Matemática: Redes Sociais, Jogos, Engenharia

Teoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.

Grafos: caminhos mínimos

SCC Modelagem Computacional em Grafos Introdução a Grafos

Teoria dos Grafos. Edson Prestes

GRAFOS. Prof. André Backes. Como representar um conjunto de objetos e as suas relações?

TEORIA DOS GRAFOS TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS MATEMÁTICA DISCRETA II PROFº MARCOS NASCIMENTO

APLICAÇÕES DE BUSCA EM GRAFOS

Parte B Teoria dos Grafos

Conteúdo. Histórico. Notas. Teoria dos Grafos BCC204. Notas. Notas. 1736: Euler e as Pontes de Königsberg

TEORIA DOS GRAFOS UMA APLICAÇÃO DE LOGÍSTICA PARA O ENSINO MÉDIO. Profº M. Sc. Marcelo Mazetto Moala

Grafos representação e aplicações. Prof. Guilherme Tomaschewski Netto

04 Grafos: caminhos e coloração SCC0503 Algoritmos e Estruturas de Dados II

Aula 2 Definições, Conceitos Básicos e Representação Interna de Grafos. Teoria dos Grafos Prof.

Teoria dos grafos. Caminho euleriano e Hamiltoniano. Prof. Jesuliana N. Ulysses

INF 1010 Estruturas de Dados Avançadas

Pesquisa Operacional. Teoria dos Grafos

Grafos AULA META. Introduzir noções elementares da teoria dos grafos. OBJETIVOS. Ao final da aula o aluno deverá ser capaz de:

CIC 111 Análise e Projeto de Algoritmos II

INF 1010 Estruturas de Dados Avançadas

Teoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.

Teoria dos Grafos. Árvores

Teoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada

Algoritmo Aproximado. Prof. Anderson Almeida Ferreira [DPV]9.2 [ZIV]9.2.2 e 9.2.3

Teoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada

Teoria dos Grafos. Componentes, Conj. Indep., Cliques

Teoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada

Teoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 5: Grafos Conexos. Departamento de Matemática Aplicada

GRAFOS Aula 03 Representações de Grafos Max Pereira

Elementos de Matemática Discreta

Grafos COM11087-Tópicos Especiais em Programação II

Algoritmo Aproximação. Prof. Anderson Almeida Ferreira [DPV]9.2 [ZIV]9.2.2 e 9.2.3

Teoria do Grafos. Prof. Luiz Fernando L. Nascimento

Algoritmos e Estruturas de Dados II Grafos conceitos gerais. Thiago A. S. Pardo Profa. M. Cristina Material de aula da Profa. Josiane M.

SCC603 Algoritmos e Estruturas de Dados II Prof.a Rosane Minghim 1o sem. 2013

Grafos. Rafael Kazuhiro Miyazaki - 21 de Janeiro de 2019

Grafo planar: Definição

GRAFOS Aula 02 Formalização: definições Max Pereira

MÓDULO 3 - PROBLEMAS DE COBERTURAS DE ARCOS E NÓS

Teorema 1 - Todo corte de arestas de um grafo conexo G contém pelo menos uma aresta em comum com qualquer árvore geradora de G. Exemplo 2 - Seja T:

Escola Secundária Garcia de Orta

Grafos: aplicações. Grafos: árvore geradora mínima

SCC Modelagem Computacional em Grafos Profª Rosane Minghim 1º sem ª lista de exercícios

Transcrição:

Capítulo 1 Aula 8 1.1 Caminhos de Euler e Hamilton Podemos percorrer as margens de um grafo iniciando em um vértice e retornando a ele percorrendo cada borda do grafo exatamente uma vez? Da mesma forma, podemos percorrer as margens de um grafo iniciando em um vértice e retornando a ele enquanto visitamos cada vértice do grafo exatamente uma vez? Embora essas questões pareçam semelhantes, a primeira questão, que pergunta se um grafo tem um circuito de Euler, pode ser facilmente respondida simplesmente examinando os graus dos vértices do grafo, enquanto a segunda pergunta, que pergunta se um grafo tem um Circuito de Hamilton, é bastante difícil de resolver para a maioria dos grafos. Nesta seção, estudaremos essas questões e discutiremos a dificuldade de resolvê-las. Embora ambas as perguntas tenham muitas aplicações práticas em muitas áreas diferentes, ambas surgiram em enigmas antigos. Aprenderemos sobre esses velhos quebra-cabeças e sobre aplicações práticas modernas. 1.1.1 Caminhos de Euler e Circuitos A cidade de Konigsberg, na Prússia (agora chamada de Kaliningrado e parte da república russa), foi dividida em quatro seções pelos ramos do rio Pregel. Essas quatro seções incluíam as duas regiões nas margens do Pregel, na ilha de Kneiphof e na região entre os dois ramos do Pregel. No século XV III, sete pontes conectaram essas regiões. A Figura 1.1 mostra essas regiões e pontes. As pessoas da cidade faziam longas caminhadas pela cidade aos domingos. Eles se perguntaram se era possível começar em algum lugar da cidade, atravessar todas as pontes uma vez sem atravessar nenhuma ponte duas vezes e voltar ao ponto de partida. O matemático suíço Leonhard Euler resolveu esse problema. Sua solução, publicada em 1

Figura 1.1: As Sete Pontes de Konigsberg. 1736, pode ser o primeiro uso da teoria dos grafos. Euler estudou este problema usando o multigrafo obtido quando as quatro regiões são representadas por vértices e as pontes por arestas. Este multigrafo é mostrado na Figura 1.2. Figura 1.2: Modelo Multigrafo das Pontes de Konigsberg. Definição 1. Um circuito de Euler em um grafo G é um circuito simples que contém todas as arestas de G. Um caminho de Euler em G é um caminho simples que contém todas as arestas de G. Exemplo 2. Quais dos grafos não direcionados da Figura 1.3 possuem um circuito Euler? Daqueles que não têm, quais têm um caminho de Euler? Solução: O grafo G 1 tem um circuito Euler, por exemplo, a, e, c, d, e, b, a. Nenhum dos grafos G 2 ou G 3 possui um circuito Euler (o leitor deve verificar isso). No entanto, G 3 tem um caminho de Euler, a saber, a, c, d, e, b, d, a, b. G 2 não tem um caminho de Euler (como o leitor deve verificar). 2

Figura 1.3: Grafos não orientados G 1, G 2 e G 3. Exemplo 3. Quais dos grafos não direcionados da Figura 1.4 possuem um circuito Euler? Daqueles que não têm, quais têm um caminho de Euler? Figura 1.4: Modelo Multigrafo das Pontes de Konigsberg. Solução: O grafo H 2 tem um circuito de Euler, por exemplo, a, g, c, b, g, e, d, f, a. Nem H 1 nem H 3 possuem um circuito Euler (como o leitor deve verificar). H 3 tem um caminho de Euler, a saber, c, a, b, c, d, b, mas H 1 não (como o leitor deve verificar). Teorema 4. Um multigrafo conectado com pelo menos dois vértices tem um circuito de Euler se e somente se cada um de seus vértices tiver um grau par. Exemplo 5. Muitos quebra-cabeças pedem que você desenhe uma imagem em um movimento contínuo sem levantar um lápis para que nenhuma parte da imagem seja refeita. Podemos resolver esses quebra-cabeças usando circuitos e caminhos Euler. Por exemplo, as cimitarras de Mohammed, mostradas na Figura 1.5, podem ser desenhadas dessa maneira, onde o desenho começa e termina no mesmo ponto? Solução: Podemos resolver este problema porque o grafo mostrado na Figura 1.5 possui um circuito Euler. Tomemos o circuito a, b, d, c, b, e, i, f, e, a. Obtemos o subgráfico H excluindo as arestas desse circuito e todos os vértices que se tornam isolados quando essas arestas são removidas. Então formamos o circuito d, g, h, j, i, h, k, g, f, d em H. Depois de formar este circuito, usamos todas as arestas em G. Adicionando este novo circuito no primeiro circuito no 3

Figura 1.5: Cimitarras de Mohammed. lugar apropriado produzimos o circuito de Euler a, b, d, g, h, j, i, h, k, g, f, d, c, b, e, i, f, e, a. Este circuito permite desenhar as cimitarras sem levantar o lápis ou refazer parte da imagem. Teorema 6. Um multigrafo conectado possui um caminho de Euler, mas não um circuito de Euler, se e somente se, tiver exatamente dois vértices de grau ímpar. Exemplo 7. Quais grafos mostrados na Figura 1.6 têm um caminho Euler? Figura 1.6: Três grafos não orientados. Solução: G 1 contêm exatamente dois vértices de grau ímpar, a saber, b e d. Portanto, ele possui um caminho Euler que deve ter b e d como seus pontos finais. Um tal caminho de Euler é d, a, b, c, d, b. Da mesma forma, G 2 tem exatamente dois vértices de grau ímpar, a saber, b e d. Portanto, ele tem um caminho Euler que deve ter b e d como pontos finais. Um tal caminho de Euler é b, a, g, f, e, d, c, g, b, c, f, d. G 3 não tem caminho de Euler porque tem seis vértices de grau ímpar. 1.1.2 Caminhos e Circuitos de Hamilton Desenvolvemos condições necessárias e suficientes para a existência de caminhos e circuitos que contêm cada borda de um multigrafo exatamente uma vez. Podemos fazer o mesmo para caminhos e circuitos simples que contêm todos os vértices do grafo exatamente uma vez? 4

Teorema 8. Um caminho simples em um grafo que passa em cada vértice exatamente uma vez é chamado de caminho de Hamilton, e um circuito simples em um gráfico G que passa por todos os vértices exatamente uma vez é chamado de circuito de Hamilton. Ou seja, o caminho simples x 0, x 1,..., x n 1, x n no grafo G = (V, E) é um caminho de Hamilton se V = {x 0, x 1,..., x n 1, x n } e x i x j para 0 i < j n, e o circuito simples x 0, x 1,..., x n 1, x n, x 0 (com n > 0) é um circuito de Hamilton se x 0, x 1,..., x n 1, x n é um caminho de Hamilton. Exemplo 9. Quais dos grafos simples na Figura têm um circuito Hamilton ou, se não, um caminho Hamilton? Figura 1.7: Três grafos simples. Solução: G 1 tem um circuito de Hamilton: a, b, c, d, e, a. Não há nenhum circuito de Hamilton em G 2 (isso pode ser visto observando que qualquer circuito contendo cada vértice deve conter a borda {a, b} duas vezes), mas G 2 tem um caminho de Hamilton, a saber, a, b, c, d. G 3 não possui um circuito Hamilton nem um caminho Hamilton, pois qualquer caminho contendo todos os vértices deve conter uma das arestas {a, b}, {e, f} e {c, d} mais de uma vez. Teorema 10. Se G é um grafo simples com n vértices com n 3 tais que o grau de todos os vértices em G é pelo menos n, então G tem um circuito de Hamilton. 2 Teorema 11. Se G é um grafo simples com n vértices, n 3 tais que deg(u) + deg(v) n para cada par de vértices não adjacentes u e v em G, então G tem um circuito de Hamilton. 5