Universidade Federal de Sergipe

Centro de Ciências Exatas e Tecnologia

Departamento de Computação

Grafos e Algoritmos Computacionais

Aula 3: Terminologia Básica de Grafos

Leila Maciel de Almeida e Silva

Terminologia Básica de Grafos

Grafo

Um grafo G consiste num conjunto VG de elementos

chamados vértices, num conjunto aG de elementos
chamados arestas, juntamente com uma função de
incidência ψG que associa a cada aresta dois
vértices não necessariamente distintos chamados
extremos da aresta.

Grafos e Algoritmos Computacionais DCOMP - UFS

2
Terminologia Básica de Grafos

Exemplo:
VG = { v1, v2, v3, v4, v5 , v6 }
aG = { a1, a2, a3, a4,a5, a6, a7 }

ψG(a1) = v1v2 ψG(a5) = v5v6

ψG(a2) = v2v3 ψG(a6) = v5v6
ψG(a3) = v2v5 ψG(a7) = v6v6
ψG(a4) = v4v5

Grafos e Algoritmos Computacionais DCOMP - UFS

3
Terminologia Básica de Grafos

Representação Geométrica

vértices → pontos ou círculos

arestas → linhas

função de incidência → quais pontos serão ligados pelas linhas

Exemplo:

Representação geométrica do grafo com função de

incidência do exemplo anterior.

Grafos e Algoritmos Computacionais DCOMP - UFS

4
Propriedades de um Grafo

Se v1 e v2 são extremos de a, então dizemos

que v1 e v2 são adjacentes ou vizinhos.
Dizemos também que a incide em v1 (e em
v2), ou que a liga os vértices v1 e v2.

Notação: a ≡ (v1, v2)

v1 a v2

Grafos e Algoritmos Computacionais DCOMP - UFS

5
Propriedades de um Grafo

Arestas adjacentes → arestas com um extremo em

comum.
Arestas múltiplas ou paralelas → mesmos
extremos.
Laço → extremos idênticos.
Ordem → número de vértices do grafo.
Tamanho → |VG| + |aG|
Grau → notação: gG(v) – número de arestas que
incidem em v (laços contam duas vezes).

Grafos e Algoritmos Computacionais DCOMP - UFS

6
Propriedades de um Grafo

Será que podemos ter duas representações

geométricas para o mesmo grafo?

Ou seja...

Dados dois grafos G1 e G2, com |VG1| = |VG2|, existe

uma função unívoca f: VG1 → VG2, tal que (v,w) ∈
aG1 se e somente se (f(v), f(w)) ∈ aG2, para todo
v,w ∈ VG1?

Se sim, os grafos são ditos isomorfos entre si.

Grafos e Algoritmos Computacionais DCOMP - UFS

7
Propriedades de um Grafo

Grafos Isomorfos w1

v2 v3 w6
v1
w2

w5
v4 v5 v6 w3

w4
Mapeamento da função f:
F(v1)
W1 v1 é adjacente a v4, v5, v6
F(v2)
W5 w1 é adjacente a w2, w4, w6
F(v3)
W3 v2 é adjacente a v4, v5, v6
F(v4)
W2 w5 é adjacente a w2, w4, w6
F(v5)
W4 ...

F(v6)
W6

Grafos e Algoritmos Computacionais DCOMP - UFS

8
Propriedades de um Grafo

Grafos Isomorfos

G1 e G2 não são isomorfos.

Isomorfismo de subgrafos
NP-Completo

Grafos e Algoritmos Computacionais DCOMP - UFS

9
Propriedades de um Grafo

Tipos especiais de grafos

Grafo simples
não contém arestas múltiplas nem laços.

Grafo finito
aG e VG ambos finitos.

Grafo vazio
aG e VG ambos vazios.

Grafo trivial
|vG|=1

Grafo completo
simples e cada dois vértices distintos
são adjacentes. Notação: Grafo completo de ordem n => Kn

Ex:

K4 K3

Grafos e Algoritmos Computacionais DCOMP - UFS

10
Propriedades de um Grafo

Tipos especiais de grafos

Grafo k-regular
g(v) = k para todo v ∈ VG

Grafo regular
se é grafo k-regular para algum k.
Ex: K4 é 3-regular, portanto é regular.
Grafo bipartido
VG pode ser biparticionado em dois conjuntos
X e Y (X ∪ Y = VG, X ∩Y = ∅) tais que cada aresta tem um
extremo em X e outro em Y.

Ex:
X
K2,3
Y

Grafos e Algoritmos Computacionais DCOMP - UFS

11
Propriedades de um Grafo

Tipos especiais de grafos

Dizemos assim que (X,Y) é uma bipartição de G.

Notação bipartido completo: Km,n

K1,3
K1,5
garra
estrela

Grafos e Algoritmos Computacionais DCOMP - UFS

12
Propriedades de um Grafo

Tipos especiais de grafos

Complemento de G
Notação: G
VG = VG
vértices adjacentes em G não o são em G

complemento da garra:
K1,3

complemento do K3:
K3

Grafos e Algoritmos Computacionais DCOMP - UFS

13
Propriedades de um Grafo

Proposição

A soma dos graus dos vértices de um grafo é

igual ao dobro do número de arestas do grafo, ou
seja,
Σ
g (v) = 2 |aG|
v Є VG

Grafos e Algoritmos Computacionais DCOMP - UFS

14
Propriedades de um Grafo

Corolário

Num grafo, o número de vértices de grau ímpar

é sempre par.

Grafos e Algoritmos Computacionais DCOMP - UFS

15
Propriedades de um Grafo

Corolário

Num grafo, o número de vértices de grau ímpar

é sempre par.

Ideia da prova:

2 |aG| = Σ g(v) = Σ g(v) + Σ g(v)

v Є VG v Є VG v Є VG
g(v) é par g(v) é ímpar
| ---par---| |---par---| → |---par---|

Grafos e Algoritmos Computacionais DCOMP - UFS

16
Exercícios Recomendados

Bondy e Murty (edição de 1976)

1.2.1, 1.2.2, 1.2.3, 1.2.4, 1.2.6, 1.2.7, 1.2.8 e 1.2.10

1.5.1, 1.5.3, 1.5.4, 1.5.5.

Grafos e Algoritmos Computacionais DCOMP - UFS

17
Referências

Seções 2.1, 2.2 do Szwarcfiter, J. L., Grafos e Algoritmos

Computacionais, Ed. Campus, 1983.

Seção 1.1 do Jungnickel, D., Graphs, Networks and Algorithms, Springer,

2007.

Seção 3.1 do Kleinberg, J. e Tardos, E., Algorithm Design, 2006.

Capítulo 1 do Bondy J. A. e Murty U. S. R., Graph Theory with

Applications, Elsevier, 1976.

Grafos e Algoritmos Computacionais DCOMP - UFS

18