Teoria dos Grafos

Simone I. M. Gama
Mestranda em Informtica
Programa de Ps Graduao em Informtica
Universidade Federal do Amazonas
Introduo
A teoria de grafos tem uma origem relativamente
recente (sculo XVIII) na histria da matemtica.

A teoria de grafos tem extensiva utilizao em
matemtica aplicada e cincia da computao,
demonstrando ser uma poderosa ferramenta
para a modelagem de diversas situaes reais
em, entre outros, fsica, qumica, biologia,
engenharia e pesquisa operacional.
Introduo
O primeiro e mais famoso problema em
teoria de grafos foi resolvido por L. Euler em
1736.

Na cidade de Knigsberg
(Kaliningrado), na ento
Prssia, sete pontes cruzam o
rio Pregel estabelecendo
ligaes entre duas ilhas e
entre as ilhas e as margens
opostas do rio.
Introduo
Questo: possvel cruzar as 7 pontes numa
caminhada contnua sem que se que passe
duas vezes por qualquer uma delas ?
Definio
O que so Grafos?

Definio
O que so Grafos?
Estrutura robusta para a representao de
problemas, sobre a qual j existe muito
conhecimento matemtico e computacional,
sobre suas propriedades e comportamentos.

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

Definio
composto de dois elementos:
Definio
composto de dois elementos:

Vrtices
ou Ns

Definio
composto de dois elementos:

Arestas
Definio
Um grafo simples (ou no direcionado)
um par ordenado = (, ), onde:
Os elementos de so chamados de vrtices,
e os elementos de so chamados arestas.
um conjunto de pares no-ordenados de elementos
de .

Definio
Um grafo simples (ou no direcionado)
um par ordenado = (, ), onde:
Os elementos de so chamados de vrtices,
e os elementos de so chamados arestas.
um conjunto de pares no-ordenados de elementos
de .

() = *

+
Definio
Um grafo simples (ou no direcionado)
um par ordenado = (, ), onde:
Os elementos de so chamados de vrtices,
e os elementos de so chamados arestas.
um conjunto de pares no-ordenados de elementos
de .

() = *

+
() = *(

), (

), (

), (

)+
Definio
Um grafo simples (ou no direcionado)
um par ordenado = (, ), onde:
|()| ou a ordem ou nmero de vrtices de .
|E(G)| ou o tamanho ou nmero de arestas de
.

= 4
= 4
Definio
Os vrtices de uma aresta so ditos incidentes
sobre a aresta, e vice-versa.
Dois vrtices incidentes sobre uma aresta so
ditos adjacentes.
Definio
Uma aresta cujas extremidades so um
mesmo vrtice chamada de lao (loop).
Definio
Duas ou mais arestas com o mesmo par de
extremidades so chamadas arestas paralelas
(parallel edges).
Definio
Um grafo no orientado que possui laos ou
arestas paralelas chamado de multigrafo ou
pseudografo.
Definio
Um dgrafo um grafo onde cada aresta
(, ) possui uma nica direo de para .

Definio
Grafo finito. Se e so finitos.
Grafo nulo. Se = e = .
Grafo vazio. Se = .
Grafo simples. No possui laos nem arestas
paralelas.
Definies - Exerccios
Grafo 1 - Desenhe o grafo = (, ) onde:
= *1,2,3,4,5,6+
= * *1,3+, *2,5+, *3,6+, *4,6+, *4,5+ +

Grafo 2 - Desenhe o grafo = (, ) onde:
= *1,2,3,4,5+
= * *1,2+, *1,3+, *1,4+, *1,5+, *3,4+, *3,5+, *2,3+, *2,4+, *2,5+, *4,5+ +
Definies - Exerccios
Grafo 1



Grafo 2
Teoria dos Grafos
Propriedades
Propriedades
Grau dos Vrtices
O grau

() de um vrtice em o nmero de
arestas de incidentes a .

= 2

Propriedades
Grau dos Vrtices
O grau

() de um vrtice em o nmero de
arestas de incidentes a .

= 4

Cada loop conta como duas arestas!!!
Propriedades
Teorema (Grau dos Vrtices):

.

=

Propriedades
Teorema (Grau dos Vrtices):

.

Corolrio: Em qualquer grafo, o nmero de
vrtices de grau mpar par.
Propriedades
Grau dos Vrtices
- Os graus dos vrtices de um grafo podem ser
representados computacionalmente atravs da
Matriz de Incidncia.
- Dado

= ,

-:

o nmero de vezes que

so incidentes.


Propriedades
Grau dos Vrtices
- Matriz de Incidncia: Dado

= ,

-:

o
nmero de vezes que

so incidentes.

1

2

3

4

5

6

4

Propriedades
Grau dos Vrtices
- Matriz de Incidncia: Dado

= ,

-:

o
nmero de vezes que

so incidentes.

1

2

3

4

5

6

4

1 1 0 0 1 0 1
Propriedades
Grau dos Vrtices
- Matriz de Incidncia: Dado

= ,

-:

o
nmero de vezes que

so incidentes.

1

2

3

4

5

6

4

1 1 0 0 1 0 1
1 1 1 0 0 0 0
Propriedades
Grau dos Vrtices
- Matriz de Incidncia: Dado

= ,

-:

o
nmero de vezes que

so incidentes.

1

2

3

4

5

6

4

1 1 0 0 1 0 1
1 1 1 0 0 0 0
0 0 1 1 0 0 1
Propriedades
Grau dos Vrtices
- Matriz de Incidncia: Dado

= ,

-:

o
nmero de vezes que

so incidentes.

1

2

3

4

5

6

4

1 1 0 0 1 0 1
1 1 1 0 0 0 0
0 0 1 1 0 0 1
0 0 0 1 1 2 0
Propriedades
Matriz de Adjacncia
- Indica o nmero de arestas que liga um vrtice

1

2

3

4

Propriedades
Matriz de Adjacncia
- Indica o nmero de arestas que liga um vrtice

1

2

3

4

0 2 1 1
Propriedades
Matriz de Adjacncia
- Indica o nmero de arestas que liga um vrtice

1

2

3

4

0 2 1 1
2 0 1 0
Propriedades
Matriz de Adjacncia
- Indica o nmero de arestas que liga um vrtice

1

2

3

4

0 2 1 1
2 0 1 0
1 1 0 1
Propriedades
Matriz de Adjacncia
- Indica o nmero de arestas que liga um vrtice

1

2

3

4

0 2 1 1
2 0 1 0
1 1 0 1
1 0 1 1
Propriedades
Grafo Completo
Grafo simples em que dois vrtices quaisquer so
adjacentes, denotado por

Propriedades
Grafo Vazio
Grafo simples em que nenhum vrtice adjacente
( = ). (os vrtices formam um conjunto
independente)

Propriedades
Grafo Conexo
Um grafo conexo se existe um caminho entre cada
par de vrtices e de . Caso contrrio,
desconexo.
Grafo conexo
Grafo desconexo

Propriedades
Subgrafo
Um grafo um subgrafo de se () () e
.
Grafo Alguns Subgrafos de
Propriedades
Subgrafo Induzido
Um grafo um subgrafo induzido de se para cada par
de vrtices (, ) de V(), (, ) uma aresta de se, e
somente se (, ) uma aresta de .
Grafo
Subgrafo de Subgrafo Induzido de
Propriedades
Grafo Regular
Um grafo -regular se () = para todo ,
sendo inteiro no negativo.
Grafo -regular Grafo -regular
Grafo -regular
Propriedades
Grafo Planar
Um grafo planar se pode ser desenhado de tal forma
que suas arestas somente interceptam suas extremidades
(no houver cruzamento entre aresta).
Grafo

Grafo

planar
Propriedades
Conjunto Independente
Um conjunto de vrtices de um grafo estvel (ou conj.
independente) se seus elementos so dois a dois no
adjacentes.
Conjunto Estvel
Propriedades
Conjunto Independente
Um conjunto de vrtices de um grafo estvel (ou conj.
independente) se seus elementos so dois a dois no
adjacentes.
Conjunto Estvel
O maior (ou mximo)
conjunto estvel
em um grafo dado por
(). O grafo de
Petersen, ao lado tem
= 4.
Propriedades
Conjunto Independente
Um conjunto de vrtices de um grafo estvel (ou conj.
independente) se seus elementos so dois a dois no
adjacentes.
Conjunto Estvel
Determinar se h um
conjunto estvel de
tamanho em um
grafo um problema
NP-Completo.
O maior (ou mximo)
conjunto estvel
em um grafo dado por
(). O grafo de
Petersen, ao lado tem
= 4.
Propriedades
Clique em Grafos
Conjunto de vrtices cujo subgrafo induzido um grafo
completo.
Cliques em Grafos
Propriedades
Clique em Grafos
Conjunto de vrtices cujo subgrafo induzido um grafo
completo.
A maior clique em um
grafo (mximo) dado
por (). O grafo ao
lado tem = 5.
Determinar se h uma
clique de tamanho em
um grafo um problema
NP-Completo.
Propriedades - Exerccios
Exerccio 1: Calcule a Matriz de Incidncia e
Matriz de Adjacncia do seguinte grafo:
Propriedades - Exerccios
Exerccio 2: Quantos

h em um

?
Propriedades - Exerccios
Exerccio 2 : Quantos

h em um

?
Resposta:
Propriedades - Exerccios
Exerccio 2 : Quantos

h em um

?
Resposta:
Propriedades - Exerccios
Exerccio 2 : Quantos

h em um

?
Resposta:
Propriedades - Exerccios
Exerccio 2 : Quantos

h em um

?
Resposta:
Propriedades - Exerccios
Exerccio 2 : Quantos

h em um

?
Resposta:
Propriedades - Exerccios
Exerccio 3 : Observe os grafos abaixo e tente
desenh-los de tal forma que no haja
cruzamento de suas arestas. possvel?
Propriedades - Exerccios
Exerccio 3 : Observe os grafos abaixo e tente
desenh-los de tal forma que no haja
cruzamento de suas arestas. possvel?
Resposta:
No possvel.
possvel
Teoria dos Grafos
Classe de Grafos
Classe de Grafos
Grafo Ciclo
Um ciclo ou circuito sobre trs ou mais vrtices uma
grafo simples cujos vrtices podem ser dispostos em uma
sequncia cclica de tal forma que dois vrtices so
adjacentes se so consecutivos na sequncia, e no-
adjacentes em caso contrrio. Primeiro e o ltimo vrtices
coincidem.

Classe de Grafos
Grafo Bipartido
Grafo em que seus vrtices podem ser divididos em dois
conjuntos disjuntos e tal que uma aresta qualquer
tem uma extremidade em e outra em .

,

,

Classe de Grafos
Teorema 2: Um grafo G bipartido se e
somente se no contm ciclo mpar.

impossvel um grafo que contenha um ciclo mpar ser
bipartido.

Classe de Grafos
Grafo rvore
Uma rvore um grafo bipartido, conexo e acclico (no
possui ciclos).
Grafos rvores
Quantidade de arestas igual a 1 vrtices
Teoria dos Grafos
Algoritmos em Grafos
Busca em Profundidade
Busca em profundidade (ou busca em
profundidade-primeiro, tambm usada a sigla
em ingls DFS) um algoritmo usado para
realizar uma busca ou travessia numa
rvore, estrutura de rvore ou grafo.
A lista de vrtices administrada como
uma pilha: o vrtice que sai da lista sempre
o que foi colocado l mais recentemente.
Exerccios
Questo 1: Desenhe o grafo
,
. Esse grafo um
grafo planar?
Exerccios
Questo 2: Desenhe o grafo
,
. Esse grafo um
grafo planar?
Exerccios
Questo 3: Uma pequena fbrica tem cinco mquinas
1, 2, 3, 4 e 5 e seis operrios A, B, C , D, E e F .
A tabela especifica as mquinas que cada operrio sabe
operar:
Faa uma figura do grafo bipartido que
representa a relao entre operrios e
mquinas.
Exerccios
Questo 4: Seja ,, - um grafo bipartido, onde e
so as parties de . Os subgrafos induzidos
,- e ,- so vazios. Essa afirmao:

a) Falsa.
b) Verdadeira.
c) Apenas a partio vazia.
d) Apenas a partio vazia.
e) As duas parties so nulas.

Exerccios
Questo 4: Seja ,, - um grafo bipartido, onde e
so as parties de . Os subgrafos induzidos
,- e ,- so vazios. Essa afirmao:

a) Falsa.
b) Verdadeira.
c) Apenas a partio vazia.
d) Apenas a partio vazia.
e) As duas parties so nulas.

Exerccios
Questo 5: Todo grafo caminho uma rvore. Essa
afirmao:

a) Falsa.
b) A insero de uma aresta ligando o vrtice final e
o vrtice inicial do caminho forma uma rvore.
c) Verdadeira.
d) Removendo uma aresta intermediria do caminho
gera uma rvore.
e) Verdadeira, desde que seja inserido um ciclo
mpar este caminho.

Exerccios
Questo 5: Todo grafo caminho uma rvore. Essa
afirmao:

a) Falsa.
b) A insero de uma aresta ligando o vrtice final e
o vrtice inicial do caminho forma uma rvore.
c) Verdadeira.
d) Removendo uma aresta intermediria do caminho
gera uma rvore.
e) Verdadeira, desde que seja inserido um ciclo
mpar este caminho.

Exerccios
Questo 5: Toda rvore com pelo menos uma aresta tem
pelo menos trs folhas. Essa afirmao:

a) Falsa, pois toda rvore com pelo menos uma
aresta tem pelo menos duas folhas.
b) Falsa, pois toda rvore com pelo menos uma
aresta tem pelo menos quatro folhas.
c) Verdadeira.
d) Verdadeira, desde que essa rvore tenha uma
aresta paralela.
e) Falsa, pois toda rvore possui um vrtice
desconexo.

Exerccios
Questo 5: Toda rvore com pelo menos uma aresta tem
pelo menos trs folhas. Essa afirmao:

a) Falsa, pois toda rvore com pelo menos uma
aresta tem pelo menos duas folhas.
b) Falsa, pois toda rvore com pelo menos uma
aresta tem pelo menos quatro folhas.
c) Verdadeira.
d) Verdadeira, desde que essa rvore tenha uma
aresta paralela.
e) Falsa, pois toda rvore possui um vrtice
desconexo.

Exerccios
Questo 6: FCC - 2012 - TCE-AP - Analista de Controle
Externo - Tecnologia da Informao] Um grafo consiste num
conjunto de ns (ou vrtices) e num conjunto de arcos (ou
arestas). correto afirmar que o grau de um n :

a) o nmero de arcos incidentes nesse n.
b) um nmero associado ao arco, tambm chamado
de peso.
c) a distncia entre este n e um outro n qualquer
do grafo.
d) a posio deste n em relao ao n raiz do grafo
e) o nmero de pares ordenados que formam o arco
Exerccios
Questo 6: FCC - 2012 - TCE-AP - Analista de Controle
Externo - Tecnologia da Informao] Um grafo consiste num
conjunto de ns (ou vrtices) e num conjunto de arcos (ou
arestas). correto afirmar que o grau de um n :

a) o nmero de arcos incidentes nesse n.
b) um nmero associado ao arco, tambm chamado
de peso.
c) a distncia entre este n e um outro n qualquer
do grafo.
d) a posio deste n em relao ao n raiz do grafo
e) o nmero de pares ordenados que formam o arco
Exerccios
Questo 7: [FCC - 2012 - TRT - 11 Regio (AM) -
Analista Judicirio - Tecnologia da Informao] Um
grafo uma estrutura de dados consistida em um
conjunto de ns (ou vrtices) e um conjunto de arcos
(ou arestas). O grafo em que os arcos possuem um nmero
ou peso associados a eles, chamado de grafo
a)predecessor.
b)adjacente.
c)incidente.
d)ponderado.
e)orientado.
Exerccios
Questo 7: [FCC - 2012 - TRT - 11 Regio (AM) -
Analista Judicirio - Tecnologia da Informao] Um
grafo uma estrutura de dados consistida em um
conjunto de ns (ou vrtices) e um conjunto de arcos
(ou arestas). O grafo em que os arcos possuem um nmero
ou peso associados a eles, chamado de grafo
a)predecessor.
b)adjacente.
c)incidente.
d)ponderado.
e)orientado.
Exerccios
Questo 8: [FCC - 2009 - TJ-SE - Analista Judicirio -
Anlise de Sistemas - Desenvolvimento] Um grafo
cujo n de partida de um caminho coincide com o n
de chegada caracteriza um grafo
a)completo.
b)cclico.
c)simtrico
d)conexo.
e)regular
Exerccios
Questo 8: [FCC - 2009 - TJ-SE - Analista Judicirio -
Anlise de Sistemas - Desenvolvimento] Um grafo
cujo n de partida de um caminho coincide com o n
de chegada caracteriza um grafo
a)completo.
b)cclico.
c)simtrico
d)conexo.
e)regular
Exerccios
Questo 9: Uma das estruturas mais importantes na computao so os
grafos. Estes podem representar praticamente tudo, desde estruturas fsicas
como redes de computadores, mapas, e tambm estruturas lgicas como a
organizao de pginas na web. Assinale a alternativa correta a respeito dos
grafos.
a) Em um grafo com vrtices e arestas, a partir de um vrtice
possvel acessar qualquer outro vrtice do grafo atravs de
uma nica aresta.
b) Em um conjunto de pginas web, os vrtices so os link se as arestas
as pginas.
c) Os grafos, de maneira geral, so estruturas ideais para
armazenamento de informao devido sua capacidade de
manter os elementos ordenados.
d) De acordo com suas propriedades, um grafo no deve possuir
ciclos.
e) As rvores so um tipo especial de grafos que no possuem ciclos.
Exerccios
Questo 9: Uma das estruturas mais importantes na computao so os
grafos. Estes podem representar praticamente tudo, desde estruturas fsicas
como redes de computadores, mapas, e tambm estruturas lgicas como a
organizao de pginas na web. Assinale a alternativa correta a respeito dos
grafos.
a) Em um grafo com vrtices e arestas, a partir de um vrtice
possvel acessar qualquer outro vrtice do grafo atravs de
uma nica aresta.
b) Em um conjunto de pginas web, os vrtices so os link se as arestas
as pginas.
c) Os grafos, de maneira geral, so estruturas ideais para
armazenamento de informao devido sua capacidade de
manter os elementos ordenados.
d) De acordo com suas propriedades, um grafo no deve possuir
ciclos.
e) As rvores so um tipo especial de grafos que no possuem
ciclos.
Exerccios
Questo 10: A respeito de um grafo G(V,E) onde V o conjunto de
vrtices e E o conjunto de arestas, marque a alternativa correta.

a) Em uma rvore, |E| = |V|, onde |E| e |V| so respectivamente a quantidade
de arestas e a quantidade de vrtices.
b) Em uma rvore, |E| = |V| + 1, onde |E| e |V| so respectivamente a
quantidade de arestas e a quantidade de vrtices.
c) Em uma rvore, |V| = |E| - 1, onde |E| e |V| so respectivamente a
quantidade de arestas e a quantidade de vrtices.
d) A quantidade de arestas em uma rvore independe do nmero de
vrtices.
e) Em uma rvore, |E| = |V| - 1, onde |E| e |V| so respectivamente a
quantidade de arestas e a quantidade de vrtices.
Exerccios
Questo 10: A respeito de um grafo G(V,E) onde V o conjunto de
vrtices e E o conjunto de arestas, marque a alternativa correta.

a) Em uma rvore, |E| = |V|, onde |E| e |V| so respectivamente a quantidade
de arestas e a quantidade de vrtices.
b) Em uma rvore, |E| = |V| + 1, onde |E| e |V| so respectivamente a
quantidade de arestas e a quantidade de vrtices.
c) Em uma rvore, |V| = |E| - 1, onde |E| e |V| so respectivamente a
quantidade de arestas e a quantidade de vrtices.
d) A quantidade de arestas em uma rvore independe do nmero de
vrtices.
e) Em uma rvore, |E| = |V| - 1, onde |E| e |V| so respectivamente a
quantidade de arestas e a quantidade de vrtices.
Exerccios
Questo 11. Um dos problemas mais conhecidos que envolvem grafos o
problema da busca em grafos. Marque a alternativa correta a respeito das
buscas.
a) Para realizar uma busca em profundidade necessria a
utilizao de uma pilha.
b) O algoritmo do caminho mnimo uma verso estendida da
busca em profundidade.
c) Em uma rvore binria ordenada, a busca em largura resulta na
impresso dos elementos de forma crescente ou decrescente.
d) Para realizar uma busca em largura necessria a utilizao de
uma pilha.
e) As buscas em grafos so diferentes formas de mostrar os
elementos que o compe de forma ordenada.
Exerccios
Questo 11. Um dos problemas mais conhecidos que envolvem grafos o
problema da busca em grafos. Marque a alternativa correta a respeito das
buscas.
a) Para realizar uma busca em profundidade necessria a
utilizao de uma pilha.
b) O algoritmo do caminho mnimo uma verso estendida da
busca em profundidade.
c) Em uma rvore binria ordenada, a busca em largura resulta na
impresso dos elementos de forma crescente ou decrescente.
d) Para realizar uma busca em largura necessria a utilizao de
uma pilha.
e) As buscas em grafos so diferentes formas de mostrar os
elementos que o compe de forma ordenada.
Tente resolver
essa questo
do ENADE
2011.