Você está na página 1de 47

Universidade Federal de Pernambuco

Anjolina Grisi de Oliveira


Obs: Muitos slides foram cedidos por
Adolfo Almeida Duran (UFBA)
2005

Grafos / Matemtica Discreta/ Cin / UFPE 2
Porque estudar Grafos
Importante ferramenta matemtica com aplicao
em diversas reas do conhecimento
Gentica, qumica, pesquisa operacional,
telecomunicaes, engenharia eltrica, redes de
computadores, conexo de vos areos, restries de
precedncia, fluxo de programas, dentre outros
Utilizados na definio e/ou resoluo de
problemas
Introduo
Grafos / Matemtica Discreta/ Cin / UFPE 3
Porque estudar Grafos
Em computao: estudar grafos mais uma
forma de solucionar problemas computveis

Os estudos tericos em grafos buscam o
desenvolvimento de algoritmos mais eficientes.

Grafos / Matemtica Discreta/ Cin / UFPE 4
O que so Grafos

Tipicamente um grafo representado como um conjunto
no vazio de pontos ou vrtices ligados por retas, que so
chamadas de arestas
Ferramenta de modelagem
Abstrao matemtica que representa situaes reais
atravs de um diagrama.
Grafos / Matemtica Discreta/ Cin / UFPE 5
As pontes de Knigsberg


O rio Pregel divide o centro da cidade de Knigsberg (Prssia no sculo XVII,
atual Kaliningrado, Rssia) em quatro regies. Essas regies so ligadas por
um complexo de sete (7) pontes, conforme mostra a figura.
Discutia-se nas ruas da cidade a possibilidade de atravessar todas as pontes,
voltando ao lugar de onde se saiu, sem repetir alguma. Havia-se tornado uma
lenda popular a possibilidade da faanha quando Euler, em 1736, provou que
no existia caminho que possibilitasse tais restries.

Grafos / Matemtica Discreta/ Cin / UFPE 6
As pontes de Knigsberg
Resolvido em 1736 por Leonhard Euler
Necessrio um modelo para representar o
problema
Abstrao de detalhes irrelevantes:
rea de cada ilha
Formato de cada ilha
Tipo da ponte, etc.
Grafos / Matemtica Discreta/ Cin / UFPE 7
As pontes de Knigsberg
Euler generalizou o problema atravs de um
modelo de grafos

Grafos / Matemtica Discreta/ Cin / UFPE 8
As pontes de Knigsberg
Euler mostrou que no existe o trajeto proposto
utilizando o modelo em grafos

Grafos / Matemtica Discreta/ Cin / UFPE 9
O problema das 3 casas
possvel conectar os 3 servios s 3 casas sem
haver cruzamento de tubulao?

gua luz telefone
A teoria
dos
grafos
mostra
que no

possvel
Grafos / Matemtica Discreta/ Cin / UFPE 10
Quantas
cores so
necessrias
para colorir o
mapa do
Brasil, sendo
que estados
adjacentes
no podem
ter a mesma
cor?
Grafos / Matemtica Discreta/ Cin / UFPE 11
Questes sobre o caminho mnimo
De forma a reduzir seus custos operacionais,
uma empresa de transporte de cargas deseja
oferecer aos motoristas de sua frota um
mecanismo que os auxilie a selecionar o melhor
caminho (o de menor distncia) entre quaisquer
duas cidades por ela servidas, de forma a que
sejam minimizados os custos de transporte.


Grafos / Matemtica Discreta/ Cin / UFPE 12
Grafos / Matemtica Discreta/ Cin / UFPE 13
Modelagem com grafos

Estamos interessados em objetos e nas relaes entre
eles

Quem so eles nos problemas apresentados?

Como representar graficamente?



Grafos / Matemtica Discreta/ Cin / UFPE 14
Modelagem com grafos
No problema das casas
Vrtices so casas e servios
Arestas so as tubulaes entre casas e servios
No problema da colorao de mapas
Vrtices so estados
Arestas relacionam estados vizinhos
No problema do caminho mais curto
Vrtices so as cidades
Arestas so as ligaes entre as cidades

Grafos / Matemtica Discreta/ Cin / UFPE 15
Trs desenvolvimentos isolados despertaram
o interesse pela rea
Formulao do problema das 4 cores (De
Morgan 1852).

Qual a quantidade mnima de cores para colorir um
mapa de tal forma que pases fronteirios possuam
cores diferentes?
Apresenta-se um exemplo em que 3 cores no so
suficientes. Uma prova de que 5 cores suficiente foi
formulada. Conjecturou-se ento que 4 cores seriam
suficientes. Esta questo ficou em aberto at 1976
quando Appel e Haken provaram para 4 cores

Grafos / Matemtica Discreta/ Cin / UFPE 16
Trs desenvolvimentos isolados despertaram o interesse
pela rea

Problema do ciclo Hamiltoniano (Hamilton 1859)

Existem n cidades. Cada par de cidades pode ser
adjacente ou no arbitrariamente. Partindo de uma
cidade qualquer, o problema consiste em determinar um
trajeto que passe exatamente uma vez em cada cidade
e retorne ao ponto de partida.



Grafos / Matemtica Discreta/ Cin / UFPE 17
Trs desenvolvimentos isolados despertaram
o interesse pela rea

Teoria das rvores
- Kirchoff (1847) - problemas de circuitos
eltricos
- Cayley (1857) - Qumica Orgnica


Grafos / Matemtica Discreta/ Cin / UFPE 18
Dois tipos de elementos
Vrtices ou ns
Arestas
Definies
v1
v2 v3
v4
v5
v6
Grafos / Matemtica Discreta/ Cin / UFPE 19
G = (V,E)
V um conjunto finito no-vazio de vrtices (ou ns)
E um conjunto de pares no ordenados de elementos
distintos de V, chamados de arestas
Cada aresta e pertencente ao conjunto E ser denotada pelo
par de vrtices {x,y} que a forma
Dizemos que os vrtices x e y so extremos (ou
extremidades) da aresta e.
Grafo Simples
Grafos / Matemtica Discreta/ Cin / UFPE 20
G = (V,E)
Grafos / Matemtica Discreta/ Cin / UFPE 21
Dois vrtices x e y so ditos adjacentes ou vizinhos se
existe uma aresta e unindo-os.

Os vrtices u e v so ditos incidentes na aresta e, se
eles so extremos de e.

Duas arestas so adjacentes se elas tm ao menos um
vrtice em comum.

A aresta e={x,y} incidente a ambos os vrtices x e y.
Grafos / Matemtica Discreta/ Cin / UFPE 22
v1
v2 v3
v4
v5
v6
e1
V = {v1, v2, v3, v4, v5, v6}
E = {{v1,v2},{v1,v3},{v1,v4},{v2,v4},{v3,v4},{v4,v5}}
Grafo simples
e1 incidente a v4 e v5
Grafos / Matemtica Discreta/ Cin / UFPE 23
Exemplo
Exerccio
Desenhe a representao geomtrica do seguinte
grafo simples:
V = {1,2,3,4,5,6};
E ={(1,2),(1,3),(3,2),(3,6),(5,3),(5,1),(5,6),(4,6),
(4,5),(6,1),(6,2),(3,4)}
Grafos / Matemtica Discreta/ Cin / UFPE 24
Multigrafo G=(V,E)
Funo f de E em {{u,v } | u,v V,u v }
As arestas e1 e e2 so chamadas de arestas mltiplas ou
paralelas se f(e1) = f(e2)

Lao
uma aresta formada por um par de vrtices idnticos.

Mais definies
Grafos / Matemtica Discreta/ Cin / UFPE 25
Grau de um vrtice
Grau de um vrtice v (grau(v)) o nmero de arestas
que incidem em v.
O grau de um vrtice v tambm pode ser definido
como o nmero de arestas adjacentes a v.
Obs.: Um lao conta duas vezes para o grau de um
vrtice
Grau(b) = 3
Grau(d) = 2
Grau(a) = 2
Grafos / Matemtica Discreta/ Cin / UFPE 26
Qualquer vrtice de grau zero um
vrtice isolado

Qualquer vrtice de grau 1 um
vrtice pendente

Um vrtice mpar tem um nmero mpar de arestas

Um vrtice par, tem um nmero par de arestas


Grafos / Matemtica Discreta/ Cin / UFPE 27

Grafo Regular (k-regular)
todos os vrtices tm o mesmo grau (k)

v1
v2
v4
v3
Grafos / Matemtica Discreta/ Cin / UFPE 28
v1
v2 v3
v4
v5
v6
e1
V6 um vrtice isolado,
grau(v6)=0
V5 um vrtice pendente,
grau(v5)=1
V2 um vrtice par,
grau(v2)=2
V1 um vrtice mpar,
grau(v1)=3
Grafos / Matemtica Discreta/ Cin / UFPE 29
Exerccio
Identificar no grafo abaixo os vrtices isolados,
pendentes, mpares e pares.
Reflexo
O que podemos concluir sobre a soma dos graus de
um grafo?

Grafos / Matemtica Discreta/ Cin / UFPE 30
Soma dos graus de um grafo:
O resultado sempre par, e corresponde formula
abaixo:


Grafos / Matemtica Discreta/ Cin / UFPE 31
Soma dos graus de um grafo:


Em grafos, cada aresta contribui duas unidades para o
cmputo geral do grau dos vrtices, pois cada aresta
possui dois extremos. Portanto, a soma total par e duas
vezes o nmero de arestas do grafo.

Se o grafo for regular de grau r, a soma dos graus dos
vrtices tambm igual a r vezes o nmero de vrtices.


Grafos / Matemtica Discreta/ Cin / UFPE 32
A soma dos graus de um grafo sempre par:

Quando o grafo regular de grau r, temos:

Grafos / Matemtica Discreta/ Cin / UFPE 33
Corolrio

Em qualquer grafo, o n
o
de vrtices com grau mpar deve
ser PAR

Prova
Para a soma ser par, o primeiro somatrio tem que gerar
um resultado par, portanto |V
mpar
| par.

Grafos / Matemtica Discreta/ Cin / UFPE 34
Grafo Nulo (vazio)

Grafo cujo nmero de arestas zero. Ou, grafo regular
de grau zero.


Outros tipos de grafos
1
4
3
2
N
n
um grafo nulo com n vrtices

Exemplo: N
4


V={1,2,3,4}; E={ }.


Grafos / Matemtica Discreta/ Cin / UFPE 35
Grafo Completo

Grafo simples em que existe exatamente uma aresta
entre cada par de vrtices distintos. Ou, grafo regular
de grau n-1, onde n=|V|.

K
n
um grafo completo com n vrtices.


Exemplo: K
4
Grafos / Matemtica Discreta/ Cin / UFPE 36
Complemento de um grafo

Seja G um grafo simples com um conjunto de vrtices
V.
G complemento de G se


V = V
e
dois vrtices so adjacentes em G, se e
somente se, no o so em G

Grafos / Matemtica Discreta/ Cin / UFPE 37
Complemento de um grafo
Grafos / Matemtica Discreta/ Cin / UFPE 38
Grafo Bipartido
Um grafo dito ser bipartido quando seu conjunto
de vrtices V puder ser particionado em dois
subconjuntos V
1
e V
2
, tais que toda aresta de G une
um vrtice de V
1
a outro de V
2
.
1
4
3
2
5
6
V
1
V
2
Grafos / Matemtica Discreta/ Cin / UFPE 39
Grafo Bipartido
Sejam os conjuntos H={h | h um homem} e M={m |
m um mulher} e o grafo G(V,E) onde:

V = H U M
E = {{v,w} | (v H e w M) e <v foi namorado de
w>}
Grafos / Matemtica Discreta/ Cin / UFPE 40
Subgrafo
Um grafo G
s
(V
s
, A
s
) dito ser subgrafo de um grafo
G(V,A) quando V
s
V e A
s
A. O grafo G
2
, por
exemplo, subgrafo de G
1


G
1 G
2
Grafos / Matemtica Discreta/ Cin / UFPE 41
Subgrafo Prprio
Um subgrafo G
2
dito prprio, quando G
2

subgrafo distinto de G
1

Subgrafos podem ser obtidos atravs da
remoo de arestas e vrtices.
Grafos / Matemtica Discreta/ Cin / UFPE 42
Subgrafo Induzido
Se G
2
um subgrafo de G
1
e possui toda a aresta (v, w)
de G
1
tal que ambos, v e w, estejam em V
2
, ento G
2
o
subgrafo induzido pelo subconjunto de vrtices V
2
.
3
2
1
4
5
V1= {1,2,3,4,5}
G1
3
2
1
4
V2= {1,2,3,4}
G2
V2 induz G2
Grafos / Matemtica Discreta/ Cin / UFPE 43
Clique
Denomina-se clique de um grafo G um subgrafo
(induzido) de G que seja completo
Grafos / Matemtica Discreta/ Cin / UFPE 44
Isomorfismo de Grafos
Dois grafos simples G
1
e G
2
so isomorfos se existe
uma correspondncia um a um entre os vrtices
(funo f ) de G
1
e G
2
, com a propriedade de que a
e b so adjacentes em G
1
se e somente se f(a) e
f(b) so adjacentes em G
2
, para todo a,b V
1
.

A funo f chamada de isomorfismo.

Grafos / Matemtica Discreta/ Cin / UFPE 45
Isomorfismo de Grafos (em outras palavras)
Sejam dois grafos G
1
(V
1
,A
1
) e G
2
(V
2
,A
2
). Um
isomorfismo de G
1
sobre G
2
um mapeamento
bijetivo f: V
1
V
2
tal que {x,y} A
1
se e somente se
{f(x),f(y)} A
2
, para todo x,y V
1
.
Funo:
{ (a2), (b 1), (c 3), (d 4), (e 6), (f 5) }
Grafos / Matemtica Discreta/ Cin / UFPE 46
Isomorfismo de Grafos (exemplo)
f(u) = azul, f(v) = lils, f(w) = vermelho,
f(x) = verde, f(y) = amarelo, f(z) = rosa
u v w
x y z
Grafos / Matemtica Discreta/ Cin / UFPE 47
Isomorfismo de Grafos
Preserva:

Simetria: G1 G2 G2 G1
Reflexividade: G1 G1
Transitividade: G1 G2 e G2 G3 G1 G3

Proposies vlidas se G1 G2 (invariantes)

G1 e G2 tm o mesmo nmero de vrtices
G1 e G2 tm o mesmo nmero de arestas
G1 e G2 tm os mesmos graus de vrtices