Teoria dos Grafos. Grafos Eulerianos

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

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

Teoria dos Grafos AULA 3

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

Teoria dos Grafos AULA 1

Teoria dos Grafos. Árvores

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

Teoria dos Grafos AULA 2

Teoria dos Grafos. Coloração de Vértices

Teoria dos Grafos. Grafos Planares

Teoria dos Grafos AULA 1

Teoria dos Grafos. Conjuntos de Corte e Conectividade

Teoria dos Grafos. Árvores Geradoras

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

x y Grafo Euleriano Figura 1

As Pontes de Königsberg

Teoria dos Grafos. Cobertura, Coloração de Arestas, Emparelhamento

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

Teoria dos Grafos. Fluxo Máximo em Redes

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

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

1 Trajeto Euleriano. > Trajeto Euleriano 0/20

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

Grafos Eulerianos e o Problema do Carteiro Chinês

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

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

Noções da Teoria dos Grafos

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

GRAFOS: UMA INTRODUÇÃO

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

Introdução à Teoria do Grafos Notas de aula. Socorro Rangel últimas atualizações: (2009), (2012)

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

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

Grafo planar: Definição

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

Grafos IFRN. Prof.Robinson Alves

Capítulo 1. Aula Conectividade Caminhos

Conceitos Básicos Isomorfismo de Grafos Subgrafos Passeios em Grafos Conexidade

Circuitos Hamiltorianos

Capítulo 1 Conceitos e Resultados Básicos

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

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

Definição e Conceitos Básicos

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

Teoria dos Grafos. Caminho mínimo - Algoritmo de Dijskstra

PCC173 - Otimização em Redes

Teoria dos Grafos. Edson Prestes

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

Teoria dos Grafos Introdu c ao

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

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

Percursos em um grafo

Teoria dos Grafos AULA

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

GRAFOS. Introdução Conceitos Fundamentais

14 Coloração de vértices Considere cada um dos grafos abaixo:

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

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

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

Introdução à Teoria dos Grafos

Árvores Árvores Geradoras de Custo Mínimo 0/16

Alguns probleminhas...

Teoria dos Grafos. Motivação

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

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

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

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

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

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

Percursos em um grafo

Departamento de Engenharia de Produção UFPR 57

SCC Modelagem Computacional em Grafos Introdução a Grafos

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

Capítulo 2- Modelos de grafos.

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

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

BCC204 - Teoria dos Grafos

Parte B Teoria dos Grafos

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

Matemática Discreta. Aula nº 22 Francisco Restivo

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

Universidade de Aveiro Departamento de Matemática ILDA MARIA DUARTE DE MATOS TEORIA DOS GRAFOS NO ENSINO BÁSICO E SECUNDÁRIO

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

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

Planaridade UFES. Teoria dos Grafos (INF 5037)

Teoria dos Grafos: Circuitos Eulerianos, Ciclos Hamiltonianos, Torneios Circuitos Eulerianos

Matemática discreta e Lógica Matemática

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

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

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

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

Teoria dos Grafos. Edson Prestes

CONCEITOS BÁSICOS EM GRAFOS

Planaridade AULA. ... META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de:

Alguns passos da prova do Teorema de Runge

Grafos. Rafael Kazuhiro Miyazaki - 21 de Janeiro de 2019

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

Transcrição:

Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Grafos Eulerianos Preparado a partir do texto: Rangel, Socorro. Teoria do Grafos, Notas de aula, IBILCE, Unesp, 2002-2013.

Grafos Eulerianos

Introdução No início do curso nós estudamos o problema das Pontes de Konigsberg e representamos o problema através do seguinte grafo:: C A D B Queríamos saber se é possível fazer um passeio pela cidade, começando e terminando no mesmo lugar e passando por cada uma das pontes apenas uma vez. Em outras palavras queríamos encontrar no grafo acima um trajeto fechado que incluísse todas as arestas do grafo. Teoria dos Grafos (Antunes Rangel&Araujo) 3

Definições Definição 1. Um trajeto que inclua todas as arestas de um dado grafo G(V,A) é chamado de trajeto euleriano. Seja G um grafo conexo. Dizemos que G é euleriano se possui um trajeto euleriano fechado. Um grafo G não-euleriano é dito ser semi-euleriano se possui um trajeto euleriano. Observação: Note que em um grafo euleriano cada aresta é percorrida uma, e uma única, vez. Teoria dos Grafos (Antunes Rangel&Araujo) 4

Exemplos A seguir temos exemplos de grafos euleriano, semi-euleriano e não-euleriano: Teoria dos Grafos (Antunes Rangel&Araujo) 5

Resultado auxiliar Lema 2. Se G(V,A) é um grafo tal que d(v) 2 para todo v V, então G contém um ciclo. Demonstração. Se G possui laços ou arestas paralelas, não há o que provar. Vamos supor que G é um grafo simples. Seja v 0 V um vértice arbitrário de G. Como d(v) 2 para todo v V, podemos construir um passeio v 0 v 1 v 2 indutivamente escolhendo v i+1 como sendo qualquer vértice adjacente a v i exceto v i 1. Como G possui uma quantidade finita de vértices, em algum momento escolheremos algum vértice, digamos v k, pela segunda vez. A parte do passeio entre e primeira e a segunda ocorrência de v k constitui um ciclo. Teoria dos Grafos (Antunes Rangel&Araujo) 6

Condição necessária e suficiente Teorema 3 (Euler, 1736). Um grafo conexo G(V,A) é euleriano se, e somente se, o grau de cada vértice de G é par. Demonstração. ( ) Seja T um trajeto euleriano fechado de G. Cada vez que um vértice v ocorre no trajeto T, há uma contribuição de duas unidades para o grau de v (uma aresta para chegar a v e outra para sair). Isto vale não só para os vértices intermediários mas também para o vértice final, pois saímos e entramos no mesmo vértice no início e no final do trajeto. Como cada aresta ocorre exatamente uma vez em T, cada vértice possui grau par. Teoria dos Grafos (Antunes Rangel&Araujo) 7

Cont. da demonstração ( ) A prova é por indução no número de arestas de G. Suponhamos que o grau de cada vértice de G é par. Como G é conexo, d(v) 2 para todo v V. Segue então do lema anterior que G contém um ciclo C. Se C contém todas as arestas de G, o teorema está provado. Se não, removemos de G as arestas de C, resultando num grafo H, possivelmente desconexo, com menos aretas do que G. H C H Teoria dos Grafos (Antunes Rangel&Araujo) 8

Cont. da demonstração É fácil ver que todos os vértices de H possuem grau par. Logo, pela hipótese de indução, cada componente de H possui um trajeto euleriano fechado. Além disso, pela conexidade de G, cada componente de H possui ao menos um vértice em comum com C. Portanto, concatenando os trajetos euleriados fechados de cada componente de H com o ciclo C obtemos um trajeto euleriano fechado em G, ou seja, G é um grafo euleriano. Teoria dos Grafos (Antunes Rangel&Araujo) 9

Exercícios Corolário 4. Um grafo conexo é euleriano se, e somente se, puder ser decomposto em circuitos disjuntos: G = i C i, C i C j = grafo nulo. Corolário 5. Um grafo conexo é semi-euleriano se, e somente se, possui exatamente dois vértices de grau ímpar. Teoria dos Grafos (Antunes Rangel&Araujo) 10

Algoritmo de Decomposição (Hierholzer, 1873) Considere um grafo conexo G(V,A), onde d(v) é par v V. Passo 1: Determine um circuito C 1 em G. Defina T 1 = C 1 e G 1 = G. Se T 1 possui todas as arestas de G, pare. T 1 é o trajeto procurado. Tome k = 1. Passo 2: Faça k = k +1. Construa o subgrafo G k ( V k,ā k ) removendo de G k 1 as arestas pertencentes a T k 1 (V k 1,A k 1 ). Remova de G k os vértices isolados. Passo 3: Determine um vértice v V k V k 1. A partir de v determine um circuito C k em G k. Passo 4: Determine T k = T k 1 C k. Se T k possui todas as arestas de G, vá para o Passo 5. Caso Contrário, retorne ao Passo 2. Passo 5: Pare. T k é o trajeto procurado e G = k C i. i=1 Teoria dos Grafos (Antunes Rangel&Araujo) 11

Algoritmo de Fleury (Fleury, 1883) Considere um grafo conexo G(V,A), onde d(v) é par v V. Comece em qualquer vértice v e percorra as arestas de forma aleatória, seguindo sempre as seguintes regras: 1. Exclua as arestas depois de passar por elas; 2. Exclua os vértices isolados, caso ocorram; 3. Passe por uma ponte 1 somente se não houver outra alternativa. 1 Uma aresta é dita ser uma ponte se a sua remoção torna o grafo desconexo. Teoria dos Grafos (Antunes Rangel&Araujo) 12

Exemplo Aplique o Algoritmo de Fleury para encontrar um trajeto euleriano no grafo abaixo a partir do vértice 5. Teoria dos Grafos (Antunes Rangel&Araujo) 13

Exercícios Verifique se os grafos abaixo são eulerianos. Se possível exiba um trajeto euleriano. Teoria dos Grafos (Antunes Rangel&Araujo) 14

Digrafos Eulerianos

Definições Definição 6. Um trajeto orientado que inclua todas as arestas de um dado digrafo G(V,A) é chamado de trajeto euleriano. Seja G um digrafo conexo. Dizemos que G é euleriano se possui um trajeto euleriano fechado. Um digrafo G não-euleriano é dito ser semi-euleriano se possui um trajeto euleriano. Teoria dos Grafos (Antunes Rangel&Araujo) 16

Definições Definição 7. Um trajeto orientado que inclua todas as arestas de um dado digrafo G(V,A) é chamado de trajeto euleriano. Seja G um digrafo conexo. Dizemos que G é euleriano se possui um trajeto euleriano fechado. Um digrafo G não-euleriano é dito ser semi-euleriano se possui um trajeto euleriano. Observações: 1. Um digrafo conexo euleriano é necessariamente fortemente conexo. 2. Entretanto, nem todo digrafo fortemente conexo é euleriano. Teoria dos Grafos (Antunes Rangel&Araujo) 16

Exemplos Teoria dos Grafos (Antunes Rangel&Araujo) 17

Teorema de Euler para digrafos Teorema 8. Um digrafo conexo D(V,A) é euleriano se, e somente se, D é balanceado, i.e., d e (v) = d s (v) v V. Demonstração: Exercício. Teoria dos Grafos (Antunes Rangel&Araujo) 18

Teorema de Euler para digrafos Teorema 9. Um digrafo conexo D(V,A) é euleriano se, e somente se, D é balanceado, i.e., d e (v) = d s (v) v V. Demonstração: Exercício. Corolários? Exercícios. Teoria dos Grafos (Antunes Rangel&Araujo) 18

O Problema do Carteiro Chinês

Definição do problema O Problema do Carteiro Chinês foi postulado em 1962 pelo matemático chinês Mei-Ku Kwan: Considere um grafo valorado (ou rede) G tal que os pesos das arestas são não-negativos. Encontre um passeio fechado que percorra todas as arestas de G com peso total mínimo. Teoria dos Grafos (Antunes Rangel&Araujo) 20

Definição do problema O Problema do Carteiro Chinês foi postulado em 1962 pelo matemático chinês Mei-Ku Kwan: Considere um grafo valorado (ou rede) G tal que os pesos das arestas são não-negativos. Encontre um passeio fechado que percorra todas as arestas de G com peso total mínimo. Aplicações: 1. Coleta de lixo; 2. Entregas; 3. Limpeza de ruas; 4. Checagem de páginas da internet: Teoria dos Grafos (Antunes Rangel&Araujo) 20

Exemplo de Maarten van Steen: Checking a Web site:typically, a Web site consists of numerous pages, in turn containing links to each other. As is so often the case, most Web sites are notoriously poor at having their links maintained to the correct pages. This is often due to the simple reason that so many people are responsible for maintaining their part of a site. Apart from links that are broken (i.e., refer to nonexisting pages), it is often necessary to manually check how pages are linked to each other. Graph theory can help by modeling a Web site as an undirected graph where a page is represented by a vertex and a link by an edge having weight 1. Note that we are not using a directed graph, as we may need to cross a link in reverse order, for example, when going back to the original page. If a site is to be manually inspected, then we are seeking a solution to navigate through a site, but with preferably crossing a link at most once. This is now the same as finding a directed walk containing all edges of minimal length. Teoria dos Grafos (Antunes Rangel&Araujo) 21

Algoritmo [Gibbons, 1985] Considere um grafo valorado conexo G em que o conjunto de vértices de grau ímpar é V impar = {v 1,...,v 2k }, onde k 1. 1. Para cada par (v i,v j ) V impar V impar com v i v j, encontre o caminho mínimo P i,j entre v i e v j. 2. Construa um grafo completo com os 2k vértices de V impar em que o peso da aresta (v i,v j ) é o peso do caminho mínimo P i,j. 3. Determine o conjunto E = {e 1,e 2,...,e k } de k arestas do grafo completo, duas a duas não-adjacentes, tal que a soma de seus pesos seja mínima. 4. Para cada aresta e = (v i,v j ) E, duplique as arestas de P i,j em G. Teoria dos Grafos (Antunes Rangel&Araujo) 22

Exemplo (Maarten van Steen) 3 v1 v2 3 2 1 u1 u2 1 1 2 4 u3 3 2 1 2 1 u4 2 1 u5 v3 u6 1 2 5 v4 v1 v3 3 3 4 5 5 2 v2 v4 3 3 1 1 1 2 1 1 1 1 2 4 3 2 1 2 1 2 2 1 2 5 Teoria dos Grafos (Antunes Rangel&Araujo) 23