Grafos Eulerianos e o Problema do Carteiro Chinês

Documentos relacionados
x y Grafo Euleriano Figura 1

O estudo utilizando apenas este material não é suficiente para o entendimento do conteúdo. Recomendamos a leitura das referências no final deste

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

As Pontes de Königsberg

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

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

Noções da Teoria dos Grafos

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

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

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

Grafos IFRN. Prof.Robinson Alves

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

Teoria dos Grafos. Grafos Eulerianos

Teoria e Algoritmos em Grafos

Grafos Hamiltonianos e o Problema do Caixeiro Viajante. Prof. Ademir Constantino Departamento de Informática Universidade Estadual de Maringá

Percursos em um grafo

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

Redes. ADSA António Câmara

Teoria dos Grafos AULA 3

Parte B Teoria dos Grafos

1 Trajeto Euleriano. > Trajeto Euleriano 0/20

GRAFOS: UMA INTRODUÇÃO

Percursos em um grafo

MATEMÁTICA DISCRETA. Patrícia Ribeiro 2018/2019. Departamento de Matemática, ESTSetúbal 1 / 47

PCC173 - Otimização em Redes

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

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

Teoria dos Grafos. Edson Prestes

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

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

Grafos Parte 1. Aleardo Manacero Jr.

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:

Matemática Discreta. Aula nº 22 Francisco Restivo

Alguns probleminhas...

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

Cortes (cut sets) 2010/2 Teoria dos Grafos (INF 5037/INF2781) CC/EC/UFES

Introdução à Teoria dos Grafos

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

Algoritmos de aproximação - Problema do caixeiro viajante

MATEMÁTICA DISCRETA PARA ENGENHARIA DE COMPUTAÇÃO

BCC204 - Teoria dos Grafos

CIC 111 Análise e Projeto de Algoritmos II

CAP4. ELEMENTOS DA TEORIA DE GRAFOS. Grafo [graph]. Estrutura que consiste num par ordenado de conjuntos, G ( V, E) , sendo:

GRAFOS Aula 04 Caminhos, Conexidade e Distância Max Pereira

Estudo e Implementação de Algoritmos de Roteamento sobre Grafos em um Sistema de Informações Geográficas

Circuitos Eulerianos Ciclos Hamiltonianos O Problema do Caixeiro Viajante CAMINHAMENTOS BASEADO EM TOWNSEND (1987), CAP. 7.

Departamento de Engenharia de Produção UFPR 57

Grafos I. Figura 1: Mapa de Königsberg

SCC Modelagem Computacional em Grafos Introdução a Grafos

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

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

Matemática Discreta - Exercícios de Grafos

O grau de saída d + (v) de um vértice v é o número de arcos que tem

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

Cap. 2 Conceitos Básicos em Teoria dos Grafos

Algoritmos de Aproximação para o Problema do Caixeiro Viajante

Teoria dos Grafos. Profa. Alessandra Martins Coelho

Doutorado em Ciência da Computação. Algoritmos e Grafos. Raimundo Macêdo LaSiD/DCC/UFBA

Grafos: caminhos mínimos

Matemática Discreta Capítulo 3 Versão preliminar

PARALELIZAÇÃO DE ALGORITMO DE INSPEÇÃO DE ROTAS UTILIZANDO PERMUTAÇÃO LEXICOGRÁFICA 1

Estruturas de Dados. Grafos VIII: Árvores Geradoras Mínimas. Prof. Ricardo J. G. B. Campello

Lista de Exercícios 9 (Extra): Soluções Grafos

Doutorado em Ciência da Computação. Algoritmos e Grafos. Raimundo Macêdo

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

Doutorado em Ciência da Computação. Algoritmos e Grafos. Raimundo Macêdo LaSiD/DCC/UFBA

Fábio Protti - UFF Loana T. Nogueira - UFF Sulamita Klein UFRJ

ESTRUTURAS DE DADOS. prof. Alexandre César Muniz de Oliveira. 1. Introdução 2. Pilhas 3. Filas 4. Listas 5. Árvores 6. Ordenação 7. Busca 8.

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

APLICAÇÕES DA TEORIA DOS GRAFOS

Teoria dos Grafos. Conjuntos de Corte e Conectividade

APLICAÇÕES DE BUSCA EM GRAFOS

Teoria dos Grafos. Aulas 3 e 4. Profa. Alessandra Martins Coelho

Planaridade UFES. Teoria dos Grafos (INF 5037)

Árvores: Conceitos Básicos e Árvore Geradora

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

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 /

Definições Básicas para Grafos

Teoria dos Grafos Introdu c ao

Conceito Básicos da Teoria de Grafos

Otimização em Grafos

BCC204 - Teoria dos Grafos

2º Trabalho Prático - Algoritmos em grafos

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

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

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

Capítulo 2- Modelos de grafos.

15 - Coloração Considere cada um dos grafos abaixo:

Teoria dos Grafos AULA 1

PROBLEMA DO CARTEIRO CHINÊS

Grafo planar: Definição

Instituto de Computação - Universidade Federal Fluminense Teoria dos Grafos - Lista de exercícios

Prof. Marco Antonio M. Carvalho

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

RODRIGO BASTOS VASCONCELOS O PROBLEMA DO CARTEIRO CHINÊS DIRIGIDO, NÃO DIRIGIDO E MISTO PARA OTIMIZAÇÃO DE ROTAS COM VISUALIZAÇÃO GRÁFICA DA SOLUÇÃO

Teoria dos Grafos. Edson Prestes

GRAFOS Aula 08 Árvore Geradora Mínima: Algoritmos de Kruskal e Prim-Jarnik Max Pereira

Problemas de Fluxo em Redes

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

Grafos. Rafael Kazuhiro Miyazaki - 21 de Janeiro de 2019

Transcrição:

Prof. Ademir A. Constantino DIN - UEM 1 Grafos Eulerianos e o Problema do Carteiro Chinês Prof. Ademir Constantino Departamento de Informática Universidade Estadual de Maringá

Prof. Ademir A. Constantino DIN - UEM 2 Leonhard Euler História O problema das Sete Pontes de Königsberg, 1736.

Prof. Ademir A. Constantino DIN - UEM 3 Definições Um caminho simples ou um circuito simples é dito euleriano se ele contém todas as arestas de um grafo. Um grafo que contém um circuito euleriano é um grafo euleriano. Um grafo que não contém um circuito euleriano, mas contém um caminho euleriano será chamado grafo semieuleriano

Definições Prof. Ademir A. Constantino DIN - UEM 4

Propriedades Lema 1: Dado um grafo conexo com todos os vértices de grau par, então qualquer par de vértice faz parte de um caminho simples e fechado. Prova: (Por contradição). Suponha que exista um par de vértices u e v que não admitem um circuito simples em comum. Como o grafo é conexo, então existe um caminho que liga u e v. Portanto, existe uma aresta (x, y) cuja a remoção desconexa o grafo, caso contrário haveria um outro caminho disjunto alternativo ligando u e v. u x y v Portanto, a remoção da aresta (x, y) desconeta grafo gerando duas componentes conexas, sendo o vértice x e y pertencentes a componentes diferentes. Com isso, ambos os vértices passarão a ser os únicos vértices de grau ímpar. Isso contradiz o fato que o número de vértices de grau ímpar de um subgrafo deva ser par. C.Q.D. Prof. Ademir A. Constantino DIN - UEM 5

Prof. Ademir A. Constantino DIN - UEM 6 Propriedades Teorema 1: Um grafo conexo G é um grafo euleriano se e somente se todo vértice de G possui grau par. Prova: Ida: Seja G um grafo euleriano. Logo ele contém um circuito euleriano. Por cada ocorrência de vértice desse caminho, existe uma aresta que chega nesse vértice e outra que sai desse vértice. Como toda aresta faz parte do caminho, isto é, nenhuma aresta fica fora do caminho, necessariamente o número de arestas incidentes em cada vértice é par.

Prof. Ademir A. Constantino DIN - UEM 7 Propriedades Teorema 1: Um grafo conexo G é um grafo euleriano se e somente se todo vértice de G possui grau par. Prova: Volta: Como todo vértice possui grau par, então na construção de um caminho sempre é possível chegar e sair de um vértice por arestas diferentes ainda não utilizada. Assim, é possível sair de vértice v e retornar a ele sem repetição de arestas (Lema 1). Seja C 1 um circuito contendo v construído de maneira arbitrária. Logo, se C 1 contém todas as arestas de G, temos um circuito euleriano (Por quê?). Senão, retiramos de G todas as arestas que fazem parte de C 1. No grafo resultante G', todos os vértices também possuem grau par e necessariamente um deles faz parte de C 1, senão o grafo não seria conexo. Recomecemos o mesmo processo com o grafo G', partindo de um vértice comum com C 1, obtendo assim um novo circuito C 2. A figura 2 mostra que dois circuitos que têm um vértice em comum podem formar um circuito único: chegando no vértice comum em um dos dois circuitos, continuamos o percurso no outro circuito. Continuando esse processo, necessariamente obteremos um circuito único que contém todas as arestas de G. Logo o grafo é euleriano. C.Q.D

Prof. Ademir A. Constantino DIN - UEM 8 Ilustração do Teorema 1 Aplicação:

Prof. Ademir A. Constantino DIN - UEM 9 Algoritmo Hierholzer Função Hierholzer(G = (V,E): grafo) : caminho G' := G { G' = (V', E')} v 0 := um vértice de G' C := [v 0 ] {Inicialmente, o circuito contém só v 0 } Enquanto E' não vazio v i := um vértice de C tal que d(v i ) > 0 em G' C' := Circuito em G' que contém v i G' := G' - {a a é aresta contida em C'} Em C, substituir o vértice v i pelo circuito C' Retornar C

Complexidade do Algoritmo Hierholzer Prof. Ademir A. Constantino DIN - UEM 10

Prof. Ademir A. Constantino DIN - UEM 11 Problema do Carteiro Chines Aplicações: Entrega de Correspondência Coleta de lixo domético Nebulização (fumacê) no combate à dengue

Prof. Ademir A. Constantino DIN - UEM 12 Convertendo a Rede Viária em Grafo Repetição de arestas.

Prof. Ademir A. Constantino DIN - UEM 13 Problema do Carteiro Chinês - PCC Dado um grafo G=(V,E) conexo com pesos nas arestas, o objetivo do Problema do Carteiro Chinês é encontrar um caminho fechado de peso mínimo passando por cada aresta pelo menos uma vez. Como é possível esta solução para o grafo a seguir? 1 0 8

Solução para o PCC Solução 1: Se o grafo for de Euler, então o caminho pode ser encontrado usando, por exemplo, o algoritmo de Hierholzer. Solução 2: Se o grafo não for de Euler, então algumas arestas terão que ser repetidas. A maneira clássica de resolver este problema é acrescentando arestas artificiais ao grafo original de forma a obter um novo grafo G =(V,E ). Isto deve ser feito de maneira que as arestas artificiais acrescentadas transformem todos os vértices de grau ímpar de G, em vértices de grau par. As arestas artificiais correspondem aos eventuais percursos repetidos de custo mínimo entre pares de vértices de grau impar. Prof. Ademir A. Constantino DIN - UEM 14

Prof. Ademir A. Constantino DIN - UEM 15 Problema Encontre a solução para este exemplo: A 0.8 B 1.2 C I 0.4 0.8 J 1.2 0.4 D H 0.4 0.8 K 1.2 0.4 E G 0.6 2 0.6 F

Prof. Ademir A. Constantino DIN - UEM 16 Solução A 0.8 B 1.2 C I 0.4 0.8 J 1.2 0.4 D H 0.4 0.8 K 1.2 0.4 E G 0.6 2 0.6 F KHGFEDCBAIABJDEKJIHK

Prof. Ademir A. Constantino DIN - UEM 17 Como gerar as combinações de pares? Supondo que o grafo tenha 2k vértices de grau ímpar, em geral, o número r de percursos é dado por: Para ter uma idéia, observe estes exemplos: # de vértices = 2k 4 6 8 10 20 # de combinações 3 15 105 945 655x10 6 É possível resolver manualmente?

Prof. Ademir A. Constantino DIN - UEM 18 Técnicas de Resolução Se o grafo tiver apenas dois vértices de grau impar: Apenas encontre o menor caminho entre os dois vértices pelo algoritmo de Dijkstra (por exemplo). Se o grafo tiver 4 ou mais vértices de grau impar: Montar um grafo completo com estes vértices, sendo que cada aresta representando o menor caminho entre os pares de vértices (algoritmo de Floyd). Encontrar a melhor combinação de pares de vértices usando o algoritmo Edmond (1973) de complexidade polinomial. J. Edmonds and E. Johnson. Matching, Euler tours, and the Chinese postman. Math. Programming, 5:88-124, 1973.

Prof. Ademir A. Constantino DIN - UEM 19 Considerações Finais Problema do Carteiro Chinês Grafo não orientado: Tem solução em tempo polinomial Grafo orientado: Tem solução em tempo polinomial Grafo misto (aresta com orientação e arestas sem orientação): Não se conhece algoritmo de complexidade polinomial.

Prof. Ademir A. Constantino DIN - UEM 20 PCC em Grafo Mistro Uma possível modelagem para o problema: T. K. Ralphs. On the mixed chinese postman problem. Oper. Res. Lett., 14:123--127, 1993. http://citeseer.ist.psu.edu/ralphs93mixed.html

Bom estudo! Prof. Ademir A. Constantino DIN - UEM