UNIVERSIDADE FEDERAL DO RECNCAVO DA BAHIA

CENTRO DE CINCIAS EXATAS E TECNOLGICAS

MESTRADO PROFISSIONAL EM MATEMTICA EM REDE NACIONAL

GRAFOS: UMA FERRAMENTA POSSVEL E

NECESSRIA NA EDUCAO BSICA

ALISON QUIROZ SILVA

CRUZ DAS ALMAS - Bahia

2015
GRAFOS: UMA FERRAMENTA POSSVEL E
NECESSRIA NA EDUCAO BSICA

ALISON QUIROZ SILVA

Dissertao apresentada ao Programa de Mes-

trado Profissional em Matemtica em Rede Na-
cional (PROFMAT), coordenado pela Sociedade
Brasileira de Matemtica, ofertado pelo Centro
de Cincias Exatas e Tecnolgicas da Univer-
sidade Federal do Recncavo da Bahia, como
parte dos requisitos para obteno do ttulo de
Mestre em Matemtica.

Orientador: Profo Dr. Juarez dos Santos Azevedo

CRUZ DAS ALMAS - Bahia

2015
 GRAFOS: UMA FERRAMENTA POSSVEL E
NECESSRIA NA EDUCAO BSICA

ALISON QUIROZ SILVA

Dissertao apresentada ao Programa de Mestrado Profissional em Matemtica em Rede

Nacional (PROFMAT), coordenado pela Sociedade Brasileira de Matemtica, ofertado pelo
Centro de Cincias Exatas e Tecnolgicas da Universidade Federal do Recncavo da Bahia,
como parte dos requisitos para obteno do ttulo de Mestre em Matemtica.

Banca Examinadora:

Cruz das Almas, 09 de Julho de 2015.

 Aos meus pais (in memorian)
minha famlia, e minha esposa Rosilandia.
Agradecimentos

A Deus, por me permitir viver e me dar foras para isto.

Ao meu orientador, Profo Dr. Juarez dos Santos Azevedo, que me ajudou bastante nesta
trajetria sendo de vital importncia para a concluso desta dissertao.

Aos professores da instituio, que contriburam significativamente na minha formao. A

vocs meu muito obrigado. Em especial, Juarez, Gilberto, Erikson, pelos bons momentos vivi-
dos.

Aos colegas e amigos da turma 2013, pelas resenhas, apoio nos momentos de dificuldades
e pelos bons momentos que tivemos juntos. Em especial a Patrcia, Tnia e Marcos Sanches.

Aos amigos, pela compreenso que tiveram devido as minhas ausncias desse perodo. Em
particular, meus agradecimentos aos irmos, Gabriel Velame, Roque Lyrio e a famlia goiaba.
A vocs devo muito.

A minha famlia, pelo apoio, compreenso, pacincia. Peo tambm perdo pelas muitas
ausncias. E a minha esposa Rosilandia, pelo carinho, apoio e companheirismo, sendo funda-
mental em minha vida.

Principalmente a meu pai (in memorian), pelo exemplo de pessoa, por tudo o que me ensi-
nou, pela confiana em mim depositada. Perdo pelas minhas faltas. Amo demais o Senhor e
obrigado por tudo.
Alison Quiroz Silva
Resumo

O presente trabalho busca ratificar a relevncia da Teoria dos Grafos para a Educao B-
sica, sobretudo para o aprimoramento da Matemtica, tornando-se uma importante ferramenta
no desenvolvimento do raciocnio lgico dos discentes, alm de no fomentar o uso exces-
sivo de frmulas na resoluo de problemas de Anlise Combinatria e Probabilidade. Neste
sentido, sero destacados alguns problemas clssicos que ajudaram no surgimento da teoria,
apresentando-se conceitos e definies para melhor compreenso da teoria, as quais respon-
dem aplicaes prticas e interdisciplinares.
Palavras-chave: Anlise Combinatria, Educao Bsica, Grafos, Probabilidade.
Abstract

The present study aims to ratify the relevance of the theory of graphs for basic education, es-
pecially for the improvement of mathematics, becoming an important tool in the development
of logical reasoning of students, and not promote excessive use of formulas solving problems
associated with Combinatorial Analysis and Probability. In this sense, will be highlighted some
classic problems that helped in the origin theory, presenting concepts and definitions for better
understanding of the theory, which respond to practices and interdisciplinary applications.
Keywords: Combinatorial Analysis, Basic Education, Graphs, Probability.
Sumrio

Introduo 11

1 Noes Gerais 13
1.1 Relato Histrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2 Conceitos Bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3 Circuitos em Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.4 Isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

2 rvore e Arborescncia; Planaridade e Colorao de Mapas 32

2.1 rvore e Arborescncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.2 Planaridade e Colorao de Mapas . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

3 Por que Grafos na Educao Bsica? 45

3.1 Contribuies na Anlise Combinatria e Probabilidade . . . . . . . . . . . . . . . 45
3.2 Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

4 Concluso 58

Referncias Bibliogrficas 60
Lista de Figuras

1.1 Mapa da cidade de Konigsberg. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

1.2 Representao das ilhas (C e D), pontes e margens (A e B) do rio. . . . . . . . . . 14
1.3 Representao do modelo matemtico elaborado por Euler. . . . . . . . . . . . . . 15
1.4 Grafos: (a) Rotulado e (b) no-Rotulado. . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5 Grafo que ilustra as pontes de Konigsberg. . . . . . . . . . . . . . . . . . . . . . . 19
1.6 Grafos: (a) Orientado e (b) no-Orientado. . . . . . . . . . . . . . . . . . . . . . . . 21
1.7 Grafo Completo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8 Pseudografo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.9 Exemplos de Grafo (a) e Subgrafos (b) e (c). . . . . . . . . . . . . . . . . . . . . . . 23
1.10 Grafos: (a) Conexo e (b) Desconexo. . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.11 Grafo Ponderado. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.12 Grafo Bipartido. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.13 Caminhos e ciclos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.14 Grafo Euleriano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.15 Grafo Semi-Euleriano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.16 Grafo Hamiltoniano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.17 Grafos Isomorfos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

2.1 Tabela de um campeonato, do tipo mata mata. . . . . . . . . . . . . . . . . . . . . 33

2.2 Grafo da Fig. 2.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3 Ilustrao de Arborescncias. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.4 Possibilidades para o estudante. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.5 Grafo Planar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.6 Mapas ilustrativos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.7 Grafo Dual (a) do Mapa 1 e (b) do Mapa 2. . . . . . . . . . . . . . . . . . . . . . . 40
2.8 Mapa das terras do califa. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

9
2.9 Colorao das terras. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.10 Grafos (a) e (b) da aplicao 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

3.1 Acampamento. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2 Grafos dos amigos no acampamento. . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.3 Desenho bem desenhado. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.4 Item b) da prova OBMEP-2013. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.5 Grafo da Aplicao 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.6 Grupo de 15 pessoas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.7 Sequncia invertida. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.8 Sequncias ou caminhos encontrados. . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.9 Grafo das Disciplinas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Introduo

Ao explanar um determinado assunto, o professor espera que seus alunos obtenham um

bom desempenho em determinado contedo. tambm de se esperar que o profissional use
novos recursos para alcanar o que almeja, culminando com o sucesso em sua aprendizagem.
Desta forma, a motivao para elaborao deste trabalho veio da procura de uma maneira,
uma tcnica ou de uma ferramenta que trouxesse melhorias para o ensino de Matemtica,
sobretudo, no ensino de Anlise Combinatria e Probabilidade. Seria a Teoria dos Grafos uma
sugesto para isto?
Ao longo dos ltimos anos percebe-se, atravs de relatos de alunos e professores, nas es-
colas pblicas e privadas, que Anlise Combinatria e Probabilidade so tidos como um dos
assuntos complicados, ou mesmo, os mais difceis. Segundo (BACHX, 1975; MORGADO, 2006)
a Anlise Combinatria tem sido frequentemente indicada por professores do Ensino Mdio
como sendo a parte desafiadora da Matemtica de ensinar. Alm disso, nota-se tambm, nas
solues dos problemas propostos, um uso excessivo de frmulas. De acordo com BACHX
(1975), tal situao pode estar relacionada a um ensino calcado tradicionalmente em defini-
es e frmulas, habituando os estudantes a um trabalho mecnico que muitas vezes exclui a
compreenso do que esto fazendo ou do que deveriam fazer.
A Teoria dos Grafos , hoje, um campo de interesse crescente pois apropria-se de extra-
ordinrio desenvolvimento terico e aplicado que vem desde os problemas de localizao e
de traados de rotas para diversos tipos de servio a aplicaes na Fsica, Qumica, Gentica,
Pesquisa Operacional, Computao, Engenharia Molecular, Bioinformtica, Psicologia, Soci-
ologia, Estatstica, Relaes Sociais e Empresariais, no Projeto de Cdigos, Planejamento de
Transportes, na Otimizao de Recursos Humanos, no estudo de estrutura de DNA, dentre
outros (JURKIEWICZ, 2009b; NETTO, 1979).
Sabe-se que um determinado assunto pode vir a se tornar, interessante ou atrativo se pos-
suir diversas alternativas na resoluo de questes. Desta forma, a Teoria dos Grafos que traz

11
inmeras aplicaes prticas em diversas reas do conhecimento, alm de ajudar a criar o am-
biente ideal para a resoluo de situaes problema (atravs da coleta, organizao, sistema-
tizao e anlise dos dados), vem a ser um importante instrumento no desenvolvimento do
raciocnio lgico, na resoluo de problemas reais e fictcios, no estudo de Anlise Combina-
tria e Probabilidade, trazendo um maior nvel de significncia no estudo e conhecimento de
tais assuntos, dentre outros.
Assim, esta dissertao tem por objetivo mostrar que a incluso da Teoria dos Grafos no
s possvel como tambm necessria na Educao Bsica, alm de mostrar que podemos
utilizar os grafos como uma ferramenta a auxiliar os problemas de Anlise Combinatria e
Probabilidade, visando trazer contribuies significativas para o processo de ensino aprendi-
zagem, no Ensino Mdio e auxiliar o entendimento de contedos administrados em disciplinas
como Biologia, Geografia, Literatura, Qumica, Fsica e principalmente, Matemtica.
O trabalho dividido como segue: o Captulo 1 consta de duas sees, na primeira, feita
uma abordagem histrica da Teoria dos Grafos at os dias atuais, j a segunda, traz algumas
das principais definies, teoremas, corolrios e lemas, para uma melhor compreenso do as-
sunto; o Captulo 2, enfatiza a Teoria das rvores, Planaridade e Colorao de Mapas, com o
intuito de relacion-las, respectivamente, Probabilidade e Anlise Combinatria; o Captulo
3, traz a discusso do por que Grafos na Educao Bsica, seguida de uma seo referente as
possibilidades de aplicao de tal teoria em problemas, sendo que para esta ltima sero usa-
dos alguns dos principais resultados apresentados nos captulos anteriores. Concluiremos este
trabalho buscando firmar claramente quais os objetivos, justificativas e perspectivas em torno
desta temtica.

12
Captulo 1

Noes Gerais

captulo so expostos um breve histrico acerca da origem da Teoria dos Grafos at

N
ESTE
os dias atuais, alm de conceitos e definies relevantes no estudo de tal princpio. As
principais referncias aqui utilizadas foram (JURKIEWICZ, 2009a, 2009b; LUCCHESI, 1979;
MORGADO, 2006; NETTO, 1979, 1996).

1.1 Relato Histrico

Pode-se considerar que a Teoria dos Grafos um ramo recente na histria da Matemtica,
surgindo de forma tmida, por volta de 1735, como uma charada Matemtica para alguns, a
saber, a tentativa de se encontrar um percurso para um passeio que partisse de uma das quatro
pores de terra atravessando uma nica vez cada uma das sete pontes e retornasse margem
de partida (JURKIEWICZ, 2009b; NETTO, 1979).
No sculo XVIII, o Rio Pregel atravessava a cidade de Konigsberg - territrio da Prssia at
1945, atual Kaliningrado - e, num determinado ponto se ramificava formando duas ilhas que,
juntas, formavam um complexo contendo sete pontes, interligando as ilhas e as mesmas s
margens opostas do rio (vide Figs. 1.1-1.2).1 Conta-se que os habitantes da cidade pretendiam
estabelecer um percurso em que, obrigatoriamente, deveriam passar por todas as pontes, no
passando mais que uma vez por cada ponte e retornar ao ponto de partida. Tal problema, co-
nhecido como o Problema das Pontes de Konigsberg - marco fundador da Teoria dos Grafos (JUR-
KIEWICZ, 2009a) - ao que se sabe, foi o primeiro problema que resultou nesta teoria (NETTO,
1 Pelo
fato do mapa da cidade de Konigsberg descrito na Fig. 1.1 ser muito antigo, a Fig. 1.2 ilustra de maneira
mais simples a representao das ilhas, margens e pontes desta cidade, a fim de uma melhor percepo.

13
1996).

Figura 1.1: Mapa da cidade de Konigsberg.

Figura 1.2: Representao das ilhas (C e D), pontes e margens (A e B) do rio.

Em meio a muitas tentativas sem sucesso da resoluo deste problema, comeou a se acre-
ditar que tal percurso era impossvel, at que em 1736, o famoso fsico e matemtico Leonhard
Euler, provou que tal percurso era de fato impossvel e sua soluo envolveu conceitos de Te-
oria dos Grafos (NETTO, 1979). Ele usou um argumento extremamente simples e eficiente, a
saber, representou as margens e ilhas por pontos A, B, C, D, e, as pontes por linhas ou arcos,
que tem os pontos como extremidades (vide Fig. 1.3), tal representao pode ter sido o pri-
meiro grafo da histria. Alm disso, observou que o nmero de passagens de uma margem
para uma ilha, ou entre duas ilhas, era sempre mpar, sendo assim, pode-se passar de uma por-
o de terra para outra, mas em algum momento no se conseguir retornar. Portanto, chegou
a concluso de que para existir tal percurso, cada massa de terra deveria se ligar outra por
um nmero par de pontes (JURKIEWICZ, 2009b). Tal demonstrao ser exibida na Seo 1.2.

14
 Figura 1.3: Representao do modelo matemtico elaborado por Euler.

A Fig. 1.3 uma representao grfica do que, hoje em dia, chama-se um modelo de grafo.
Encontrar a soluo do problema das pontes no passou de um desafio para Euler, porm o
estudo no foi mais a fundo, ou seja, no se procurou desenvolv-lo ou muito menos achar
onde pudesse aplic-lo. Dessa forma, tambm no despertou interesse para outros, ficando
por mais de um sculo perdido em meio a tantas outras obras de sua autoria (pouco mais de
setenta obras) (JURKIEWICZ, 2009b; NETTO, 1996).
Vale destacar que o termo grafo foi utilizado pela primeira vez por Sylvester em 1878, na
publicao de um artigo de sua autoria, Chemistry and Algebra, na revista Nature, uma das
revistas cientificas mais antigas do mundo. No ano 1847, Gustav Robert Kirchhoff iniciou o
estudo das rvores - um tipo de grafo - quando estudava problemas de circuitos eltricos,
criando a Teoria das rvores. Em 1857, Arthur Cayley relacionou essa teoria com o estudo
dos ismeros dos hidrocarbonetos alifticos, em qumica orgnica. Nesse perodo, Guthrie,
resolveu dar ateno ao problema relacionado com a prtica da cartografia, de um ponto de
vista matemtico. Era de conhecimento dos cartgrafos que para colorir as regies de um
mapa, no eram necessrios mais do que quatro cores diferentes, mas apenas em 1976 que se
conseguiu um resultado significativo (JURKIEWICZ, 2009b; NETTO, 1979, 1996).
Em 1859, William Rowan Hamilton estudava problemas de caminhos, criando um jogo que
consistia na busca de um percurso fechado envolvendo todos os vrtices de um dodecaedro
regular, de modo que cada vrtice fosse visitado apenas uma vez, dando origem mais tarde
aos Grafos Hamiltonianos, e Jordan em 1869 procurou formalizar a Teoria das rvores. Claude
Jacques Roger Berge em 1958, tentou realizar a integrao das diferentes tendncias sobre o

15
tema, tendo um certo xito.
Em 1962, o matemtico chins Kwan Mei-Ko, interessado nos estudos de Euler, props-se
a resolver um problema - semelhante ao problema das pontes - referente aos carteiros da sua
cidade. Seu objetivo era definir um caminho de forma a visitar todas as casas que deveria,
tomando o menor percurso para cumprir as entregas, alm de passar por cada rua apenas
uma vez. Tal problema ficou conhecido como O Problema do Carteiro Chins (PCC). Portanto,
esse problema consiste em encontrar o caminho mais curto, ou circuito fechado, que visite cada
aresta de um grafo conexo e no-orientado apenas uma vez. Quando o grafo Euleriano (existe
um caminho que visite todas as arestas apenas uma vez), este circuito uma soluo tima do
problema, caso contrrio, deve-se Eulerizar o grafo. A importncia do PCC, est no fato de ser
aplicado a problemas atuais como coleta de lixo, entregas de correio, vendas em domiclio, etc.
Vale ressaltar que o primeiro livro especfico sobre grafos foi publicado por Konig em 1936,
porm, hoje existem centenas. Existem outros eventos importantes que no foram relatados
neste texto que podem ser encontrados em (NETTO, 1979, 1996).
O desenvolvimento da Teoria dos Grafos se deu na segunda metade do sculo XX, devido
inveno do computador (sem o qual a maioria das aplicaes de grafos seriam impossveis) e
pelo interesse de muitos matemticos trazido pelo estudo de problemas como os citados acima,
possibilitando o desenvolvimento do corpo terico, permitindo atualmente aplicaes em v-
rios campos do conhecimento. Na prxima seo destacamos alguns conceitos fundamentais
a serem abordados neste trabalho.

1.2 Conceitos Bsicos

Muitas situaes do cotidiano, ou fictcias, podem ser convenientemente descritas e resol-
vidas atravs de diagramas que so constitudos de um conjunto de pontos ou pequenos crcu-
los, juntamente com linhas ou arcos que ligam alguns pares desses pontos, ou um ponto a ele
mesmo (LUCCHESI, 1979). Em tal situao, o que determinar quais pontos sero interligados,
so as relaes existentes entre eles. Notem os trs exemplos a seguir.

Exemplo 1.1. "Em uma festa com cem convidados, h um nmero par de pessoas que conhecem, na
festa, uma quantidade mpar de outras pessoas". Isso possvel?

Exemplo 1.2. "Um pas tem 10 cidades e 37 estradas (todas de mo dupla), sendo que cada estrada liga
duas cidades distintas e cada duas cidades so ligadas por, no mximo, uma estrada. Nessas condies,

16
possvel, usando as estradas, viajar entre duas cidades quaisquer do pas (passando, possivelmente, por
cidades intermedirias)"?

Exemplo 1.3. "Uma pizzaria contrata um motoboy para fazer as entregas. Mas, para ser efetivado
passar por um teste, se no seu primeiro dia de trabalho conseguir entregar todas as pizzas ainda quentes
ento, ser efetivado. No seu teste, ter que entregar cinco pizzas. Pode ele fazer as entregas de qualquer
forma, ou seja, ele deve escolher seguir por qualquer rua para efetuar as entregas?"

Apesar da aparente falta de correlao nas situaes descritas acima, tem-se certos conjun-
tos de objetos e suas relaes, conforme cada caso, o que suficiente para analis-las em um
contexto abstrato de Teoria dos Grafos (NETO, 2012). Este ramo da Matemtica auxilia no estudo
das relaes entre os objetos com um determinado conjunto. De maneira geral este conjunto
definido por meio de pontos, onde alguns desses ou todos, podem ser ligados entre si por
segmentos cujas extremidades devem conter tais pontos. Determinadas situaes problema,
da vida real ou no, podem ser representadas e resolvidas por meio dos grafos, como descritas
nos Exemplos 1.1, 1.2 e 1.3. Para tanto, deve-se montar o diagrama de acordo com as especi-
ficaes do problema e fazer as anlises necessrias para encontrar a soluo, caso exista. A
seguir, iremos apresentar algumas definies, lemas, teoremas e corolrios, que so relevantes
para o entendimento do assunto e quando na resoluo de problemas apresentados neste texto.

Definio 1.1. Um grafo G representado por G = (V, E), consiste de um conjunto finito V = V ( G ) de
elementos denominados vrtices de G (representados nas estruturas por pontos), um conjunto finito de
elementos E = E( G )2 chamados arestas (nas estruturas so representadas por segmentos de reta, arcos
ou setas) que conectam quaisquer vrtices, e uma funo de incidncia f que associa a cada aresta {u,v}
de G um par no ordenado de vrtices u e v (no necessariamente distintos) de G, chamados de extremos
de {u,v}.

De acordo com a Definio 1.1, pode-se ter grafos tendo seus vrtices sendo indicados por
nmeros, letras ou letras com ndices, a esses tipos chamam-se Grafos Rotulados, quando no
houver tal identificao chamam-se Grafos no-Rotulados. A Fig. 1.4 descreve um exemplo
destes tipos de grafos.
2O uso da letra E para denotar a famlia das arestas de G deriva da palavra inglesa para aresta, edge.

17
 (a) (b)

Figura 1.4: Grafos: (a) Rotulado e (b) no-Rotulado.

Seja G = (V, E) um grafo e u e v dois de seus vrtices, diz-se que u e v so adjacentes

(ou vizinhos) se {u,v} E, ou seja, se existir pelo menos uma aresta que os conectem. Assim,
pode-se dizer que a aresta {u,v} incide nos vrtices u e v. Uma outra notao para representar
a aresta uv. Quando u e v no forem adjacentes diz-se que tais vrtices so no-adjacentes
de G. O nmero de vrtices de um grafo tambm chamado de ordem do grafo denotado por
|V |, j o nmero de arestas incidentes em um certo vrtice v, chamados tambm de grau de v
denotado por d(v), tambm pode ser denotado por dG (v) 3 . O nmero de arestas denotado
por | E|, chamado tamanho do grafo.

Teorema 1.1. Em um grafo G = (V, E), a soma dos graus dos vrtices sempre igual ao dobro do
nmero de arestas. Em smbolos:

2| E | = d G ( u ). (1.1)
u V

Demonstrao. Para provar este resultado, utilizaremos contagem dupla. Basta observar
que se {u, v} uma aresta de G, ento ela contada duas vezes no segundo membro de (1.8),
isto , uma vez na parcela dG (u) e outra na parcela dG (v). Portanto o segundo membro tem de
ser igual a 2| E|, j que tal nmero tambm conta cada aresta exatamente duas vezes.
A ttulo de exemplo, temos a Fig. 1.5. Desta figura pode-se concluir que: V = { A, B, C, D }
e E = {{ A, B}, { A, D }, { B, D }, { B, C }, {C, D }}. Alm disso, os vrtices A e B, A e D, B e D, C
e D, so adjacentes, enquanto que A e C so no adjacentes. E mais |V | = 4; | E| = 7 e d( A) = 3;
d( B) = 5; d(C ) = 3 e d( D ) = 3.
3O uso da letra d para denotar o grau do vrtice v deriva da palavra inglesa para grau, degree.

18
 Figura 1.5: Grafo que ilustra as pontes de Konigsberg.

Note que a soma dos graus dos vrtices

d( A) + d( B) + d(C ) + d( D ) = 3 + 5 + 3 + 3 = 14, (1.2)

que exatamente o dobro do nmero de arestas, como determina o Teorema 1.1.

Corolrio 1.1. Em um grafo qualquer, o nmero de vrtices de grau mpar par.

Demonstrao. Para k 0 inteiro, vk ( G ) o nmero de vrtices de G com grau k. Como

a soma no segundo membro de (1.8) tem exatamente vk ( G ) parcelas iguais a k, tem-se (nova-
mente por contagem dupla) a igualdade

dG (u) = kvk (G). (1.3)

u V k 0

Segue, pois, do Teorema 1.1 que

2| E | = kvk (G) = v2j+1 (G) + 2j(v2j (G) + v2j+1 (G)). (1.4)

k 0 j 0 j 1

Logo,
v2j+1 (G) = 2|E| 2j(v2j (G) + v2j+1 (G)) (1.5)
j 0 j 1

um nmero par.
Segue, ento, uma situao problema em que a utilizao do Corolrio 1.1 torna-se neces-
sria.

19
Exemplo 1.4. Antes da reunio de um comit, alguns de seus dez membros trocaram apertos de mo.
possvel que os nmeros de apertos de mo tenham sido em alguma ordem, iguais a 1, 1, 1, 3, 3, 3, 4, 6,
7, 8?

Podemos considerar os membros deste comit como sendo os vrtices de um grafo, sendo
que dois vrtices so adjacentes se as pessoas correspondentes tiverem trocado um aperto de
mo. Assim, os graus dos vrtices sendo, em alguma ordem, iguais a 1, 1, 1, 3, 3, 3, 4, 6, 7,
8, contradiz o Corolrio 1.1 pois h sete vrtices com grau mpar. Logo, a situao descrita
no pode ter ocorrido. Este grafo pode ser representado por dez vrtices, sem arestas que os
conectem, j que tal situao no pode ter ocorrido.
Em determinados grafos faz-se necessrio dar uma orientao s arestas, em apenas um
sentido, com o objetivo de preservar a hierarquia existente entre os vrtices e determinar se
no existe uma reciprocidade num relacionamento. Tais grafos tm utilidade frequente em
vrios sistemas dinmicos tais como computadores ou sistemas de fluxo (LIPSCHUTZ, 2004).
J quando no existir tal orientao, podemos interpretar que no existe hierarquia entre os
vrtices, ou seja, existe reciprocidade entre eles.

Definio 1.2. Grafo Direcionado, Orientado ou Dgrafo todo grafo em que existe uma orientao
quanto ao sentido das arestas (indicada por uma seta). Nesse sentido, se uma aresta conecta u e v, pode-se
ir de u para v, mas no o contrrio.

Definio 1.3. Grafo no-Direcionado ou no-Orientado todo grafo em que no exista nenhuma
orientao quanto ao sentido das arestas. Nesse caso pode-se ir de u para v ou de v para u.

A ttulo de exemplo, observe na Fig. 1.6(a) que os vrtices so um grupo de quatro pessoas,
j as arestas, representam uma relao de amizade. Porm, sabemos que uma relao desse
tipo pode no haver reciprocidade, ento, podemos fazer a seguinte interpretao da figura
mencionada: 1 considera 2 e 4 como amigos(as); 2 considera 4 como amigo(a); 3 considera 1 e
2 como amigos(as) e 4 considera apenas 3 como amigo(a).

20
 (a) (b)

Figura 1.6: Grafos: (a) Orientado e (b) no-Orientado.

Definio 1.4. Grafo Simples um grafo no direcionado, sem laos 4 e que tem no mximo uma
aresta entre quaisquer dois vrtices.

Para exemplificar, nos referimos ao grafo no-orientado da Fig. 1.6 o qual define um grafo
simples.

Definio 1.5. Grafo Completo um grafo simples em que, para cada vrtice do grafo, existe uma
aresta conectando a este vrtice a cada um dos demais, ou seja, todos os vrtices do grafo possuem mesmo
n ( n 1)
grau. Se este tipo de grafo tem n vrtices, ento ter arestas e denotado, frequentemente por
2
Kn (vide Fig. 1.7).

A demonstrao de que o nmero de arestas num Grafo Completo que tenha n vrtices
n ( n 1)
dado por est descrita a seguir.
2
Demonstrao.
Seja G = (V, E) um grafo completo com n vrtices e Xi V (um vrtice qualquer de G). O
grau de xi n 1, por conseguinte em xi incidem n 1 arestas. Considerando-se agora todos
os vrtices do grafo, temos que o somatrio dos graus n(n 1). Como cada aresta incide em
dois vrtices, tem-se que cada aresta foi contada em dobro no somatrio, logo o nmero das
n ( n 1)
arestas de G .
2
4 Laos so arestas que conectam um vrtice a ele mesmo.

21
 Figura 1.7: Grafo Completo.

Dado um grafo qualquer com V = , este se diz Grafo Nulo, e, quando E = , este se diz
Grafo Vazio.

Definio 1.6. Grafo Trivial o grafo que possui apenas um vrtice e nenhuma aresta.

Definio 1.7. Grafo Regular um grafo em que todos os vrtices tm o mesmo grau.

Todo Grafo Completo Regular, mas a recproca nem sempre verdadeira. Na Fig. 1.7, se
no existissem as arestas ac e bd, por exemplo, tal grafo passaria a ser regular pois, todos os
vrtices teriam grau 2, mas no seria completo.

Definio 1.8. Multigrafo um grafo que permite mltiplas arestas (ou arestas paralelas) conectando
os mesmos vrtices.

O grafo que contm arestas mltiplas (ou paralelas) e laos, definido como Pseudografo
(vide Fig.1.8). Neste grafo, os vrtices A, B, C e D, tem arestas paralelas, alm disso, os vrtices
A e D contm laos. Portanto, d( A) = 3; d( B) = 6; d(C ) = 2 e d( D ) = 3.

22
 Figura 1.8: Pseudografo.

Definio 1.9. Um grafo H = (V 0 , E0 ) ser dito Subgrafo de um grafo G = (V, E) se V 0 V e

E0 E.

A Fig. 1.9 mostra um exemplo de um grafo e dois subgrafos.

(a) (b) (c)

Figura 1.9: Exemplos de Grafo (a) e Subgrafos (b) e (c).

1.3 Circuitos em Grafos

Em determinadas situaes, faz-se necessrio estabelecer num grafo, um trajeto atravs dos
vrtices e arestas, com algumas especificidades. Essas recebem nomes especficos.
Um passeio ou percurso uma sequncia finita de vrtices e arestas v0 v1 ; v1 v2 ; v2 v3 ; ...; vs1 vs
comeando e terminando com vrtices, s o comprimento do passeio. Se todas as arestas do
passeio so distintas, o passeio chamado trilha; se v0 = vs , o passeio uma trilha fechada. Se,

23
alm das arestas, todos os vrtices so distintos, ento, tm-se um caminho e se v0 = vs , tem-se
um ciclo.

Definio 1.10. Uma sequncia de vrtices, em que sempre existe uma aresta conectando o vrtice
anterior com o seguinte tal que todos os seus vrtices e arestas so distintos chamada de caminho. O
nmero de arestas que o caminho usa chamado de comprimento do caminho.

Definio 1.11. Grafo Conexo o grafo em que se consegue estabelecer um caminho entre qualquer
par de vrtices. Ento, chama-se Grafo Desconexo, quando no se consegue exibir tal caminho.

(a) (b)

Figura 1.10: Grafos: (a) Conexo e (b) Desconexo.

Note da Fig. 1.10(a) que possvel estabelecer um caminho de qualquer vrtice escolhido
para qualquer outro vrtice enquanto na Fig. 1.10(b) no se pode estabelecer um caminho de
a1 para e1 , por exemplo.

Definio 1.12. Ciclo ou Circuito um caminho que comea e acaba no mesmo vrtice.

Observao 1.1. Ciclos de comprimento 1 so laos.

Definio 1.13. Ciclos Simples so ciclos que tm comprimento no mnimo de 3 unidades e no qual o
vrtice inicial s aparece mais uma vez, como o vrtice final, e os outros vrtices s aparecem uma vez.

A ttulo de exemplo, observem o grafo da Fig. 1.9(a). Deste grafo, podemos concluir que o
caminho a b c d a trata-se de um Ciclo Simples de comprimento 4.

Definio 1.14. Grafo Acclico o grafo que no contm ciclos simples.

24
 Em determinados grafos, pode-se ter valores numricos associados ou caracterizando as
arestas. Esses valores, tambm chamados de pesos, representam uma condio existente entre
os vrtices adjacentes que podem representar distncia, tempo, etc. A esses tipos de grafos
d-se o nome de Grafos Ponderados. Na Fig. 1.11 trazemos um exemplo de Grafo Ponderado
onde seus pesos representam o tempo (em minutos) que normalmente gasto para ir de um
bairro a outro usando transporte pblico numa determinada cidade. Percebe-se que pos-
svel estabelecer um caminho entre quaisquer bairros (vrtices), ento, tal grafo alm de ser
ponderando, tambm, um Grafo Conexo. Agora observando a Fig. 1.12, percebe-se que no
existe possibilidade de se estabelecer um caminho de Maria (vrtice) a Luiz (vrtice), portanto,
trata-se de um Grafo Desconexo.

Figura 1.11: Grafo Ponderado.

Definio 1.15. Grafo Bipartido um grafo cujos vrtices podem ser divididos em dois conjuntos, e
as arestas conectam apenas vrtices pertencentes a conjuntos diferentes.

Num grupo de cinco pessoas (Maria, Joana, Carla, Pedro e Luiz), Pedro conhece Maria e
Carla, e Luiz conhece Joana (vide Fig. 1.12).
Do grafo ilustrado pela Fig. 1.12 pode-se considerar que h dois conjuntos, M e H, repre-
sentando o conjunto das mulheres e o dos homens, respectivamente. Logo, pela Definio 1.15,
trata-se de um Grafo Bipartido.

25
 Figura 1.12: Grafo Bipartido.

Vale ressaltar que nos Grafos Bipartidos no h ciclo de comprimento mpar. Como estabe-
lece o teorema abaixo.

Teorema 1.2. Um grafo G bipartido se, e somente se, no contm ciclos de comprimento mpar.

Prova
() Seja G bipartido. Se no houver um ciclo em G, no h o que mostrar. Se h um ciclo em
G, este alterna vrtices de V1 e V2 , dois subconjuntos disjuntos. Partindo de V1 , por exemplo,
para retornar ao ponto de partida, teremos que utilizar um nmero par de arestas. O ciclo ,
portanto, de comprimento par.
() Considerando apenas grafos conexos, seja G um grafo sem ciclos mpares, particio-
nando em dois subconjuntos V1 e V2 , independentes e disjuntos. Tomando-se primeiramente
um vrtice qualquer v, o subconjunto V1 ser formado por todos os vrtices w tais que exista
um caminho de comprimento par entre v e w. Os conjuntos V1 e V2 so disjuntos, pois se w
estivesse em V1 e V2 ao mesmo tempo, haveria um caminho de comprimento par e um com-
primento de tamanho mpar ligando v e w. Esses caminhos podem se cruzar (ou no) antes
de chegar em w, produzindo alguns ciclos (vide Fig. 1.13). Como o nmero usado de arestas
nos caminhos mpar (a soma do nmero de arestas dos dois caminhos) isso produziria pelo
menos um ciclo mpar em G, contrariando a hiptese.

26
 Figura 1.13: Caminhos e ciclos.

Definio 1.16. Grafo Euleriano o grafo que possui uma trilha fechada, ou seja, visita cada aresta
apenas uma vez e o vrtice inicial tambm o vrtice final.

Como consequncia da visita a cada aresta, todos os vrtices tambm sero visitados, no
entanto podem ser visitados quantas vezes se precisar. O grafo ilustrado na Fig.1.14 um
exemplo de Grafo Euleriano, pois pode-se fazer o percurso: a b e c d
b a c a.
Retomando o problema das Pontes de Koningsberg, para entender como Euler chegou a
sua concluso, faz-se necessrio entender o lema e o teorema a seguir:

Figura 1.14: Grafo Euleriano.

Lema 1.1. Se todo vrtice de um grafo conexo G (no necessariamente simples) tem grau maior ou igual
a 2, ento, G contm um ciclo.

Demonstrao. Se G tem laos ou arestas mltiplas, no h o que provar, pois G j contm

um ciclo. Considerando um Grafo Simples, partindo de um vrtice inicial qualquer, inicia-se
uma trilha. Quando chegamos a outro vrtice, estamos visitando-o pela primeira vez; continu-
ando o percurso, ao chegar a um vrtice j visitado, produzimos um ciclo. Como o nmero de
vrtices finito, o resultado est provado.

27
Teorema 1.3. (Euler) Um Grafo Conexo (no necessariamente simples) G euleriano se, e somente se,
todos seus vrtices tm grau par.

Demonstrao. () Supondo que G tenha uma trilha fechada m. Cada vez que a trilha
passa por um vrtice, utiliza duas novas arestas, um para entrar outro para sair. Logo, o grau
de cada vrtice obrigatoriamente par.
() Seja G com todos os vrtices de grau par. Usaremos induo sobre o nmero de arestas
m do grafo. Para m = 0 verdadeiro. Supondo que seja vlido para todos os grafos com
menos do que m arestas, sendo G conexo, todos os vrtices tm grau maior do que 2, pois os
graus so pares. Pelo Lema 1.1, G contm um ciclo. Dentre todas as trilhas fechadas de G
escolheremos uma trilha T com o comprimento mximo. Se T tem comprimento m, o teorema
est provado. Caso contrrio, consideremos o grafo H resultante da retirada das arestas de T.
Como retiramos um nmero par de arestas de cada vrtice de T, e todos os vrtices tm grau
par (pela hiptese), pelo menos uma das componentes de H tem um vrtice em comum com T
e tem todos os vrtices de grau par. Pela hiptese de induo, H tem uma trilha que passa por
todos os vrtices de H, e podemos formar uma trilha fechada maior, conectando T com a trilha
H. Mas isto contraria a maximalidade na escolha de T.
Fica ento provado que para se obter o percurso pretendido seria necessrio que as pores
de terra tivessem uma quantidade par de entradas e sadas (pontes) conectando-as. Neste
caso, isto representa condio necessria para existir um ciclo como todas as pores de terra
que possuem uma quantidade mpar de pontes. Logo, no existe tal percurso, ou ainda, basta
observar que o grafo feito por Euler no Euleriano.

Definio 1.17. Grafo Semi-Euleriano o grafo que possui uma trilha que visita cada aresta apenas
uma vez e no retorna ao vrtice inicial.

Temos da Fig. 1.15 uma representao de um Grafo Semi-Euleriano, pois pode-se fazer, por
exemplo, o percurso: a c a b e c d b.

28
 Figura 1.15: Grafo Semi-Euleriano.

O corolrio a seguir, ser importante para determinar se um dado Grafo Semi-Euleriano.

Corolrio 1.2. Um Grafo Conexo (no necessariamente simples) G Semi-Euleriano se, e somente se,
dois vrtices tm grau mpar.

Demonstrao. () Suponhamos que G possua um caminho Semi-Euleriano F comeando

num vrtice u e terminando num vrtice v. Como u 6= v, u e v tm ambos grau mpar, pois
cada vez que um dos demais vrtices aparecem em F tem duas arestas incidentes. Como cada
aresta ocorre uma vez em F, o grau desses vrtices par.
() Suponhamos que G seja conexo e possui dois vrtices u (inicial) e v (final) de grau
mpar, pois em outra situao no teramos um grafo. Considere o grafo H que se obtm de G
por juno de uma nova aresta ligando u a v. A este novo grafo podemos aplicar o Teorema 1.3
e concluir que admite um caminho Euleriano. Apagando deste caminho a aresta previamente
adicionada a G obtemos um caminho Semi-Euleriano ligando u a v, como desejado.

Definio 1.18. Grafo Hamiltoniano o grafo que possui um caminho que visita cada vrtice apenas
uma vez.

Notem que o grafo da Fig. 1.16 trata-se de um Grafo Hamiltoniano, pois pode-se fazer, por
exemplo, o percurso a b c d e, esse percurso chamado caminho Hamiltoniano.
Se tal percurso fosse a b c d e a, este seria um Ciclo Hamiltoniano, que
definido como: um percurso feito, partindo de um vrtice qualquer do grafo, passando por todos os
seus vrtices apenas uma vez e retornando ao vrtice do qual partiu.

29
 Figura 1.16: Grafo Hamiltoniano.

A seguir iremos apresentar uma definio de como pode ocorrer um mapeamento injetivo
entre dois grafos distintos.

1.4 Isomorfismo
Definio 1.19. Dois grafos G1 (V1 , E1 ) e G2 (V2 , E2 ), sero ditos isomorfos se existir uma bijeo
f : V1 V2 que preserva incidncia, i.e., tal que, para vrtices distintos quaisquer u e v de G,
tenha-se
{u, v} E1 { f (u), f (v)} E2 . (1.6)

Deste modo, denota-se que G1 ' G2 .

Dois grafos G1 e G2 so isomorfos se existe um isomorfismo entre eles, em outras palavras,

dois grafos so isomorfos se possvel alterar os nomes dos vrtices de um deles de tal modo
que os dois grafos fiquem iguais.

Proposio 1.1. Dois grafos isomorfos tm quantidades iguais de vrtices de um mesmo grau. Em
particular, tm quantidades iguais de vrtices e quantidades iguais de arestas.

Prova. Sejam G = (V1 ; E1 ) e H = (V2 ; E2 ) grafos isomorfos e f : V1 V2 uma bijeo que

preserva incidncia. Se u um vrtice de G com grau k 0, imediato que f (u) um vrtice
de H com grau k. Portanto, G e H tm quantidades iguais de vrtices de grau k, digamos ak , de
maneira que

|V1 | = ak = |V2 |. (1.7)

k 0

30
 Por outro lado, aplicando o Teorema de Euler duas vezes, juntamente com a primeira parte
acima, obtemos

2| E1 | = dG (u) = d H ( f (u)) = d H ( f (u)) = 2| E2 |. (1.8)

uV1 uV1 f (u)V2

e, da
| E1 | = | E2 |. (1.9)

Da Fig. 1.17, note que f ( a) = 1; f (b) = 2; f (c) = 7; f (d) = 6; f (e) = 5; f ( f ) = 8; f ( g) = 3 e

f (h) = 4. Portanto, tais grafos so isomorfos.

(a) (b)

Figura 1.17: Grafos Isomorfos.

De modo geral pode-se mostrar que grafos no so isomorfos atravs de invariantes como:
nmero de vrtices, nmero de arestas, existncia de arestas paralelas, laos, vrtices com grau
diferente, ciclos e pela conexidade. Exemplos clssicos de isomorfismo em grafos so notados
na representao dos grafos que representam os poliedros regulares de modo que no haja
cruzamento entre as arestas.
No prximo captulo ser abordado duas particularidades da Teoria dos Grafos, a saber,
rvores e Planaridade, muito utilizadas em contedos de carter Matemtico, embora no
disseminado nos livros didticos.

31
Captulo 2

rvore e Arborescncia; Planaridade e

Colorao de Mapas

problemas que envolvem a Teoria dos Grafos as vezes apresentam difcil soluo, po-
O
S
rm, uma boa maneira de resolver esses problemas represent-los como rvores ou
arborescncias (SCHEINERMAN, 2003) - que talvez sejam a famlia mais simples de grafos - ou
colorao de vrtices, contribuindo tambm na resoluo de problemas relacionados a Anlise
Combinatria e a Probabilidade, muitas vezes sem utilizao de frmulas.

2.1 rvore e Arborescncia

As rvores so uma das mais importantes estruturas da Teoria dos Grafos, encontrando
aplicaes em organograma de empresas, esquemas de tabelas de campeonatos, rvore de de-
ciso, na formao das estruturas de dados em informtica e na soluo de grande nmero de
problemas reais (GOLDBARG, 2012).

Definio 2.1. rvore um grafo conexo e sem ciclos.

A Definio 2.1 a mais usual entre os autores, porm sucinta. Outras propriedades ex-
clusivas das rvores podem ser utilizadas como definio e esto especificadas no Teorema 2.1
enunciado a seguir. Entre tais propriedades, a mais tradicional diz que " um grafo conexo T 1
aquele que existe um e somente um caminho entre qualquer par de vrtices de T" (GOLDBARG, 2012).
A Fig. 2.1 um exemplo de rvore.
1O uso da letra T para denotar uma rvore genrica deriva da palavra inglesa para rvore, tree.

32
 Figura 2.1: Tabela de um campeonato, do tipo mata mata.

Numa rvore um vrtice de grau 1 chamado folha e um n um vrtice de grau maior que
1 (NETO, 2012).

Figura 2.2: Grafo da Fig. 2.1.

Teorema 2.1. Seja G = (V,E) um grafo com n 2 (vrtices); as propriedades seguintes so equivalentes
para caracterizar G como uma rvore:

1. G sem ciclos e conexo.

2. G sem ciclos e tm n 1 arestas.

3. G conexo e tem n 1 arestas.

4. G sem ciclos e a adio de uma aresta cria um ciclo nico.

5. G conexo, mas G = (V, E {u}) no-conexo u U.

6. Todo par de vrtices de G unido por uma cadeia nica.

33
 Prova:
(1) (2): Se retirarmos uma aresta de G, teremos um grafo no conexo com duas com-
ponentes conexas (se assim no fosse, recolocando a aresta ela fecharia um ciclo). Retirando
uma segunda aresta, estaremos portanto dividindo a componente qual ela pertence em duas
e, assim, sucessivamente, at que para obter n componentes conexas, devemos ter retirado ao
todo n 1 arestas. Com n componentes conexas, o ltimo grafo ser trivial; ento o total de
arestas nele existentes ser n 1.
(2) (3): Suponhamos por absurdo que G no seja conexo: ento ir existir dois vrtices
u e v no unidos por uma cadeia (percurso). Acrescentemos a G a aresta uv. O novo grafo
no pode ter ciclos, porque G no os possua. Repetindo o processo at que o grafo se torne
conexo, teremos adicionado k arestas ao todo. O grafo resultante no pode ter ciclos, porque
somente foram unidos vrtices anteriormente no ligados. Mas (2) nos garante que o grafo
possua n 1 arestas e (3) mantm essa afirmao; logo, k = 0, o que implica em que o grafo
original era conexo.
(3) (4): Suponhamos por absurdo que G possua um ou mais ciclos. Retirando uma
aresta de um ciclo, restaro por hiptese n 2 arestas e o grafo continuar conexo. Repetindo-
se o processo enquanto existir um ciclo, ter-se-o retirado ao final k arestas e o grafo, neste
momento, ser uma rvore; mas restaro apenas, neste momento, n k 1 arestas, com k > 0;
ento se conclui que, de fato, k = 0 e o grafo original no possua ciclos.
(4) (5): Suponhamos que G no seja conexo. Sejam, ento u e v dois vrtices no ligados.
Adicionemos a G a aresta uv. Por hiptese, teremos criado um ciclo - que absurdo, sendo u e
v no ligados. Logo, eles so de fato ligados e o grafo conexo.
(5) (6): Suponhamos que dois vrtices u e v em G estejam ligados por mais de uma
cadeia: ento, suprimindo-se uma aresta pertencente a uma delas, o grafo continuaria a ser
conexo, o que contrairia a hiptese.
(6) (1): Dizer que todo par de vrtices de G unido por uma cadeia equivale a dizer
que G conexo; por outro lado, se existisse mais de uma cadeia unindo dois vrtices dados u e
v, existiria ao menos um ciclo, logo a cadeia existente nica.

Lema 2.1. Toda rvore com mais de um vrtice tem pelo menos duas folhas.

Prova. Seja T uma rvore com pelo menos dois vrtices e considere em T um caminho
C com o maior comprimento possvel. Se C = (u1 , u2 , ..., un ), afirmamos que u1 e un so fo-
lhas. De fato, se fosse d T (u1 ) 2, ento u1 seria adjacente a u2 e a um outro vrtice que

34
chamaremos de u0 . Como rvores no contm ciclos, deve ser u0 6= u3 , ..., un . Da, o caminho
(u0 , u1 , u2 , ..., un ) teria comprimento maior que c, o que um absurdo. Logo, d T (u1 ) = 1, e
analogamente, d T (un ) = 1.
A Proposio seguinte d uma condio necessria para um grafo conexo ser uma rvore.

Proposio 2.1. Se T = (V, E) uma rvore, ento | E| = |V | 1.

Prova. Faamos induo sobre |V |. Inicialmente, claro que toda rvore com dois vrtices
tm exatamente uma aresta. Suponha, como hiptese de induo, que toda rvore com n > 1
vrtices tm exatamente n 1 arestas, e considere uma rvore T com n + 1 vrtices. Pelo Lema
2.1, T tem uma folha u; portanto, T u uma rvore com n vrtices, e a hiptese de induo
garante que T u tem n 1 arestas. Mas como T tem exatamente uma aresta a mais que T u,
segue que T tem exatamente n arestas.

Corolrio 2.1. Se G = (V, E) um grafo conexo, ento G contm pelo menos um ciclo se e s se
| E | |V |.

Prova. Suponha inicialmente que G contm pelo menos um ciclo. Iremos mostrar que
| E| |V | por induo sobre | E|. Se e uma aresta de um ciclo em G, ento G e ainda
conexo e tem |V | vrtices e | E| 1 arestas. H, pois, duas possibilidades:

G e ainda contm pelo menos um ciclo: segue da hiptese de induo que | E| 1 |V |;

G e acclico: como ainda conexo, G e uma rvore, e a proposio anterior garante

que |V | = (| E| 1) + 1 = | E|.

Em qualquer caso, | E| |V |. Reciprocamente, se G for acclico, ento G uma rvore, e a

proposio anterior garante que | E| = |V | 1 < |V |.

Corolrio 2.2. Seja T = (V, E) um grafo conexo. Se | E| = |V | 1, ento T uma rvore.

Prova. Se T contivesse pelo menos um ciclo, seguiria do corolrio anterior que | E| |V |,

uma contradio. Logo, T conexo e acclico, donde uma rvore.
Um tipo de estrutura similar as rvores em que a orientao das arestas relevante ser
especificada a seguir.
Arborescncia o nome dado a um tipo de estrutura associado a rvores. Este termo
utilizado para diferenci-las das rvores em que no se considera uma orientao. Uma arbo-
rescncia qualquer apresenta as seguintes propriedades:

35
 Existe um vrtice sem antecessores, o qual recebe o nome de raiz;

Todos os vrtices (fora a raiz) possuem exatamente um nico antecessor.

Na arborescncia, a direo das arestas considerada. Tal direo pode ser indicada por
uma seta (que tambm um tipo de aresta), ou simplesmente pelas arestas usuais (sem dire-
o). Esta escolha fica a critrio de cada um, pois uma vez escolhida a raiz da rvore, automa-
ticamente estabelecida uma orientao natural dos arcos, ou seja, a raiz d o sentido delas
(vide Fig. 2.3).

(a) (b)

Figura 2.3: Ilustrao de Arborescncias.

A arborescncia de uso mais frequente a arborescncia binria ou rvore binria. Se caracte-

riza desta forma por conta de uma propriedade adicional:

Todos os seus vrtices tm no mximo dois sucessores (por ser binria).

Exemplos clssicos desse tipo de arborescncia aparecem com frequncia em problemas de

probabilidade que envolvam moeda. A seguir abordaremos um problema cuja soluo torna-
se facilitada quando associada a rvore.

Exemplo 2.1. Um estudante se submete a um exame de mltipla escolha no qual cada questo tem 5
respostas possveis das quais exatamente uma correta. O estudante seleciona a resposta correta se ele
sabe a resposta. Caso contrrio, ele seleciona ao acaso uma resposta entre as 5 possveis. Suponha que o
estudante saiba a resposta de 70% das questes.

a) Qual a probabilidade de que o estudante escolha a resposta correta para uma dada questo?

36
 b) Se o estudante escolhe a resposta correta para uma dada questo, qual a probabilidade de que ele
sabia a resposta?

Uma boa maneira de resolver este problema representando-o atravs de uma rvore bi-
nria - o que facilitar sua anlise - j que tem-se apenas duas possibilidades para o estudante
quanto a sua escolha, a saber, ter ou no a resposta. Segue ento pelo enunciado que:
7 3
ele sabe (e acerta) 70% = das respostas, logo, no sabe 30% = ;
10 10
quando no sabe, seleciona uma resposta qualquer, podendo acertar ou no. Neste caso,
1 4
como existem 5 alternativas e apenas uma correta, ele tem chance de acerto e chance
5 5
de erro.

Portanto, a rvore binria fica modelada da seguinte forma. Considere Q (questo):

Figura 2.4: Possibilidades para o estudante.

a) Temos aqui dois caminhos a seguir, quando ele sabe e quando ele no sabe mas acerta,
7 3 1 19
logo, + =
10 10 5 25
7
b) Aqui queremos a probabilidade de que sabia a resposta, , no universo das respostas
10
7
19 7 25 35
certas, , logo, 10 = = .
25 19 10 19 38
25

37
2.2 Planaridade e Colorao de Mapas
Finalizando este captulo, abordado nesta seo um importante tema que tem uma vasta
aplicao na soluo de diversos problemas, os grafos planares. Um grafo dito planar se
admite uma representao grfica em um plano na qual as arestas s se encontrem nos vrtices
aos quais so incidentes. Na Fig. 2.5(a) temos um exemplo de um grafo planar G cujas arestas
se interceptam. Apesar disso possvel construir um tipo de grafo G 0 (vide Fig. 2.5(b)) isomorfo
a G, de tal modo que as arestas no se interceptem, desta forma, G um Grafo Planar. Como
exemplos clssicos desses tipos de grafos, tm-se os que representam os poliedros.
Quando um grafo planar (sem cruzamento de arestas) ele divide o plano em regies,
chamadas faces, delimitadas por suas arestas. A regio exterior ao grafo, que no limitada
por suas arestas, tambm considerada uma face.

(a) G (b) G 0

Figura 2.5: Grafo Planar

Tomando como exemplo o grafo Gda Fig. 2.5(b) e denotando o nmero de faces por F, de
vrtices por V e de arestas por E, tem-se que F = 4, V = 4 e E = 6. Note que, V + F = E + 2.
Esta relao no uma simples coincidncia, ela vale para todos os grafos planares, como
estabelece o teorema a seguir:

Teorema 2.2. Seja G um grafo planar simples e conexo. Seja F o nmero de faces, V o nmero de
vrtices e E o nmero de arestas de G, ento V + F = E + 2.

Prova. Vamos provar por induo em F. Se F = 1 o teorema verdadeiro pois o grafo

uma rvore e E = V 1. Supondo F N tal que F 2. Escolhendo uma aresta a de G que
no seja de corte2 (a pertence a algum ciclo de G) e retirando-a obtemos um subgrafo G 0 que
2 Uma aresta que quando removida aumenta o nmero de componentes conexas de um grafo G chamada
ponte ou aresta de corte. As componentes conexas, funcionam como subgrafos.

38
 conexo. Note que G tem ao menos um ciclo pois F 2 e assim G no rvore. Logo, o
subgrafo G 0 tem F 1 faces, V vrtices e E 1 arestas. Dessa forma, V + ( F 1) = ( E 1) + 2.
Donde conclumos que V + F = E + 2.
Este resultado conhecido como a frmula de Euler ou o Teorema de Euler. Os resultados a
seguir sero importantes para posterior aplicao, a saber, na soluo de problemas do captulo
seguinte.

Corolrio 2.3. Em todo grafo planar conexo 2E 3F.

Prova. Se contarmos as arestas de cada face, contamos duas vezes cada aresta do grafo.
3F
Como cada face limitada por pelo menos trs arestas ento E (pois o grafo possui E
2
arestas). Da, 2E 3F. A igualdade se verifica se todas as faces forem triangulares.

Corolrio 2.4. Seja G um grafo conexo planar bipartido, com ao menos duas arestas, ento E 2V 4.

Prova. Se um grafo bipartido no tem ciclo de comprimento mpar. Assim, cada face tem,
no mnimo 4 arestas. Se contarmos as arestas de cada face, contamos duas vezes cada aresta do
4F
grafo. Como cada face limitada por pelo menos quatro arestas ento E. Da, 2E 4F.
2
Da relao de Euler temos que V E + F = 2. Da, 4V 4E + 4F = 8, como 2E 4F ento
4V 4E + 2E 8. Com isso, E 2V 4.
Existem outros importantes resultados relacionados a grafos planares que no foram menci-
onados neste trabalho que podem ser encontrados em (BONDY, 2008; HARRIS, 2008; WILSON,
1996).
Um outro importante tema e um dos mais conhecidos na Teoria dos Grafos, mencionado
em outrora, o problema da colorao em grafos. Colorir um grafo G atribuir cores aos seus
vrtices de forma que vrtices adjacentes recebam cores distintas, dessa forma, colorir um grafo
uma atividade simples pois, basta atribuir uma cor para cada vrtice. No entanto, o problema
da colorao estabelecido quando objetiva-se colorir o tal grafo, utilizando o menor nmero
possvel de cores, a este chama-se nmero cromtico, denotado por (G). As aplicaes de co-
lorao aparecem quando precisamos repartir o conjunto de vrtices em conjuntos de vrtices
independentes3 disjuntos (JURKIEWICZ, 2009a). A colorao depende exclusivamente da vi-
zinhana entre pases ou regies e no de suas formas, tamanhos ou posies (GOLDBARG,
2012).
3 Um conjunto independente de um grafo G um conjunto S de vrtices de G tal que no existem dois vrtices
adjacentes contidos em S, ou seja, se u e v so vrtices quaisquer de um conjunto independente, ento no h
arestas conectando u e v.

39
 Cada mapa do plano pode ser representado por um grafo, sendo as regies do mapa re-
presentadas pelos vrtices e as fronteiras pelas arestas. Desse modo, as arestas conectam os
vrtices se as regies tiverem uma fronteira em comum. O grafo assim obtido chamado grafo
dual do mapa. Vale salientar que duas ou mais regies com apenas um ponto em comum no
so consideradas adjacentes. Desse modo, para se colorir um mapa pretendendo utilizar o m-
nimo de cores, contanto que regies fronteirias tenham cores diferentes equivalente a colorir
os vrtices de grafo dual, de modo que vrtices adjacentes no tenham a mesma cor.

Figura 2.6: Mapas ilustrativos.

Para se colorir os mapas da Fig. 2.6 utilizando o menor nmero de cores, sero necessrios
quatro cores para o Mapa 1, e, para o Mapa 2, trs cores (vide Fig. 2.7) que so os grafos duais
dos mapas associados a Fig. 2.6. Portanto, o nmero cromtico do mapa 1 quatro e do mapa
2 trs, assim, o grafo dual do mapa 1 representa uma 4-colorao ou 4-colorvel, do mesmo
modo o grafo dual do mapa 2 representa uma 3-colorao ou 3-colorvel.

(a) (b)

Figura 2.7: Grafo Dual (a) do Mapa 1 e (b) do Mapa 2.

O Teorema das quatro Cores diz que um mapa desenhado num plano pode ser colorido
utilizando-se, no mximo quatro cores, de modo que regies que possuem uma fronteira co-
mum recebam cores diferentes. Foi conjecturado por Francis Guthrie, em 1853, mas sua prova

40
permaneceu em aberto at que Appel & Haken (1977) apresentaram uma prova com o auxlio
de um computador - Alguns membros da comunidade cientfica no aceitam a prova exibida,
uma vez que se faz necessria a anlise exaustiva de um grande nmero de configuraes -
finalmente, em 2008 Gonthier demonstrou o referido teorema (GOLDBARG, 2012). Um fato
importante que em 1879, Kempe props uma pretensa soluo que s em 1890 foi refutada
por Heawood, que provou a suficincia de cinco cores para a colorao dos vrtices de grafos
planares (CARDOSO, 2004-2005).
A seguir sero expostos dois problemas cuja soluo envolver, colorao de mapas e colo-
rao de vrtices, respectivamente.

Exemplo 2.2. O califa de Bagdad tinha quatro filhos e tinha muito gosto por eles. Para cada filho
mandou construir um palcio. O filho mais velho, Abdul, ficou com o terreno 1, Budal com o terreno 2,
Cadaf com o terreno 3 e Dubal com o terreno 4, (vide Fig. 2.8). Antes de morrer, fez um testamento com
indicaes de como deveriam ser distribudas suas ricas terras, num total de 20. Cada filho ficaria com o
terreno onde tinha seu palcio. Abdul, herdaria tambm o terreno 9, onde ficava o palcio do califa. Os
outros terrenos seriam distribudos de modo que, no final, cada filho ficasse com 5 terrenos, mas, seus
5 terrenos no poderiam ter fronteiras comuns. Por exemplo, Cadaf no podia ficar com o terreno 19.
Como esses irmos fariam a diviso das terras entre si?

Figura 2.8: Mapa das terras do califa.

Um meio de se fazer essa diviso seria por colorao das faixas de terra (vide Fig. 2.9).

41
 Figura 2.9: Colorao das terras.

Para o exemplo a seguir, usaremos a colorao de vrtices para facilitar a resoluo. Podem
haver outras formas de resoluo deste problema.

Exemplo 2.3. Para um determinado Congresso esto cogitados, em princpio, 7 minicursos a serem
confirmados ou no em funo da disponibilidade de horrios, obedecidas as seguintes condies:

Em todos os dias, durante o perodo de realizao do Congresso, deve haver sesses de

todos os minicursos. Cada minicurso deve ser oferecido em horrio fixo (vlido para
todos os dias), podendo ser alocados num mesmo horrio mais de um minicurso (h
nmero suficiente de salas para isso). O horrio reservado a cada minicurso deve ser,
obrigatoriamente, 8:00/9:30, 9:30/11:00, 11:00/12:30, 14:30/16:00 ou 16:00/17:30.

Denominando os minicursos por M1, M2, M3, M4, M5, M6 e M7, no podem ter horrios
coincidentes: M1 com M3, M4, M6 e M7 / M2 com M3, M5 e M7 / M3 com M1, M2, M5,
M6 e M7 / M4 com M1, M5, M6 e M7 / M5 com M2, M3, M4 e M7 / M6 com M1, M3 e
M4 / M7 com M1, M2, M3, M4 e M5.

Os 7 minicursos podem ser oferecidos, isto , possvel destinar horrios para eles com
as condies impostas? Se afirmativo, otimize tal alocao, isto , conclua sobre o nmero
mnimo de horrios fixos a serem utilizados. Exemplifique um quadro de horrios realizando
este mnimo.

42
 Soluo.
Consideremos os minicursos como sendo os vrtices do grafo. Dois vrtices sero conectados
por uma aresta se os mesmos correspondem a minicursos que no podem ter horrios coinci-
dentes conforme descrito na Fig. 2.10(a). Agora, atribuiremos cores aos vrtices de forma que
vrtices adjacentes tenham cores diferentes, buscando usar o mnimo de cores. Na prtica, cada
cor representar um horrio. Assim, temos da Fig. 2.10(b) a representao completa do pro-
blema. Desta ltima, podemos concluir que os sete minicursos podem ser oferecidos, pois so
suficientes apenas quatro cores para colorir este grafo, o que significa que dos cinco horrios
disponibilizados, necessitamos apenas de quatro. A Tabela 2.1 exemplifica um dos possveis
horrios para a realizao dos minicursos.

(a) (b)

Figura 2.10: Grafos (a) e (b) da aplicao 6

Horrio Cor Associada Minicursos oferecidos

8:00/9:30 Azul M6 e M7
9:30/11:00 Verde M1 e M5
11:00/12:30 XXXXXXXX XXXXXXXX
14:30/16:00 Rosa M2
16:00/17:30 Vermelho M3 e M4

Tabela 2.1: Tabela de horrios.

Assim como abordado no captulo anterior, pretende-se neste captulo, revelar o potencial
significativo desta parte da Teoria dos Grafos, seja para representaes em certas atividades

43
cotidianas ou quando associada ao estudo da Anlise Combinatria e Probabilidade. Para esta
ltima, nota-se que tal parte da teoria, na fase pr universitria, no vem sendo devidamente
utilizada ou abordada. Tal fato se d, possivelmente, pois o contedo no ofertado, alm
disso nota-se que nos livros didticos, a Teoria das rvores mencionada como "diagrama de
rvores ou rvore de possibilidades", no fazendo meno: a sua origem ou mesmo a sua parte
terica, sendo que esta traz como benefcio, inclusive, a no utilizao de frmulas quando na
resoluo de problemas (vide Exemplo 2.1).
No prximo captulo traremos uma discusso acerca do por que grafos na Educao Bsica
alm de aplicaes usando resultados j enunciados e demonstrados neste texto.

44
Captulo 3

Por que Grafos na Educao Bsica?

captulo faremos uma breve discusso acerca do porque de Grafos na Educao B-

N
ESTE
sica e apresentaremos algumas aplicaes. O objetivo mostrar que a incluso da Teoria
dos Grafos no s possvel, como tambm necessria na Educao Bsica, principalmente
quando associadas a contedos de Matemtica, alm de contribuir na resoluo de problemas
relacionados a outras reas do conhecimento.

3.1 Contribuies na Anlise Combinatria e Probabilidade

A discusso sobre a seleo e a organizao de contedos de Matemtica no Ensino Funda-
mental complexa, porm, h um razovel consenso no sentido de que devam contemplar o
estudo dos nmeros e das operaes, o estudo do espao e das formas, estudo das grandezas
e das medidas, e, aqueles que permitam ao cidado tratar as informaes que recebem cotidia-
namente, aprendendo a lidar com dados estatsticos, tabelas e grficos, a raciocinar utilizando
ideias relativas probabilidade e combinatria (BRASIL, 1997). Mas, como tratar deste l-
timo ponto (parte da matemtica discreta), sendo que Anlise Combinatria e Probabilidade
tem sido frequentemente indicada por professores do Ensino Mdio como sendo uma rea da
Matemtica de obstculo, se tornando um verdadeiro tabu para os estudantes (BACHX, 1975;
CARVALHO, 2010; MORGADO, 2006)?
necessrio dar um melhor tratamento a alguns assuntos no Ensino Fundamental, para
se conseguir respeitar finalidades da LDB (Lei de Diretrizes e Bases da Educao Nacional)
para o Ensino Mdio, a saber, garantir a consolidao e o aprofundamento dos conhecimentos

45
adquiridos no Ensino Fundamental, possibilitando o prosseguimento de estudos no Ensino
Mdio, portanto, evitando que queles contedos, outrora mencionados e classificados como
difceis, tragam algum tipo de problema que influenciem na aprendizagem dos discentes.
Respeitando finalidades e princpios estabelecidos pela LDB e PCNS (Parmetros Curricu-
lares Nacionais - Ensinos Fundamental e Mdio), devemos considerar o pluralismo de ideias
e adotar estratgias que estimulem a iniciativa dos discentes. Procura-se com isso lev-los
buscar informaes, selecion-las, analis-las, formular hipteses, ao invs de buscar o sim-
ples exerccio de memorizao, portanto, sendo capaz de resolver diversas situaes problema,
principalmente de natureza combinatria, sem utilizao excessiva de frmulas ou sem sua
utilizao, objetivando trazer um alto nvel de significncia e confiabilidade daquilo que est
sendo resolvido. Porm, isto no acontece na prtica nos dias atuais (BRASIL, 2000).
A seguir, apresentaremos um problema proposto para os alunos do 3o ano do Ensino Mdio,
numa atividade em grupo, quando o contedo estudado era Anlise Combinatria, seguido da
anlise das respostas, finalizando com uma possvel resoluo via grafos, a fim de ratificar o
que diz (BACHX, 1975; CARVALHO, 2010).

Exemplo 3.1. (OBMEP-2007/ Nvel 1) Um grupo de amigos acampou durante seis noites e, toda noite,
dois deles vigiaram o acampamento. Cada um ficou de guarda trs vezes, nunca com o mesmo amigo.
Quantos eram os amigos?

Figura 3.1: Acampamento.

a) 3

b) 4

c) 6

d) 12

e) 18

46
 Este experimento revelou que de um total de 5 grupos, apenas um grupo de fato acertou
- o fez montando uma tabela - os demais grupos, apesar de realmente tentar respond-la, se
preocuparam mais em tentar usar o princpio multiplicativo ou as frmulas de que dispunham
(arranjos e combinao), j que no enunciado disponibilizavam trs possveis valores. Por-
tanto, percebe-se a, uma desenfreada tentativa de utilizao de frmulas, ao invs de tentar
modelar o problema.
Neste sentido, propomos outra soluo admitindo a linguagem da Teoria dos Grafos. Po-
demos considerar o grupo de amigos como sendo os vrtices do grafo, j as arestas, represen-
tariam cada noite no acampamento, e assim conectam o par de amigos que vigiaram o acam-
pamento por uma noite. Como cada pessoa vigiou por trs noites e em cada noite com um
amigo diferente, pode-se concluir que cada vrtice tem grau 3, conectado a 3 outros vrtices,
logo, tem 4 vrtices. Basta agora interlig-los. Portanto so 4 amigos (vide Fig. 3.2).

Figura 3.2: Grafos dos amigos no acampamento.

A disseminao de noes bsicas da Teoria dos Grafos, no Ensino Fundamental, e, seu

posterior aprofundamento no Ensino Mdio, poderia ser o tratamento - mencionado no incio
desta seo - pretendido, pois alm desta teoria contribuir para a resoluo de problemas de
naturezas diversas, seria uma importante ferramenta a ser utilizada na Anlise Combinatria
e Probabilidade.
No comum encontrar nos livros didticos menes a Teoria dos Grafos, porm, no
difcil encontrar situaes que so modeladas ou at mesmo resolvidas por meio dos grafos.
Nota-se nos livros didticos de Matemtica do Ensino Mdio, seja no estudo de Anlise Com-
binatria ou Probabilidade, a expresso "diagrama de rvores"ou "rvore de possibilidades",

47
tratada de forma simplria e omitindo a real importncia da teoria (Teoria das rvores) na
resoluo de problemas. A forma com a qual essa teoria vem sendo abordada, pode contri-
buir para que os discentes no usem efetivamente esse modelo, que facilita muito a resoluo
de problemas, principalmente sem a utilizao de frmulas, alm de responder a problemas
cotidianos.
A seguir so expostas algumas justificativas por parte do porque dos grafos na Educao
Bsica. Comeamos por destacar que alguns autores defendem a introduo dos grafos a partir
do Ensino Fundamental (BRAICOVICH, 2013; BRIA, 2004). Segundo (BRAICOVICH, 2013), os
grafos so: aplicveis (pois nos ltimos anos tem sido usado em diversas reas), acessveis
(pois em muitas situaes suficiente ter conhecimento de aritmtica e em outras somente
de lgebra elementar), atrativos (pois podem levantar situaes muito motivadoras para os
alunos) e so adequados (pois aos estudantes que no tem problemas em matemtica, lhes
dar maior preparo para as carreiras que escolherem, e aos que no vo bem nesta disciplina,
pode dar a possibilidade de um novo comeo).
Existem tambm aqueles que defendem a incluso dos grafos no Ensino Mdio (FERREIRA,
2009; MALTA, 2008), justificando-se, respectivamente: pela necessria adequao do currculo
s exigncias do mundo contemporneo; por fazer parte da matemtica discreta.
Sendo considerado como um dos maiores pesquisadores no Brasil, sobre grafos, Jurkiewicz
(2007), relata que a Teoria dos Grafos permite, de forma simples e contextualizada, a construo
das ideias bsicas que permeiam os processos algortmicos. A importncia disso decorre das
transformaes na sociedade. Alm disso, contribuem potencialmente para a compreenso dos
fundamentos cientficos e tecnolgicos nos processos produtivos, terceira finalidade apontada
pela LDB para o Ensino Mdio e devido ao planejamento, execuo e avaliao de aes de
interveno na realidade que so apontados nos PCNs do Ensino Mdio como objetivos da
rea de Cincias da Natureza, Matemtica e suas Tecnologias, mais um elemento que justifica
a abordagem deste assunto no Ensino Mdio, na medida que ele fornece conhecimentos para a
interpretao e anlise e execuo de aes do cotidiano (JURKIEWICZ, 2007).
De acordo com (BURGO, 2012), com o intuito de traar objetivos para a melhoria da qua-
lidade da educao, poderamos questionar e mesmo afastar alguns contedos do currculo e
incluir outros. Uma das propostas de contedos ausentes do currculo usual, mas que pode
ser trabalhado tanto no nvel fundamental, como no mdio, so os grafos - esses no esto
presentes nos currculos escolares, talvez, por constiturem teoria recente na Matemtica -, que
se oferecem como um mundo novo para as aplicaes de contedos da Matemtica escolar

48
tradicional, tais como Matrizes, Combinatria e Geometria.
Por fim, nota-se que a Matemtica Discreta, na Educao Bsica, vem se restringindo ao
estudo de Anlise Combinatria.
No Ensino Mdio, o termo "combinatria"est usualmente restrito ao estudo
de problemas de contagem, mas esse apenas um de seus aspectos. Outros
tipos de problemas poderiam ser trabalhados na escola - so aqueles relativos
a conjuntos finitos e com enunciados de simples entendimento relativo, mas
no necessariamente fceis de resolver. Um exemplo clssico o problema
das pontes de Konigsberg, tratado por Euler [...] (BRASIL, 2006, p.94).

Diante do exposto, pensamos que a Teoria dos Grafos poder ser o elemento que ampliar
o estudo desta parte da Matemtica.
Tudo isso nos leva a uma reflexo e discusso acerca do quo importante a incluso dos
grafos na Educao Bsica e como podemos contornar os problemas de aprendizagem dos
contedos de Matemtica oferendo outras alternativas e metodologias de trabalho.
Na prxima seo apresentaremos algumas aplicaes de carter multidisciplinar envol-
vendo um nvel de dificuldade elevado, que foi solucionada usando ferramentas de Teoria dos
Grafos.

3.2 Aplicaes
Determinados problemas podem apresentar enunciados simples, no entanto, para ser re-
solvido pode trazer uma engrenagem complexa. Nesta seo, traremos alguns problemas que
podem ser resolvidos por intermdio da Teoria dos Grafos, pois deseja-se mostrar aqui o po-
tencial significativo dessa teoria para resolver problemas, seja da vida real ou no, em vrios
campos do conhecimento. Para resoluo da primeira aplicao utilizaremos conceitos refe-
rentes a grau de vrtices e caminhos.
APLICAO 1 (Banco de questes da OBMEP-2013/ Nvel 1)
Dizemos que um desenho bem desenhado quando pode ser feito sem tirar o lpis do papel e sem
passar o lpis duas vezes por cima de uma mesma linha. Por exemplo, o desenho abaixo bem desenhado.
pois pode ser desenhado, por exemplo, seguindo a ordem dos vrtices A B H F
G K L C H E L D A.

49
 Figura 3.3: Desenho bem desenhado.

O desenho a seguir bem desenhado? Justifique.

Figura 3.4: Item b) da prova OBMEP-2013.

Soluo.
A resposta no. O vrtice F tem trs segmentos ligados a ele (grau 3). Devido a isto, temos
dois casos a analisar: ou o desenho comea nesse vrtice F ou o desenho comea em outro.
Se o desenho comea no vrtice F, um dos segmentos ligados a F de sada, outro de
entrada e o terceiro de sada novamente. Logo, o desenho no pode terminar nele. Entretanto,
E, C e B tambm tm trs segmentos ligados a eles. Logo, cada um deles deveria ser o ponto
final do caminho (pois teriam dois segmentos de entrada e um de sada). Como o caminho s
pode ter um ponto final, h uma contradio, o que mostra que o desenho no pode comear
em F.
Se o desenho no comea em F, mas comea em alguns dos vrtices B, C ou E, o argumento
o mesmo que apresentamos para o caso em que ele comea em F. Se o caminho comea
em A, como A tem dois segmentos ligados a ele, um deve ser de entrada e outro de sada.
Logo, A deve ser o ponto final do caminho. Mas F tem trs segmentos ligados a ele, ento
seriam dois de entrada e um de sada, o que significa que F que deveria ser o ponto final do

50
caminho, novamente uma contradio. E se o ponto inicial for D, o argumento o mesmo que
apresentado para A.
Na aplicao a seguir utilizaremos grafos ponderados, dgrafos e colorao de vrtices, para
determinar sua soluo.
APLICAO 2 (OBMEP-2012/ Nvel 3)
Trs casais fizeram compras em uma livraria. Vitor comprou 3 livros a mais do que Lorena e Pedro
comprou 5 livros a mais do que Cludia. Cada um dos homens comprou 4 livros a mais do que a respectiva
esposa. Lorena e Cludia compraram mais livros do que Bianca, que s comprou 3 livros. Qual das
seguintes afirmaes verdadeira?

a) Vitor comprou mais livros do que Pedro.

b) Pedro marido de Cludia.

c) Pedro foi o marido que comprou o maior nmero de livros.

d) Cludia comprou um livro a mais do que Lorena.

e) Vitor marido de Bianca.

Soluo.
Consideremos as pessoas envolvidas como sendo os vrtices do grafo, j as arestas, repre-
sentaram as quantidades de livros a mais que tem em relao ao outro, sendo a chegada da
flecha a indicao de que este tem mais livros em relao ao vrtice que a originou. Considere-
mos tambm a letra H como sendo o homem que no teve seu nome explicitado.
A flecha que vai de Lorena a Vtor, indicada com +3 revela que ele comprou 3 livros a
mais que Lorena, analogamente para as outras relaes. As flechas que saem de Bianca para
Lorena e Cludia tambm indicam que ambas compraram mais livros que Bianca. A seguir
explicitaremos as flechas que no correspondem a dados do enunciado.
Como Pedro comprou 5 livros a mais que Cludia e cada homem comprou 4 livros a mais
que sua esposa, segue que Pedro no o marido de Cludia. Por outro lado, como Cludia
comprou mais livros que Bianca, ento Pedro Comprou pelo menos 6 livros a mais que Bianca,
logo, ele tambm no marido de Bianca, assim, Pedro marido de Lorena. Indicaremos essa
concluso colorindo tais vrtices de vermelho e os conectando por uma flecha com peso +4.
Como Pedro comprou 5 livros a mais que Cludia e 4 livros a mais que Lorena, segue que
Lorena comprou 1 a mais que Cludia, o que nos d a flecha que conecta Cludia a Lorena. As

51
flechas que ligam Cludia a Vitor, passando por Lorena mostram que Vitor comprou 4 livros
a mais que Cludia; como Cludia comprou mais livros que Bianca, segue que Vitor comprou
pelo menos 5 livros a mais que Bianca. Logo Vitor no o marido de Bianca, ou seja, ele o
marido de Cludia; indicamos essa concluso colocando seus nomes de verde. Restando ento
Bianca a ser mulher de H; assim, ligamos esses dois por uma flecha com peso +4 e colocamos
seus nomes em azul.
Com o grafo montado, podemos concluir que: Pedro comprou pelo menos 6 livros a mais
que Bianca; como H comprou 4 livros a mais que Bianca, segue que Pedro comprou mais
livros que H. Finalmente, observa-se que como Pedro comprou 4 livros a mais que Lorena
e Vitor comprou 3 livros a mais que Lorena, segue que Pedro comprou 1 livro a mais que Vitor,
conforme indicado na Fig. 2.7. Portanto, a alternativa "c", a verdadeira.

Figura 3.5: Grafo da Aplicao 2.

Na prxima aplicao ser utilizado grafo regular e o Corolrio 1.1.

APLICAO 3 (Banco de questes da OBMEP-2011/ Nvel 2)
Considere um grupo de 15 pessoas. possvel que cada uma delas conhea exatamente:

a) 4 pessoas do grupo?

b) 3 pessoas do grupo?

52
(Admita que se A conhece B ento B conhece A)
Soluo.
a) possvel. Representemos as 15 pessoas como sendo os vrtices do grafo conforme
ilustrado na Fig. 3.6. Um arco entre dois pontos significa que as duas pessoas representa-
das se conhecem. Como cada ponto est ligado a dois pontos esquerda e a dois pontos
direita, saem quatro arcos de cada ponto, o que significa que possvel que cada pessoa
conhea exatamente 4 pessoas do grupo.

b) No possvel. Vamos representar novamente as pessoas como sendo os vrtices. Li-

gamos dois pontos se as pessoas representadas se conhecem. Quantos arcos vamos pre-
cisar traar para representar todas as amizades? Cada ponto extremidade de 3 arcos,
resultando num total de 15 x 3 = 45 arcos que saem de todos os pontos. Porm, nesta con-
tagem, cada arco foi contado duas vezes, nas duas extremidades (o arco que conecta 1 a
2, foi contado tanto para ver quem 1 conhece quanto para a contagem de 3, por exemplo).
45
Portanto, o nmero de segmentos deve ser , o que um absurdo, pois este nmero no
2
inteiro, ou seja, no existe meia amizade por exemplo. Alm do exposto, tal situao
no atende ao Corolrio 1.1, a saber, num grafo qualquer o nmero de vrtices de grau
mpar par.

Figura 3.6: Grupo de 15 pessoas.

Na prxima aplicao utilizaremos caminhos e arborescncia.

APLICAO 4 (OBM-2003)
Considere as sequncias de inteiros positivos tais que cada termo mais a soma dos seus algarismos
igual ao termo seguinte. Por exemplo: 6, 12, 15, 21, 24, 30, 33, 39 uma sequncia nessas condies.
Escreva a maior sequncia cujo ltimo termo 103 e que satisfaz tais condies.

53
 Observao: maior sequncia aquela com o maior nmero de termos.

Soluo.
Como a sequncia termina em 103, ento faremos o caminho inverso da sequncia, ou seja,
comearemos pelo fim. Utilizaremos o smbolo Xpara indicar o fim de uma sequncia. Assim
teremos:

Figura 3.7: Sequncia invertida.

Notem que aps os nmeros 53 e 86, no existem termos tais que somados com o valor da
soma dos seus algarismos gerem tanto o 53 quanto o 86. Portanto, a maior sequncia obtida :
1, 2, 4, 8, 16, 23, 28, 38, 49, 62, 70, 77, 91, 101, 103.
Deste captulo podemos extrair as diversas possibilidades de soluo de determinados pro-
blemas e confirmar, que possvel e em certos momentos necessrio, se valer da Teoria dos
Grafos para a resoluo de certas aplicaes que em muitos casos esto relacionadas a con-
tedos do Ensino Mdio, outrora comentado. Pretendeu-se, portanto, mostrar que os Grafos
podem ser uma significativa ferramenta no processo de ensino aprendizagem, pois alm da
sua variedade de aplicaes, dentro da Matemtica ou no, torna-se para os alunos, mais uma
alternativa na resoluo de problemas. Alternativa esta que permite uma abordagem diferente
da que normalmente utilizada, ou seja, a no priorizao do uso de frmulas, o que favorece
tambm, como outrora mencionado, o desenvolvimento do raciocnio lgico.
Na prxima aplicao, utilizaremos a teoria da arborescncia para soluo.
APLICAO 5 (OBM - 1988; adaptada)
De quantas maneiras distintas podemos escrever os algarismos de 1 a 9 em sequncia (sem repeti-los),
de forma que os nmeros determinados por quaisquer dois algarismos consecutivos sejam divisveis por
7 ou por 13.

54
 Soluo.
Inicialmente, exibiremos os mltiplos de 7 e 13, com no mximo dois dgitos.

a) De 7 = 7, 14, 21, 28, 35, 42, 49, 56, 63, 70, 77, 84, 91, 98;

b) De 13 = 13, 26, 39, 52, 65, 78, 91.

Desses, podemos desconsiderar o 70 e o 77, pois o algarismo 0 no faz parte dos algarismos
considerados e no 77 existe uma repetio.
A raiz da arborescncia, necessariamente, tem que ser o algarismo 7, pois caso fosse o n-
mero 13 ao considerar o prximo algarismo da sequncia teramos a um nmero de trs dgi-
tos, fugindo ento das especificidades da questo. Os vrtices so os prximos algarismos.
Aps o 7, o prximo tem que ser o 8, pois devemos considerar os dois algarismo em sequn-
cia e este deve estar entre os mltiplos de que dispomos, neste caso o 78. De modo anlogo,
o prximo deve ser o 4, em seguida temos duas possibilidades, o 2 ou o 9, pois pode ser o
nmero 42 ou 49: escolhendo o 9, o prximo deve ser o 1, seguido do 3 e 5, a partir deste,
temos novamente, duas possibilidades, o 6 e o 2. Caso escolha o 6, termina a sequncia, pois
o prximo deveria ser o algarismo 5, mas j foi utilizado. Escolhendo o 2 o prximo o 6 e
termina a sequncia pelo mesmo motivo anterior; escolhendo o 2, temos duas possibilidades,
1 ou 6. Escolhendo o 1, em seguida ser o 3, que ter duas possibilidades, 9 ou 5, caso 9, acaba
a sequncia, escolhendo o 5, o prximo ser o 6 e tambm acaba a sequncia; escolhendo o
6, ter duas possibilidades, 5 ou 3, caso escolha 5, acaba a sequncia, caso escolha o 3, tem
duas possibilidades, 9 ou 5, escolhendo o 5 acaba a sequncia, caso 9, o prximo 1 e acaba a
sequncia. Utilizaremos o smbolo F para indicar fim de uma sequncia que no atende aos
pr-requisitos e usaremos o smbolo X, caso contrrio. A Fig. 3.8 exemplifica o que foi descrito
acima. Portanto, fica evidente que existe apenas uma maneira de dispor esses algarismos, a
saber, (7, 8, 4, 9, 1, 3, 5, 2, 6).

55
 Figura 3.8: Sequncias ou caminhos encontrados.

APLICAO 6
O Departamento de Matemtica de certa Universidade, pretende oferecer seis disciplinas para o pr-
ximo semestre: (C) - Clculo; (G) - Grafos; (L) - Lgica; (N) - Noes de Anlise; (S) - Slidos Platnicos
e (T) - Topologia. Verificou-se que cada estudante planeja cursar as disciplinas indicadas na tabela a
seguir:

Aluno Disciplina Aluno Disciplina

Bianca C,L,T Jackson C,G,S
Marcos C,L Jonathas L,N
Adriana C,T Leonardo G,L
Simo G,N Patrcia G,L,N
Oraldo C,S,T Marco C,G

a) Considerando que cada disciplina dada num perodo, como se poderia determinar qual
o menor nmero de perodos necessrios para que as seis disciplinas possam ser ofereci-
das?

b) Qual o maior nmero de disciplinas que podem ser dadas ao mesmo tempo?

56
 Soluo.

a) Podemos associar o menor nmero de perodos a colorao de vrtices, de modo que vr-
tices adjacentes tenham cores distintas. Na prtica, cada cor representar um perodo.
Assim, temos da Fig.3.9 a representao completa do problema. Desta ltima, podemos
concluir que as seis disciplinas podem ser oferecidas em 3 perodos, pois so suficientes
apenas 3 cores para colorir este grafo.

Figura 3.9: Grafo das Disciplinas.

b) O nmero mximo de disciplinas que podem ser dadas ao mesmo tempo, est associado
a maior quantidade de vrtices pintados com a mesma cor do grafo da Fig.3.9, logo, so
duas disciplinas que podem ser dadas ao mesmo tempo.

57
Captulo 4

Concluso

Este trabalho de concluso de curso foi elaborado com o intuito de trazer contribuies ao
ensino de Matemtica da Educao Bsica. Nele apresentamos, uma introduo a Teoria dos
Grafos e suas aplicabilidades. Devido sua variedade de aplicaes dentro e fora da Mate-
mtica, percebemos que se fazia necessrio discutir porque essa teoria deveria fazer parte, ou
melhor, deveria ser includa no currculo da Educao Bsica.
Dentre as possveis justificativas, podemos citar o fato de: responder a problemas reais,
sendo importante para o sujeito enquanto cidado; ampliao do conhecimento, o que sem-
pre instrutivo; por contribuir no desenvolvimento do raciocnio lgico, j que cria o ambiente
ideal para a resoluo de situaes problema (atravs da coleta, organizao, sistematizao e
anlise dos dados); por j ser um contedo utilizado, principalmente no Ensino Mdio, na Ma-
temtica e em outras reas do conhecimento, e, no menos importante, por poder ser utilizada
na Anlise Combinatria e Probabilidade, contribuindo nesses tpicos para a resoluo de pro-
blemas sem uso de frmulas, alm de ser uma tcnica a mais para resoluo de problemas.
Acreditamos que a Teoria dos Grafos, no s ser relevante nesta modalidade de ensino,
como tambm, trar contribuies significativas no estudo dos contedos outrora mencionados
e classificados como difceis de serem trabalhados e/ou aprendidos. Desta forma, esperamos
que tal teoria seja includa no currculo da Educao Bsica, de modo que sejam ofertas noes
bsicas no Ensino Fundamental, com posterior prosseguimento e aprofundamento de estudos
no Ensino Mdio.
Procuramos dar um tratamento ao tema de forma que pudesse ser acessvel tanto aos pro-
fessores de Matemtica que nunca tiveram contato com esta teoria, como a todos aqueles que
se interessarem por esta temtica, em especial os alunos secundaristas, sendo que para estes

58
traamos como objetivo lev-los a utilizar os grafos como uma ferramenta para a resoluo de
problemas (sem o uso de frmulas, sempre que possvel, principalmente quando nos proble-
mas de contagem).
No futuro, pretendemos desenvolver um trabalho, no ano de 2016, nas turmas de terceiro
ano do Ensino Mdio, do Colgio Estadual Professora Celita Franca da Silva, em Feira de
Santana-BA e nas Turmas do Eixo VII, do Colgio Ana da Costa Falco, em So Gonalo dos
Campos-BA. Em uma das turmas, tanto de terceiro ano quanto do Eixo VII, antes de introduzir
os assuntos Anlise Combinatria e Probabilidade, ser explanado aos discentes noes bsicas
da Teoria dos Grafos, dando maior nfase aos contedos de rvores, Planaridade e Colorao
de Mapas. J as outras turmas tero contato com o contedo tradicional de Probabilidade e
Anlise Combinatria e faro as mesmas atividades e avaliaes propostas as turmas associa-
das a Teoria dos Grafos. Ao final de cada unidade o desempenho das turmas ser analisado e
tero seus resultados comparados. Espera-se, que as turmas que tiveram contato com os grafos
obtenham melhores resultados, quando na resoluo de problemas de natureza combinatria
ou probabilstica.
A fim de continuar busca por uma melhoria no ensino de Matemtica, propomos a quem
interessar, que s ideias aqui discutidas sejam ampliadas.

59
Referncias Bibliogrficas

[1] BACHX, A. C.; POPPE, L. M. B.; TAVARES, R. N. O. Preldio Anlise Combinatria.

So Paulo: Nacional, 1975.

[2] BONDY, J. A.; MURTHY, U. S. R. Graph Theory: graduate texts in mathematics. Springer-
Verlag, 2008.

[3] BRAICOVICH, T. Algunos Conceptos de Grafos em la Ensenanza. In: VI CON-

GRESSO INTERNACIONAL DE ENSINO DE MATEMTICA, 2013, Canoas. Disponvel
em: http://www.conferencias.ulbra.br. Acesso em janeiro de 2015.

[4] BRASIL. Ministrio da Educao. Parmetros Curriculares Nacionais: Ensino Fundamen-

tal. Braslia, DF: Ministrio da Educao, 1997.

[5] BRASIL. Ministrio da Educao. Parmetros Curriculares Nacionais: Ensino Mdio.

Braslia, DF: Ministrio da Educao, 2000.

[6] BRASIL. Ministrio da Educao. Orientaes Curriculares para o Ensino Mdio: Cin-
cias da Natureza, Matemtica e suas Tecnologias. Braslia, DF: Ministrio da Educao,
2006.

[7] BRIA, J. Conhea Grafos: interdisciplinaridade e contextualizao. In: V I I I EN-

CONTRO NACIONAL DE EDUCAO MATEMTICA, 2004, Recife. Disponvel em:
http://www.sbembrasil.org.br. Acesso em janeiro de 2015.

[8] BRIGO, E. Z. et al. A Matemtica na Escola: novos contedos, novas abordagens. Porto
Alegre: UFRGS, 2012.

[9] CARDOSO, D. M. Teoria dos Grafos e Aplicaes. 2004-2005. Dissertao (Mestrado em

Matemtica) - Universidade de Aveiro.

60
[10] CARVALHO, P. C. P. Mtodos de Contagem e Probabilidade. Rio de Janeiro: IMPA, 2010.

[11] FERREIRA, G. P. A Viabilidade do Ensino de Matemtica Discreta no Ensino Mdio

Usando Modelagem. 2009. Dissertao (Mestrado em Ensino de Cincias na Educao
Bsica) - Universidade do Grande Rio.

[12] GOLDBARG, M.; GOLDBARG, E. Grafos: Conceitos, Algoritmos e Aplicaes. Rio de

Janeiro: Elsevier, 2012.

[13] HARRIS, J. M.; HIRST, J. L.; MOSSINGHOFF, M. J. Combinatorics and Graph Theory:
under-graduate texts in mathematics. 2008.

[14] JURKIEWICZ, S. Grafos - Uma Introduo. Rio de Janeiro: OBMEP, 2009a.

[15] JURKIEWICZ, S.; MUNIZ, I. Jr. Qual o Menor Caminho: Conceitos, Aplicaes e Experi-
ncias no Ensino Mdio com Teoria dos Grafos e Algoritmos. In: XXXIX SBPO, Fortaleza,
agosto, 2007. Disponvel em: http://www.din.uem.br. Acesso em janeiro de 2015.

[16] JURKIEWICZ, S.; NETTO, P. O. B. Grafos: Introduo e Prtica. So Paulo: Blucher, 2009b.

[17] LIPSCHUTZ, S.; LIPSON, M. L. Teoria e Problemas em Matemtica Discreta. Traduo:

Heloisa Bauzer Medeiros. 2. ed. Porto Alegre: Bookman, 2004. (Coleo Schaum).

[18] LUCCHESI, C. L. Introduo Teoria dos Grafos. Rio de Janeiro: IMPA, 1979.

[19] MALTA, G. H. S. Grafos no Ensino Mdio: uma insero possvel. 2008. Dissertao (Mes-
trado Profissional em Ensino de Matemtica) - Universidade Federal do Rio Grande do
Sul.

[20] MORGADO, A. C. et al Anlise Combinatria e Probabilidade. 9. ed. Rio de Janeiro:

SBM, 2006.

[21] NETO, A. C. M. Tpicos de Matemtica Elementar: Combinatria. Rio de Janeiro: SBM,

2012.

[22] NETTO, P. O. B. Teoria e Modelos de Grafos. So Paulo: Edgard Blucher, 1979.

[23] NETTO, P. O. B. Grafos: Teoria, Modelos, Algoritmos. So Paulo: Edgard Blucher, 1996.

61
[24] ROSEN, K. H. Matemtica Discreta e suas Aplicaes. Traduo: Joo Giudice. So Paulo:
McGraw-Hill, 2009.

[25] SCHEINERMAN, E. R. Matemtica Discreta: Uma Introduo. Traduo: Alfredo Alves

de Farias. So Paulo: Pioneira Thomson Learning, 2003.

[26] WILSON, R. J. Introduction to Graph Theory. 4. ed. Harlow: Longman, 1996.

62