APLICACOES PRATICAS DA TEORIA DOS GRAFOS

Alvaro Ostroski, Lucia Menoncini

Acadmico do curso de Matemtica, professora do curso de Matemtica
e
a
a

RESUMO; A teoria dos grafos um ramo da Matemtica que vem crescendo ao longo
e
a
dos anos. Inicialmente surgiu como um desao, no problema conhecido como as pontes de
Knigsberg, mas com a invenao dos computadores foi ganhando espao e atualmente
o
c
c
e
considerada uma ferramenta eciente para resolver problemas em diferentes areas como na

Matemtica, nas Engenharias, na Indstria e no Comrcio. Dentre as classes de problemas

a
u
e
abordados por esta teoria, pode-se destacar a utilizaao do modelo conhecido como o proc
blema de coloraao, que busca colorir os vrtices de um grafo, de modo que vrtices adc
e
e
jacentes apresentem cores distintas, utilizando para isto o menor nmero poss de cores.
u
vel
Atravs do problema de coloraao, consegue-se modelar um grande nmero de situaoes
e
c
u
c
prticas, pois ele consiste em particionar os vrtices de um grafo em conjuntos, onde seus
a
e
elementos apresentam caracter
sticas comuns, que podem ser a cor, a numeraao, ou outras.
c
PALAVRAS-CHAVE; grafos, coloraao, particionamento.
c
INTRODUCAO; A teoria dos grafos um ramo da Matemtica Discreta (estuda estruturas

e
a
matemticas que no necessitam da noao de continuidade) que estuda objetos denominados
a
a
c
grafos. Conforme informaoes retiradas de Boaventura Netto (2006, p.02), o pioneiro desta
c
teoria foi o matemtico suco Leonhard Euler que formulou e resolveu o problema das pontes
a

de Knigsberg, o qual inicialmente se apresentou como uma charada matemtica. Alm de

o
a
e
Euler, Gustav Robert Kirchho, Arthur Cayley e William Rowan Hamilton foram alguns
dos nomes que utilizaram conceitos de grafos para resoluao de problemas e acabaram por
c
contribuir para o desenvolvimento terico e prtico acerca da teoria dos grafos. Um grafo
o
a
G = G(V,E) pode ser denido como uma estrutura onde V um conjunto discreto e ordenado
e
de pontos chamados vrtices, e E um conjunto de linhas chamadas arestas, e cada aresta est
e
a
conectada em pelo menos um vrtice. Com a idia de pontos interligados por linhas, a repree
e
sentaao por grafos pode facilitar o entendimento e a resoluao de problemas. Desta forma,
c
c
mapas que representam a estrutura organizacional de uma empresa, rotas de transporte, redes de comunicaao, distribuiao de produtos, assim como a estrutura qu
c
c
mica de molculas,
e
podem ser expressos atravs de grafos. De modo geral, o estudo sobre grafos vem crescendo
e
nas ultimas dcadas, devido ao avano de novas tecnologias computacionais, que permitem

e
c
a resoluao de problemas via algoritmos, com maior ecincia, rapidez e conana. Assim, a
c
e
c
crescente aplicabilidade desta teoria um fator positivo para o desenvolvimento social, e um
e
dos modelos prticos que merece destaque o problema conhecido como coloraao, o qual
a
e
c
pode ser utilizado em situaoes que exigem a seleao de elementos em conjuntos independentes
c
c
e com caracter
sticas comuns.
METODOLOGIA; Este trabalho apresenta natureza aplicada, pois busca-se conhecimentos tericos para resoluao de situaoes prticas. Quanto ao seu delineamento, uma pesquisa
o
c
c
a
e
bibliogrca com carter propositivo. Primeiramente foram realizadas leituras gerais sobre
a
a
grafos e aplicaoes. Em seguida foi realizado aprofundamento terico de alguns conceitos,
c
o
resultados e aspectos histricos em teoria dos grafos, utilizando para isto, teses, dissertaoes,
o
c
artigos, livros e material dispon na internet. Na seqncia, foram elaboradas e desenvolvivel
ue
das alguns problemas envolvendo situaoes do cotidiano.
c

RESULTADOS E DISCUSOES; a teoria dos grafos teve seu surgimento no ano de 1736,
quando Leonhard Euler se depara com o problema das pontes de Knigsberg. Knigsberg
o
o
era uma cidade da antiga Prssia do sculo XVIII, atual Kaliningrado (Rssia), onde haviam
u
e
u
duas ilhas que, juntas com a parte continental eram ligadas por sete (7) pontes. Na cidade,

discutia-se a possibilidade de atravessar todas as pontes, sem repeti-las. No entanto Euler,

em 1736, mostrou a soluao para esta problemtica, usando para isto, um racioc
c
a
nio simples: transformou os caminhos das pontes em retas e suas interseoes em pontos, criando
c
possivelmente o primeiro grafo da histria. A partir de ento Euler percebeu que s seria
o
a
o
poss atravessar o caminho inteiro passando uma unica vez em cada ponte se houvesse no
vel

mximo dois pontos de onde sa um nmero

a
a
u
mpar de caminhos. A razo de tal idia estava
a
e
baseada no fato de que em cada ponto deveria haver um nmero par de caminhos, os quais
u
representariam a chegada e a sa
da. Os dois pontos com caminhos
mpares, seriam referentes
ao in e ao nal do percurso, pois estes no precisariam de um caminho para chegar e um
cio
a
caminho para sair, respectivamente. A resoluao do problema das pontes, por Euler, acabou
c
sendo visto pela comunidade cient
ca da poca sem maior importncia, simplesmente como
e
a
uma charada matemtica. Por isso esta descoberta cou adormecida cerca de 150 anos at
a
e
que em 1847, Gustav Robert Kirchho - cientista nascido na cidade de Knigsberg (1824 a
o
1887) - ao estudar circuitos eltricos utilizou modelos de grafos, criando a chamada teoria
e
das arvores.

Com isso, outros cientistas comearam a notar a provvel aplicabilidade desta teoria e dez
c
a
anos mais tarde Arthur Cayley - britnico nascido em Richmond (1821 a 1895) - utilizou a
a
idia de arvores para outras aplicaoes tais como a enumeraao dos ismeros dos hidrocare

c
c
o
bonetos alifticos saturados, em qu
a
mica orgnica. A teoria dos grafos contou ainda com o ima
portante aux do irlands William Rowan Hamilton (1805 a 1865) - que foi um matemtico,
lio
e
a
f
sico e astrnomo - que ao inventar um jogo simples que consistia na busca de um percurso
o
fechado envolvendo todos os vrtices de um dodecaedro regular, de tal modo que cada um
e
deles fosse visitado uma unica vez, deu origem ao estudo de grafos Hamiltonianos que tm

e
por deniao, segundo Rabuske (1992, p.45) encontrar um caminho fechado, passando uma
c
vez em cada vrtice. A partir de 1970, a teoria dos grafos teve um grande salto com o
e
c
desenvolvimento acelerado dos computadores, os quais, aps a 2 guerra mundial alcanaram
o
seu apogeu que segundo Guimares, com a criaao do primeiro software para microcomputaa
c
dor criado pelos estudantes William (Bill) Gates e Paul Allen, o qual era uma adaptaao do
c
BASIC (Beginners All-Purpose Symbolic Instruction Code, ou Cdigo de Instruoes Simblio
c
o
cas para todos os Propsitos dos Principiantes) para o ALTAIR (computador pessoal proo
jetado em 1975). Anos mais tarde, Gates e Allen fundaram a Microsoft, uma das mais bem
sucedidas companhias de softwares para microcomputadores.
Foi ento que surgiram publicaoes referentes a algoritmos de grafos, abrindo assim possibia
c
lidades para utilizaao aplicada da teoria dos grafos. No Brasil a teoria dos grafos chegou,
c
segundo Boaventura Netto (2006, p.3), no ano de 1968 com a apresentaao de trabalhos
c
sobre esta teoria no I Simpsio Brasileiro de Pesquisa Operacional. Desde ento, algumas
o
a
universidades como UFRJ, UFF, USP, UNESP e UNICAMP, comearam a realizar trabac
lhos de pesquisa sobre teoria dos grafos, sendo que hoje em dia essas mesmas universidades
possuem em seus quadros de docentes, pesquisadores em teoria dos grafos e aplicaoes. Sec
gundo Rabuske (1992, p.5) um grafo G = G (V,E) uma estrutura entre V e E, sendo V
e
um conjunto discreto nito e no vazio, e E uma relaao binria sobre V. Os elementos de
a
c
a
V so representados por pontos. O par ordenado (v,w) pertence E, (ou simplesmente vw),
a
onde v,w V, representado por uma linha ligando v a w. Os elementos do conjunto E so
e
a
denominados de arestas, linhas ou arcos do grafo, e em geral, so representados pelas letras
a
minsculas a, b, c, d, ou ei , ej . Os elementos do conjunto V so denominados de vrtices,
u
a
e
pontos ou ns do grafo, e em geral, so representados pelas letras minsculas u, v, w, ou v i ,
o
a
u
vj ou por nmeros 1, 2, 3, etc. Em um grafo como por exemplo o da Figura 1 abaixo, que
u
foi retirado do INPE, pode-se encontrar vrios conceitos de grafos.
a
Por exemplo a aresta a5 que une os vrtices 1 e 3 denominada aresta incidente, pois liga o
e
e
vrtice 1 ao vrtice 3. A aresta a3 chamada lao, pois relaciona o vrtice a ele prprio. J as
e
e
e
c
e
o
a
arestas a1 e a2 denominam-se paralelas, pois esto ligadas aos mesmos vrtices 1 e 2. Tem-se
a
e

Figura 1: Grafo
um vrtice isolado quando no existe aresta incidindo sobre ele, esse o caso do vrtice 5. As
e
a
e
e
aresta a4 e a5 so conhecidas como arestas adjacentes, pois incidem sobre o mesmo vrtice,
a
e
no caso, o vrtice 3. Tambm existem vrtices adjacentes, que so vrtices que esto ligados
e
e
e
a e
a
por uma mesma aresta, esse o caso dos vrtices 1 e 2 que so ligados pela aresta a 1 .
e
e
a
Os grafos so classicados segundo os conceitos presentes neles, por exemplo um grafo que
a
possui laos ou arestas paralelas denominado multigrafo. Quando um grafo no possui laos
c
e
a
c
ou arestas paralelas ele denominado de grafo simples. O grafo simples em que cada par
e
de vrtices adjacente chama-se grafo completo. J um grafo que pode ser dividido em dois
e
e
a
subconjuntos V1 e V2 , de forma que V 1 V 2 = e cada vrtice vi V 1 est unido a pelo
e
a
menos um vrtice vj V 2 denominado grafo bipartido. Quando um grafo tem seus vrtices
e
e
e
ou arestas associados a um rtulo que pode ser nmero, nome, letra ou outro este grafo e
o
u
chamado rotulado, em especial se as arestas ou vrtices receberam como rtulo um nmero
e
o
u
este grafo ser chamdo valorado. Os grafos podem ainda ter suas orientadas ou no, quando
a
a
suas arestas tiverem uma orientaao o grafo chamado de grafo dirigido ou d
c
e
grafo.
Um grafo pode ser representado de forma geomtrica (por exemplo a Figura 1) ou algbrica.
e
e
A forma algbrica de se representar um grafo atravs de matrizes, e desta forma que um
e
e
e
e
grafo pode ser identicado em um sistema computacional.
Por exemplo a matriz de adjacncia A = [aij ] uma matriz de ordem n que representa
e
e
algebricamente um grafo e denida por:
e
aij =

1, se e somente se existe (vi , vj ) E

0,
caso contrrio
a

Sendo ento que aij = 1, quando os vrtices vi e vj so adjacentes, e aij = 0 em caso contrrio.
a
e
a
a
Ainda temos matriz de custo representa grafos valorados, onde o valor numrico da aresta
e
pode representar distncia, capacidade, uxos, etc.J a matriz de incidncia de um grafo no
a
a
e
a
orientado G (V,E) com n vrtices e m arestas denotada por B = [b ij ].
e
e
Toda vez que um grafo G puder ser representado geometricamente em um plano, sem que
suas arestas se cruzem ele ser chamado grafo planar. Assim, um grafo G planar desde
a
e
que possa ser desenhado um grafo G isomorfo a G num plano, sem que haja cruzamento de
arestas. Grafos podem ter seus vrtices coloridos de modo que dois vrtices adjacentes no
e
e
a
apresentem cores iguais. O problema de coloraao surge quando se deseja colorir os vrtices
c
e
de um grafo obedecendo a condiao acima e utilizando para isso o menor nmero de cores
c
u
poss
vel, denominado nmero cromtico. Aps a pintura dos vrtices de um grafo, eles podem
u
a
o
e
ser agrupados em diferentes conjuntos, levando em consideraao para a formaao destes, as
c
c
cores que so comuns em cada vrtice, ou seja, cada conjunto formado por vrtices da mesma
a
e
e
e
cor. Esses conjuntos so chamados conjuntos independentes. Dene-se particionamento como
a
o ato de separar os vrtices de um grafo em conjuntos, onde os elementos de cada conjunto
e
tm uma caracter
e
stica comum, seja cor, numeraao ou outra. Para conseguir determinar
c
o nmero cromtico de um grafo foram desenvolvidos alguns algoritmos. Segundo Rabuske
u
a
(1992, p. 148 e p. 149) ser indicado um algoritmo para coloraao de grafos. Em consequncia
a
c
e

de tal coloraao consegue-se o nmero cromtico do grafo.

c
u
a
Algoritmo para colorir um grafo
Entrada: Matriz de Adjacncia do grafo
e
Sa
da: Tk = 1, 2, . . . , onde em Tk esto os vrtices coloridos com a cor k.
a
e
P1. Sejam v1 , v2 , . . . , vn os n vtices do grafo G(V,E);
e
Coloque os vrtices numa la de tal modo que gr(vi ) gr(vj ) para todo vi , vj V ;
e
P2. Faa i 1;
c
P3. Enquanto V = , faa:
c
1. Coloque o primeiro elemento da la em Ti , isto , se vj o primeiro elemento da la,
e
e
ento coloque vj em Ti ;
a
2. Retire vj da la;
3. Enquanto existir na la algum vrtice vk no adjacente a qualquer vrtice pertencente
e
a
e
a Ti , faa:
c
(a) Coloque vk em Ti ;
(b) Retire vk da la;
(c) Faa i i + 1;
c
P4. O nmero cromtico dado por i 1 e os vrtices de mesma cor esto em T i
u
a
e
e
a
O algoritmo embora consiga uma boa aproximaao para o nmero cromtico, no se pode ter
c
u
a
a
certeza de que essa aproximaao a melhor poss
c e
vel. Por isso conclui-se que este algoritmo
um procedimeto heur
e
stico.
Para grafos planares, o problema de coloraao est intimamente ligado ao problema da conc
a
jectura das 4-cores. Este problema originou o teorema das 4-cores o qual relata que todo e
qualquer grafo planar pode ser colorido com o nmero mximo de 4 cores. Muitas situaoes
u
a
c
cotidianas podem ser resolvidas atravs dos conceitos da teoria dos grafos, e destes muitos
e
podem ser solucionados utilizando o algoritmo apresentado anteriormente. Como exemplo
pode-se citar a elaboraao de horrios de exames escolares.
c
a
Aplicao : Elaboraao de horrios de exames escolares
ca
c
a
Uma determinada escola pretende realizar seus exames nais de forma que no haja choque
a
de horrios entre eles, devido ao fato de alguns alunos terem exames em mais de uma discia
plina. A escola tambm deseja utilizar a menor quantia de per
e
odos (cada per
odo corresponde
a 2 horas de prova) poss para a realizaao destes exames. Como a escola poderia organizar
vel
c
os horrios dos exames para que no haja choqueentre as disciplinas, utilizando o menor
a
a
nmero de per
u
odos poss
vel?
Soluao:
c
Para representar esta situaao, tem-se o grafo G1 (V,E) abaixo onde os vrtices so as
c
e
a
disciplinas que compem o quadro de exames e cada aresta entre dois vrtices indica que h
o
e
a
alunos que devem realizar os exames correspondentes aquelas disciplinas.
`
Para facilitar a representaao geomtrica, ser utilizada a seguinte legenda para as disciplinas
c
e
a
do exame:
v1 - Matemtica
a

v2 - Portugus
e
v3 - F
sica

v4 - Qu
mica

v5 - Histria
o

v6 - Geograa

v7 - Artes
v8 - Educaao F
c sica

Figura 2: Grafo G1 (V,E).

Usando o algoritmo para colorir grafos, tem-se:
P1. Sejam v1 , v2 , . . . , v8 os vrtices do grafo G1
e
Fila V = {v3 , v8 , v1 , v6 , v2 , v4 , v5 , v7 }, de acordo com o grau de cada vrtice.
e
P2. i = 1
P3.
v3 T1 T1 = {v3 , v2 } e V1 = {v8 , v1 , v6 , v4 , v5 , v7 }
T1 (Cor Amarela) = { F
sica (v3 ), Portugus (v2 )
e
v8 T2 {v8 , v1 } e V2 = {v6 , v4 , v5 , v7 }
T2 (Cor Azul) = {Educaao F
c sica (v8 ), Matemtica (v1 )}
a
v6 T3 T3 = {v6 , v4 , v5 } e V3 = {v7 }
T3 (Cor Verde) = {Geograa (v6 ), Qu
mica (v4 ), Histria (v5 )}
o
v7 T4 T4 = {v7 }
T4 (Cor Vermelha) = {Artes (v7 )}
P4. O nmero cromtico i = 4 e os vrtices de mesma cor esto em T i .
u
a
e
e
a
Cada conjunto Ti , i = 1, . . . , 4 receber uma cor e representar um per
a
a
odo de 2 horas para
a realizaao dos exames.
c
Logo se obtm as cores dos vrtices do grafo.
e
e

Figura 3: Grafo G1 (V,E) colorido.

Assim, pode-se estabelecer a seguinte resposta a situaao de elaboraao de exames:

`
c
c
Per
odo 1: 8h as 10h
`
Exames: Portugus e F
e
sica
Per
odo 2: 10h as 12h
`
Exames: Matemtica e Educaao F
a
c sica
Per
odo 3: 14h as 16h
`
Exames: Qu
mica, Histria e Geograa
o
Per
odo 4: 16h as 18h
`
Exames: Artes

CONCLUSOES; atravs deste trabalho, pde-se compreender a origem e o processo de

e
o
evoluao dos grafos, considerado uma teoria recente se comparado com outras teorias cient
c
cas.
Tambm possibilitou entender denioes e resultados como as diversas maneiras geomtricas
e
c
e
e algbricas de representar um grafo, e de modo geral, os problemas clssicos intitulados probe
a
lema de coloraao e problema das 4-cores, bem como diferenci-los. Nossa pesquisa foi muito
c
a
satisfatria, pois alm de proporcionar o estudo de um ramo da matemtica que dicilmente
o
e
a
abordado no curr
e
culo da graduaao, mostrou uma viso da matemtica no somente na
c
a
a
a
area terica, mas tambm na area prtica. Podemos agora, atravs dos conceitos e modelos

o
e

a
e
estudados, resolver muitas situaoes-problemas do cotidiano.
c

REFERENCIAS
BOAVENTURA NETTO, P. O. Grafos: teoria, modelos e algoritmos. So Paulo: Edgard
a
Blcher, 2003.
u
INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS (INPE). Dispon
vel em http:
//www2.dem.inpe.br/ijar/Grafos.htm. Acesso em: 29 ago. 2008.
MELLO, L.F. Teoria dos grafos: problemas e aplicaoes.
c
Dispon
vel em http:
//www.ici.unifei.edu.br/luisfernando/arq pdf/ palestras/teoria dos grafos.Acesso em: 28 ago.
2008.
RABUSKE, M.A. Introduao a teoria dos grafos. Florianpolis: UFSC, 1992.
c `
o