AULA 01 - INTRODUO TEORIA DOS GRAFOS

Autor: Ernesto Massa

A matemtica
o alfabeto com o qual
DEUS escreveu o universo
Pitgoras

Ol!
Seja bem-vindo nossa disciplina de Matemtica Aplicada. Antes de qualquer
coisa, importante diferenciarmos a Matemtica Pura da Matemtica Aplicada.
Informalmente, pode-se dizer que a Matemtica Pura busca o desenvolvimento
da matemtica pela prpria matemtica, no se preocupando com a sua
aplicabilidade ou a importncia do seu desenvolvimento para as outras reas do
conhecimento. J a Matemtica Aplicada busca formas de aplicao do
conhecimento matemtico em outros domnios, possibilitando uma interao com
reas como a Administrao, Economia, Engenharia e, principalmente a Cincia
da Computao. Esta disciplina tem por objetivo a apresentao de duas
subreas da Matemtica Aplicada: a Teoria dos Grafos e a Programao Linear.
Nesta nossa primeira aula veremos os conceitos bsicos sobre grafos e
conheceremos o contexto histrico em que surgiram os primeiros teoremas que
servem como marco criador da Teoria dos Grafos.

MOTIVAO HISTRICA
No sculo XVII, na antiga Prssia, havia uma importante cidade chamada
Knigsberg. Esta cidade, hoje, pertencente Rssia e chamada Kaliningrado, era
cortada pelo rio Pregel (hoje Pregolya) que formava em seu leito duas ilhas. Para
interligar as ilhas ao restante da cidade, tinham sido construdas sete pontes.
Aos domingos tarde, era hbito dos moradores fazerem passeios admirando a
sua bela cidade, e com isso surgiu um desafio entre os habitantes: seria possvel
atravessar todas as sete pontes apenas uma nica vez e retornar ao ponto de
partida?1
Em 1735, Leonhard Euler, professor da Academia de Cincias de So
Petersburgo, apresentou uma palestra que continha no s a soluo para o
problema, mas generalizava a situao para qualquer configurao de braos de
rio e uma quantidade qualquer de pontes. Nesta palestra, apesar de no
pronunciar a palavra "grafo" ou ao menos desenhar um como so conhecidos
atualmente, Euler apresentou os principais conceitos da Teoria dos Grafos e
formulou seus primeiros teoremas.
1

Antes de continuar a nossa descrio da histria, sugerimos que voc veja um mapa da poca da cidade de
Knigsberg - figura 01 - e tente encontrar uma soluo para este problema.

Figura 1 - A cidade de Knigsberg, no Sc.XVII, com as sete pontes

e o rio em evidncia
Fonte: Rezende (2002, p.4)

Euler resolveu o problema das pontes de Knigsberg com o seguinte

raciocnio: Considere cada poro de terra como sendo representada por uma
letra maiscula e cada ponte como uma letra minscula (figura 02). Se um
habitante caminhar de A para B atravs das pontes a ou b, este caminho poder
ser representado por "AB". Se o habitante segue a sua caminhada de B para D
atravs da ponte f, o passeio inteiro poder ser representado por "ABD". Se o
habitante prossegue de D para C, o passeio inteiro poder ser representado por
"ABDC". Podemos observar que para representar um passeio que atravessa
apenas uma ponte foi necessria uma seqncia de duas letras. Para representar
um passeio que atravessa duas pontes foi necessria uma seqncia de trs
letras, e assim por diante. Seguindo esta ordem, ser necessria uma seqncia
com exatamente oito letras para representar a travessia das sete pontes da
cidade de Knigsberg.
Considere agora apenas a regio A. Existem cinco pontes que devem ser
atravessadas. Se em um passeio apenas uma ponte for atravessada, a letra A
aparecer apenas uma vez na seqncia de letras que representa este passeio.
Se trs pontes forem atravessadas, a letra A aparecer duas vezes. No caso de
todas as cinco pontes serem atravessadas, a letra A dever aparecer trs vezes.
Como as regies B, C e D possuem trs pontes, elas tambm devero aparecer
duas vezes na sequncia de letras que representa o passeio. Portanto, para que
todas as pontes sejam atravessadas, a seqncia de letras dever conter trs
letras A, duas letras B, duas letras C e duas letras D, totalizando nove letras.

Como a sequncia que representa este passeio possui exatamente oito letras,
um passeio com estas caractersticas impossvel (EULER, 1736).

Figura 2 - Diagrama apresentado por Euler em 1736

Fonte: Hopkins (2004, p. 200)

FUNDAMENTOS SOBRE GRAFOS

Um grafo pode ser entendido como um conjunto no-vazio de vrtices
(ou ns) unido com um conjunto de arestas (ou arcos), tais que cada aresta liga
dois vrtices. Esta forma de se definir um grafo suficiente para sua
compreenso, mas insuficiente para estudos mais aprofundados. Podemos ver o
exemplo de um grafo na figura 3.

Figura 3 - Exemplo de Grafo

DEFINIO FORMAL DE UM GRAFO

Podemos

definir

um

grafo

como

sendo

tripla

ordenada

G = (VG , AG , G ) , em que VG um conjunto no vazio de vrtices, AG um

A
conjunto de arestas, e G a funo que associa cada elemento do conjunto G

VG . Se e for uma aresta e

G (e) = (u, v) , dizemos que e liga o vrtice u com o vrtice v , e que os vrtices
u e v so os extremos da aresta e (BONDY, 1982).

a um par no-ordenado de elementos do conjunto

Como exemplo, podemos rever o grafo apresentado na figura 03 junto

com a sua definio formal (figura 04).

G = (VG , AG , G ), onde :

VG = {u , v, x, y, w}

AG = {a, b, c, d , e, f , g , h}

G : AG a (VG , VG ),
onde :
G (a ) = (v, u );
G (b) = (u , u );
G (c) = (v, w);
G (d ) = ( w, x);
G (e) = (v, x);
G ( f ) = ( w, x);
G ( g ) = (u , x);
G (h) = ( x, y )
Figura 4- Desenho de um grafo e a sua definio formal
Fonte: Bondy (1982, p. 2)

Observando o grafo apresentado na figura 04, podemos verificar que a sua

definio formal independe do formato com que o grafo foi apresentado
graficamente. Desta forma, um grafo pode ser apresentado graficamente de

G ,
G
G
e a funo
diversas formas distintas que, se os conjuntos
permanecerem os mesmos, ainda assim ser o mesmo grafo (figura 05).
Alguns grafos so exibidos sem a definio de rtulos para as arestas.
Nestes casos, as arestas so identificadas pelos seus vrtices extremos e no h

a necessidade de exibir a funo

G , pois ela j estar implcita (figura 05).

G = (VG , AG ), onde :

VG = {1,2,3,4,5,6,7}

AG = {(1,2), (1,5), (2,5), (3,4), (5,7)}

Figura 5- Grafo com arestas no rotuladas

Fonte: Diestel (2005, p. 2)

GRAFOS SIMPLES
Uma aresta que possui ambos extremos em um mesmo vrtice chamada
de lao (veja a aresta b da figura 4). Duas arestas distintas que possuem o
mesmo par de extremos so chamadas de arestas paralelas (arestas d e f da
figura 4). Um grafo que no possui laos nem arestas paralelas chamado de
grafo simples, e quando desejamos nos referir a grafos que permitam laos ou
arestas paralelas, ns os chamamos de multigrafos (SCHEINERMAN, 2006). Os
grafos simples so uma classe importante de grafos e a maior parte do nosso
curso ser considerando grafos simples.

GRAFOS ORIENTADOS E GRAFOS VALORADOS

Um grafo em que existe a propriedade especial de que uma aresta pode
ser percorrida em apenas uma direo chamado de grafo direcionado, ou

dgrafo. Formalmente, um dgrafo tripla ordenada D = (V D , AD , D ) , em que V D

um conjunto no vazio de vrtices, AD um conjunto de arestas, e D a

funo incidente que associa cada aresta pertencente ao conjunto AD a um par

ordenado de vrtices pertencentes ao conjunto V D . Se e for uma aresta e

D (e) = (u , v) , dizemos que e liga o vrtice u ao vrtice v , em que u o

extremo inicial e v o extremo final da aresta e (BONDY, 1982). Dizemos,
tambm, que e diverge de u e converge para v (SZWARCFITER, 1986).

Quando no existe a informao explcita de que um grafo um dgrafo,

considera-se que o referido grafo no um grafo orientado. Se quisermos
reforar esta condio, podemos cham-lo de grafo no-orientado.
Um grafo em que seja importante atribuir um valor para as arestas de
forma a diferenciar o custo (ou ganho) ao se percorrer cada aresta chamado de
grafo valorado, ou com pesos. Os pesos de um grafo podem representar
diferentes informaes, tais como distncia, tempo ou custo financeiro, entre
outros.

INCIDNCIA E ADJACNCIA
Se o vrtice v for o extremo de uma aresta a , ento dizemos que o
vrtice v incidente com a aresta a . Da mesma forma, se dois vrtices a e b
so incidentes com a mesma aresta, dizemos que a e b so vrtices
adjacentes, e representamos esta relao entre vrtices escrevendo a ~ b .
Duas arestas tambm so consideradas adjacentes se forem incidentes com um
mesmo vrtice. Como exemplo, podemos ver que no grafo da figura 06 u ~ y e
x ~ w . Tambm pode ser notado que as arestas e e g incidem com o mesmo
vrtice y , portanto so adjacentes.

Figura 6 - Grafo exemplo

Fonte: Bondy (1982, p. 9)

ORDEM DE UM GRAFO
O nmero de vrtices que um grafo G possui chamado de ordem do

. No escopo deste curso ns trataremos

grafo e denotado por
exclusivamente de grafos que possuam ordem finita. Um grafo simples que
possui um nico vrtice (

G =1

) chamado de grafo trivial e o menor grafo

V
que pode existir, j que G um conjunto no vazio.

VIZINHANA E GRAU
A vizinhana de um vrtice v , denotada por N (v) , o conjunto de todos
os vrtices adjacentes v . O nmero de vizinhos de um vrtice v definido

d (v )

. Tomando como
como sendo o grau do vrtice v , que denotado por G
exemplo o grafo da figura 5, temos que as vizinhanas dos vrtices do grafo so:

N (u ) = {y},

N (v) = {y, w} ,

N ( x) = {w, y} ,

N ( y ) = {x, v, u} ,

N ( w) = {v, x}.

Assim,

d G (u ) = 1 ,
tambm podemos obter os respectivos graus para os vrtices:
d G (v) = 2 , d G ( x) = 2 , d G ( y ) = 3 , d G ( w) = 2 . Um vrtice que possua grau zero

(como o vrtice 6 no grafo apresentado na figura 5) chamado de vrtice

isolado (SCHEINERMAN, 2006).
No caso de dgrafos, cada vrtice v possui uma vizinhana de entrada,
formada pelos vrtices adjacentes ao vrtice v atravs de arestas convergentes
a v e uma vizinhana de sada, constituda pelos vrtices adjacentes a v
atravs de arestas divergentes de v . A quantidade de elementos na vizinhana
de entrada define o grau de entrada do vrtice, e a quantidade de elementos
na vizinhana de sada define o grau de sada do vrtice (SZWARCFITER,
1986).
O grau mdio de um grafo G a mdia aritmtica dos graus de todos os
vrtices de G, assim como o seu grau mximo o maior grau entre os graus de
todos os seus vrtices e o seu grau mnimo o menor grau considerando todos

os seus vrtices (DIESTEL, 2005). No grafo da figura 6, temos o grau mdio

igual a

10 = 2
5
, o grau mximo igual a trs e o grau mnimo igual a um.

GRAFOS REGULARES E GRAFOS COMPLETOS

Um grafo simples chamado de grafo regular quando todos os seus
vrtices possuem o mesmo grau. Se em um grafo regular todos os vrtices
possurem grau r, este grafo ser chamado de r-regular, em que r o grau dos
seus vrtices. Veja na figura 7 um exemplo de grafo 3-regular.

Figura 7- Grafo 3-regular

Um tipo de grafo regular especial o grafo simples em que todos os

vrtices so adjacentes a todos os demais vrtices. Um grafo com esta
caracterstica chamado de grafo completo e denotado por
ordem do grafo. Na figura 8, podemos ver um
graficamente como um tringulo, e um
teoria dos grafos.

K n , onde n o a

K 3 , que pode ser representado

K 5 , que possui importante papel na

Figura 08 - Grafos Completos K3 e K5, respectivamente

SNTESE
Em 1735, inspirado no problema conhecido como as pontes de Knigsberg,
Leonhard Euler formulou os primeiros teoremas do que se tornaria conhecido
como Teoria dos Grafos.

Um grafo definido por uma tripla ordenada composta por um conjunto

no vazio de vrtices, um conjunto de arestas, e uma funo que associa cada
elemento do conjunto de arestas a um par no-ordenado de vrtices. Dois
vrtices que formam um par no-ordenado associado a uma aresta so
chamados adjacentes entre si, e cada um destes vrtices dito incidente com a
referida aresta. Laos so arestas associadas com um par de vrtices iguais, e
arestas paralelas so arestas associadas ao mesmo par de vrtices. Grafos
simples no possuem laos nem arestas paralelas, e formam uma importante
classe na teoria dos grafos. Em grafos orientados, as arestas podem ser
percorridas em uma nica direo, sendo esta classe de grafos chamada de
dgrafos. Nos grafos valorados (com pesos), cada aresta possui um valor que
representa o custo (ou ganho) ao se percorrer esta aresta. Em grafos regulares,
cada vrtice ligado a uma mesma quantidade de outros vrtices, e em um
grafo completo, todos os vrtices do grafo so ligados entre si.
Na prxima aula, veremos como representar grafos em computadores.

QUESTO PARA REFLEXO

Quais situaes cotidianas voc poderia representar atravs de grafos?
Que tipo de grafos elas seriam?

LEITURAS INDICADAS
BOAVENTURA NETTO, Paulo Oswaldo. Grafos: teoria, modelos, algoritmos. Captulo 1:
Introduo. So Paulo: Edgard Blcher, 1996.
HOPKINS, Brian; WILSON, Robin. The Truth about Knigsberg. The College
Mathematics Journal. Washington Dc, p. 198-207. May 2004.
<http://www.mathdl.org/images/upload_library/22/Polya/hopkins.pdf>
SCHEINERMAN, Edward R. Matemtica discreta: uma introduo. Captulo 9:
Fundamentos da Teoria dos Grafos. Thompson Learning, So Paulo, 2006.

SITES INDICADOS
Departamento de Informtica e de Estatstica - Centro Tecnolgico Universidade Federal de Santa Catarina <http://www.inf.ufsc.br/grafos/>

REFERNCIAS
BONDY, John Adrian; Murthy, U.S.R. Graph theory with applications. The MacMillan
Press, London, fifth edition, 1982.
DIESTEL, Richard. Graph theory. Springer-Verlag Heidelberg, New York, 2005.
EULER, Leonhard. Solution problematis and geometriam situs pertinentis.
Commentarii Academiae Scientiarum Imperialis Petropolitanae, n. 8, p.128-140, 1736.

HOPKINS, Brian; WILSON, Robin. The truth about Knigsberg. The College
Mathematics Journal, Washington Dc, p. 198-207. May 2004.
REZENDE, Pedro J. Algoritmos em grafos. Notas de aula da disciplina complexidade de
algoritmos I. Unicamp, junho 2002.
SCHEINERMAN, Edward R. Matemtica discreta: uma introduo. Thompson Learning,
So Paulo, 2006.
SZWARCFITER, Jaime Luiz. Grafos e algoritmos computacionais. 2. ed. Rio de
Janeiro: Campus, 1986.