Teoria dos Grafos. Conjuntos de Corte e Conectividade

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

Teoria dos Grafos. Árvores

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. Coloração de Vértices

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

Teoria dos Grafos AULA 3

Teoria dos Grafos AULA 2

Teoria dos Grafos. Grafos Planares

Teoria dos Grafos. Fluxo Máximo em Redes

Teoria dos Grafos. Árvores Geradoras

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

Teoria dos Grafos AULA 1

Teoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 16: Grafos Planares. 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. Valeriano A. de Oliveira Socorro Rangel 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 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. 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. Departamento de Matemática Aplicada

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

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

A resposta para este problema envolve a partição do conjunto de arestas de tal forma que arestas adjacentes não pertençam a um mesmo conjunto.

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

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

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

Grafos: árvores geradoras mínimas. Graça Nunes

Teoria dos Grafos AULA 1

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

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

Introdução à Teoria dos Grafos. Isomorfismo

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

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

R.J. Wilson and J.J. Watkins, Graphs An Introductory approach, J. Wiley, 1990.

Gabriel Coutinho DCC035 - Pesquisa Operacional Lista 6

A resposta para este problema envolve a partição do conjunto de arestas de tal forma que arestas adjacentes não pertençam a um mesmo conjunto.

Introdução à Teoria dos Grafos

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

Árvores: Conceitos Básicos e Árvore Geradora

PCC173 - Otimização em Redes

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

Teoria dos Grafos Aula 2

Volmir Eugênio Wilhelm Departamento de Engenharia de Produção UFPR 45

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

Grafos e Algoritmos Raimundo Macêdo. Teorema de Hall (Prova por Indução)

Teoria dos Grafos Aula 6

GRAFOS. Introdução Conceitos Fundamentais

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

Teoria dos Grafos Aula 2

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

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

Problema da Árvore Geradora Mínima

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

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

Teoria dos Grafos Caminhos. Profª. Alessandra Martins Coelho

GRAFOS: UMA INTRODUÇÃO

Otimização em Grafos

Algoritmos de aproximação - Problema do caixeiro viajante

Aulas 10 e 11 / 18 e 20 de abril

x y Grafo Euleriano Figura 1

Grafos Eulerianos e o Problema do Carteiro Chinês

Problemas de Fluxo em Redes

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

MATEMÁTICA DISCRETA PARA ENGENHARIA DE COMPUTAÇÃO

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

CONCEITOS BÁSICOS EM GRAFOS

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

Pesquisa Operacional

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

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn

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

Noções da Teoria dos Grafos

v 4 v 6 v 5 b) Como são os corte de arestas de uma árvore?

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

Projeto de Algoritmos por Indução

Parte B Teoria dos Grafos

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 Conjuntos de Corte e Conectividade Preparado a partir do texto: Rangel, Socorro. Teoria do Grafos, Notas de aula, IBILCE, Unesp, 2002-2013.

Conjuntos de Corte

Definição e Exemplos Ao estudarmos árvores geradoras, estávamos interessados em um tipo especial de subgrafo de um grafo conexo: um subgrafo que mantivesse todos os vértices do grafo interligados. Neste tópico, estamos interessados em um outro tipo de situação: subgrafos cuja remoção do grafo separa alguns vértices de outros. Definição 1. Em grafo conexo G, um corte de arestas (ou simplesmente conjunto de corte) é um conjunto de arestas cuja remoção torna o grafo G desconexo, desde que nenhum subconjunto próprio destas arestas tenha a mesma propriedade Teoria dos Grafos (Antunes Rangel&Araujo) 3

Exemplo 1. Considere o grafo: Definição e Exemplos Aplicação 1: Suponha que os vértices representam 6 cidades interligadas por cabos de fibra ótica. Desejamos saber quais são os pontos fracos desta rede, isto é, pontos que necessitam de cabos adicionais. Estamos procurando, entre todos os cortes de arestas deste grafo, aquele com o menor número de arestas. Neste caso, a cidade v 3 necessita de mais cabos. Exemplo 2. Como são os corte de arestas de uma árvore? Teoria dos Grafos (Antunes Rangel&Araujo) 4

Propriedades Questão: Considere uma árvore geradora T em um grafo conexo G e um corte de arestas S qualquer deste grafo. Existe alguma aresta em comum entre T e S? Sim, pois caso contrário a remoção das arestas em S do grafo G não resultaria em um grafo desconexo. 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 3. Verificar o teorema para a seguinte árvore geradora T: Teoria dos Grafos (Antunes Rangel&Araujo) 5

Propriedades Para identificar os pontos fracos de uma rede é necessário encontrar todos os cortes de aresta de G. Como fazer isso? Definição 2. Seja um grafo G e T uma árvore geradora de G. Um conjunto de corte fundamental relativo à arvore T, é um conjunto de corte de G que contém apenas uma aresta em comum com a árvore geradora T. Teoria dos Grafos (Antunes Rangel&Araujo) 6

Propriedades Exemplo 4. Seja G: Seja T: Teoria dos Grafos (Antunes Rangel&Araujo) 7

Propriedades Vamos considerar a aresta e. A remoção da aresta e de T particiona o conjunto de vértices de T em: Ou seja, {e} é um corte de arestas de T. Como determinar um corte de arestas fundamental de G relativo a T que contenha a aresta e? Basta encontrarmos o conjunto de arestas contendo o ramo {e} e que provoque a mesma partição no conjunto de vértices de G: {d,e,f} Teoria dos Grafos (Antunes Rangel&Araujo) 8

Propriedades Perguntas: 1. Quantos corte de arestas fundamentais existem? n 1, ou seja 5. Quais são eles? {a,b},{d,e,f},{a,c,d},{f,g,h},{f,h,k} 2. Qual é a relação entre cortes de aresta fundamentais e circuitos fundamentais? Podem ser obtidos a partir de uma árvore geradora de G. Todo elo de uma árvore geradora define um circuito fundamental. Todo ramo de uma árvore geradora define um corte de aresta fundamental. 3. Como obter todos os cortes de arestas de um grafo G? Teoria dos Grafos (Antunes Rangel&Araujo) 9

Propriedades Definição 3. A soma direta de dois cortes de arestas em um grafo é igual a um terceiro corte de arestas ou a união aresta-disjunta de dois cortes de arestas. Exemplo 5. Seja o grafo G e árvore T do Exemplo 4. {d,e,f} {f,g,h} = {d,e,g,h} é um corte de arestas mas não é fundamental {a,b} {b,c,e,f} = {a,c,e,f} é um corte de arestas mas não é fundamental {d,e,h,k} {f,g,h} = {d,e,f,g,k} não é um corte de arestas mas é união aresta-disjunta de dois cortes de aresta {d,e,f} {g,k}. Assim, é possível gerar todos os cortes de arestas de um grafo G a partir dos cortes de arestas fundamentais relativos a uma dada árvore geradora de G. Teoria dos Grafos (Antunes Rangel&Araujo) 10

Exercício Considere o Grafo: a) Determine uma árvore geradora deste grafo e liste todos os sete cortes de arestas fundamentais relativos a esta árvore. b) Usando a operação de soma direta, determine todos os outros cortes de arestas deste grafo. Teoria dos Grafos (Antunes Rangel&Araujo) 11

Conectividade

Definições e exemplos No estudo de conectividade, entre outros aspectos, estamos interessados em estudar a vulnerabilidade de um grafo. Podemos observar que cada corte de arestas tem um determinado número de arestas. Estamos interessados no corte de arestas que possui o menor número de elementos. Definição 4. O número de arestas no menor corte de arestas de um grafo G é chamado de Conectividade de Aresta (C A ). Teoria dos Grafos (Antunes Rangel&Araujo) 13

Definições e exemplos Exemplo 6. : 1. Qual é a conectividade de arestas de uma árvore? 2. Qual é a conectividade de arestas do grafo de exercício anterior? 3. Qual é a conectividade de arestas dos grafos dos dois exemplos anteriores? 4. Qual é a conectividade de arestas do grafo a seguir? Teoria dos Grafos (Antunes Rangel&Araujo) 14

Definições e exemplos Exemplo 7. : Observamos que não é possível obter um subgrafo desconexo removendo apenas 1 aresta de G. No entanto, é possível obter um subgrafo desconexo, através da remoção de um vértice. Assim, podemos definir a conectividade de vértices do grafo. Teoria dos Grafos (Antunes Rangel&Araujo) 15

Definições e exemplos Definição 5. Em um grafo conexo G, um corte de vértices é um conjunto de vértices cuja remoção torna o grafo G desconexo, desde que nenhum subconjunto próprio tenha a mesma propriedade. O número de vértices no menor corte de vértices é chamado de Conectividade de Vértices (C V ) Exemplo: A conectividade de vértices de cada um dos grafos do exemplo anterior é: a) árvore C V =1 b) C V =4 c) C V =1 e C V =2 d) C V =1 Teoria dos Grafos (Antunes Rangel&Araujo) 16

Definições e exemplos Definição 6. Um grafo conexo é separável se a conectividade de vértices é igual a 1. Exemplo 8. : O grafo item d do Exemplo anterior é separável. Aplicação: Suponha que existam n estações para serem ligadas através de m linhas (linhas de telefone, túneis, estradas, etc) tal que m (n 1). Qual é a melhor maneira de se fazer a conexão? Precisamos de um grafo com n vértices, m arestas e com o maior valor possível para C A e C V. O grafo do exemplo d tem 8 vértices e 16 arestas e C V =1 e C A =3. Ao passo que o grafo do exercício anterior tem C A =C V =4. Ou seja, este último grafo, representa uma forma melhor de se obter a conexão. É necessário destruir 4 estações ou 4 linhas para quebrar a comunicação entre as estações. Qual é o maior valor possível para C V e C A? Teoria dos Grafos (Antunes Rangel&Araujo) 17

Propriedades Teorema 2. A conectividade de arestas de um grafo é menor ou igual ao grau do vértice de grau mínimo do grafo. Prova: Seja v min o vértice de grau mínimo do grafo. Seja δ o grau deste vértice. Para separar este vértice dos demais vértices do grafo é necessário remover as δ arestas incidentes em v i. Portanto, C A δ. Teorema 3. A conectividade de vértices em um grafo G é menor ou igual à conectividade de arestas. Teoria dos Grafos (Antunes Rangel&Araujo) 18

Propriedades Usando os Teoremas 3 e 4 temos podemos estabelecer a seguinte relação: C V C A δ Mais ainda, é possível mostrar que C V C A 2m/n. Exercício Determine a conectividade vértices e de arestas do grafo abaixo. Observe que a desigualdade acima é satisfeita estritamente. Para obter um grafo com o maior valor possível para C V, inicialmente construa um grafo regular de grau 2m/n, em seguida acrescente as arestas restantes. Teoria dos Grafos (Antunes Rangel&Araujo) 19

Definição Definição 7. Um grafo G é k-conexo em arestas (ou vértices) quando sua conectividade de arestas (ou vértices) é k. Exercícios: verificar a conectividade de arestas e vértices dos grafos a seguir Teoria dos Grafos (Antunes Rangel&Araujo) 20

Propriedades Teorema 4. Um grafo G é k-conexo se e somente se existem pelo menos k caminhos disjuntos (exceto nos extremos) entre cada par de vértices de G. Exemplo 9. Exemplo: No grafo de exemplo anterior (item d) temos: {u,(u,v),v,(v,x),x} e {u,(u,w),w,(w,x),x} entre os vértices u e x. Aplicação: Considere que mensageiros devem ser enviados entre duas cidades a e b. Como algumas estradas podem estar bloqueadas, queremos que cada mensageiro use estradas diferentes. Quantos mensageiros podem ser enviados? Considere um grafo onde os vértices são as cidades e as arestas representam estradas. O número de mensageiros que podem ser enviados é igual ao número de caminhos aresta-disjuntos entre os vértices a e b. Este número pode ser determinado usando os resultados acima. Teoria dos Grafos (Antunes Rangel&Araujo) 21

Exercício Seja o grafo: 1. Encontre 3 caminhos aresta-disjuntos entre s e t. 2. Encontre um corte de arestas contendo 3 arestas que separe s e t. 3. Qual é o maior número possível de caminhos disjuntos entre s e t? Teoria dos Grafos (Antunes Rangel&Araujo) 22