Você está na página 1de 41

Teoria dos Grafos

Aula 7 Isomorfismo rvores rvores Geradoras

Jaqueline Faria de Oliveira E-mail: jaqueline.oliveira@prof.unibh.br

Isomorfismo
Os grafos abaixo so idnticos:

Conjuntos de vrtices e arestas so idnticos; Funes aresta-vrtice so as mesmas.


2

Isomorfismo
Os grafos abaixo so diferentes:

Conjuntos de vrtices e arestas so idnticos; Funes aresta-vrtice no so as mesmas.


3

Isomorfismo
Dois grafos G e H so ditos isomorfos se existir uma correspondncia um-para-um entre seus vrtices e entre suas arestas, de maneira que as relaes de incidncia so preservadas.

Isomorfismo
Condies necessrias mas no suficientes para que G e H sejam isomorfos:
mesmo nmero de vrtices mesmo nmero de arestas mesmo nmero de componentes mesmo nmero de vrtices com o mesmo grau

Isomorfismo
Os grafos abaixo so isomorfos?

Isomorfismo
Para resolver este problema devemos encontrar funes :

tal que exista a correspondncia como mencionado anteriormente.


7

Isomorfismo
Grafos G e so isomorfos?

Isomorfismo
Os grafos so isomorfos?

Isomorfismo
Grafos G e so isomorfos?

10

Isomorfismo
Isomorfismo de grafos uma relao de equivalncia no conjunto de grafos. Informalmente, temos que esta propriedade :
Reflexiva: Um grafo isomorfo a si prprio. Simtrica: Se um grafo G isomorfo a um grafo G ento G isomorfo a G. Transitiva: Se um grafo G isomorfo a um grafo G e G isomorfo a G ento G isomorfo a G.
11

Isomorfismo
Ache todos os grafos no isomorfos que tm dois vrtices e duas arestas.

Existe um algoritmo que aceita como entrada os grafos G e G e produz como resultado uma afirmao se estes grafos so isomorfos ou no? Sim. Gere todas as funes g e h e determine se elas preservam as funes arestavrtice de G e G.
12

Isomorfismo
Se G e G tm cada um n vrtices e m arestas, o nmero de funes g n! e o nmero de funes h m!, o que d um nmero total de n! m! funes. Exemplo para n = m = 20.
Temos pares a verificar. Assumindo que cada combinao possa ser achada e calculada em apenas 1s (microssegundo), seria necessrio aproximadamente 1,9 1023 anos para terminar a computao nesse computador.
13

Isomorfismo
Teorema: Cada uma das seguintes propriedades uma invariante para isomorfismo de dois grafos G e G, onde n,m e k so inteiros no negativos:
1. Tem n vrtices; 2. Tem m arestas; 3. Tem um vrtice de grau k; 4. Tem m vrtices de grau k; 5. Tem um circuito de tamanho k; 6. Tem um circuito simples de tamanho k; 7. Tem m circuitos simples de tamanho k; 8. conexo; 9. Tem um circuito Euleriano; 10. Tem um circuito Hamiltoniano.

Isto significa que se G isomorfo a G ento se G tem uma destas propriedades G tambm tem.
14

rvore
Uma rvore um grafo no dirigido, acclico e conexo.

15

Floresta
Uma floresta um grafo no dirigido acclico podendo ou no ser conexo.

16

rvore Geradora

17

rvore geradora
Uma rvore geradora de um grafo G um grafo que contm cada vrtice de G e uma rvore. Esta definio pode ser estendida para floresta geradora. Proposio:
Cada grafo conexo tem uma rvore geradora. Duas rvores geradores quaisquer de um grafo tm a mesma quantidade de arestas.
18

rvore geradora
Seja G o grafo:

Este grafo possui o circuito 2 1 4 2 . A remoo de qualquer uma das trs arestas do circuito leva a uma rvore.
19

rvore geradora
As rvores geradoras so:

20

rvore geradora mnima ou Minimal Spanning Tree

21

rvore geradora mnima


Definio: Em um grafo ponderado, a soma de todos os pesos de todas as arestas o peso total do grafo. Uma rvore geradora mnima para um grafo ponderado uma rvore geradora que tem o menor peso total possvel dentre todas as possveis rvores geradoras do grafo. Se G um grafo com peso e m uma aresta de G ento:
w(m) indica o peso da aresta m w(G) indica o peso total do grafo G
22

rvore geradora mnima


Algoritmo de Kruskal:
Seleciona a aresta de menor peso que conecta duas rvores de uma floresta. Repita o processo at que todos os vrtices estejam conectados sempre preservando a invariante de se ter uma rvore.

23

rvore geradora mnima

24

rvore geradora mnima

25

rvore geradora mnima

26

rvore geradora mnima

27

rvore geradora mnima

28

rvore geradora mnima

29

rvore geradora mnima

30

rvore geradora mnima


Algoritmo de Prim Animao na web:
Bom para entendimento geral do algoritmo: http://students.ceid.upatras.gr/~papagel/project/ kruskal.htm

31

rvore geradora mnima


Algoritmo de Prim:
Tomando como vrtice inicial A, crie uma fila de prioridades classificada pelos pesos das arestas conectando A. Repita o processo at que todos os vrtices tenham sido visitados.

32

rvore geradora mnima

33

rvore geradora mnima

34

rvore geradora mnima

35

rvore geradora mnima

36

rvore geradora mnima

37

rvore geradora mnima

38

rvore geradora mnima

39

rvore geradora mnima


Prim:
Gera uma rvore nica; Ao longo do algoritmo, o conjunto X sempre uma rvore. Complexidade: O(M lg N + M)

Kruskal:
Gera uma floresta, antes de gerar a AGM; Ao longo do algoritmo, o conjunto X sempre uma floresta; Existe garantia de ser uma rvore apenas depois da ltima iterao. Complexidade: (M log N)
40

Perguntas

?
41

Você também pode gostar