Aula 1 Grafos

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
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.

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.
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.

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.
Euler generalizou o problema atravs de um
modelo de grafos

Euler mostrou que no existe o trajeto proposto
utilizando o modelo em grafos

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
Quantas
cores so
necessrias
para colorir o
mapa do
Brasil, sendo
que estados
adjacentes
no podem
ter a mesma
cor?
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.

Modelagem com grafos

Estamos interessados em objetos e nas relaes entre
eles

Quem so eles nos problemas apresentados?

Como representar graficamente?

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

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

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.

Trs desenvolvimentos isolados despertaram
o interesse pela rea

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

Dois tipos de elementos
Vrtices ou ns
Arestas
Definies
v1
v2 v3
v4
v5
v6
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
G = (V,E)
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.
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
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)}
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
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
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


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

v1
v2
v4
v3
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
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?

Soma dos graus de um grafo:
O resultado sempre par, e corresponde formula
abaixo:

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.

A soma dos graus de um grafo sempre par:

Quando o grafo regular de grau r, temos:

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.

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={ }.

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
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

Complemento de um grafo
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
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>}
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
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.
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
Clique
Denomina-se clique de um grafo G um subgrafo
(induzido) de G que seja completo
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.

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) }
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
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

Aula 1 Grafos

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Aula 1 Grafos

Transféré par

Droits d'auteur :

Formats disponibles

Universidade Federal de Pernambuco

Anjolina Grisi de Oliveira

Vous aimerez peut-être aussi