As Pontes de Königsberg

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

x y Grafo Euleriano Figura 1

GRAFOS: UMA INTRODUÇÃO

Teoria dos Grafos Introdu c ao

Teoria dos Grafos. Edson Prestes

Teoria dos Grafos AULA 1

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

Teoria dos Grafos AULA 1

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

1 Trajeto Euleriano. > Trajeto Euleriano 0/20

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

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

Grafos Eulerianos e o Problema do Carteiro Chinês

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

Teoria dos Grafos. Grafos Eulerianos

Alguns probleminhas...

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

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

GRAFOS. Introdução Conceitos Fundamentais

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

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

podem ser ambas representadas por meio de pontos e segmentos de recta do seguinte modo:

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

Teoria dos Grafos. Profa. Alessandra Martins Coelho

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

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

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

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

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

Alguns Problemas Clássicos Sobre Grafos

Parte B Teoria dos Grafos

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

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

Capítulo 1 Conceitos e Resultados Básicos

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

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

Grafos I. Figura 1: Mapa de Königsberg

Definição 1.1 : Uma árvore é um grafo simples conexo e sem ciclos.

Capítulo 2- Modelos de grafos.

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

Teoria e Algoritmos em Grafos

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

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

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

MATEMÁTICA DISCRETA PARA ENGENHARIA DE COMPUTAÇÃO

SCC Modelagem Computacional em Grafos Introdução a Grafos

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. Caminho euleriano e Hamiltoniano. Prof. Jesuliana N. Ulysses

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

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

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

Introdução a Grafos Letícia Rodrigues Bueno

CONCEITOS BÁSICOS EM GRAFOS

Instituto de Computação Universidade Federal Fluminense. Notas de Aula de Teoria dos Grafos. Prof. Fábio Protti Niterói, agosto de 2015.

Matemática discreta e Lógica Matemática

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

Matemática Discreta. Aula nº 22 Francisco Restivo

Teoria dos Grafos AULA 3

Matemática Discreta. Aula 06: Teoria dos Grafos. Tópico 01: Grafos e suas Representações. Observação

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

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

BCC204 - Teoria dos Grafos

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

2 Relação entre soma dos graus e número de arestas

As pontes de Königsberg

Teoria dos Grafos. Motivação

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

Circuitos Hamiltorianos

APLICAÇÕES DA TEORIA DOS GRAFOS

Departamento de Engenharia de Produção UFPR 57

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

Definição e Conceitos Básicos

PCC173 - Otimização em Redes

Percursos em um grafo

Helena Alves Rafael Sousa Rui Pedro Soares. MACS - Helena, Rafael, Rui Pedro 1

Victor Emanuel Pinto Guedes Uma abordagem para o ensino de teoria dos grafos no Ensino Médio

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

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

Grafos. Rafael Kazuhiro Miyazaki - 21 de Janeiro de 2019

Introdução à Teoria dos Grafos

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

1.2 Grau de um vértice

Percursos em um grafo

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 DE BUSCA EM GRAFOS

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

Grafos: caminhos mínimos

Planaridade UFES. Teoria dos Grafos (INF 5037)

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

Subgrafos. Se G é um grafo e F A(G) então o subgrafo de G induzido (ou gerado) por F é o

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

Teoria dos Grafos. Árvores

Estratégias vencedoras para o jogo Slither

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

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

Prof. Marco Antonio M. Carvalho

Tópicos de Matemática Finita Data: I II-1 II-2 II-3 II-4 III-1 III-2 III-3 III-4 IV-1 IV-2 IV-3 IV-4 Nota Final

Transcrição:

As Pontes de Königsberg Anderson Freitas Ferreira e Lívia Minami Borges 13 de junho de 2015 Resumo A teoria de grafos teve seu início em 1736, quando Euler utilizou uma estrutura para resolver o Problema das Pontes de Königsberg. Neste artigo, vamos falar sobre este problema e para isso, vamos fazer uma introdução à Teoria de Grafos, com as principais definições e alguns resultados considerados importantes para que possamos estudar o Teorema de Euler, que solucionará tal problema. Palavras Chave: Teorema de Euler, teoria de grafos, grafos eulerianos, grafos conexos Introdução A teoria de grafos estuda a relação entre os elementos de um determinado conjunto e nos permite modelar vários problemas em matemática aplicada, engenharia, física, química, dentre outros. Podemos citar alguns problemas famosos tais como O Problema do carteiro chinês, O Problema do caixeiro viajante e O problema das quatro cores. Esta teoria é relativamente recente e sua primeira evidência data de 1736, quando Euler resolveu o problema das Pontes de Königsberg. Königsberg foi uma importante cidade da Prússia, hoje chamada de Kaliningrado, cortada pelo rio Pregel, o qual a dividia em duas ilhas H 1 e H 2. Havia uma ponte p 5 ligando uma ilha à outra e seis outras pontes, ligando-as às margens M 1 e M 2, exatamente como mostra a Figura 1. A pergunta que atormentava aos moradores era se seria possível realizar um passeio pelas ilhas, passando uma única vez em todas as sete pontes, voltando ao ponto de origem. M 1 p 1 p 2 p 5 p 6 I 1 I 2 p 3 p 4 p 7 M 2 Figura 1: cidade de Königsberg Este trabalho é parte do estudo de iniciação científica do primeiro autor orientado pelo segundo autor. Email: anderson.ryuuzaki@hotmail.com e liviaminami@ifsp.edu.br 1

Para resolver o Problema de Königsberg, Euler eliminou os detalhes que não influenciavam o problema, como a distância entre as ilhas e tamanho das ilhas, e se concentrou apenas nos aspectos que considerou importantes. Com isso, Euler representou o problema de uma forma bastante simples, como mostra a Figura 2, e acredita-se que esta estrutura tenha sido o primeiro exemplo de grafo. M 1 p 1 p 6 p 2 I 1 p 5 I 2 p 3 p 4 p 7 M 2 Figura 2: Grafo que representa o Problema das Pontes de Königsberg Vamos fazer uma breve introdução à teoria de grafos, com as principais definições, visando fixar notações. A seguir, veremos alguns resultados que nos ajudarão a discutir a solução deste problema. E finalmente, estaremos prontos para discutir o Problema das Pontes de Königsberg. 1 Introdução à Teoria de Grafos 1.1 Definições Iniciais Definição 1. Um grafo G é um par (V ; A) onde V é um conjunto de pontos chamados vértices e A é um conjunto de segmentos que ligam dois dos elementos de V, denominados arestas. Se xy for uma aresta de G, então os vértices x e y são ditos adjacentes ou vizinhos, caso contrário são independentes. Este mesmo termo pode ser dado para arestas, ou seja, dizemos que duas arestas são adjacentes se possuem vértice comum. Definição 2. Dado vértice v, o grau deste vértice, denotado por d(v), é dado pelo número de arestas que incidem nele. Um vértice v é dito isolado se não existem vértices adjacentes a ele, ou seja, quando d(v) = 0. E é dito pendente quando d(v) = 1. Definição 3. Dado vértice v, um laço é a aresta vv, ou seja, é uma aresta que liga um vértice v a ele mesmo. Definição 4. Um caminho é um grafo não vazio P (V, A), tal que V = {x 0, x 1,..., x k } e A = {x 0 x 1, x 1 x 2,..., x k 1 x k }. Denotamos este caminho por P = x 0 x 1...x k. O caminho é dito fechado se x 0 = x k. Caso contrário, dizemos que o caminho é aberto. Definição 5. Um ciclo em um grafo G é um caminho fechado de comprimento mínimo três, em que o primeiro e o último vértice coincidem, mas nenhum outro vértice é repetido, ou seja, um ciclo em um grafo G é um caminho (v 1, v 2,..., v n, v n+1 ) em que v 1 = v n+1, n 3 e ainda, v i v j, 2 i, j n. Definição 6. Um grafo G é conexo se existe um caminho entre quaisquer dois de seus vértices. Se um grafo não é conexo, dizemos que ele é desconexo. 2

Definição 7. Um grafo G é dito completo se é simples e se, dados quaisquer dois vértices, existe uma aresta que os liga. Portanto, um grafo completo é conexo. Denotamos um grafo completo, com n vértices, por K n. A Figura 3 é uma ilustração do grafo completo K 5. Figura 3: K 5 1.2 Grafos eulerianos O conceito de grafo euleriano será fundamental para a resolução que está sendo proposta neste trabalho. Definição 8. Um grafo diz-se euleriano se admite um caminho fechado, sem repetição de arestas, contendo todas as arestas. Este caminho é chamado caminho euleriano. Note que todo grafo euleriano é conexo. Veremos agora um lema que será utilizado na demonstração do Teorema de Euler. Lema 9. Se G é um grafo no qual o grau de qualquer vértice é pelo menos 2, então G contém um ciclo. Demonstração. Se G possui laços ou arestas múltiplas, o resultado é óbvio. Podemos então assumir que G é um grafo simples. Seja v um vértice de G. Vamos construir um caminho (v, v 1, v 2...), escolhendo v 1 entre os vértices adjacentes a v e, para cada i > 1, escolhendo v i+1 entre os vértices adjacentes a v i de forma que este não seja o v i 1 (a existência de tal vértice é garantida pela hipótese). Como G contém somente um número finito de vértices, teremos que, em algum momento, teremos como única hipótese a escolha de um vértice que já tenha sido escolhido anteriormente. Se v k for o primeiro destes vértices então a parte do caminho entre as duas ocorrências de v k é o ciclo requerido. O seguinte teorema, demonstrado por Euler em 1736, permite a resolução imediata do problema das pontes de Königsberg, como veremos na Seção 2, e caracteriza os grafos conexos que são eulerianos. Teorema 10. [Euler 1736] Seja G(V, A) um grafo conexo. Então, G é euleriano se, e somente se, d(v) é par, v V. Demonstração. Seja E um caminho euleriano em G. Cada vez que um vértice aparece em E, este possui duas arestas incidentes. Como cada aresta ocorre precisamente uma única vez em E, o grau de cada vértice é par. Provaremos a recíproca por indução sobre o número de arestas de G. Suponhamos então que o grau de cada vértice de G é par. O caso em que G não possui arestas é trivial. Portanto, como hipótese de indução, admitiremos que o resultado é válido se G possuir menos de n arestas e nessas condições provaremos que o resultado é válido no caso de G possuir n arestas (n > 1). 3

Como G é conexo, cada vértice terá pelo menos grau 2 e, portanto, pelo Lema 9, G contém um ciclo C. Se C contiver todas as arestas de G, então C é um caminho euleriano e a prova está concluída. Caso contrário, removeremos de G todas as arestas de C, formando um novo grafo H, eventualmente desconexo, com menos arestas que G e no qual todo vértice continua tendo grau par. Pela hipótese de indução, cada componente conexa de H é um grafo euleriano e ainda, possui pelo menos um vértice em comum com C (pela conexidade de G). Obtemos o caminho euleriano de G seguindo as arestas de C até um vértice não isolado de H ser alcançado, traçando o caminho euleriano da componente conexa de H que contem tal vértice e, em seguida, continuando pelas arestas de C até encontrar um vértice não isolado pertencendo a outra componente conexa de H, traçando o caminho euleriano desta, e assim sucessivamente. O processo terminará quando voltarmos ao vértice inicial. 2 O Problema das Pontes de Königsberg De posse dos resultados vistos anteriormente, estamos prontos para solucionar O Problema das Pontes de Königsberg. 2.1 Problema original. Euler modelou-o como um grafo (Figura 2), identificando cada ponte com uma aresta e cada ilha e margem com um vértice. Com isso, o problema ficou reduzido a verificar se seria possível encontrar uma trajetória sobre o grafo, que percorresse todas as arestas uma única vez, voltando ao ponto de partida, que é equivalente a verificar se este grafo é euleriano. O Problema das Pontes de Königsberg é bem conhecido e se aplicarmos o Teorema de Euler, como nenhum vértice possui grau par, temos que este grafo não é euleriano e portanto, é impossível realizar tal passeio. 2.2 Sem retornar ao ponto de partida. Uma modificação interessante no problema, é tirar a exigência de termos que voltar ao ponto de partida, ou seja, tentar realizar o passeio, passando uma única vez por cada uma das 7 pontes, mas podendo terminar o passeio em qualquer ponto. Neste caso, teríamos que verificar se existe no grafo da Figura 2 um caminho semieuleriano, isto é, um caminho aberto sem repetição de arestas, contendo todas as arestas. Os grafos que possuem tais caminhos chamam-se grafos semi-eulerianos. Veremos a seguir um resultado que caracteriza os grafos conexos semi-eulerianos. Corolário 11. Um grafo conexo é semi-euleriano se, e somente se, possuir exatamente dois vértices de grau ímpar. Neste caso o caminho semi-euleriano inicia-se num desses vértices e termina no outro. Demonstração. Suponhamos que G possui um caminho semi-euleriano E começando num vértice v e terminando num vértice w. Como v w é claro que v e w têm ambos grau ímpar. Cada vez que um dos outros vértices aparece em E tem 2 arestas incidentes. Como cada aresta ocorre precisamente uma vez em E, o grau desses vértices é par. Reciprocamente, suponhamos que G é conexo e possui exatamente 2 vértices, v e w, de grau ímpar. Consideremos o grafo G que se obtém de G por junção de uma 4

nova aresta ligando v a w. A este novo grafo podemos aplicar o Teorema de Euler e concluir que admite um caminho euleriano. Apagando deste caminho a aresta previamente adicionada a G obtemos um caminho semi-euleriano, ligando v e w, como desejávamos. Pelo Corolário 11, como o grafo da Figura 2 possui mais de 2 vértices com grau ímpar, ele também não é semi-euleriano e o passeio continua sendo impossível. Referências [1] DIESTEL, R.Graph Theory. Springer, second edition, (2010); [2] SAMPAIO, J.C.V. Passeios de Euler e as Pontes de Königsberg. Disponível em http://www.dm.ufscar.br/ sampaio/passeiosdeeuler.pdf, acesso em 10 de junho de 2015. [3] TRUDEAU, R.J. Introduction to Graph Theory. Dover Publications, (1993); [4] WILSON, R. J.Graph Theory. Prentice Hall, fourth edition, (1996); 5