BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos...

45
BCC204 - Teoria dos Grafos Marco Antonio M. Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 30 de outubro de 2019 Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 1 / 31

Transcript of BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos...

Page 1: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

BCC204 - Teoria dos Grafos

Marco Antonio M. Carvalho

(baseado nas notas de aula do prof. Haroldo Gambini Santos)Departamento de Computação

Instituto de Ciências Exatas e BiológicasUniversidade Federal de Ouro Preto

30 de outubro de 2019

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 1 / 31

Page 2: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Avisos

Site da disciplina:I http://www.decom.ufop.br/marco/

Lista de e-mails:I [email protected]

Para solicitar acesso:I http://groups.google.com/group/bcc204

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 2 / 31

Page 3: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Conteúdo

1 Sólidos Platônicos

2 Grafos de Kuratowski

3 Região ou Face

4 Detecção de Planaridade

5 O Teorema de Kuratowski

6 Complemento e Planaridade

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 3 / 31

Page 4: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Sólidos Platônicos

DefiniçãoOs sólidos platônicos (em homenagem ao filósofo Platão) são figurastridimensionais nas quais todas as faces são polígonos regulares congruentes, talque cada vértice possui o mesmo número de faces incidentes.

Existem somente 5 sólidos platônicos.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 4 / 31

Page 5: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Sólidos Platônicos

HistóricoPlatão associou cada sólido com um dos elementos que acreditava serem acomposição de tudo no universo: ar (octaedro), água (icosaedro), fogo (tetraedro),terra (cubo) e (às vezes) éter (dodecaedro).

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 5 / 31

Page 6: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Sólidos Platônicos

A Fórmula de EulerUm sólido platônico é composto por vértices (V), arestas (E) e faces (F). A relaçãoentre estes valores é dada pela Fórmula de Euler:

V − E + F = 2

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 6 / 31

Page 7: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Grafos Platônicos

CorrespondênciaPara cada sólido platônico, há um grafo platônico correspondente, que na verdaderepresentam o “esqueleto” de cada sólido.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 7 / 31

Page 8: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Sólidos Platônicos e Planaridade

A CorrelaçãoVeremos a seguir que o conceito de planaridade possui propriedades dos sólidosplatônicos, como a aplicação da fórmula de Euler.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 8 / 31

Page 9: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Oferta de Serviços

Gás Luz Água

A apostaPodemos oferecer os demais serviços para todas as residências sem que as linhas secruzem?

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 9 / 31

Page 10: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Grafo Planar

DefiniçãoUm grafo G é planar se existir uma representação gráfica de G no plano semcruzamento de arestas.

O grafo K4 é planar?

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 10 / 31

Page 11: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Grafos Planares - Aplicação de Exemplo

I Vértices: portas lógicas;I Arestas: fios entre as portas lógicas;I Objetivo: encontrar um leiaute do circuito sem cruzamento de fios.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 11 / 31

Page 12: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Grafos de Kuratowski

K5 – grafo não planar com menor número de vértices.

K3,3 – grafo não planar com menor número de arestas.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 12 / 31

Page 13: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Grafos de Kuratowski

O que K5 e K3,3 têm em comum:I Ambos são regulares;I Ambos são não planares;I A remoção de uma aresta ou um vértice torna o grafo planar;I K5 é o grafo não-planar com o menor número de vértices e o K3,3 com o

menor número de arestas.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 13 / 31

Page 14: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Planaridade

TeoremaQualquer grafo planar simples pode ter sua representação planar utilizando apenaslinhas retas.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 14 / 31

Page 15: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Região ou Face

DefiniçãoSeja G um grafo planar, uma face é uma região fechada de G limitada poralgumas arestas de G .

ExemploNo grafo abaixo temos 6 faces. A última face é o exterior do grafo que também échamada de face infinita.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 15 / 31

Page 16: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Planaridade

Teorema (Fórmula de Euler):Seja G um grafo conexo e planar comI n vértices;I m arestas;I f faces.

Temos que:

n −m + f = 2

Implicação: apesar das inúmeras maneiras de se desenhar um grafo no plano, onúmero de faces irá permanecer o mesmo.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 16 / 31

Page 17: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Planaridade

Teorema (Fórmula de Euler):Seja G um grafo conexo e planar comI n vértices;I m arestas;I f faces.

Temos que:

n −m + f = 2

Implicação: apesar das inúmeras maneiras de se desenhar um grafo no plano, onúmero de faces irá permanecer o mesmo.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 16 / 31

Page 18: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

n −m + f = 2

Prova

G1

A fórmula de Euler é válida para G1.É fácil mostrar que a fórmula de Euler éválida para qualquer árvore, ou seja, umgrafo onde m = n − 1 e f = 1.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 17 / 31

Page 19: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

n −m + f = 2

Prova

G1

A fórmula de Euler é válida para G1.É fácil mostrar que a fórmula de Euler éválida para qualquer árvore, ou seja, umgrafo onde m = n − 1 e f = 1.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 17 / 31

Page 20: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

n −m + f = 2

Prova (cont.)

Se G é conexo, então a adição de umanova aresta a cria um ciclo e, porconsequência, uma nova face em G .Ou seja, adicionar arestas em uma árvore(onde a fórmula de Euler está correta),não modifica o valor obtido pela fórmula.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 18 / 31

Page 21: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

Corolário (decorrência imediata de um teorema)Se G é um grafo planar conexo com m > 1, então

m ≤ 3n − 6

Prova (p.1)Definimos o grau de uma face como o número de arestas nos seus limites. Se umaaresta aparece duas vezes pelo limiar, então contamos duas vezes.Ex.: A região K tem grau 12.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 19 / 31

Page 22: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

CorolárioSe G é um grafo planar conexo com m > 1, então m ≤ 3n − 6.

Prova (p.2)Note que nenhuma face pode ter menor do que grau 3, considerando grafos simples.

Logo, 2ma ≥ 3f , ou seja, f ≤ 23m.

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equação anterior, temos:

2+m − n ≤ 23m

Multiplicando por 3 para eliminar a fração e isolando m temos:6+ 3m − 3n ≤ 2m

m ≤ 3n − 6

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 20 / 31

Page 23: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

CorolárioSe G é um grafo planar conexo com m > 1, então m ≤ 3n − 6.

Prova (p.2)Note que nenhuma face pode ter menor do que grau 3, considerando grafos simples.

Logo, 2ma ≥ 3f , ou seja, f ≤ 23m.

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equação anterior, temos:

2+m − n ≤ 23m

Multiplicando por 3 para eliminar a fração e isolando m temos:6+ 3m − 3n ≤ 2m

m ≤ 3n − 6

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 20 / 31

Page 24: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

CorolárioSe G é um grafo planar conexo com m > 1, então m ≤ 3n − 6.

Prova (p.2)Note que nenhuma face pode ter menor do que grau 3, considerando grafos simples.

Logo, 2ma ≥ 3f , ou seja, f ≤ 23m.

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equação anterior, temos:

2+m − n ≤ 23m

Multiplicando por 3 para eliminar a fração e isolando m temos:6+ 3m − 3n ≤ 2m

m ≤ 3n − 6

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 20 / 31

Page 25: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

ExercícioEncontre um exemplo de grafo com m ≤ 3n − 6 que não seja planar.

Grafo de Petersen e K3,3.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 21 / 31

Page 26: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

Casos EspeciaisO grafo bipartido completo K3,3 possui todas as regiões de grau 4, logo:

2ma ≥ 4f , ou f ≤ 24m

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equaçãoanterior, temos:

2+m − n ≤ 24m

Multiplicando por 2 para eliminar a fração e isolando m temos:

4+ 2m − 2n ≤ mm ≤ 2n − 4

Como o K3,3 possui 6 vértices e 9 arestas, temos que 9 ≤ 8, o que é umacontradição.

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 22 / 31

Page 27: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

Casos EspeciaisO grafo bipartido completo K3,3 possui todas as regiões de grau 4, logo:

2ma ≥ 4f , ou f ≤ 24m

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equaçãoanterior, temos:

2+m − n ≤ 24m

Multiplicando por 2 para eliminar a fração e isolando m temos:

4+ 2m − 2n ≤ mm ≤ 2n − 4

Como o K3,3 possui 6 vértices e 9 arestas, temos que 9 ≤ 8, o que é umacontradição.

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 22 / 31

Page 28: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

Casos EspeciaisO grafo bipartido completo K3,3 possui todas as regiões de grau 4, logo:

2ma ≥ 4f , ou f ≤ 24m

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equaçãoanterior, temos:

2+m − n ≤ 24m

Multiplicando por 2 para eliminar a fração e isolando m temos:

4+ 2m − 2n ≤ mm ≤ 2n − 4

Como o K3,3 possui 6 vértices e 9 arestas, temos que 9 ≤ 8, o que é umacontradição.

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 22 / 31

Page 29: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

Casos EspeciaisO grafo bipartido completo K3,3 possui todas as regiões de grau 4, logo:

2ma ≥ 4f , ou f ≤ 24m

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equaçãoanterior, temos:

2+m − n ≤ 24m

Multiplicando por 2 para eliminar a fração e isolando m temos:

4+ 2m − 2n ≤ mm ≤ 2n − 4

Como o K3,3 possui 6 vértices e 9 arestas, temos que 9 ≤ 8, o que é umacontradição.

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 22 / 31

Page 30: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

Casos EspeciaisO grafo de Petersen possui todas as regiões de grau 5, logo:

2ma ≥ 5f , ou f ≤ 25m

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equaçãoanterior, temos:

2+m − n ≤ 25m

Multiplicando por 5 para eliminar a fração e isolando m temos:

10+ 5m − 5n ≤ 2m3m ≤ 5n − 10

Como o grafo de Petersen possui 10 vértices e 15 arestas, temos que 45 ≤ 40, oque é uma contradição.

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 23 / 31

Page 31: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

Casos EspeciaisO grafo de Petersen possui todas as regiões de grau 5, logo:

2ma ≥ 5f , ou f ≤ 25m

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equaçãoanterior, temos:

2+m − n ≤ 25m

Multiplicando por 5 para eliminar a fração e isolando m temos:

10+ 5m − 5n ≤ 2m3m ≤ 5n − 10

Como o grafo de Petersen possui 10 vértices e 15 arestas, temos que 45 ≤ 40, oque é uma contradição.

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 23 / 31

Page 32: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

Casos EspeciaisO grafo de Petersen possui todas as regiões de grau 5, logo:

2ma ≥ 5f , ou f ≤ 25m

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equaçãoanterior, temos:

2+m − n ≤ 25m

Multiplicando por 5 para eliminar a fração e isolando m temos:

10+ 5m − 5n ≤ 2m3m ≤ 5n − 10

Como o grafo de Petersen possui 10 vértices e 15 arestas, temos que 45 ≤ 40, oque é uma contradição.

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 23 / 31

Page 33: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

A Fórmula de Euler

Casos EspeciaisO grafo de Petersen possui todas as regiões de grau 5, logo:

2ma ≥ 5f , ou f ≤ 25m

Isolando f na fórmula de Euler, temos que f=2+m-n. Substituindo f na equaçãoanterior, temos:

2+m − n ≤ 25m

Multiplicando por 5 para eliminar a fração e isolando m temos:

10+ 5m − 5n ≤ 2m3m ≤ 5n − 10

Como o grafo de Petersen possui 10 vértices e 15 arestas, temos que 45 ≤ 40, oque é uma contradição.

a2m: soma dos graus das faces

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 23 / 31

Page 34: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Exercícios

1 Prove matematicamente que o grafo K5 não é planar.2 Encontre o número de arestas de um grafo no qual toda região é limitada por

exatamente k arestas.3 Mostre que se um grafo simples G tem pelo menos 11 vértices, ambos G e

seu complemento não podem ser simultaneamente planares.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 24 / 31

Page 35: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Detecção de Planaridade

Redução ElementarEm um grafo G podemos, com segurança, contrair todos os vértices de grau 2 sem afetarsua planaridade. Esse processo é chamado de redução elementar.

Depois dessa operação, o grafo resultante H é:

1 Uma única aresta;

2 Um grafo completo com 4 vértices; ou

3 Um grafo com n ≥ 5 e m ≥ 7.

Se H estiver nas condições 1 ou 2 ele é planar, senão, continua-se a investigação.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 25 / 31

Page 36: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Detecção de Planaridade

Redução ElementarEm um grafo G podemos, com segurança, contrair todos os vértices de grau 2 sem afetarsua planaridade. Esse processo é chamado de redução elementar.

Depois dessa operação, o grafo resultante H é:

1 Uma única aresta;

2 Um grafo completo com 4 vértices; ou

3 Um grafo com n ≥ 5 e m ≥ 7.

Se H estiver nas condições 1 ou 2 ele é planar, senão, continua-se a investigação.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 25 / 31

Page 37: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Detecção de Planaridade

Redução ElementarEm um grafo G podemos, com segurança, contrair todos os vértices de grau 2 sem afetarsua planaridade. Esse processo é chamado de redução elementar.

Depois dessa operação, o grafo resultante H é:

1 Uma única aresta;

2 Um grafo completo com 4 vértices; ou

3 Um grafo com n ≥ 5 e m ≥ 7.

Se H estiver nas condições 1 ou 2 ele é planar, senão, continua-se a investigação.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 25 / 31

Page 38: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Detecção de Planaridade

Redução ElementarEm um grafo G podemos, com segurança, contrair todos os vértices de grau 2 sem afetarsua planaridade. Esse processo é chamado de redução elementar.

Depois dessa operação, o grafo resultante H é:

1 Uma única aresta;

2 Um grafo completo com 4 vértices; ou

3 Um grafo com n ≥ 5 e m ≥ 7.

Se H estiver nas condições 1 ou 2 ele é planar, senão, continua-se a investigação.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 25 / 31

Page 39: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Detecção de Planaridade

Redução ElementarEm um grafo G podemos, com segurança, contrair todos os vértices de grau 2 sem afetarsua planaridade. Esse processo é chamado de redução elementar.

Depois dessa operação, o grafo resultante H é:

1 Uma única aresta;

2 Um grafo completo com 4 vértices; ou

3 Um grafo com n ≥ 5 e m ≥ 7.

Se H estiver nas condições 1 ou 2 ele é planar, senão, continua-se a investigação.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 25 / 31

Page 40: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Detecção de Planaridade

HomeomorfismoDizemos que um grafo H é homeomorfo a G se H puder ser obtido de G pelainserção de vértices de grau 2 em pontos intermediários de suas arestas.

De outro modo: dois grafos G1 e G2 são homeomorfos se os grafos H1 e H2 obtidosa partir da redução elementar de G1 e G2, respectivamente, forem isomorfos.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 26 / 31

Page 41: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Detecção de Planaridade

Teorema de Kuratowski, 1930Um grafo é planar se e somente se nenhum de seus subgrafos for homeomorfo ao K5 ou aK3,3.

G , subgrafo de G e contração do subgrafo.

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 27 / 31

Page 42: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Detecção de Planaridade

Isomorfismo e ComplexidadeO algoritmo intuitivo para testes de isomorfismo consiste em analisar as permutações delinhas e colunas de matrizes de equivalência, em busca de uma relação um-para-um, ouseja, O(n!).

Em outubro de 2015, Lászó Babai, da Universidade de Chicago, anunciou um algoritmoquasipolinomiala para o teste de isomorfismo!b

Em 4 de janeiro de 2017, foi descoberto um erro na prova, reclassificando o algoritmocomo subexponencialc.

Em 9 de janeiro de 2017, o erro na prova foi anunciado como contornadod.

aMais lento que polinomial, mas significativamente mais rápido que exponencial.bhttps://jeremykun.com/2015/11/12/

a-quasipolynomial-time-algorithm-for-graph-isomorphism-the-details/cMais lento que quasipolinomial, mas mais rápido que exponencial.dhttp://people.cs.uchicago.edu/~laci/update.html

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 28 / 31

Page 43: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Complemento e Planaridade

Seja G um grafo não dirigido com n vértices e C (G ) o seu complemento.

I Se n < 8, então G ou C (G ) é planar;I Se n > 8, então G ou C (G ) é não planar;I Se n = 8, nada pode ser dito.

Exemplos:

I G = K4,4I G é . . .?I C (G ) é . . .?

I G = K3,3 + aresta{x , y}I G é . . .?I C (G ) é . . .?

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 29 / 31

Page 44: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Na Internet

Site com “Jogo” sobre planaridade em Grafos:http://www.planarity.net/

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 30 / 31

Page 45: BCC204 - Teoria dos Grafos - DECOM · 2019. 10. 30. · BCC204 - Teoria dos Grafos MarcoAntonioM.Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento

Dúvidas?

Marco Antonio M. Carvalho (UFOP) BCC204 30 de outubro de 2019 31 / 31