GRAFOS

Isomorfismo e Casamento de Grafos

MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009

Grafos e Aplicaes

Equivalncia estrutural
6 2 3 7 1 2 3 4 5

4 0

5 1 0 7 6

- Os vrtices e arestas dos grafos acima possuem os mesmos rtulos - possvel verificar que se dois ns i e j de um grafo so vizinhos,
tambm o so no outro grafo

MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009

Grafos e Aplicaes

Equivalncia estrutural
- Se os grafos no possuem os mesmos rtulos, como no caso abaixo,
possvel estabelecer um mapeamento
1 4 6 7 2 3 5 8 x s

G
w y

H
u v z t

atravs de uma funo bijetora f 1s 2t 3u 4v

MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009

5w 6x 7y 8z
Grafos e Aplicaes

Equivalncia estrutural
No grafo G v-se que o n 1 vizinho a 2, 3 e 5, no a outros No grafo H v-se que s=f(1) adjacente a t=f(2), u=f(3) e w=f(5), mas no a outros. Portanto, v-se que a bijeo f: VG VH tambm existe para a relao de vizinhana

MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009

Grafos e Aplicaes

Isomorfismo - definio
Definio Seja G e H dois grafos simples. Uma bijeo entre os ns f: VG VH preserva a adjacncia se para cada par de ns adjacentes u e v no grafo G, os vrtices f(u) e f(v) forem adjacentes no grafo H. Definio Uma bijeo entre os ns f: VG VH preserva a estrutura se a estrutura de adjacncia e no-adjacncia preservada.

MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009

Grafos e Aplicaes

Isomorfismo - definio
ISOMORFISMO Dois grafos simples G e H so isomrficos, denotado por G H, se existe uma preservao da estrutura na bijeo dos ns f: VG VH. Tal funo f chamada de isomorfismo entre G e H.
6 2 3 7 a=f(0) d=f(3) f=f(5) 4 0 5 1 g=f(6) b=f(1) c=f(2) e=f(4) h=f(7)

A generalizao do problema de isomorfismo entre grafos chamado de mapeamento linear entre grafos, preserva a adjacncia, mas no necessariamente a no adjacncia e no necessariamente bijetiva.
MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009 Grafos e Aplicaes

Isomorfismo
No existem algoritmos polinomiais para identificar se dois grafos so isomrficos1. Uma das formas de verificar se ocorre o isomorfismo entre dois grafos provar exatamente o contrrio atravs do conceito de invariante (propriedade que preservada pelo isomorfismo, como por exemplo, o nmero de ns e o grau).

R. C. Read, Read, D. G. Corneil. Corneil. The graph isomorphism disease. Journal of Graph Theory, Theory, vol. vol. 1, pp. pp. 339363, 1977.
1

MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009

Grafos e Aplicaes

Casamento de grafos
Em determinadas situaes, o isomorfismo entre grafos pode no ser alcanado e, portanto, necessria uma outra metodologia para comparar a similaridade entre grafos. As tcnicas que procuram determinar a correspondncia entre grafos (ns e/ou arestas), sem que necessariamente seja preservada a estrutura, so denominadas de casamento de grafos (graph matching). Portanto, os grafos no precisam ser necessariamente iguais para que haja casamento (correspondncia) entre eles. H diversas formas de calcular a correspondncia entre grafos. Ser apresentada a seguir o casamento de grafos por meio de uma estrutura relacional denominada de grafo associativo.

MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009

Grafos e Aplicaes

Casamento - Grafo Associativo (GA)

Definio Grafo associativo uma estrutura relacional construda a partir de dois outros grafos a fim de se determinar a correspondncia (casamento) entre eles. Construo do GA Sejam dois grafos G1=(V1,E1) e G2=(V2,E2). Um grafo associativo GA=(V,E) o grafo: - Para cada n v1 V1 e v2 V2 construa um n v de GA com rtulo (v1,v2) - Conecte os ns de GA caso os mesmos sejam compatveis A definio de compatibilidade dependente do problema. Um possvel critrio para o estabelecimento das arestas o uso do princpio da excluso (unicidade da correspondncia entre ns).
MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009 Grafos e Aplicaes

Casamento - Grafo Associativo (GA)

dado um exemplo abaixo da construo de um GA para 2 rvores T1 e T2.
GA

T1

T2

MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009

Grafos e Aplicaes

Casamento - Grafo Associativo (GA)

Aonde est uma possvel soluo para o problema de correspondncia entre T1 e T2 ? (CLIQUE)

MARCO ANTONIO GARCIA DE CARVALHO Abril de 2009

Grafos e Aplicaes

Grafo Associativo - Clique

ALGORITMO1 Determinao do clique mximo Cm de um grafo associativo Entrada: Grafo associativo GA = (V, E) e nmero de ns n Sada: Clique mximo Cm C % cliques de GA Cm % clique mximo de GA Rotular os ns de GA PARA cada n i at n FAA SE rtulo(i)= i ENTO FUNO CLIQUE (C, k, V) C i % novo clique PARA cada n jk+1 at n FAA FIM SE SE n j vizinho de todos os ns em C ENTO CLIQUE(C, i, V) C C + {j} SE C maximal ENTO rtulo(j) = rtulo(k) Cm C CLIQUE(C, j, V) FIM SE FIM SE FIM PARA FIM PARA

1 B. Yang, MARCO ANTONIO GARCIA DE CARVALHO e Aplicaes W. E. Snyder, , G. L. Bilbro. using association Snyder Bilbro. Matching oversegmented 3D images to models Grafos Abril de 2009 graph. Image and Vision Computing, Computing, vol. vol. 7, no. 2, pp. pp. 135-143, 1989.