Introdução à Teoria dos Grafos

Documentos relacionados
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 Departamento de Matemática Aplicada.

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

x y Grafo Euleriano Figura 1

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

Introdução à Teoria dos Grafos (MAC-5770) IME-USP Depto CC Profa. Yoshiko. Capítulo 3

Teoria dos Grafos. Edson Prestes

Algoritmos de aproximação - Problema do caixeiro viajante

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

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

Parte B Teoria dos Grafos

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

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

CONCEITOS BÁSICOS EM GRAFOS

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

Teoria dos Grafos Introdu c ao

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

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:

Teoria dos Grafos. Grafos Planares

Teoria dos Grafos. Conjuntos de Corte e Conectividade

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

Problemas de Fluxo em Redes

Cap. 2 Conceitos Básicos em Teoria dos Grafos

Grafos Eulerianos e o Problema do Carteiro Chinês

Noções da Teoria dos Grafos

Teoria dos Grafos. Profa. Alessandra Martins Coelho

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

Teoria dos Grafos. Fluxo Máximo em Redes

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

As Pontes de Königsberg

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

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

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

Teoria dos Grafos Aula 2

GRAFOS. Introdução Conceitos Fundamentais

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. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada

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

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

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, Silvio A. de Araujo. Departamento de Matemática Aplicada

PCC173 - Otimização em Redes

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

Introdução a Grafos Letícia Rodrigues Bueno

Pesquisa Operacional. Teoria dos Grafos

Teoria dos Grafos AULA 2

MATEMÁTICA DISCRETA PARA ENGENHARIA DE COMPUTAÇÃO

Otimização em Grafos

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

Grafos: componentes fortemente conexos, árvores geradoras mínimas

Introdução à Teoria dos Grafos. Isomorfismo

CÁLCULO I. 1 Funções. Objetivos da Aula. Aula n o 01: Funções. Denir função e conhecer os seus elementos; Reconhecer o gráco de uma função;

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

Matemática Discreta. Aula nº 22 Francisco Restivo

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

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

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

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

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

Grafo planar: Definição

Gabriel Coutinho DCC035 - Pesquisa Operacional Lista 6

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

Problema da Árvore Geradora Mínima (The Minimum Spanning Tree Problem-MST)

Teoria dos Grafos. Árvores

Teoria dos Grafos Caminhos. Profª. Alessandra Martins Coelho

Problemas em Teoria dos Grafos Relatório

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

Circuitos Hamiltorianos

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

Matemática Discreta 10

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

CI065 CI755 Algoritmos e Teoria dos Grafos

Percursos em um grafo

GRAFOS: UMA INTRODUÇÃO

Transcrição:

Capítulo 1 Introdução à Teoria dos Grafos 1.1 História O primeiro problema cuja solução envolveu conceitos do que viria a ser teoria dos grafos, denominado "problema das pontes de Königsberg", foi resolvido por Euler em 1736. Tal problema consistia em percorrer todas as pontes passando uma única vez em cada uma delas (como mostra a gura). Figura 1.1: Pontes de Königsberg Na gura abaixo observamos o grafo correspondente ao problema das pontes de Königsberg:

Figura 1.2: Grafo associado ao problema das pontes de Königsberg Procurava-se uma sequência da forma R 0, P 1, R 1, P 2, R 2, P 3, R 3, P 4, R 4, P 5, R 5, P 6, R 6, P 7, R 7 onde: (i) R 0, R 1,..., R 7 são regiões (ii) P i é uma ponte ligando R i 1 a R i. (iii) P 0, P 1,..., P 7 são diferentes. Euler chegou a conclusão de que era impossível encontrar essa sequência. Ford e Fulkerson (1962) desenvolveram a teoria dos uxos em redes, um dos mais importantes resultados da teoria dos grafos, e muitas outras aplicações da teoria dos grafos então sendo desenvolvidas na área de Pesquisa Operacional. 1.2 Denições Básicas 1.2.1 Grafos Denição 1.1 Um grafo G é uma tripla ordenada de conjuntos nitos disjuntos (V, E, V E), satisfazendo: 1 v V : (v, e) V E 2 para todo e E. Notação: Os elementos do conjunto V := V (G) são chamados de vértices de G e os elementos de E := E(G) são chamados de arestas de G. Denomina-se V E := (V E)(G) como a lei de incidência do grafo G. 2

Denição 1.2 É dito que a aresta e é incidente ao vértice v, quando (v, e) V E. Notação: Quando a aresta e for incidente a vértices distintos x e y, denota-se tal aresta por e = xy. Assim, x e y são chamados extremos desta aresta. Caso uma aresta e seja incidente a um único vértice x, denota-se tal aresta por e = xx, ou seja, uma aresta cujos extremos são representados pelo mesmo vértice. Neste caso, diz-se que e é um laço. Outra possibilidade, é que dois vértices sejam unidos por mais de uma aresta, chamadas de arestas em paralelo. Observe na Figura 1.3, f é um exemplo de laço, enquanto que g e h representam arestas em paralelo. Figura 1.3: Grafo G Denição 1.3 Um grafo simples é um grafo sem laços e arestas em paralelo. Denição 1.4 Em uma grafo G, um caminha γ é uma sequência v 0, e 1, v 1, e 2, v 2,..., v n 1, e n, v n, onde v 0, v 1, v 2,..., v n são vértices de G, e 1, e 2,..., e n são arestas de G e, para i 1, 2,..., n, os vértices de G incidentes com e i são v i 1 e v i. Em um grafo simples, podemos representar um caminho apenas como uma sequência de vértices, em que quaisquer dois consecutivos estão ligados por uma aresta e esta é única. Denição 1.5 Diremos que n é o comprimento de γ, que é denotado por γ. Chamaremos v 0 e v n de vértices terminais de γ e v 1, v 2,..., v n 1 de vértices interiores. 3

Diremos que γ liga v 0 a v n ou que é um v 0 v n -caminho. Dois tipos de caminhos receberão atenção especial nessas notas: quando os vértices v 0, v 1,..., v n são dois a dois distintos, diremos que o caminho é simples, e quando v 0 = v n, { v 1, v 2,..., v n } = {e 1, e 2,..., e n } = n, chamaremos o caminho de circuito. Denição 1.6 Um grafo é dito conexo se para todo par {x, y} de vértices distintos existe um caminho de x para y. Aplicação: Em uma cidade, uma companhia telefônica deseja substituir os cabos convencionais de sua malha por cabos de bra ótica. Na gura a seguir, representamos uma pequena parte desta rede, visando apenas auxiliar a argumentação subseqüente. Figura 1.4: Grafo G 1 Para a telefonia, podemos considerar que os cabos de bra ótica possui capacidade innita para realizar ligações. Por esta razão, é suciente substituir apenas alguns cabos, de forma que a companhia tenha o menor custo para essa mudança. Antes de tentarmos resolver esse problema, precisamos de mais algumas denições. Denição 1.7 Seja e uma aresta de um grafo G. Denotaremos por G\e o grafo tendo respectivamente V (G) e E(G) e como conjunto de vértices e arestas e a incidência herdada de G. Diremos que G \ e foi obtido de G removendo-se a aresta e. Ampliando a denição anterior, quando X E(G), digamos X = {e 1,..., e n }, denimos G \ X como (...((G \ e 1 ) \ e 2 )...) \ e n, e diremos que G \ X foi obtido a partir de G após a remoção do conjunto X de arestas, não importando a ordem em que as arestas foram removidas. 4

Denição 1.8 Um grafo H é chamado subgrafo de G quando existe X E(G) tal que H = G \ X. Observação: Por denição, todo subgrafo de G tem o mesmo conjunto de vértices de G. Denição 1.9 Um grafo conexo G é dito minimalmente conexo quando G \ e não é conexo, para toda aresta e de G. Denição 1.10 Uma árvore é um grafo conexo que não possui circuito. Proposição 1.11 As seguintes armações sobre um grafo G são equivalentes: (i) G é minimalmente conexo. (ii) G é uma árvore. Prova. Esta proposição segue da seguinte observação sobre um grafo conexo: a remoção de uma aresta o desconecta se e somente se esta aresta não está em nenhum circuito. Figura 1.5: Subgrafo e árvore geradora de G 1 Para encontrar uma árvore geradora de G é fácil, basta eliminar todos os circuitos. Como um grafo conexo possui várias árvores geradoras, a companhia tinha várias opções para fazer a escolha daquela que iria utilizar. Então, vamos deixar o problema mais interessante, cada cabo tem um valor para substituição (os valores são diferentes entre si) e a companhia deseja a árvore geradora que tenha o menor custo. Para resolver tal 5

problema utilizaremos o algoritmo de Kruskal que será apresentado a seguir: Algoritmo Guloso (versão 1) Entrada: um grafo conexo G e uma função custo c. Saída: uma árvore geradora T de G com custo mínimo. (1) Escolha vértice v de G e faça V := {v} e E :=. (2) Se V = V (G), então faça T := G\[E(G) E] e pare. (3) Senão escolha aresta e de G incidente a um vértice em V e outro, w, em V (G) V possuindo custo mínimo. Faça V := V w e E := E e, onde w V (G) V e é incidente a e. Volte para a segunda etapa. 3 16 9 7 6 2 22 18 4 5 19 12 1 24 8 17 13 20 14 21 11 15 10 Vamos aplicar o Algoritmo Guloso no grafo ilustrado acima. 3 2 6 18 1 5 7 12 9 8 17 13 11 10 15 Lema 1.1 Se T é uma árvore com pelo menos dois vértices, então T possui pelo menos dois vértices terminais. 6

Prova. Se γ for um caminho simples de maior comprimento em T, então os vértices terminais de γ são terminais em T. A existência de vértices terminais nas árvores nos permite gerá-las indutivamente: uma árvore com n vértices é obtida a partir de uma árvore com n 1 vértices adicionando-se um vértice e uma aresta para conectar esse novo vértice a árvore. Dessa forma, E(T ) = V (T ) 1 Apresentaremos uma outra versão para o Algoritmo de Kruskal, mas anteriormente daremos mais uma denição. Denição 1.12 Uma oresta é um grafo sem ciclos, não necessariamente conexo. Note que cada componente conexa de uma oresta é uma árvore. A árvore serão assim construída. 1. Iniciar com os n vértices, sem nenhuma aresta. 2. Introduzir a aresta de menor valor e 1. 3. A cada etapa introduzir dentre as arestas restantes a de menor valor que não complete algum ciclo. 4. Parar quando o número k de arestas introduzidas for n 1. Algoritmo Guloso (versão 2) Entrada: um grafo conexo G e uma função custo c. Saída: uma árvore geradora T de G com custo mínimo. (1) Escolha a aresta e 1 de menor valor em G e faça V := V (G) e E := {e 1 }. (2) Se E = n 1, então faça T := G\[E(G) E] e pare. (3) Senão escolha aresta e 2 [E(G) E], de tal forma que possua custo mínimo e não forme ciclo. Faça V = V (G) e E := E e 2. Volte para a segunda etapa. Observe que na primeira versão do Algoritmo Guloso, em cada etapa, o grafo obtido tem uma única componente que tem arestas, enquanto que na segunda versão podemos 7

ter várias componentes conexas possuindo arestas. Demonstração da corretura da versão 2 do Algoritmo Guloso. Para isso, chamaremos o grafo obtido de G n 1 = (V (G), E n 1 ), onde V (G) é o conjunto de vértices de G e E n 1 o conjunto de n 1 arestas, vale salientar que a lei de incidência de G n 1 é herdada de G. Suponha que G n 1 = (V (G), E n 1) é a verdadeira solução de custo mínimo e, mais, G n 1 G n 1. Ordenamos em G n 1 as arestas pela ordem crescente dos valores. Seja e 1 a primeira aresta que aparece em E n 1 mas não em E n 1 (tal aresta existe porque por hipótese G n 1 G n 1). Considere o grafo H 1 = (V (G), W 1 ), onde W 1 = E n 1 {e 1 }. Pela denição de árvore, W 1 contém um ciclo. Nesse ciclo existe uma aresta u que não gura em E n 1, porque G n 1 por construção não tem ciclo. O grafo H = (V (G), W ), onde W = (E n 1 {e 1 } u) é uma árvore. Por outro lado, a aresta u tem um valor maior do que o da aresta e 1, senão ela teria sido introduzida no lugar de e 1 durante a construção de G n 1. Segue-se, portanto, que H tem um valor total inferior ao de G n 1, o que contradiz a hipótese de ser G n 1 a solução de menor valor e diferente de G n 1. Assim, a árvore G n 1 é a solução procurada. A demonstração da corretura da versão 1 encontra-se em LEMOS [3], sem a restrição dos valores associados as arestas serem todos diferentes entre si. 8

Bibliograa [1] CRISTINO, Cláudio Tadeu, O Polinômio de Tutte. Dissertação de Mestrado. Recife, 2001. [2] FURTADO, Antonio Luz, Teoria dos Grafos: Algoritmos. Ed. Livros Técnicos e Cientícos. Rio de Janeiro, 1973. [3] LEMOS, Manoel, Interação entre Grafos e Matróides. Notas de Aula. Departamento de Matemática (UFPE). Recife. [4] NETTO, Paulo Oswaldo Boaventura, Teoria e Modelos de Grafos, Ed. Blücher. São Paulo, 1979. [5] WILSON, Robin J., Introdução a Teoria dos Grafos, Ed. Oliver e Boyd. Edinburg, 1972.