Introdução à Teoria dos Grafos. Isomorfismo

Documentos relacionados
Teoria dos Grafos Aula 3 - Planaridade

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

Planaridade UFES. Teoria dos Grafos (INF 5037)

Oferta de Serviços. Grafo Planar. Notas. Teoria dos Grafos - BCC204, Planaridade. Notas

Teoria dos Grafos. Edson Prestes

Parte B Teoria dos Grafos

Teoria dos Grafos. Edson Prestes

CONCEITOS BÁSICOS EM GRAFOS

Grafos Planares. Grafos e Algoritmos Computacionais. Prof. Flávio Humberto Cabral Nunes

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

BCC204 - Teoria dos Grafos

Grafo planar: Definição

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

BCC204 - Teoria dos Grafos

Grafos planares. Algoritmos em Grafos. Marco A L Barbosa

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

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

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

Matemática Discreta 10

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

Teoria dos Grafos. Grafos Planares

Matemática Discreta. Aula nº 22 Francisco Restivo

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

Teoria dos Grafos. Edson Prestes

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

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

Capítulo 1 Conceitos e Resultados Básicos

Aula 2 Definições, Conceitos Básicos e Representação Interna de Grafos. Teoria dos Grafos Prof.

1.3 Isomorfismo 12 CAP. 1 CONCEITOS BÁSICOS

Disciplina: Matemática Discreta Agostinho Iaqchan Ryokiti Homa

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

Noções da Teoria dos Grafos

Teoria dos Grafos. Edson Prestes

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

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:

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

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

Definição e Conceitos Básicos

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

GRAFOS E ALGORITMOS TEORIA DE GRAFOS

ANÁLISE COMBINATÓRIA

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

Teoria dos Grafos. Edson Prestes

Grafos. Rafael Kazuhiro Miyazaki - 21 de Janeiro de 2019

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

Teoria dos Grafos. Conjuntos de Corte e Conectividade

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

Teoria dos Grafos Conceitos Básicos

Capítulo 1. Aula Conectividade Caminhos

Tópicos de Matemática Finita Data: a Chamada Correcção Código: 2D

Teoria dos Grafos. Edson Prestes

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

Introdução a Grafos Letícia Rodrigues Bueno

Percursos em um grafo

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

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

Conceito Básicos da Teoria de Grafos

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

Matemática discreta e Lógica Matemática

Teoria dos Grafos AULA 3

Circuitos Hamiltorianos

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

03 Grafos: percurso, ponderação e caminhos SCC0503 Algoritmos e Estruturas de Dados II

Prof. Marco Antonio M. Carvalho

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.

Indução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG

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

Grafos IFRN. Prof. Robinson Alves

1 Trajeto Euleriano. > Trajeto Euleriano 0/20

Grafos Orientados (digrafos)

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

Grafos: caminhos (matriz adjacência)

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

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

Introdução a Teoria dos Grafos Raimundo Macêdo

Teoria dos Grafos Introdu c ao

Tópicos de Matemática Finita Data: a Época Código: 2D. 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

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

APLICAÇÕES DA TEORIA DOS GRAFOS

Geometria Computacional: Polígonos

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

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

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE

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

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

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

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

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

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

Teoria dos Grafos. Edson Prestes

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

Matemática Discreta - Exercícios de Grafos

Estruturas Discretas

GRAFOS Aula 01 Introdução Max Pereira

Transcrição:

Isomorfismo Um isomorfismo entre dois grafos G e H é uma bijeção f : V (G) V (H) tal que dois vértices v e w são adjacentes em G, se e somente se, f (v) e f (w) são adjacentes em H. Os grafos G e H são isomorfos se existe um isomorfismo entre eles.

Isomorfismo f (u 1 ) = v 5, f (u 2 ) = v 8, f (u 3 ) = v 1, f (u 4 ) = v 4, f (u 5 ) = v 6, f (u 6 ) = v 7, f (u 7 ) = v 2, f (u 8 ) = v 3. Se G e H são isomorfos, existe uma re-rotulação dos vértices de H que preserva as adjacências vistas nos respectivos vértices em G.

Isomorfismo para provar que dois grafos são isomorfos, é necessário apresentar uma função bijetora que mapeia os vértices de G em H preservando adjacências. Não se conhece um algoritmo eficiente para determinar se dois grafos são isomorfos. Algumas propriedades, quando observadas, garantem o não-isomorfismo: número de vértices diferentes; número de arestas diferentes; sequência dos graus diferente; existência de subgrafos em um dos grafos e não no outro; um grafo é bipartido e o outro não; um grafo é conexo e o outro não.

Isomorfismo Os grafos são isomorfos? a b 6 v 1 c d 1 5 v 4 e v 4 6 v 5 f 2 3 v 3 v 2 A B C

: preliminares Grafo Bipartido Completo Um grafo bipartido completo, denotado por K n,m é um grafo bipartido com partição [X, Y ], com X = n e Y = n, onde cada vértice de X é adjacente a todos os vértices de Y. K 3,5

Grafo Planar Um grafo planar é um grafo que pode ser desenhado em um plano de forma que suas arestas se interceptem apenas em vértices.

Grafo Planar Um grafo planar é um grafo que pode ser desenhado em um plano de forma que suas arestas se interceptem apenas em vértices. K 4 é planar.

Grafo Planar Um grafo planar é um grafo que pode ser desenhado em um plano de forma que suas arestas se interceptem apenas em vértices. Tente desenhar o grafo completo com 5 vértices, K 5, no plano!

João, Pedro e Antônio moram na mesma rua e desejamos levar redes de serviços (água, luz e internet) até suas casas. O custo da instalação dessas redes é menor se não precisarmos passar os dutos um por baixo do outro. (Passar um duto por baixo do doutro implica em cavar mais fundo para a instalação e por isso fica mais caro.)

Existe maneira de levar as redes de água, luz e internet de fibra ótica para João, Pedro e Antônio sem que os dutos se cruzem?

Reformulando a pergunta: o grafo K 3,3 é planar?

Um grafo simples, conexo e planar, quando imerso no plano divide o mesmo em um número de regiões, incluindo as regiões totalmente fechadas e uma região infinita exterior. Essas regiões são também chamadas de faces. 1 2 3 4 Grafo com 4 faces.

Século dezoito, Leonhard Euler Euler observou uma relação entre o número de vértices (n), o número de arestas (m) e o número de faces (f ) de um grafo conexo imerso no plano: Fórmula de Euler: n m + f = 2. 1 2 3 4 n m + f = 9 11 + 4 = 2

Prova da Fórmula de Euler A prova é por indução em m, o número de arestas. Base: Quandom = 0, o grafo consiste em um único vértice. A única face é a externa. Neste caso, n = 1, m = 0 e f = l. n m + f = 1 0 + 1 = 2. Então a Fórmula de Euler é válida nesse caso.

Hipótese de indução: Assumima que a Fórmula de Euler vale para a representação planar de qualquer grafo conexo, planar e simples com k arestas. Passo: Considere um grafo G planar e conexo com k + 1 arestas. Há dois casos: Caso 1: O grafo tem um vértice de grau 1. Excluímos temporariamente este vértice e a aresta que o conecta; o novo grafo H é conexo, planar e simples com k arestas. Suponha que H tem n vértices e f faces. Pela hipótese de indução, n k + f = 2.

Como G tem um vértice a mais que H, o número de vértices de G é n + 1. Como G tem uma aresta a mais que H, o número de arestas de G é k + 1. Como o vértice removido de G tem grau 1, então o número de faces de G e H é igual. Então G tem f faces. Logo, a Fórmula de Euler para G é: (n + 1) (k + 1) + f = n k + f, que pela hipótese de indução, vale 2.

Caso 2: O grafo G não tem vértices de grau 1. Então apagamos, temporariamente, uma aresta que separa duas faces. (Se nenhuma aresta delimita uma face, então o grafo é uma árvore e tem um vértice de grau 1.) A eliminação da aresta cria um grafo G conexo, planar e simples com k arestas, n vértices e f faces. Pela hipótese de indução, n k + f = 2.

No grafo original, G, existe uma aresta e uma face a mais, e o mesmo número de vértices. Fórmula de Euler em G: n (k + 1) + (f + 1) = n k + f, que pela hipótese de indução é igual a 2.

Borda Uma borda é uma aresta que separa duas faces. Spike Uma spike é uma aresta que não separa duas faces. borda spike spike borda

Grau da Face O grau de uma face é a soma das bordas da face mais os spikes contados duas vezes. 1 2 3 4 Na face 2, o grau é 4. Na face 1, o grau é 6. Na face externa, o grau é 9.

Se G for um grafo simples, conexo e planar, com pelo menos três vértices e com m arestas. Observação 1: A soma dos graus das faces é 2m. Observação 2: Não há faces com apenas uma borda, porque não há laços no grafo. Observação 3: Não há faces com exatamente duas bordas porque não há arestas paralelas. Portanto, cada região tem pelo menos três arestas de borda, de forma que 3f é o número mínimo de bordas.

Pelas observações, conclui-se: 2m 3f Da Fórmula de Euler: f = 2 n + m. Então: 2m 3(2 n + m) = 6 3n + 3m. Portanto, m 3n 6.

O grafo K 5 tem 10 arestas, 5 vértices e é conexo. Então, se o K 5 for planar, é verdade que m 3n 6. No K 5, 10 3(5) 6 = 9 é falso!. Então K 5 não é planar.

Observação 4: Se G é conexo, planar, tem pelo menos 3 vértices e não tem ciclos de comprimento 3, então cada região terá pelo menos quatro arestas de borda. Então a soma dos graus das faces é pelo menos 4f. Então, 2m 4f. Usando a Fórmula de Euler: 2m 4(2 n + m) = 8 4n + 4m. Portanto, m 2n 4.

O grafo K 3,3 é conexo, tem pelo menos 3 vértices e não tem ciclos de tamanho 3, pois bipartidos não tem ciclos ímpares. Então, se o K 3,3 for planar, ele satisfaz a desigualdade: m 2n 4. O K 3,3 tem 9 arestas e 6 vértices, então 9 2(6) 4 = 8, falso! Portanto K 3,3 não é planar.

Grafos Homeormorfos (Minor) Dois grafos são homeomorfos se ambos puderem ser obtidos do mesmo grafo por uma sequência de subdivisões das arestas, nas quais uma única aresta xy é substituída por duas novas arestas xv e vy que se conectam a um novo vértice v. Grafos homeomorfos.

Teorema de Kuratowski Um grafo é não-planar se, e somente se, contém um subgrafo homeomorfo a K 5 ou K 3,3.

Para mostrar que um grafo é planar, basta desenhá-lo no plano sem intersecção de arestas. Por outro lado, para mostrar que um grafo não é planar, basta mostrar que o grafo possui um subgrafo homeomorfo ao K 5 ou ao K 3,3.

Desafio: Esse grafo é planar?