Matemática Discreta

Rogério T. Cavalcanti

22 de Novembro de 2023
GRAFOS – Conceitos Básicos

Matemática Discreta | 2023 2/30

 MOTIVAÇÃO
Como modelar problemas que envolvem conjuntos de objetos e relações
entre pares de objetos por meio de conexões?
Exemplo – Google Maps:
C o m o i r d a c i d a d e A p a ra c i d a d e B ?
Quais os caminhos possíveis?
Qual o caminho mais cur to?
Qual o caminho de menor custo?

Matemática Discreta | 2023 3/30

 Grafos

Te o r i a d o s G r a f o s :
Área da matemática combinatória focada na classificação, propriedades e
r e s o l u ç ã o d e p r o b l e m a s e n v o l v e n d o g ra f o s .

Matemática Discreta | 2023 4/30

Matemática Discreta | 2023 5/30
 Problemas Práticos com Grafos
Web:
A j u d a r m o t o r e s d e b u s c a a e n c o n t ra r i n f o r m a ç õ e s r e l e v a n t e s ;
documentos interligados por links.
Mapas:
Descobrir o roteiro mais cur to entre cidades de uma região turística;
c i d a d e s i n t e r l i g a d a s p o r e s t ra d a s .
Redes Sociais:
I d e n t i f i c a r p e s q u i s a d o r e s c o m o m a i o r n ú m e r o d e c o l a b o ra d o r e s
internacionais;
pesquisadores conectados por projetos de pesquisa.

Matemática Discreta | 2023 6/30

 O que é um Grafo?
G r a f o G d e f i n i d o c o m o u m p a r ( V, A ) :
V: conjunto de nós chamados vér tices (ou nós).
A: conjunto de pares de vér tices chamados arestas (ou arcos).
Exemplo:
Rede social de amizade; cada vér tice é uma pessoa; uma aresta entre
duas pessoas existe se elas são amigas.
E x i s t e m d i f e r e n t e s e s t r u t u ra s d i s c r e t a s d e g ra f o s , d e p e n d e n d o s e a s a r e s t a s
têm direções, se múltiplas arestas podem conectar o mesmo par de vér tices
e se laços são permitidos.
G ra f o s a p a r e c e m e m p r o b l e m a s e m p ra t i c a m e n t e t o d a s a s d i s c i p l i n a s .

Matemática Discreta | 2023 7/30

D e f i n i ç ã o U m g ra f o é u m a t r i p l a o r d e n a d a ( N , A , g ) , e m q u e
N é um conjunto não vazio de nós (vér tices)
A é um conjunto de arcos (arestas)
e g é uma função que associa cada arco a um par não ordenado x-y de nós,
chamados de extremidades de a.

Matemática Discreta | 2023 8/30

Exemplo
O g ra f o d a F i g u ra a b a i x o t e m c i n c o n ó s e s e i s a r c o s . O a r c o conecta os nós
1 e 2, conecta os nós 2 e 2 e assim por diante.

P a ra e s s e g ra f o , a f u n ç ã o g q u e a s s o c i a a r c o s a s u a s e x t r e m i d a d e s é a
seguinte: g( ) = 1–2, g( ) = 1–2, g( ) = 2–2,
g( ) = 2–3, g( ) = 1–3 e g( ) = 3–4.

Matemática Discreta | 2023 9/30

Exemplo
E s b o c e u m g ra f o c o m n ó s { 1 , 2 , 3 , 4 , 5 } , a r c o s { } e f u n ç ã o g d a d a p o r g ( ) =
1–2, g( ) = 1–3, g( ) = 3–4, g( ) = 3–4, g( ) = 4–5 e g( ) = 5–5.

Matemática Discreta | 2023 10/30

G r a f o d i r e c i o n a d o U m g ra f o d i r e c i o n a d o ( d í g ra f o ) é u m a t r i p l a o r d e n a d a ( N , A ,
g), em que
N é um conjunto não vazio de nós
A é um conjunto de arcos
g é uma função que associa a cada arco um par ordenado (x, y) de nós, em
que x é o ponto inicial (extremidade inicial) e y é o ponto final (extremidade
final) de a.

Matemática Discreta | 2023 11/30

Exemplo
A F i g u ra a b a i x o m o s t ra u m g ra f o d i r e c i o n a d o , c o m 4 n ó s e 5 a r c o s . A f u n ç ã o g
que associa a cada arco suas extremidades satisfaz g( ) = (1, 2), o que
significa que o arco c o m e ç a n o n ó 1 e t e r m i n a n o n ó 2 . Te m o s , t a m b é m , g ( )
= (1, 3) e g( ) = (3, 1).

Matemática Discreta | 2023 12/30

Redes de Área Local:
Os diversos computadores em um edifício, como minicomputadores e
computadores pessoais, além dos dispositivos periféricos como
i m p r e s s o ra s , p o d e m s e r c o n e c t a d o s u s a n d o u m a r e d e d e á r e a l o c a l .
Algumas dessas redes são baseadas em uma topologia estrela, onde todos
o s d i s p o s i t i v o s s ã o c o n e c t a d o s a u m d i s p o s i t i v o d e c o n t r o l e c e n t ra l .
U m a r e d e d e á r e a l o c a l p o d e s e r r e p r e s e n t a d a u s a n d o u m g ra f o b i p a r t i d o
completo ( v o l t a r e m o s à t e r m i n o l o g i a ) , c o m o m o s t ra d o n a F i g u ra ( a ) .

Matemática Discreta | 2023 13/30

O u t ra s r e d e s d e á r e a l o c a l s ã o b a s e a d a s e m u m a t o p o l o g i a e m a n e l , o n d e
cada dispositivo é conectado exatamente a outros dois.
Redes de área local com uma topologia em anel são modeladas usando
ciclos-n, , c o m o m o s t ra d o n a F i g u ra ( b ) .
M e n s a g e n s s ã o e n v i a d a s d e d i s p o s i t i v o p a ra d i s p o s i t i v o a o r e d o r d o c i c l o
até que o destinatário pretendido de uma mensagem seja alcançado.

Matemática Discreta | 2023 14/30

Por fim, algumas redes de área local usam uma combinação dessas duas
topologias.
M e n s a g e n s p o d e m s e r e n v i a d a s a o r e d o r d o a n e l o u a t ra v é s d e u m d i s p o s i t i v o
c e n t ra l .
Essa redundância torna a rede mais confiável.
Redes de área local com essa redundância podem ser modeladas como
m o s t ra d o n a F i g u ra ( c ) .

Matemática Discreta | 2023 15/30

 Terminologia sobre Grafos
E m u m g ra f o , d o i s n ó s s ã o d i t o s a d j a c e n t e s s e a m b o s s ã o e x t r e m i d a d e s d e
um mesmo arco.
U m l a ç o e m u m g ra f o é u m a r c o c o m e x t r e m i d a d e s n - n p a ra a l g u m n ó n ;
Dois arcos com as mesmas extremidades são ditos arcos paralelos;
U m g r a f o s i m p l e s é u m g ra f o s e m l a ç o s n e m a r c o s p a ra l e l o s .
Um nó isolado é um nó que não é adjacente a nenhum outro;
O grau de um nó é o número de extremidades de arcos naquele nó.

Matemática Discreta | 2023 16/30

Como a função g, que associa a cada arco suas extremidades na definição
f o r m a l d e g ra f o , é d e f a t o u m a f u n ç ã o , c a d a a r c o t e m u m ú n i c o p a r d e
extremidades.
S e g f o r u m a f u n ç ã o i n j e t o r a , e n t ã o e x i s t i rá n o m á x i m o u m a r c o a s s o c i a d o a
c a d a p a r d e e x t r e m i d a d e s ; t a l g ra f o n ã o t e m a r c o s p a ra l e l o s .
U m g r a f o c o m p l e t o é u m g ra f o n o q u a l d o i s n ó s d i s t i n t o s q u a i s q u e r s ã o
a d j a c e n t e s . N e s s e c a s o g é q u a s e u m a f u n ç ã o s o b r e j e t o ra ― t o d o p a r x - y d e
nós distintos é a imagem, sob g, de algum arco. Mas não há a necessidade
de se ter um laço em cada nó. Por tanto, pares da forma x-x podem não ter
uma imagem inversa.
U m s u b g r a f o d e u m g ra f o c o n s i s t e e m u m c o n j u n t o d e n ó s e u m c o n j u n t o d e
arcos que são subconjuntos do conjunto original de nós e arcos,
respectivamente, nos quais as extremidades de um arco têm que ser os
m e s m o s n ó s q u e n o g ra f o o r i g i n a l . E m o u t ra s p a l a v ra s , u m s u b g ra f o é u m
g ra f o o b t i d o a p a g a n d o - s e p a r t e d o g ra f o o r i g i n a l e d e i x a n d o o r e s t o s e m
modificações.
Matemática Discreta | 2023 17/30
Um caminho do nó p a ra o n ó é uma sequência
d e n ó s e a r c o s e m q u e , p a ra c a d a i , a s
extremidades do arco são .
O comprimento de um caminho é o número de arcos que ele contém; se um
arco for usado mais de uma vez, ele é contado cada vez que é usado.
U m g ra f o é c o n e xo s e e x i s t e u m c a m i n h o d e q u a l q u e r n ó p a ra q u a l q u e r
outro.
U m c i c l o e m u m g ra f o é u m c a m i n h o d e a l g u m n ó p a ra e l e m e s m o t a l q u e
nenhum arco aparece mais de uma vez, é o único nó que aparece mais de
uma vez, e aparece apenas nas extremidades. (Nós e arcos podem ser
repetidos em um caminho, mas não em um ciclo, com exceção do nó .)
U m g ra f o s e m c i c l o s é d i t o a c í c l i c o .

Matemática Discreta | 2023 18/30

A F i g u ra a b a i x o i l u s t ra o s g ra f o s s i m p l e s c o m p l e t o s c o m 1 , 2 , 3 e 4 v é r t i c e s . O
g ra f o s i m p l e s c o m p l e t o c o m n v é r t i c e s é d e n o t a d o p o r
.

Desenhe .

Matemática Discreta | 2023 19/30

C o n s i d e r e a g o ra o g ra f o s i m p l e s d a F i g u ra a b a i x o .
E s s e g ra f o n ã o é c o m p l e t o , j á q u e n e m t o d o n ó é a d j a c e n t e a t o d o s o s
outros nós.
No entanto, os nós podem ser divididos em dois conjuntos disjuntos, {1, 2} e
{3, 4, 5}, tais que dois nós quaisquer escolhidos no mesmo conjunto não são
adjacentes,
mas dois nós quaisquer escolhidos um em cada conjunto são adjacentes.
U m g ra f o d e s s e t i p o é c h a m a d o d e g r a f o b i p a r t i d o c o m p l e t o .

Matemática Discreta | 2023 20/30

Grafo bipar tido completo
U m g ra f o é u m g ra f o b i p a r t i d o c o m p l e t o s e s e u s n ó s p u d e r e m s e r d i v i d i d o s e m
dois conjuntos disjuntos não vazios e tais que dois nós são adjacentes
se e somente se um deles pertencer a e o outro per tencer a . Se
e ; t a l g ra f o s e rá d e n o t a d o p o r .

Matemática Discreta | 2023 21/30

Desenhe .

Matemática Discreta | 2023 22/30

O c o n c e i t o d e c a m i n h o p o d e s e r e s t e n d i d o a u m g ra f o d i r e c i o n a d o d e
m a n e i ra n a t u ra l : u m c a m i n h o d e u m n ó p a ra u m n ó e m u m g ra f o
direcionado é uma sequência e m q u e , p a ra
cada i, é o ponto inicial e é o ponto final do arco .
Se existir um caminho de p a ra , então s e rá a c e s s í v e l d e .
A d e f i n i ç ã o d e c i c l o t a m b é m p o d e s e r e s t e n d i d a p a ra g ra f o s d i r e c i o n a d o s .

Matemática Discreta | 2023 23/30

Existem muitos caminhos do nó
1 p a ra o n ó 3 : d u a s
possibilidades são 1, , 3 e 1,
, 2, , 2, , 3.
O nó 3 é certamente acessível
do nó 1. O nó 1, no entanto, não
é acessível de nenhum outro
n ó . O s c i c l o s n e s s e g ra f o s ã o o
laço e o caminho 3, , 4, ,
3.

Matemática Discreta | 2023 24/30

D o i s g ra f o s p o d e m p a r e c e r m u i t o d i f e r e n t e s e m s u a r e p r e s e n t a ç ã o v i s u a l , m a s ,
a i n d a a s s i m , s e r e m o m e s m o g ra f o d e a c o r d o c o m n o s s a d e f i n i ç ã o f o r m a l .
Q u e r e m o s d i s t i n g u i r e n t r e d o i s g ra f o s q u e t ê m d i f e r e n ç a s v i s u a i s c o s m é t i c a s e
o s q u e t ê m e s t r u t u ra s f u n d a m e n t a l m e n t e d i f e r e n t e s .
E s t r u t u ra s q u e s ã o i g u a i s e x c e t o p o r u m a m u d a n ç a d e n o m e s s ã o d i t a s
i s o m o r f a s . P a ra m o s t ra r q u e d u a s e s t r u t u ra s s ã o i s o m o r f a s , p r e c i s a m o s o b t e r
u m a m u d a n ç a d e n o m e s ( u m a b i j e ç ã o e n t r e o s e l e m e n t o s d a s d u a s e s t r u t u ra s )
e d e p o i s m o s t ra r q u e a s p r o p r i e d a d e s i m p o r t a n t e s d a s e s t r u t u ra s s ã o
“ p r e s e r v a d a s ” ( m a n t i d a s ) s o b e s s a m u d a n ç a d e n o m e s . N o c a s o d e g ra f o s , o s
e l e m e n t o s s ã o o s n ó s e o s a r c o s . A “ p r o p r i e d a d e i m p o r t a n t e ” e m u m g ra f o é
quais arcos conectam que nós.

Matemática Discreta | 2023 25/30

O s g ra f o s n a s F i g u ra s a b a i x o s ã o i g u a i s ― e l e s t ê m o s m e s m o s n ó s , o s
mesmos arcos e a mesma função que associa as extremidades a cada arco.
( N a r e p r e s e n t a ç ã o d e u m g ra f o , a r c o s p o d e m s e i n t e r s e c t a r e m p o n t o s q u e n ã o
s ã o n ó s d o g ra f o . ) S e t r o c á s s e m o s o s " n o m e s " d o s n ó s e d o s a r c o s n a a t ra v é s
d a s f u n ç õ e s a s e g u i r,

o s g ra f o s s e r i a m i g u a i s :

Matemática Discreta | 2023 26/30

Definição: grafos isimorfos
D o i s g ra f o s e são isomorfos se existirem bijeções
e t a i s q u e p a ra c a d a a r c o a , se e
somente se .

Matemática Discreta | 2023 27/30

O s g ra f o s i l u s t ra d o s n a F i g u ra a u
lado são isomorfos. As bijeções
que estabelecem o isomorfismo
são dadas parcialmente.
Usando essas bijeções,
e

I s s o m o s t ra q u e a s r e l a ç õ e s e n t r e
arcos e extremidades é preservada
s o b a m u d a n ç a d e n o m e s p a ra o
caso do arco . P a ra m o s t ra r q u e
o s g ra f o s s ã o i s o m o r f o s , t e r í a m o s
que completar a definição da
função e d e p o i s d e m o n s t ra r q u e
a relação entre arcos e
extremidades é preservada sob
essas funções examinando todos
o s c a s o s p oMatemática
s s í v eDiscreta
i s . | 2023 28/30
I s o m o r f i s m o s e n t r e g ra f o s s ã o m a i s f á c e i s d e p r o v a r s e r e s t r i n g i r m o s n o s s a
a t e n ç ã o a g ra f o s s i m p l e s . S e p u d e r m o s e n c o n t ra r u m a f u n ç ã o a p r o p r i a d a
que leva nós em nós, então a função que leva arcos em arcos é trivial, já que
existe no máximo um arco entre qualquer par de extremidades. Por tanto, o
teorema a seguir é válido.

Te o re m a : i s o m o r f i s m o s d e g ra f o s s m p l e s
D o i s g ra f o s s i m p l e s e s e rã o i s o m o r f o s s e
existir uma bijeção tal que, quaisquer que sejam os
nós e de e s e rã o a d j a c e n t e s s e e s o m e n t e s e
e f o re m a d j a c e n t e s . ( A f u n ç ã o é chamada de um
i s o m o r f i s m o d o g ra f o 1 n o gMatemática
ra f o Discreta
2 . ) | 2023 29/30
P a ra p r o v a r q u e d o i s g ra f o s s ã o i s o m o r f o s é n e c e s s á r i o e n c o n t ra r u m a b i j e ç ã o .
N o e n t a n t o , e s s e m é t o d o t o r n a - s e i n v i á v e l e m q u a l q u e r g ra f o u m p o u q u i n h o
m a i o r. E m v e z d i s s o , p o d e m o s t e n t a r e n c o n t ra r a l g u m a o u t ra ra z ã o p a ra t a i s
b i j e ç õ e s n ã o e x i s t i r e m . E m b o ra i s s o n e m s e m p r e s e j a f á c i l , e x i s t e m c e r t a s
c o n d i ç õ e s s o b a s q u a i s é c l a r o q u e d o i s g ra f o s n ã o s ã o i s o m o r f o s . E l a s
incluem as seguintes:
1. Um g ra f o tem mais nós do que o outro.
2. Um g ra f o tem mais arcos do que o outro.
3. Um g ra f o t e m a r c o s p a ra l e l o s e o o u t r o n ã o .
4. Um g ra f o tem um laço e o outro não.
5. Um g ra f o t e m u m n ó d e g ra u k e o o u t r o n ã o .
6. Um g ra f o é conexo e o outro não.
7. Um g ra f o tem um ciclo e o outro não.

Matemática Discreta | 2023 30/30