GCC218  Algoritmos em Grafos

Mayron César O. Moreira

Universidade Federal de Lavras

mayron.moreira@dcc.ua.br

27 de agosto de 2018

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 1 / 20

Conteúdo

1 Motivação

2 Isomorsmo

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 2 / 20

Comparação de impressões digitais

Figura: Nandi (2006).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 3 / 20

Comparação de impressões digitais

Figura: https://www.vivaolinux.com.br/artigo/
fprint-Biometria-livre-completa-e-total/.

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 3 / 20

Comparação de impressões digitais

Problema
Dada uma imagem do banco de dados de impressões digitais (candidata),
como saber se um usuário que insere sua impressão digital (fragmento ) é
de fato o verdadeiro usuário do sistema?

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 3 / 20

Comparação de impressões digitais

Figura: Nandi (2006).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 3 / 20

Comparação de impressões digitais

Figura: Nandi (2006).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 3 / 20

Comparação de impressões digitais

Figura: Nandi (2006).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 3 / 20

Motivação
Exemplo 1

Figura: Fonte  Notas de aula de Assunção & Loureiro (UFMG, 2012).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 4 / 20

Motivação
Exemplo 2

Figura: Fonte  Notas de aula de Assunção & Loureiro (UFMG, 2012).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 5 / 20

Isomorsmo
Exemplo 3

Figura: Fonte  Notas de aula de Assunção & Loureiro (UFMG, 2012).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 6 / 20

Isomorsmo
Exemplo 4

Figura: Fonte  Notas de aula de Assunção & Loureiro (UFMG, 2012).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 7 / 20

Isomorsmo
Teorema
Cada uma das propriedades é uma invariante para isomorsmo de dois
0
grafos G e G , em que n , m , k ∈ Z+ :
1 Tem n vértices.

2 Tem m arestas.

3 Tem um vértice de grau k .

4 Tem m vértices de grau k .

5 Tem um circuito de tamanho k .

6 Tem um ciclo de tamanho k .

7 Tem m ciclos de tamanho k .

8 É conexo.

9 Tem um circuito Euleriano.

10 Tem um ciclo Hamiltoniano.

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 8 / 20

Isomorsmo

Exemplo 5: os grafos abaixo são isomorfos?

Figura: Fonte  Notas de aula de Assunção & Loureiro (UFMG, 2012).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 9 / 20

Isomorsmo

Exemplo 6: os grafos abaixo são isomorfos?

Figura: Fonte  Notas de aula de Assunção & Loureiro (UFMG, 2012).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 10 / 20

Isomorsmo

Exemplo 7: os grafos abaixo são isomorfos?

Figura: Fonte  Notas de aula de Assunção & Loureiro (UFMG, 2012).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 11 / 20

Isomorsmo
Exemplo 8: os grafos abaixo são isomorfos?

Figura: Fonte  Notas de aula de Assunção & Loureiro (UFMG, 2012).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 12 / 20

Aplicações

Aplicações
Indústria química;

Circuitos elétricos;

Reconhecimento de padrões (impressões digitais): Regina de

Cássia Nandi (2006). Isomorsmo de grafos aplicado à comparação
de impressões digitais. Dissertação, Programa de Pós-Graduação em
Informática, UFPR, 70p.

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 13 / 20

Isomorsmo: estado da arte
László Babai (Universidade de Chicago, EUA): New algorithm cracks
graph problem. (Fonte: https://www.sciencenews.org/article/
new-algorithm-cracks-graph-problem).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 14 / 20

Isomorsmo: software

NAUTY: Graph isomorphism (C)

http://www3.cs.stonybrook.edu/~algorith/files/
graph-isomorphism.shtml

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 15 / 20

Isomorsmo: jogo!
Graph Isomorphism: https:
//play.google.com/store/apps/details?id=com.gametoo.iso

Figura: Google Play.

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 16 / 20

Isomorsmo: jogo!
Rectangle:https:
//play.google.com/store/apps/details?id=com.graphiso.android

Figura: Google Play.

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 16 / 20

Isomorsmo: exercícios
Exercício 1: os grafos G e H são isomorfos? Se sim, dê uma bijeção. Se
não, qual invariante está sendo violado?

Figura: Rosen (2009).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 17 / 20

Isomorsmo: exercícios

Exercício 2: os grafos G e H são isomorfos? Se sim, dê uma bijeção. Se

não, qual invariante está sendo violado?

Figura: Rosen (2009).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 18 / 20

Isomorsmo: exercícios

Exercício 3: os grafos G e H são isomorfos? Se sim, dê uma bijeção. Se

não, qual invariante está sendo violado?

Figura: Rosen (2009).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 19 / 20

Isomorsmo: exercícios
Como utilizar a estrutura matriz de adjacência para comprovar que a
bijeção de vértices é válida?

Figura: Rosen (2009).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 20 / 20

Isomorsmo: exercícios

Como utilizar a estrutura matriz de adjacência para comprovar que a

bijeção de vértices é válida?

Figura: Rosen (2009).

Mayron César O. Moreira (UFLA) GCC218 27 de agosto de 2018 20 / 20