Escolar Documentos
Profissional Documentos
Cultura Documentos
Isomorfismo
Os grafos abaixo so idnticos:
Isomorfismo
Os grafos abaixo so diferentes:
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 :
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
21
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
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