Polyanna Possani Da Costa

Universidade Estadual Paulista Jlio de Mesquita Filho
Instituto de Geocincias e Cincias Exatas

Cmpus de Rio Claro
Teoria de Grafos e suas Aplicaes
Polyanna Possani da Costa
Dissertao apresentada ao Programa de Ps-
Graduao Mestrado Prossional em Mate-
mtica Universitria, como requisito parcial
para a obteno do grau de Mestre
Orientador
Prof. Dr. Thiago de Melo
2011
511.5
C838t
Costa, Polyanna Possani da
Teoria de Grafos e suas Aplicaes/ Polyanna Possani da Costa-
Rio Claro: [s.n.], 2011.
77 f. : il., gs.,tabs.
Dissertao (mestrado) - Universidade Estadual Paulista, Instituto
de Geocincias e Cincias Exatas.
Orientador: Thiago de Melo
1. grafo planar. 2. grafo Euleriano. 3. grafo Hamiltoniano. 4.
rvore. 5. colorao. I. Ttulo
Ficha Catalogrca elaborada pela STATI - Biblioteca da UNESP
Cmpus de Rio Claro/SP
TERMO DE APROVAO
Polyanna Possani da Costa
Teoria de Grafos e suas Aplicaes
Dissertao aprovada como requisito parcial para a obteno do grau de
Mestre no Curso de Ps-Graduao Mestrado Prossional em Matemtica
Universitria do Instituto de Geocincias e Cincias Exatas da Universidade
Estadual Paulista Jlio de Mesquita Filho, pela seguinte banca examina-
dora:
Prof. Dr. Thiago de Melo
Orientador
Prof. Dr. Elris Cristina Rizziolli
Departamento de Matemtica - UNESP/Rio Claro - SP
Prof. Dr. Luiz Roberto Hartmann Junior
Departamento de Matemtica - UFSCar/So Carlos - SP
Rio Claro, 01 de Dezembro de 2011
Aos meus amados pais Maria Luiza e Milton
minha irm Katia
e ao meu noivo Tiago
Agradecimentos
Primeiramente agradeo a Deus e Nossa Senhora, por terem me dado foras
para me dedicar em meus estudos e sabedoria para poder desenvolver e concluir este
trabalho.
Agradeo imensamente aos meus queridos e amados pais e minha irm, que no
mediram esforos para me manter aqui, pelas palavras de apoio quando eu acreditava
ser impossvel, pelo carinho, amor e por acreditarem em mim.
Ao meu noivo, que mesmo de longe esteve sempre presente me incentivando e apoi-
ando, pelo seu companheirismo e amor.
minha famlia, por todo o apoio dispensado.
Ao meu orientador, professor Dr. Thiago de Melo, meu sincero agradecimento pela
disponibilidade de tempo e pacincia com que me orientou, um professor com quem
aprendi muito e que admiro pela sua dedicao.
Aos docentes da Matemtica Universitria, por contribuir em minha formao.
Aos funcionrios do Departamento de Matemtica do IGCE, pelo acompanhamento,
conversas de apoio e at mesmo amizades.
Aos professores do Departamento de Matemtica da UNEMAT - Sinop, que me
acompanharam durante a minha graduao, pelos ensinamentos e incentivos para a
continuao da minha caminhada acadmica.
Aos grandes amigos que z em Rio Claro, pessoas que se tornaram especiais e que
foram minha famlia durante todo esse perodo. Amigos que levarei para o resto da
minha vida.
A todos que direta ou indiretamente contriburam para a elaborao deste trabalho
e a realizao deste sonho.
Resumo
Neste trabalho estudamos a Teoria de Grafos e a aplicamos na soluo de alguns pro-
blemas clssicos, como por exemplo O Problema das Pontes de Knigsberg, O Problema
do Caixeiro Viajante, Classicao dos Poliedros Regulares e Colorao de Mapas. As
ferramentas bsicas foram Topologia Geral e lgebra.
Palavras-chave: grafo planar, grafo Euleriano, grafo Hamiltoniano, rvore, colorao.
Abstract
In this work we study Graph Theory and we apply it in the solution of some classi-
cal problems, for example Knigsberg Bridges Problem, Travelling Salesman Problem,
Classication of Regular Polyhedra and Map Coloring. The prerequisites are General
Topology and Algebra.
Keywords: planar graph, Eulerian graph, Hamiltonian graph, tree, coloring.
Lista de Figuras
1.1 Exemplos de grafo simples e grafo. . . . . . . . . . . . . . . . . . . . . 18
1.2 Exemplo de grafo completo com 4 vrtices e sua subdiviso. . . . . . . 19
1.3 Grafo para exemplicar isomorsmo entre grafos. . . . . . . . . . . . . 19
1.4 Grafo do Problema das Casas. . . . . . . . . . . . . . . . . . . . . . . . 21
1.5 Exemplo de grafo no planar. . . . . . . . . . . . . . . . . . . . . . . . 22
2.1 Exemplos de percurso, trilha, caminho, circuito e ciclo. . . . . . . . . . 24
2.2 Grafo das Pontes de Knigsberg. . . . . . . . . . . . . . . . . . . . . . 24
2.3 Grafo Euleriano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.4 Dodecaedro e seu grafo associado. . . . . . . . . . . . . . . . . . . . . . 27
2.5 Exemplos de rvore e oresta . . . . . . . . . . . . . . . . . . . . . . . 30
2.6 Grafo conexo e duas possveis rvores geradoras. . . . . . . . . . . . . . 32
2.7 Exemplo de um grafo peso. . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.8 Aplicao do algoritmo greedy para a construo da rvore geradora
com peso total mnimo. . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.9 Grafos do Exemplo 2.28. . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.10 Exemplo de um grafo com sua rvore geradora e seus limitantes inferiores. 36
2.11 Exemplo de um grafo com suas rvores geradoras e seus possveis limi-
tantes inferiores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.12 Exemplo de um grafo e seus possveis ciclos Hamiltonianos de menor peso. 37
3.1 Exemplo de grafo bipartido. . . . . . . . . . . . . . . . . . . . . . . . . 39
3.2 Grafo bipartido com X = Y = 3. . . . . . . . . . . . . . . . . . . . . . 40
3.3 Grafo regular de grau 4. . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4 Exemplo do dual de um grafo. . . . . . . . . . . . . . . . . . . . . . . . 44
3.5 Grafos e seus duais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.6 Exemplo de grafo regular com dual no regular. . . . . . . . . . . . . . 46
3.7 Grafos Completamente Regulares. . . . . . . . . . . . . . . . . . . . . . 48
3.8 Projeo Estereogrca. . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.9 Poliedros Regulares. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.1 Exemplo de um grafo com uma 4-colorao e uma 6-colorao. . . . . . 52
4.2 Exemplo de grafo 3-cromtico. . . . . . . . . . . . . . . . . . . . . . . . 52
4.3 Grafos ciclos C
4
e C
5
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.4 Exemplo de um grafo com coloraes prprias diferentes. . . . . . . . . 54
4.5 Exemplo da cadeia de Kempe de um grafo. . . . . . . . . . . . . . . . . 55
4.6 Grafo do Teorema 4.8. . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.7 Grafo bipartido com X = 2 e Y = 4. . . . . . . . . . . . . . . . . . . . 58
4.8 Grafos com nmeros clique 5 e 4, respectivamente. . . . . . . . . . . . . 59
4.9 Exemplo de grafo 5-colorvel. . . . . . . . . . . . . . . . . . . . . . . . . 60
A.1 Grafo G gerado com o Maple. . . . . . . . . . . . . . . . . . . . . . . . 72
Sumrio
Introduo 14
1 Conceitos Introdutrios 17
1.1 O que um grafo? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2 O Problema das Casas . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2 Trilhas e Caminhos 23
2.1 Grafo Euleriano e o Problema das Pontes de Knigsberg . . . . . . . . 24
2.2 Grafo Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 rvores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4 O Problema do Caixeiro Viajante . . . . . . . . . . . . . . . . . . . . . 34
3 Grafos Planares e Poliedros Regulares 39
3.1 Frmula de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.2 Grafos Planares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3 Grafo Dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4 Grafos Completamente Regulares . . . . . . . . . . . . . . . . . . . . . 45
3.5 Poliedros Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4 Colorindo Grafos 51
4.1 Algumas Limitaes do Nmero Cromtico . . . . . . . . . . . . . . . . 53
4.2 Teorema das Cinco Cores . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Consideraes Finais 60
Referncias 63
A Um Algoritmo para Colorir Grafos 65
B Tabela de Smbolos 75
Introduo
O objetivo deste trabalho a elaborao de um texto introdutrio sobre a Teoria
de Grafos, de modo que possa ser utilizado em um estgio de iniciao cientca para
alunos de graduao em Matemtica ou reas ans. Assim sendo, os assuntos estudados
esto expostos de uma maneira simples e detalhada. Procuramos tambm formalizar
as ideias (s vezes intuitivas) encontradas na maioria dos livros introdutrios, como
por exemplo [1].
De acordo com [1] e [2], diferente de muitos dos ramos da Matemtica que foram mo-
tivados por problemas envolvendo clculos, movimento, entre outros, o desenvolvimento
da Teoria de Grafos se deu atravs de problemas envolvendo jogos e quebra-cabeas,
o que do ponto de vista matemtico parecia insignicante, mas apesar da aparente
trivialidade, cada vez mais chamava a ateno de matemticos pelos seus resultados
tericos de uma surpreendente variedade e profundidade.
Em 1736, o matemtico suo Leonhard Euler (1707-1783) escreveu o primeiro artigo
relacionado a grafos, de considervel importncia no s para esta teoria como tambm
para a Matemtica como um todo. Euler iniciou seus estudos em grafos discutindo um
enigma, hoje conhecido como O Problema das Pontes de Knigsberg, o qual ele resolveu
e determinou um mtodo geral para problemas do mesmo tipo.
Um problema tambm muito famoso na Teoria de Grafos O Problema das Quatro
Cores. Tal problema surgiu por volta de 1852 e durante mais de cem anos muitos
mtodos para abord-lo foram desenvolvidos, mas foi apenas em 1976 que se chegou
sua soluo. Porm isto s foi possvel por meio de clculos realizados com o auxlio
de computadores e com isso, apesar de hoje em dia a demonstrao ter sido aceita, este
ainda um problema polmico entre os matemticos, j que uma vericao mo se
torna praticamente impossvel.
Desenvolvimentos recentes na Matemtica, particularmente nas suas aplicaes,
deram grande importncia a tal teoria. J no sculo XIX, grafos foram usados em
circuitos eltricos e diagramas moleculares. Hoje em dia, alm dos grafos aparecerem
em campos como a Economia e Biologia, existem tpicos na matemtica pura que
os utilizam como ferramenta. A Teoria de Grafos classicada como um ramo da
Topologia, mas est fortemente ligada lgebra e Teoria de Matrizes.
Este trabalho est dividido da seguinte forma:
No captulo 1 apresentamos os principais conceitos para o estudo da Teoria dos
15
16
Grafos, como por exemplo, grafos simples, graus mximo e mnimo, isomorsmo entre
grafos, entre outros.
No captulo 2, com o objetivo de estudar alguns grafos especiais, apresentamos
teoremas que garantem condies sucientes para a existncia destes grafos. Tais re-
sultados so utilizados principalmente para a resoluo do Problema das Pontes de
Knigsberg e do Problema do Caixeiro Viajante.
O captulo 3 consta de denies e resultados que serviro para um estudo mais
aprofundado de grafos planares. Com o auxlio da Frmula de Euler encontramos
condies para um grafo ser planar. Utilizando tais conceitos, estudamos ainda grafos
duais e grafos completamente regulares e a partir destes, provamos a existncia de
exatamente cinco poliedros regulares.
No captulo 4, fazemos um breve estudo sobre a colorao de grafos, em especial,
sobre o nmero cromtico que diz respeito a uma colorao mnima de um grafo.
Finalizamos este captulo com o Teorema das Cinco Cores, que garante que cinco
cores so sucientes para colorir um grafo planar. Este teorema foi obtido durante as
tentativas de se resolver o Problema das Quatro Cores.
Finalmente, no Apndice A, apresentamos um programa desenvolvido no Maple
para a construo de um grafo k-colorvel.
1 Conceitos Introdutrios
Neste captulo formalizamos conceitos bsicos de grafos e suas principais caracte-
rsticas, atravs de algumas denies e resultados. Tais conceitos sero importantes
para nossos estudos nos captulos seguintes.
Ressaltamos que neste trabalho estudamos grafos nitos e escrevemos apenas grafos.
1.1 O que um grafo?
Denio 1.1. Um grafo (nito) G formado por um par (V (G), A(G)) onde V (G)
um conjunto nito no vazio e A(G) uma famlia de pares no ordenados de elementos,
no necessariamente distintos, de V (G). Uma famlia uma coleo de elementos, os
quais podem ser repetidos.
Denio 1.2. Um grafo simples G formado por um par (V (G), A(G)) onde V (G)
um conjunto no vazio e A(G) um conjunto de pares distintos no ordenados de
elementos distintos de V (G).
Denies Preliminares. A seguir apresentamos algumas denies bsicas sobre
grafos, a saber, aresta mltipla, lao, grau, entre outros. Tais denies podem ser
melhor compreendidas utilizando os grafos da Figura 1.1.
Os elementos de V (G) so chamamos vrtices e os elementos de A(G), arestas.
Quando no houver risco de confuso, denotamos V (G) e A(G) apenas por V e A.
Uma aresta {a, b} A(G) ser denotada simplesmente por ab, alm disso, dizemos
que a aresta ab contm os vrtices a e b, ou que a e b pertencem aresta ab. G ab
representa o grafo G menos a aresta ab e G v o grafo G menos o vrtice v e toda
aresta que contm v.
Duas arestas ab, cd A em um grafo G so adjacentes se possuem um vrtice
em comum, isto , a = c ou d, ou b = c ou d. Dizemos que uma aresta que ocorre
mais de uma vez na famlia A uma aresta mltipla e o nmero de ocorrncia sua
multiplicidade. Uma aresta um lao se para v V, vv A (observe que arestas
mltiplas e laos, no podem ocorrer em grafos simples). O grau de um vrtice v
17
o nmero de arestas que contm v, denotado por g(v). Assim, um vrtice mpar
(respectivamente par) um vrtice com grau mpar (respectivamente par).
O grau mximo de um grafo G, denotado por (G), denido por:
(G) = max{g(v)|v V (G)}.
O grau mnimo, denotado por (G), denido por:
(G) = min{g(v)|v V (G)}.
A vizinhana de um vrtice v o conjunto dos vrtices adjacentes a v, denotada
por V(v):
V(v) = {w V |vw A}.
A ordem de um grafo G a cardinalidade do conjunto V , denotada por |V |, e a
dimenso de G a cardinalidade do conjunto A, denotada por |A|.
Quando trabalhamos com grafos muito til represent-los gracamente por diagra-
mas, onde os vrtices so pontos e as arestas so segmentos (ou curvas) determinados
por somente dois desses pontos, ou seja, no contendo outros vrtices.
Como exemplo, considere um grafo G com V = {a, b, c, d} e tomemos A de duas
maneiras, a saber A = {ab, ac, ad, bc, bd, cd} e A = {ad, ad, db, dc, cc}. No primeiro
caso temos A formado por pares distintos de elementos distintos de V , o que resulta G
um grafo simples (Figura 1.1(a)), no outro caso A constitudo por pares (nem todos
distintos) de elementos (nem todos distintos) de V , donde obtemos que G apenas um
grafo (Figura 1.1(b)).
Figura 1.1: (a) Grafo Simples; (b) Grafo.
Sejam dois grafos G = (V (G), A(G)) e H = (V (H), A(H)). Dizemos que H um
subgrafo de G se V (H) V (G) e A(H) A(G). A reunio J = GH um grafo com
o conjunto de vrtices V (J) = V (G)V (H) e a famlia de arestas A(J) = A(G)A(H).
Um grafo G que no possui arestas, isto , A(G) = , dito nulo e seus vrtices
so isolados. Denotamos um grafo nulo com n vrtices por N
n
.
Dizemos que um grafo G completo se, para quaisquer a, b V , temos ab A.
Um grafo completo com n vrtices denotado por K
n
. Por exemplo, o grafo da Figura
1.1(a) um grafo K
4
.
O que um grafo? 19
Em um grafo G, uma subdiviso de uma aresta uv a substituio da aresta uv
por uma sequncia de novas arestas cujos vrtices pertencem uv, incluindo u e v.
Dizemos que um grafo H uma subdiviso de G se H pode ser obtido de G por uma
sequncia nita de subdivises (veja a Figura 1.2).
Figura 1.2: Exemplo de grafo completo com 4 vrtices e sua subdiviso.
Denio 1.3. Dois grafos so homeomorfos se ambos podem ser obtidos de um
mesmo grafo por uma sequncia nita de subdivises. Em particular, qualquer subdi-
viso de G homeomorfo a G.
Denio 1.4. Sejam dois grafos G = (V (G), A(G)) e H = (V (H), A(H)). Dizemos
que G e H so isomorfos se existir uma bijeo : V (G) V (H) tal que ab A(G)
(a)(b) A(H).
Agora, observemos o grafo H da Figura 1.3, e o grafo G da Figura 1.1(a). Temos que
V (G) = {a, b, c, d} e V (H) = {x, y, z, w} e denimos uma bijeo : V (G) V (H)
dada por (a) = x, (b) = y, (c) = z e (d) = w, de modo que ab A(G)
(a)(b) A(H), bc A(G) (b)(c) A(H), e da mesma maneira para as outras
arestas. Logo G isomorfo a H.
Figura 1.3: Grafo H.
Observe ainda que se somarmos os graus dos quatro vrtices do grafo H, teremos
como resultado o dobro do nmero de arestas. Este resultado vlido para um grafo
qualquer, como veremos no seguinte Lema.
Lema 1.5. Seja G um grafo com V = {a
1
, . . . , a
n
}, cujos graus so dados por g(a
1
), . . . ,
g(a
n
). O nmero m de arestas em G dado por:
m =
1
2
{g(a
1
) + + g(a
n
)}.
Em particular, a soma dos graus de G um nmero par.
Demonstrao. De fato, cada vrtice a
i
fornece g(a
i
) arestas e como cada aresta contm
exatamente dois vrtices, devemos dividir a soma dos graus por dois.
Como consequncia deste Lema, temos:
Teorema 1.6. Todo grafo G tem um nmero par de vrtices mpares.
Demonstrao. Suponha que G tenha um nmero mpar de vrtices mpares, de modo
que os graus sejam 2k
1
+ 1, 2k
2
+ 1, . . . , 2k
2n+1
+ 1, k
i
, n N. Fazendo a soma dos
graus,
(2k
1
+1) + +(2k
2n+1
+1) =
2n+1
i=1
(2k
i
+1) =
2n+1
i=1
(2k
i
) +2n+1 = 2
_
n +
2n+1
i=1
k
i
_
+1,
um nmero mpar. Mas, pelo Lema anterior, temos que a soma dos graus de um grafo
um nmero par. Logo G deve ter um nmero par de vrtices mpares.
Um grafo G cujos vrtices so todos de mesmo grau r chamado regular de grau r
ou r-regular. Assim, temos que o seu nmero de arestas m =
1
2
nr, onde n o nmero
de vrtices. Ao observarmos um grafo completo K
n
, vemos que K
n
regular de grau
n 1. O grafo da Figura 1.1(a), como j vimos um grafo K
4
, mas tambm um
grafo 3-regular.
1.2 O Problema das Casas
Denio 1.7. Dizemos que um grafo G planar se possui uma representao grca
(ver pgina 18) na qual quaisquer duas arestas se interceptam (possivelmente) apenas
em vrtices. Neste caso, temos uma representao planar.
Observe que o grafo H (Figura 1.3) isomorfo ao grafo G (Figura 1.1(a)) um grafo
planar, porm nem sempre possvel obter tal isomorsmo, como veremos no seguinte
problema.
Problema: Havendo trs casas e as redes de gua, esgoto e eltrica, possvel fornecer
os trs servios para as trs casas sem que as redes se cruzem?
Na Figura 1.4, os vrtices a, b, c representam as casas e os vrtices x, y, z, os servios.
Ser possvel obtermos um grafo isomorfo a F tal que suas arestas, duas a duas, no
se interceptam, isto , um grafo planar? Para a soluo deste problema, precisamos do
Teorema da Curva de Jordan. Para mais detalhes, sugerimos [3, pg. 474] ou [4, Cap.2,
5] para resultados mais gerais.
O Problema das Casas 21
Figura 1.4: Grafo F.
Teorema da Curva de Jordan ([3, pg. 474]): Seja : [0, 1] R
2
uma curva
plana, regular, simples e fechada. R
2
([0, 1]) resulta em exatamente duas compo-
nentes conexas e ([0, 1]) a fronteira comum destas componentes.
Corolrio 1.8. Se quaisquer dois pontos p, q em uma curva , como acima, so ligados
por uma curva contnua pq cujos os nicos pontos em comum com so seus extremos,
ento a curva pq est inteiramente contida (exceto os extremos, claro) na regio interna
de ou na regio externa de .
Demonstrao. De fato, seja uma curva f : [0, 1] R
2
contnua tal que f(0) = p
, f(1) = q e f(t) / , para todo t (0, 1).
Suponha que a curva no est inteiramente contida na regio interna de nem na
regio externa de . Ento existem t
0
, t
1
(0, 1) tais que f(t
0
) = r pertence regio
interna de e f(t
1
) = s externa de (podemos supor t
0
< t
1
).
Considere a curva f : [t
0
, t
1
] R
2
restrio de f ao intervalo [t
0
, t
1
], pelo Teorema
da Curva de Jordan, existe t
2
(t
0
, t
1
) tal que f(t
2
) = v , contradizendo a hiptese.
Da segue o resultado
Corolrio 1.9. Se considerarmos pontos quaisquer na curva , como acima, na se-
guinte ordem puqv tal que a curva contnua pq no intercepte a curva contnua uv,
ento uma das curvas est inteiramente contida na regio interna de , enquanto a
outra inteiramente contido na regio externa de .
Demonstrao. De fato, pelo Corolrio 1.8, cada uma das curvas pq e uv deve estar
inteiramente contida na regio interna ou externa de . Suponhamos pq e uv ambas
na regio interna de . Consideremos agora uma nova curva fechada D = pqv, obtida
compondo pq, qv, vp, onde qv e vp esto contidas em e a regio interna de D est
contida na regio interna de , como mostra a Figura 1.5(a). Pelo Teorema da Curva
de Jordan, uv intercepta a curva D em algum ponto x = v, contrariando a hiptese.
Logo, se pq pertence regio interna de ento uv pertence regio externa de
.
Voltando ao problema, primeiramente vamos construir uma curva C. Sejam o
conjunto das casas e o de servios, K = {a, b, c} e S = {x, y, z}, respectivamente, e
ainda, como no necessrio um percurso entre as casas, sem perda de generalidade,
podemos construir a curva C com a sequncia azcybxa. Assim, se construirmos as
curvas restantes ay, bz e cx sem intersees, nosso problema estar resolvido. Pelo
Corolrio 1.8, temos que cada uma das curvas restantes est inteiramente contida na
regio interna ou externa de C. Como so trs curvas para duas regies, duas delas
estaro na mesma regio e, pelo Corolrio 1.9, se interceptam. Logo no possvel
obter uma soluo para este problema. Em outras palavras, obter um grafo planar
isomorfo ao grafo F. Veja a Figura 1.5(b).
Figura 1.5: (a) Figura do Corolrio 1.9; (b) Grafo no planar.
2 Trilhas e Caminhos
Neste captulo, entre outros conceitos, estudamos principalmente os grafos de Euler
e de Hamilton e apresentamos tambm alguns problemas envolvendo esses grafos. Para
tanto, denimos a seguir um percurso.
Denio 2.1. Um percurso v
1
v
2
. . . v
n
em um grafo G uma sequncia de vrtices
(no necessariamente distintos) v
1
, v
2
, . . . , v
n
tal que v
i
v
i+1
A(G), para 1 i n1.
Dizemos que este um percurso v
1
v
n
, e que v
1
e v
n
so, respectivamente, os pontos
inicial e nal do percurso. O comprimento de um percurso o nmero de arestas do
percurso (considerando repeties).
Para nossos estudos, precisamos de alguns tipos particulares de percurso, denidos
abaixo.
Denio 2.2. Dizemos que um percurso em um grafo G, tal que v
i
v
i+1
= v
j
v
j+1
,
1 i, j n 1, uma trilha em G e um percurso tal que v
i
= v
j
, exceto possivelmente
v
1
= v
n
, um caminho em G.
Assim podemos dizer que em uma trilha as arestas no se repetem e que em um
caminho os vrtices so todos distintos, exceto o ponto inicial que pode ser igual ao
ponto nal. Um caminho com v
1
= v
n
chamado ciclo, e uma trilha com v
1
= v
n

chamado circuito (ou trilha cclica).
Se alguma aresta possuir multiplicidade maior que 1, isto nos permitir ter duas
arestas com os mesmos vrtices, porm distintas.
Para ilustrar os conceitos denidos acima, optamos por representar na Figura 2.1
cada um destes objetos: (a) ebfbc um percurso, (b) afdefb uma trilha, (c) acbfe
um caminho, (d) afdefbca um circuito, (e) fbcadef um ciclo.
Denio 2.3. Um grafo G conexo se G = G
1
G
2
, G
1
, G
2
grafos, G
1
G
2
=
implicar G
1
= ou G
2
= . Sejam G um grafo e v V , o maior subgrafo conexo de
G que contm v a componente conexa de G contendo v, ou simplesmente componente
de G.
23
Figura 2.1: Exemplos de percurso, trilha, caminho, circuito e ciclo.
2.1 Grafo Euleriano e o Problema das Pontes de K-
nigsberg
De acordo com [1], Leonard Euler (1707-1783), que considerado o primeiro mate-
mtico a escrever um documento sobre a teoria dos grafos, iniciou seus estudos, sobre
tal teoria, estudando e tentando resolver um problema conhecido como Problema das
Pontes de Knigsberg. A cidade de Knigsberg (atual Caliningrado), na regio da
Prssia, estava localizada nas margens e em duas ilhas do rio Preguel, as quais eram
ligadas por sete pontes. A discusso entre os moradores da cidade era a seguinte:
possvel sair de casa, atravessar cada ponte apenas uma vez e retornar casa?
O diagrama que representa este problema como na Figura 2.2, onde os vrtices
a, b, c, d so as margens e as ilhas, e as arestas correspondem as pontes.
Figura 2.2: Grafo das Pontes de Knigsberg.
Observando este diagrama, notamos que para este problema ter uma soluo pre-
ciso traar uma trilha fechada contendo todas as arestas, ou seja, um circuito contendo
todas as arestas.
Desta forma, Euler iniciou seus estudos com o problema: Em que grafo possvel
encontrar um circuito contendo todas as suas arestas? Da, vem as denies:
Denio 2.4. Uma trilha que contm todas as aresta de um grafo G chamada
Trilha Euleriana. Da mesma forma, um circuito que contm todas as arestas de G
dito Circuito Euleriano. Se G contm um circuito Euleriano dizemos que G um grafo
Euleriano.
Grafo Euleriano e o Problema das Pontes de Knigsberg 25
Figura 2.3: Grafo Euleriano.
Agora, para resolver o Problema das Pontes de Knigsberg apresentamos alguns
resultados.
Lema 2.5. Se G um grafo cujo grau de cada vrtice pelo menos 2, ento G contm
um ciclo.
Demonstrao. Caso G tenha algum lao ou aresta mltipla, o resultado imediato.
Suponhamos ento que G seja um grafo simples. Dado v V , construiremos um
ciclo atravs de um processo recursivo, escolhemos v
1
um vrtice qualquer adjacente a v
e, para cada i > 1, escolhemos v
i+1
algum vrtice diferente de v
i1
adjacente v
i
. Temos
que a existncia de tais vrtices garantida por hiptese (pois cada vrtice pertence
a no mnimo duas arestas) e como G tem um nmero nito de vrtices, devemos em
algum momento escolher um vrtice j escolhido antes. Se v
k
o primeiro tal vrtice,
ento o percurso entre as duas ocorrncias de v
k
um ciclo, como queramos.
Observao 2.6. Para a prova do Teorema 2.7, observamos que um grafo conexo G
contendo apenas uma aresta possui todos os vrtices pares se, e somente se, esta aresta
um lao.
Teorema 2.7. Seja G um grafo conexo. G Euleriano se, e somente se, cada vrtice
de G par.
Demonstrao. (=) Suponha T um circuito Euleriano de G. Se T passa por um
vrtice qualquer v, ento T contribui com pelo menos duas arestas para o grau de v
(caso T contribusse com somente uma aresta, ento T seria uma trilha mas no um
circuito ou no seria uma trilha). Como T um circuito, cada aresta de G ocorre
exatamente uma vez em T, assim todos os vrtices de G tem as caractersticas do
vrtice v. Logo cada vrtice de G par.
(=) Suponha que cada vrtice de G seja par. Provaremos por induo no nmero
de arestas de G. Para o nmero de arestas de G igual a 1, pela Observao 2.6, existe
um circuito Euleriano.
Agora, seja G um grafo qualquer. Como G conexo, cada vrtice tem grau no
mnimo 2 (caso contrrio seria 0, isto , vrtice nulo, e ento G no seria conexo).
Assim, pelo Lema 2.5, G contm um ciclo C. Se C contm todas as arestas de G a
prova est completa. Se no, removemos de G as arestas de C para formar um novo
grafo H (possivelmente desconexo) com cada vrtice par. Como H G, H tem menos
arestas do que G e pela hiptese de induo, cada componente de H tem um circuito
Euleriano. Pela conexidade de G, cada componente de H tem no mnimo um ponto
em comum com C. Obtemos assim um circuito Euleriano em G seguindo as arestas de
C at um vrtice no isolado de H, tranando o circuito Euleriano da componente H
que contm este vrtice e continuando ao longo das arestas de C, at alcanarmos um
vrtice pertencente a outra componente de H e assim sucessivamente, at retornarmos
ao vrtice inicial.
Observao 2.8. Seja um grafo conexo que contm uma trilha Euleriana T = v
1
v
2
. . . v
n
.
Considere um vrtice v = v
1
, v
n
, isto , v = v
i
, 2 i n 1. Se i = 2 as arestas v
1
v
e vv
3
contm v; se i = n 1, as arestas v
n2
v e vv
n
contm v; caso contrrio, teremos
v
i1
v e vv
i+1
contendo v, isto , em qualquer situao T contribui com duas arestas
para o vrtice v. Logo qualquer vrtice v = v
1
, v
n
par.
Teorema 2.9. Um grafo conexo G contm uma trilha Euleriana T
ab
= av
2
. . . v
n1
b,
a = b, se, e somente se, a e b so os nicos vrtices mpares.
Demonstrao. (=) Suponha que G tenha uma trilha Euleriana T
ab
. Se v
i
= a, b,
pela Observao 2.8, v
i
par. Agora mostremos que os vrtices a e b so mpares.
Como T
ab
tem incio no vrtice a, T
ab
contribui com uma aresta para a, e se tambm
v
i
= a, 2 i n 1, ento pelo mesmo argumento, T
ab
contribuir com mais duas
arestas para a. Logo, o vrtice a sempre ter grau mpar. Analogamente, o vrtice b
mpar.
(=) Suponha que a e b sejam os nicos vrtices mpares de G. Denimos um grafo
H por V (H) = V (G) e A(H) = A(G) {ab} e assim a aresta ab aumenta em 1 o grau
dos vrtices a e b. Portanto, todos os vrtices de H tem grau par e, pelo Teorema 2.7,
H tem um circuito Euleriano U = v
0
v
1
. . . v
i
abv
j
. . . v
n
v
0
. Sem perda de generalidade,
podemos reescrever U = bv
j
. . . v
n
v
0
v
1
. . . v
i
ab.
Agora, retirando a aresta ab do circuito Euleriano U, teremos como resultado uma
trilha Euleriana T = bv
j
. . . v
n
v
0
v
1
. . . v
i
a em G, isto , T
ab
.
Teorema 2.10. Um grafo conexo G contm uma trilha Euleriana se, e somente se,
existem no mximo dois vrtices mpares.
Demonstrao. (=) Suponha que G tenha um trilha Euleriana T = v
1
v
2
. . . v
n
. Pela
observao 2.8, qualquer vrtice v = v
1
, v
n
par e portanto existem no mximo dois
vrtices mpares.
(=) Suponha G com no mximo dois vrtices mpares. Pelo Teorema 1.6, temos
que G possui um nmero par de vrtices mpares e assim nos resta mostrar apenas que,
se G possui 0 ou 2 vrtices mpares, ento G tem uma trilha Euleriana.
Se G no possui vrtice mpar, ou seja, todos os vrtices so pares, pelo Teorema
2.7, G Euleriano e assim possui uma trilha Euleriana (na verdade, um circuito, que
Grafo Hamiltoniano 27
uma trilha fechada). Por m, se G possui 2 vrtices mpares, pelo Teorema 2.9, G
tambm possui uma trilha Euleriana.
Teorema 2.11. Um grafo conexo com 2k vrtices mpares contm uma famlia de k
trilhas distintas que, juntas, contm todos os vrtices do grafo.
Demonstrao. Sejam G um grafo conexo e a
1
, . . . , a
k
e b
1
, . . . , b
k
os vrtices mpares
de G. Adicionando as k arestas a
1
b
1
, . . . , a
k
b
k
, obtemos um grafo H tal que A(H) =
A(G) {a
1
b
1
, a
2
b
2
, . . . , a
k
b
k
} (podendo algumas destas serem arestas mltiplas). Note
que as arestas a
1
b
1
, a
2
b
2
, . . . , a
k
b
k
aumentam em 1 o grau dos vrtices a
1
, . . . , a
k
e
b
1
, . . . , b
k
. Assim, H possui todos os vrtices pares e, pelo Teorema 2.7, H possui um
circuito Euleriano C = v . . . a
1
b
1
. . . a
2
b
2
. . . a
k
b
k
. . . v. Retirando as k arestas a
i
b
i
em
C, i = 1, . . . , n, obtemos as trilhas v . . . a
1
, b
1
. . . a
2
, b
2
. . . a
k
, b
k
. . . v em G. Como as
trilhas b
k
. . . v e v . . . a
1
possuem v em comum, ento estas formam uma nica trilha
b
k
. . . v . . . a
1
. Portanto G contm k trilhas distintas que, juntas, contm todos os
vrtices de G.
Resolvendo o Problema das Pontes de Knigsberg: Com os resultados que
acabamos de apresentar, podemos concluir que impossvel obtermos um circuito Eu-
leriano no grafo que representa as pontes de Knigsberg, pois vimos que um grafo
Euleriano se, e somente se, possui todos os vrtices pares. Porm, este grafo possui
todos os vrtices mpares.
Note que mesmo no exigindo que o trajeto inicie e termine no mesmo local, ainda
no temos uma soluo, pois neste caso, pelo Teorema 2.9, necessrio e suciente
exatamente dois vrtices mpares.
2.2 Grafo Hamiltoniano
Conforme [1], em 1859, o matemtico irlands William Hamilton inventou um jogo
chamado The Icosian Game, com um peculiar enigma envolvendo um dodecaedro,
em que cada um dos 20 vrtices foram nomeados com nomes de cidades importantes.
O objetivo do jogo era, utilizando as 30 arestas do dodecaedro, passar por cada uma
das cidades apenas uma vez, comeando e terminando na mesma cidade.
Figura 2.4: Dodecaedro e seu grafo associado.
Tal como no problema das pontes, buscamos a soluo por meio da construo de
um ciclo contendo todos os vrtices do grafo que modela o problema.
Denio 2.12. Um caminho que contm todos os vrtices de um grafo G dito
caminho Hamiltoniano de G. Do mesmo modo, um ciclo que contm todos os vrtices
de G, dizemos ser um ciclo Hamiltoniano. Se G contm um ciclo Hamiltoniano, dizemos
que G um grafo Hamiltoniano.
Um exemplo de grafo Hamiltoniano o grafo associado do dodecaedro (Figura 2.4).
Note que existe uma relao entre ciclos Hamiltonianos e circuitos Eulerianos, pois
o primeiro deve conter todos os vrtices e o segundo, todas as arestas. Porm, apesar
de conhecermos condies necessrias e sucientes para um grafo ser Euleriano, temos
apenas condies sucientes para ser Hamiltoniano.
Nesta linha de raciocnio, o Teorema 2.14, conhecido como Teorema de Dirac, mos-
tra que condies sobre o grau mnimo (G) so sucientes. Este Teorema sai como
consequncia do Teorema de Ore (Teorema 2.16), que tambm fornece condies su-
cientes envolvendo o grau de dois vrtices no adjacentes.
Para a demonstrao do Teorema de Dirac, faremos uso do seguinte.
Lema 2.13. Seja G um grafo de ordem n. Se (G) (n 1)/2, ento G conexo.
Demonstrao. Mostremos por induo. Se n = 1, (G) 0 = (n1)/2, e claramente
G conexo.
Suponhamos que (G) (n 1)/2 implica G conexo.
Se G tem ordem n + 1 e (G) ((n + 1) 1)/2 = n/2 > (n 1)/2, xamos
um v V (G) e tomamos H subgrafo de G com V (H) = V (G) {v} e A(H) =
A(G) {vw
i
; w
i
V(v)}.
Assim, H tem ordem n e (H) (G) > (n 1)/2 e, por hiptese de induo,
conexo.
Como G obtido de H adicionando o vrtice v e as arestas conectando v ao H,
segue que G conexo.
Teorema 2.14 (Dirac). Seja G um grafo simples de ordem n 3. Se (G) n/2,
ento G Hamiltoniano.
Demonstrao. Suponhamos que Gno seja Hamiltoniano. Seja P um caminho v
1
v
2
. . . v
p
em G com comprimento mximo, e portanto, todo vrtice adjacente de v
1
e todo vrtice
adjacente de v
p
esto em P (g(v
1
), g(v
p
) p 1) e como (G) n/2, v
1
e v
p
tm no
mnimo n/2 vizinhos em P.
Armamos que deve existir algum j, 1 j p1, tal que v
j
V(v
p
) e v
j+1
V(v
1
).
Suponhamos que este no seja o caso, ou seja, se v
j
V(v
p
) ento v
j+1
V(v
1
). Assim,
como g(v
p
) (G) n/2 ento
g(v
1
) p 1
n
2
< n
n
2
=
n
2
,
rvores 29
contrariando a hiptese de (G) n/2.
Agora, seja o ciclo C = v
1
v
2
. . . v
j
v
p
v
p1
. . . v
j+1
v
1
, com os mesmos vrtices de P
porm com v
j
v
p
, v
j+1
v
1
arestas a mais. Como G no Hamiltoniano, existe no mnimo
um vrtice w de G que no est em P. Mas, como (G) n/2 (n1)/2, pelo Lema
2.13, G conexo e portanto w deve ser adjacente a algum vrtice v
i
de P. Tomando
o caminho em G que comea em w, passa por v
i
, e continua no ciclo C obtemos um
caminho mais longo que P, o que um absurdo.
Logo no podemos ter G no Hamiltoniano, ou seja, G Hamiltoniano.
Exemplo 2.15. O grafo K
n
, n 3, Hamiltoniano. De fato, (K
n
) = n 1 n/2.
Teorema 2.16 (Ore). Seja G um grafo simples de ordem n 3. Se g(x) + g(y) n,
para todo par x, y de vrtices no adjacentes, ento G Hamiltoniano.
Demonstrao. Dado G nas condies do Teorema, suponhamos G no Hamiltoniano.
Adicione em G, se possvel, o maior nmero de arestas de modo que G continue no
Hamiltoniano, aps isto, qualquer aresta a mais tornar G Hamiltoniano. Observe que
com a adio destas arestas, ainda temos g(x) + g(y) n. Seja C = v
1
v
2
. . . v
n
um
caminho em G que contm todos os vrtices (tal caminho existe, pois com uma aresta
a mais o grafo seria Hamiltoniano fornecendo ento um ciclo Hamiltoniano). Como
G no Hamiltoniano, C no ciclo e ento os vrtices v
1
e v
n
no so adjacentes.
Portanto, g(v
1
) + g(v
n
) n e de modo anlogo ao Teorema anterior, mostramos que
existe algum vrtice v
i
adjacente v
1
tal que v
i1
adjacente v
n
.
Deste modo obtemos um ciclo v
1
v
2
. . . v
i1
v
n
v
n1
. . . v
i+1
v
i
v
1
contendo todos os vr-
tices de G, ou seja, um ciclo Hamiltoniano. Mas isso contradiz as hipteses sobre G e
portanto G deve ser Hamiltoniano.
Como observado anteriormente o Teorema 2.14 segue do Teorema 2.16, desde que
para todo par de vrtices x, y, adjacentes ou no, g(x)+g(y) (G)+(G)
n
2
+
n
2
=
n.
Aplicaremos a teoria de grafos Hamiltonianos para buscarmos uma soluo para
o Problema do Caixeiro Viajante (Ver Seo 2.4). Porm, ainda precisamos de algu-
mas outras ferramentas, como por exemplo, grafos particulares chamados de rvores,
denidos a seguir.
2.3 rvores
Um grafo conexo que no contm ciclos chamado de rvore. Um grafo que no
contm ciclos uma oresta, ou seja, uma oresta uma reunio disjunta de (uma ou
mais) rvores. Em particular, N
1
um tronco, K
2
um galho e um vrtice com grau
1 uma folha. Uma aresta ab uma ponte se o grafo Gab possui mais componentes
que G. Por exemplo, na Figura abaixo, a aresta xy uma ponte e o vrtice z uma
folha.
Figura 2.5: (a) Uma rvore; (b) Uma oresta formada por duas rvores.
Proposio 2.17. Toda aresta em uma rvore uma ponte.
Demonstrao. Sejam G uma rvore e ab A(G) uma aresta. Se G ab ainda
conexo, ento existe um percurso C = av
1
. . . v
n
b com todos os vrtices distintos (pois
caso contrrio teramos um ciclo em G), ou seja, C um caminho.
Acrescentando a aresta ab ao caminho C, temos um ciclo, ou seja, um absurdo, pois
G uma rvore. Logo Gab desconexo e portanto ab uma ponte.
Teorema 2.18. Se G uma rvore com n vrtices, ento G possui n 1 arestas.
Demonstrao. Provaremos por induo no nmero de vrtices de G. Se n = 1, qual-
quer aresta em G da forma aa, o que gera um ciclo em G. Como G uma rvore,
ento G no possui arestas (zero).
Suponhamos que o resultado seja vlido para rvores com no mximo n1 vrtices.
Sejam G uma rvore com n vrtices e ab alguma aresta de G. Como G uma rvore,
pela Proposio 2.17, G ab desconexo, com duas componentes conexas, cada uma
sendo uma rvore de grau menor que n. Sejam G
1
e G
2
estas duas componentes com
n
1
e n
2
vrtices, respectivamente, e assim n
1
+n
2
= n. Como n
1
, n
2
< n, por hiptese
de induo, G
1
tem n
1
1 arestas e G
2
tem n
2
1 arestas.
Mas, A(G) a unio disjunta A(G
1
) A(G
2
) {ab}, com cardinalidade (n
1
1) +
(n
2
1) + 1 = n
1
+ n
2
1 = n 1, o que completa a demonstrao.
Teorema 2.19. Se F uma oresta com n vrtices e k componentes conexas, ento
F contm n k arestas.
Demonstrao. Por denio, cada componente C
i
de F uma rvore com n
i
vrtices
e n
i
1 arestas. Sejam C
1
, . . . , C
k
as k componentes de F e n
1
1, n
2
1, . . . , n
k
1,
suas respectivas quantidades de arestas. Assim, n = n
1
+ n
2
+ + n
k
.
Logo A(F) = A(C
i
), com cardinalidade (n
1
1) + (n
2
1) + + (n
k
1) =
(n
1
+ n
2
+ + n
k
) k = n k, como queramos.
rvores 31
Teorema 2.20. Seja G um grafo de ordem n. G uma rvore se, e somente se, G
conexo e contm n 1 arestas.
Demonstrao. (=) Se G uma rvore de ordem n, por denio G conexo e, pelo
Teorema 2.18, contm n 1 arestas.
(=) Seja G um grafo de ordem n, conexo e com n 1 arestas. Para que G seja
uma rvore resta mostrar que G no contm ciclos. Suponhamos que G contm um
ciclo C. Como C tem comprimento nito, podemos remover o maior nmero de arestas
de modo que G continue conexo. Se ainda existirem ciclos em G, repetimos o processo
acima at obtermos um grafo conexo e sem ciclos, ou seja, uma rvore, porm com
menos de n 1 arestas, que um absurdo pelo Teorema 2.18.
Portanto G no possui ciclos.
Teorema 2.21. Seja G um grafo de ordem n. G uma rvore se, e somente se, G
no possui ciclos e contm n 1 arestas.
Demonstrao. (=) Imediato da denio de rvore e do Teorema 2.18.
(=) Seja G um grafo de ordem n, sem ciclos e com n 1 arestas. Basta mostrar
que G conexo. Sejam G
1
, G
2
, . . . , G
k
as componentes conexas de G. Como G no
possui ciclos, cada uma das componentes uma rvore e assim G uma oresta. Pelo
Teorema 2.19, G tem n k arestas, e por hiptese, n 1 arestas, logo k = 1.
Observando o conceito de rvore, podemos notar que a rvore N
1
(tronco) no
possui folhas. Para os outros tipos de rvores, temos o seguinte resultado.
Teorema 2.22. Seja T uma rvore de ordem n 2. Ento T possui no mnimo duas
folhas.
Demonstrao. Provaremos por induo na ordem de T. Se n = 2, temos que a nica
rvore com dois vrtices T = K
2
, que tem duas folhas. Suponhamos o resultado
vlido para rvores de ordem n1 > 2 e consideremos uma rvore T, de ordem n, que
pelo Teorema 2.18, possui n 1 arestas.
Se toda aresta de T contm uma folha, ento T contm no mnimo duas folhas.
Suponhamos ento que existe alguma aresta a = uv de T que no contm folhas. O
grafo T a um par de rvores T
1
e T
2
, cada uma de ordem menor que n. Vamos supor
que u V (T
1
) e v V (T
2
) com |V (T
1
)| = n
1
, |V (T
2
)| = n
2
. Como u, v no so folhas
de T, seus graus g(u) e g(v) (calculados em T
1
e T
2
) so pelo menos 1 e portanto n
1
e
n
2
so pelo menos 2. Por hiptese de induo, T
1
e T
2
possuem duas folhas no mnimo.
Mas ao considerarmos a aresta uv poderemos eliminar no mximo duas folhas de T,
uma em T
1
e outra em T
2
, de modo que T ainda contm no mnimo duas folhas.
Exemplo 2.23. Dado um grafo conexo G, vejamos qual o menor nmero de arestas
que devemos remover de modo a obtermos uma rvore.
Para isso, suponhamos que o grafo G no seja uma rvore e que tenha n vrtices
e q arestas. Consideremos uma aresta ab pertencente a algum ciclo de G. Tomamos
H = Gab, tambm conexo, e caso ainda existam ciclos, repetimos este procedimento
at obtermos uma rvore T.
Note que T tem o mesmo nmero n de vrtices de G, que pelo Teorema 2.18, possui
n 1 arestas. Logo, removemos de G exatamente = q (n 1) = q n + 1 arestas.
A rvore construda no Exemplo acima chamada rvore geradora de G. Caso
G tenha k componentes, fazendo este procedimento em cada componente, obtemos a
chamada oresta geradora de G. A Figura 2.6, ilustra o fato da no unicidade de uma
rvore geradora.
Figura 2.6: Grafo conexo e duas possveis rvores geradoras.
Observao 2.24. rvores geradoras obtidas de um mesmo grafo no so isomorfas.
Por exemplo, na Figura anterior, observe que independente da bijeo que tomarmos
entre os conjuntos de vrtices das rvores geradoras, a rvore geradora da esquerda
possui um vrtice de grau 4 (vrtice f) enquanto a outra rvore geradora no possui
nenhum vrtice com esse mesmo grau.
Denio 2.25. Um grafo com peso um grafo cujas arestas possuem valores associ-
ados cada uma delas. Se a aresta A(G), o valor associado chamado peso de ,
denotado por p(). Alm disso, denimos o peso total de G por P(G) =
A
p().
Figura 2.7: Grafo com peso.
Exemplo 2.26. Considere uma malha rodoviria interligando n cidades. Conhecendo-
se o custo de viagem para cada par de cidades vizinhas. Buscamos determinar um
roteiro que permite visitar quaisquer duas cidades de modo que, aps visitarmos todas
elas, o custo total seja mnimo.
rvores 33
Utilizamos grafo com peso para resolver esse problema, ou seja, consideramos um
grafo conexo, com n vrtices, cujas arestas e seus pesos representam as rodovias e os
custos, respectivamente.
Note que a soluo desse problema uma rvore geradora, pois caso contrrio,
teramos um ciclo gerando assim um gasto desnecessrio. A construo desta rvore
obtida atravs de um algoritmo, conhecido como greedy .
Iniciamos escolhendo uma aresta
1
, de menor peso. Repetimos esse processo sem-
pre escolhendo uma aresta, de menor peso, de modo que no sejam criados ciclos.
A veracidade do algoritmo acima mostrado no Teorema a seguir.
Teorema 2.27. Seja G um grafo conexo com n vrtices. A seguinte construo fornece
uma rvore geradora T de peso total P(T) mnimo.
1. Seja
1
uma aresta de G de menor peso;
2. Para 2 i n 1, escolhemos uma aresta
i
de menor peso (no necessaria-
mente adjacente
i1
) tal que no sejam formado ciclos.
3. Seja T o subgrafo de G com V (T) = V (G) e A(T) = {
1
, . . . ,
n1
}.
Demonstrao. Pelo Teorema 2.21, T uma rvore geradora de G por construo.
Resta mostrar que o peso total de T mnimo e para isso iremos supor que S seja
uma rvore geradora de G com peso total mnimo, isto , P(S) P(T) e mostrar que
S = T.
Se S = T, ento T tem pelo menos uma aresta que no est em S. Seja
i
= uv a
primeira aresta de T (segundo a enumerao escolhida) que no est em S e considere
P
uv
um caminho em S ligando o vrtice u ao vrtice v. Se adicionarmos a aresta
i
S, o grafo S +
i
ter um ciclo C = P
uv
+
i
. Mas T no possui ciclos e
ento C deve conter no mnimo uma aresta
i
que no est em T. Removendo a
aresta
i
obtemos a rvore S
= S +
i

i
, com os mesmos vrtices de S e com
P(S
) = P(S) + p(
i
) p(
i
). Como S tem peso mnimo, segue que p(
i
) p(
i
)
(pois caso contrrio teramos P(S
) P(S)).
Agora, como
i
a primeira aresta de T que no est em S, ento
1
,
2
, . . . ,
i1
so arestas comuns T e S, e quando adicionamos a aresta
i
ou
i
sequncia
anterior, nenhum ciclo criado (pois
i
e
i
so arestas de T e S, respectivamente).
Como
i
T, ento p(
i
) p(
i
)
1
e portanto p(
i
) = p(
i
). Assim S
tem peso
mnimo, isto , P(S
) = P(S) e uma rvore com uma aresta a mais em comum com

T, do que S. Repetimos este processo at obtermos uma rvore com custo mnimo que
coincide com T.
Para exemplicar, tomemos as cinco cidades a, b, c, d e e, como na Figura 2.8. O
primeiro passo escolhermos a aresta de menor peso do grafo. Assim, escolhemos a
1
Pois caso contrrio, o processo de construo de T exigiria que
i
fosse escolhida.
aresta ab e em seguida bd. Como no podemos escolher da pois produziria um ciclo,
ento a prxima aresta que escolhemos de. Como no podemos escolher ea nem eb,
escolhemos ento bc. Como no podemos escolher ac, ce nem cd, completamos a rvore
geradora T do grafo G, de peso mnimo, com as arestas ab, bd, de, bc. Note que o valor
do Exemplo 2.23, neste caso = 10 5 +1 = 6, ou seja, foram removidas 6 arestas
de G.
Figura 2.8: Aplicao do algoritmo greedy para a construo da rvore geradora com
peso total mnimo.
2.4 O Problema do Caixeiro Viajante
No Exemplo 2.26, da seo anterior, construmos uma rvore geradora de peso total
mnimo, de modo que quaisquer dois vrtices possam ser conectados por um caminho
de menor peso. Porm no sabemos como construir um ciclo de menor peso ou nem
mesmo um ciclo Hamiltoniano de menor peso. Nesta seo, apresentamos o famoso
Problema do Caixeiro Viajante, que aborda estas duas situaes. Mais precisamente:
Como partir de uma determinada cidade, visitar todas as outras uma nica
vez e retornar cidade de origem, de modo que o custo total desta viagem
seja o menor possvel?
Os Teoremas 2.14 e 2.16, fornecem condies sucientes para um grafo ser Hamil-
toniano, mas no nos diz como construir tal ciclo. Mais ainda, se o grafo possui peso,
no temos um processo que sempre nos fornece o ciclo Hamiltoniano de menor peso.
Uma possibilidade seria calcular todos os pesos totais para todos os possveis ciclos
Hamiltonianos, o que se torna invivel para grafos de ordem n > 5. Por exemplo, se
n = 20 existem 19!/2 6 10
16
possibilidades.
A seguir apresentaremos um procedimento que, utilizando o Exemplo 2.26, fornece
um limitante inferior para o peso mnimo de um ciclo Hamiltoniano. Observamos que
podemos supor sempre que o grafo completo, pois este o maior grafo com n vrtices.
Seja Gum grafo completo e C um ciclo Hamiltoniano em G. Ento H = Gv possui
um caminho Hamiltoniano, que deve ser uma rvore geradora de H com exatamente
O Problema do Caixeiro Viajante 35
duas folhas. Assim, o ciclo Hamiltoniano deve ser obtido a partir de uma rvore
geradora de um subgrafo H como acima, adicionando duas das possveis arestas que
contm v.
Se G possui peso, em Gv utilizamos o Exemplo 2.26 para obtermos uma rvore
geradora com peso total mnimo. Adicionamos as duas arestas e de menor peso
(no necessariamente distintos) que contm v. Agora, temos duas possibilidades:
1. Se criamos um ciclo, este o ciclo desejado;
2. Se no criamos um ciclo, obtemos um limitante inferior para o peso total do ciclo,
pois as duas arestas e que formaram este ciclo, satisfazem p() + p()
p() + p().
A seguir apresentamos dois exemplos, para os dois itens acima.
Exemplo 2.28. Consideremos os dois grafos da Figura 2.9, que diferem apenas no
peso da aresta bd, que vale 4 no grafo G
1
e 3 no grafo G
2
.
Figura 2.9: Grafos G
1
(esquerda), G
2
(direita).
Grafo G
1
. Pelo Exemplo 2.15, o grafo G
1
Hamiltoniano e portanto possvel ob-
termos o ciclo Hamiltoniano. Aplicaremos agora o procedimento descrito acima, para
sabermos quais das possibilidades ocorrem.
Removendo o vrtice a: teremos um grafo com vrtices {b, c, d, e}, cuja rvore geradora
com o peso mnimo 16 dada pelas arestas {bd, de, bc}. Como os dois menores pesos
das arestas que contm a so p(ab) = 2 e p(ad) = 4, obtemos o limitante inferior
16 + 2 + 4 = 22. Veja Figura 2.10.
Removendo o vrtice b: teremos um grafo com vrtices {a, c, d, e}, cujas rvores gera-
doras com o peso mnimo 17 so dadas pelas arestas {ad, de, ec} e {ad, de, ac}. Como
os dois menores pesos das arestas que contm b so p(ba) = 2 e p(bd) = 4, obtemos o
limitante inferior 17 + 2 + 4 = 23.
Removendo o vrtice c: teremos um grafo com vrtices {a, b, d, e}, cujas rvores gera-
doras com o peso mnimo 11 so dadas pelas arestas {ab, bd, de} e {ab, ad, de}. Como
os dois menores pesos das arestas que contm c so p(cb) = 7 e p(ca) = p(ce) = 8,
obtemos o limitante inferior 11 + 7 + 8 = 26. Veja Figura 2.11.
Figura 2.10: (a) Grafo G
1
a; (b) rvore geradora de peso mnimo; (c) Lim. inferior=
22.
Removendo o vrtice d: teremos um grafo com vrtices {a, b, c, e}, cujas rvores gera-
doras com o peso mnimo 15 so dadas pelas arestas {ab, be, bc} e {ab, ae, bc}. Como
os dois menores pesos das arestas que contm d so p(de) = 5 e p(da) = p(db) = 4,
obtemos o limitante inferior 15 + 5 + 4 = 24.
Removendo o vrtice e: teremos um grafo com vrtices {a, b, c, d}, cujas rvores gera-
doras com o peso mnimo 13 so dadas pelas arestas {ab, bd, bc} e {ab, ad, bc}. Como
os dois menores pesos das arestas que contm e so p(ed) = 5 e p(ea) = p(eb) = 6,
obtemos o limitante inferior 13 + 5 + 6 = 24.
Baseado nos cinco casos acima, temos que o melhor limitante inferior 26, obtido
removendo o vrtice c. Ainda neste caso, apenas uma rvore geradora pode ser esten-
dida para formar um ciclo Hamiltoniano, como mostrado na Figura 2.11. Para todos
os outros vrtices, nenhuma rvore geradora pode ser estendida.
Grafo G
2
. Como G
2
idntico ao G
1
, exceto o peso, G
2
Hamiltoniano. Para
obtermos seu ciclo, procedemos de maneira anloga ao grafo G
1
e obtemos os seguintes
limitantes inferiores para o peso total mnimo: 21 (removendo a), 22 (removendo b),
25 (removendo c), 22 (removendo d) e 23 (removendo e). Portanto qualquer ciclo
Hamiltoniano possuir peso total mnimo maior ou igual 25.
Agora, diferente do grafo G
1
, para qualquer vrtice removido, ao adicionarmos
as duas arestas de menor peso, no obtemos um ciclo Hamiltoniano e portanto este
procedimento no fornecer a soluo. Neste caso, devemos adicionar duas arestas que
formem um ciclo.
Por exemplo, com a rvore obtida retirando o vrtice e, no possvel obter um
ciclo pois ela possui mais de duas folhas. Testando para os outros vrtices, possvel
obter soluo com a retirada do vrtice a, do vrtice b (2 distintas) e dos vrtices c e d.
Conhecendo todos os ciclos citados acima, chegamos que existem duas solues
para o problema: os ciclos adecba (retirando b), Figura 2.12(a), e abdeca (retirando c),
Figura 2.12(b).
O Problema do Caixeiro Viajante 37
Figura 2.11: Grafo G
1
c, rvores geradoras de peso mnimo de G
1
c e seus possveis
limitantes inferiores.
Figura 2.12: Grafo G
2
e seus possveis ciclos Hamiltonianos de menor peso.
3 Grafos Planares e Poliedros
Regulares
Como j vimos no captulo 1, um grafo planar se no houver intersees entre suas
arestas, exceto nos extremos que so os vrtices. Vimos tambm, com o Problema das
Casas, que nem todo grafo pode ter uma representao planar, porm no foi dado uma
condio para que isto ocorra. Assim, neste captulo, temos como objetivo apresentar
resultados que nos garantem se um grafo planar e alm disso, fazendo relaes com
tais grafos, estudar tambm os poliedros regulares.
Primeiramente apresentamos alguns conceitos que nos serviro de ferramentas para
tal.
Denio 3.1. Um grafo G bipartido se V pode ser particionado em dois conjuntos
(no vazios) X e Y tais que toda aresta de G possui um vrtice em X e o outro em Y .
X e Y so chamados de conjunto partio.
Figura 3.1: Grafo bipartido com os conjuntos partio X = {a, c, e} e Y = {b, d, f}.
Denio 3.2. Um grafo bipartido G com os conjuntos partio X e Y chamado
grafo bipartido completo se todas as possveis conexes de vrtices de X com vrtices
de Y pertencem A, isto ,
A = {xy | x X, y Y }.
Denotamos este tipo de grafo por K
|X|,|Y |
, onde | | denota cardinalidade.
39
40 Grafos Planares e Poliedros Regulares
Figura 3.2: Grafo K
3,3
.
Por exemplo, o grafo utilizado no problema das casas da Seo 1.2, mostrado nova-
mente na Figura 3.2, um grafo bipartido completo com |X| = |Y | = 3, ou seja, K
3,3
.
Denio 3.3. Um ciclo par (respectivamente mpar) possui um nmero par (respec-
tivamente mpar) de vrtices.
Teorema 3.4. Seja G um grafo com no mnimo dois vrtices. G bipartido se, e
somente se, no contm ciclos mpares.
Demonstrao. (=) Seja G um grafo bipartido com os conjuntos partio X e Y . Se
G no possui ciclos, no temos o que provar. Seja ento C = v
1
v
2
. . . v
k
um ciclo de
G, e sem perda de generalidade, assumiremos v
1
X. Assim, da denio de grafo
bipartido, teremos v
2
Y , v
3
X, e assim sucessivamente, ou seja, v
i
X para todo
i mpar e v
i
Y para todo i par. Como v
k
adjacente ao v
1
(pois C um ciclo), k
deve ser par e ento C um ciclo par.
(=) Seja G um grafo com no mnimo dois vrtices e que no contm ciclos mpares.
Podemos supor, sem perda de generalidade, G conexo, pois caso contrrio considerara-
mos cada componente conexa separadamente. Fixemos um vrtice v em G e denimos
o conjunto X dos vrtices x de V tais que o menor caminho de x v tem comprimento
par e tomamos Y = V X.
Sejam x e x
vrtices em X. Para que G seja bipartido devemos mostrar que

quaisquer dois vrtices de X no podem ser adjacentes. Suponhamos que x e x
sejam
adjacentes. Se x = v ento o menor caminho de v x
tem comprimento um, o que

implica que x
Y , uma contradio. Assim devemos ter x = v e da mesma forma

x
= v. Sejam P
1
= v
0
v
1
. . . v
2k
o caminho de menor comprimento de v
0
v
2k
, com
v = v
0
e x = v
2k
e P
2
= w
0
w
1
. . . w
2t
o caminho de menor comprimento de w
0
w
2t
,
com v = w
0
e x
= v
2t
, de modo que P
1
e P
2
tm o vrtice v em comum.
Agora, seja v
o ltimo vrtice que P

1
e P
2
tm em comum e chamemos de P
1
o
caminho v
x e P
2
o caminho v
, tendo apenas v
em comum. Assim, temos

que P
1
e P
2
so os menores caminhos de v
x e de v
, respectivamente, e alm
disso devemos ter v
= v
i
= w
j
, para algum par (i, j). Note que i e j possuem mesma
paridade, pois se i par, o comprimento do caminho v v
par e ento v
= v
i
X
e como v
i
= w
j
, j tambm deve ser par (argumento anlogo se i mpar). Mas como
Frmula de Euler 41
x = v
2k
e x
= v
2t
so adjacentes, v
i
v
i+1
. . . v
2k
w
2t
w
2t1
. . . w
j
um ciclo de comprimento
(2k i) + (2t j) + 1, que mpar, contrariando a hiptese. Assim, quaisquer dois
vrtices em X (ou em Y ) no so adjacentes e portanto G bipartido com os conjuntos
parties X e Y .
3.1 Frmula de Euler
Em 1752, Euler demonstrou uma relao entre o nmero de arestas, vrtices e faces
de um grafo planar conexo. Essa relao conhecida como Frmula de Euler e uma
das mais conhecidas da matemtica.
Se G possui uma representao planar no plano , uma face F de G uma com-
ponente conexa de G. Se esta componente ilimitada dizemos que F uma face
innita. Note que a fronteira de uma face composta por uma unio nita de arestas
de G e que uma aresta pode estar contida na fronteira de uma ou duas faces. Diremos
que cada uma destas arestas limita F se cada uma tambm estiver na fronteira de uma
face F
= F. O nmero de arestas que limitam F chamado de grau de F, denotado

por g(F).
Frmula de Euler: Se G um grafo planar conexo com n vrtices, q arestas e f
faces, ento n q + f = 2.
Demonstrao. Provaremos por induo no nmero de arestas de G. Se q = 0, ento G
deve ser um grafo nulo, e como G conexo devemos ter n = 1 e assim f = 1. Portanto
a frmula vlida. Suponhamos o resultado vlido para todo grafo planar conexo com
q 1 arestas.
Seja G um grafo com q arestas. Caso G seja uma rvore, temos que q = n1, pois
G possui n vrtices. Como G no possui ciclos, G uma componente conexa, ou
seja, G possui uma face. Assim, n q + f = n (n 1) + 1 = 2, como queramos.
Caso G no seja uma rvore, considere C um ciclo em G e a uma aresta de C. Ento
o grafo Ga conexo, com n vrtices, q 1 arestas e f 1 faces (pois ao removermos
uma aresta de C, estamos unindo duas faces de G). Assim, aplicando a hiptese de
induo em Ga,
2 = n (q 1) + (f 1) 2 = n q + f.
3.2 Grafos Planares
Por meio da Frmula de Euler podemos obter vrios resultados para grafos planares,
bem como mostrar a existncia de grafos no planares.
Proposio 3.5. Se G um grafo planar simples com n 3 vrtices e q arestas, ento
q 3n 6. Alm disso, se a igualdade vale, ento toda face limitada por 3 arestas.
Demonstrao. Seja C =
F
g(F) a soma dos graus de todas as faces F. Como toda
aresta de G pode limitar no mximo duas faces, cada aresta deve contribuir com 2
na soma dos graus das faces e assim C 2q. Mas como cada face limitada por no
mnimo 3 arestas (pois G um grafo simples), ento C 3f. Assim,
3f 2q 3(2 + q n) 2q q 3n 6.
Se a igualdade vale, ento
q = 3n 6 q = 3(2 + q f) 6 3f = 2q
e assim 2q = C = 3f. Como g(F
i
) 3, se o grau de alguma face for estritamente
maior que 3, a soma dos graus ser maior que 3f. Portanto, toda face limitada por
3 arestas.
Proposio 3.6. Se G um grafo planar simples ento G contm um vrtice de grau
no mximo 5 e portanto (G) 5.
Demonstrao. Suponha G com n vrtices e q arestas. Como g(v) n 1, se n 6 o
resultado imediato e portanto suponhamos n > 6. Se o grau de todos vrtices de G
no mnimo 6, temos que
vV (G)
g(v) 6n.
Pelo Lema 1.5,
vV (G)
g(v) = 2q e assim 2q 6n, isto , q 3n. Mas pela Proposio
3.5, q 3n 6. Assim G deve ter pelo menos um vrtice com grau menor ou igual a
5.
Lema 3.7. O grafo K
3,3
no planar.
Demonstrao. Suponha que K
3,3
seja planar (Figura 3.2). Como n = 6 e q = 9, a
frmula de Euler fornece f = 5.
Seja C =
F
g(F) 2q = 18. Alm disso, como no h tringulos em grafos
bipartidos
1
, cada face de K
3,3
tem no mnimo quatro arestas e assim C 4f = 20.
Em resumo, se K
3,3
for planar, teremos C 18 e C 20, que obviamente
impossvel. Logo, K
3,3
no planar.
Lema 3.8. O grafo K
5
no planar.
Demonstrao. K
5
tem n = 5 vrtices e q = 10 arestas e assim 3n 6 = 9 < 10 = q.
Pela Proposio 3.5, K
5
no planar.
1
Pois um tringulo possui trs vrtices e dois deles devem estar em um mesmo conjunto partio
de G.
Grafo Dual 43
Alm dos grafos K
3,3
e K
5
, um grafo G contendo um destes dois como subgrafo
tambm no planar, pois qualquer representao planar de G (se existir) deve conter
uma representao planar de K
3,3
ou K
5
. Temos assim uma condio necessria para G
ser planar. O Teorema 3.9, conhecido como Teorema de Kuratowski, fornece tambm
uma condio suciente, cuja demonstrao extremamente avanada e elaborada de
modo que recomendamos a referncia [5, pg. 109].
Teorema 3.9 (Kuratowski). Um grafo G planar se, e somente se, G no contm
subgrafo homeomorfo ao K
3,3
ou K
5
.
Exemplo 3.10. O nico grafo planar simples 4-regular possui 6 vrtices, 12 arestas e
8 faces.
De fato, seja G um grafo planar 4-regular com n vrtices, q arestas e f faces. Pelo
Lema 1.5,

vV (G)
g(v) = 2q, mas como G regular de grau 4 temos tambm que
vV (G)
g(v) = 4n, ou seja, 2q = 4n, isto , q = 2n.
Agora, como G planar, pela Proposio 3.5,
q 3n 6 2n 3n 6 n 6
e portanto q = 2n 12. Pela frmula de Euler, obtemos um limitante superior para
f, pois
6 12 + f = 2 f 8.
Assim, temos n 6, q 12 e f 8. A seguir, para cada possvel valor de f
obtemos os possveis valores para n e q.
Se f = 1, obtemos n = q + 1 = 2n + 1,isto , n = 1, valor no compatvel. Para
todos os outros valores possveis de f, apenas para f = 8 obtivemos valores compatveis,
mais precisamente 6 vrtices, 12 arestas e 8 faces. O que mostra a unicidade da soluo
do exemplo, representada gracamente na Figura abaixo.
Figura 3.3: Grafo 4-regular.
3.3 Grafo Dual
A partir de um grafo planar G, podemos construir um novo grafo G
, que recebe o
nome de grafo dual de G. Observamos que, pelo fato de um grafo ser um tipo particular
de complexo simplicial, o grafo dual G
construdo exatamente como o dual de um

complexo simplicial. Para mais detalhes sugerimos livros introdutrios de Topologia
Algbrica, como por exemplo [6].
Denio 3.11. Seja G um grafo planar, com uma representao planar xada. O
grafo dual G
da representao planar de G dado pela seguinte construo:

1. Em cada face F de G (incluindo a face innita) selecionamos um ponto v
, que
ser vrtice de G
;
2. Para cada aresta b A(G), construmos uma aresta b
A(G
) do seguinte
modo: se a aresta b limita duas faces F
1
e F
2
, ento a aresta b
= v
1
v
2
deve
interceptar apenas b e exatamente uma vez, onde v
1
F
1
e v
2
F
2
; se a aresta
b no limita faces, b
= v
(lao) deve interceptar apenas b e uma nica vez,

onde v
pertence a mesma face de G que contm um vrtice de b.

Figura 3.4: Grafo e seu dual.
Observao 3.12. Na denio de grafo dual, xamos uma representao planar de
G pois diferentes representaes planares de um mesmo grafo podem possuir diferentes
duais, isto , grafos isomorfos podem ter seus duais no isomorfos. Veja que, na Figura
a seguir, os dois grafos G
1
e G
2
, representados por arestas contnuas, so isomorfos.
Porm, os vrtices v
1
G
1
e v
2
G
2
nas faces innitas de G
1
e G
2
, possuem graus
distintos, de modo que G
1
e G
2
no so isomorfos. Isto mostra que apenas a tripla
(n, q, f) no suciente para determinar um grafo.
Dizemos que se um grafo G planar ento seu dual G
tambm , isto pode ser

justicado devido ao fato das faces de G serem conexas por caminhos e as arestas de
G
serem curvas abertas ou laos. Assim, sempre ser possvel evitar intersees. O
resultado a seguir nos d uma relao entre o nmero de vrtices, arestas e faces de G
e G
.
Grafos Completamente Regulares 45
Figura 3.5: (a) Grafo G
1
e seu dual G
1
; (b) Grafo G
2
e seu dual G
2
.
Teorema 3.13. Seja G um grafo planar conexo com n vrtices, q arestas e f faces e
seja G
o dual de G com n
vrtices, q
arestas e f
faces. Ento, n
= f, q
= q e
f
= n.
Demonstrao. As igualdades n
= f e q
= q seguem imediatamente dos itens (1) e

(2) da Denio 3.11, respectivamente.
A igualdade f
= n segue da Frmula de Euler, pois

2 = n
+ f
= f q + f
= 2 + q f = n.
Vamos supor agora que a face F
do grafo planar G
, correspondente ao vrtice v
de G, possui a
1
, a
2
, . . . , a
n
como arestas limitantes. Ento, pela construo de G
, cada
uma destas arestas a
i
intercepta uma aresta correspondente a
i
de G e estas arestas a
i
contm o vrtice v. Assim, F
contm o vrtice v.
Teorema 3.14. Se G um grafo conexo planar, ento G isomorfo ao seu dual duplo
G
= (G
.
Demonstrao. Como observamos, qualquer face F
do dual G
contm no mnimo um
vrtice de G, ou seja, seu vrtice v correspondente. Pelo Teorema 3.13, o nmero de
faces de G
o mesmo que o nmero de vrtices de G. Disto, segue que v o nico

vrtice de G que a face F
contm. Consequentemente, na construo de G
, podemos
escolher o vrtice v para ser o vrtice em G
correspondente face F
de G
. Esta
escolha nos d o isomorsmo que queramos.
3.4 Grafos Completamente Regulares
Vimos no captulo 1 que um grafo k-regular se seus vrtices possuem mesmo
grau k. Dizemos que um grafo planar G completamente regular se G e seu dual G
forem regulares. Note que G regular no implica que G
tambm seja, como mostra o

contraexemplo abaixo.
Figura 3.6: Grafo 4-regular com dual no regular.
Nesta seo, temos como objetivo obter todos os grafos completamente regulares.
Para isso, precisamos nos restringir apenas a grafos que no possuem pontes. Tais
grafos so chamados de grafos poligonais.
Sejam G e G
grafos poligonais regulares de grau k e k
, respectivamente. Como,
para cada vrtice v
de G
, existe uma face F de G correspondente e como o nmero

k
de arestas que contm v
o mesmo nmero de arestas que limitam F, isto ,

k
= g(v
) = g(F), segue que toda face de G limitada pelo mesmo nmero k
de
arestas. Assim, 2q = kn, 2q
= k
e portanto 2q = k
f.
Logo, temos
q =
1
2
kn e f =
kn
k
. (3.1)
Substituindo na Frmula de Euler vem
n + f q = n +
kn
k

1
2
kn = n(1 +
k
k

1
2
k) = 2. (3.2)
Multiplicando a Equao (3.2) por 2k
temos
n(2k + 2k
kk
) = 4k
. (3.3)
Como n e k
so inteiros positivos, temos que

2k + 2k
kk
> 0 kk
2k 2k
< 0
kk
2k 2k
+ 4 < 4 (k 2)(k
2) < 4.
Para resolvermos a desigualdade, estudamos primeiramente o caso em que os fatores
k 2 e k
2 so ambos positivos, ou seja, k e k
maiores que 2.
Caso k, k
> 2. Para que o produto seja menor que 4 devemos ter

(k 2, k
2) {(1, 1), (1, 2), (1, 3), (2, 1), (3, 1)}.
Dessa forma, obtemos k 2 3 e k
2 3, e assim os nicos valores que k e k
podem assumir so 3, 4 e 5.
Poliedros Regulares 47
Para encontrar os valores para n, q e f, substitumos os possveis valores de k e k
na Equao (3.3) e em seguida, nas igualdades de (3.1).

Por exemplo, substituindo k = 3 e k
= 3 na Equao (3.3), obtemos n = 4, e por

meio de (3.1), temos q = 6 e f = 4. De modo anlogo, para os outros valores obtemos
os resultados da Tabela abaixo.
k k
n q f Figura
3 3 4 6 4 3.7(a)
3 4 8 12 6 3.7(b)
3 5 20 30 12 3.7(c)
4 3 6 12 8 3.7(g)
5 3 12 30 20 3.7(h)
Caso k = 2. Neste caso G ser um grafo conexo com duas arestas em cada vrtice,
ou seja, um ciclo. Assim, k
ser igual ao nmero q de arestas de G (Figura 3.7(d)).

Caso k
= 2. Pela Equao (3.3), obtemos n = 2, isto , G ser um grafo com dois

vrtices, q arestas e cada face ser limitada por duas arestas, como mostra a Figura
3.7(i).
Observe que o dual de um ciclo com n vrtices e n arestas (k = 2) um grafo com
dois vrtices, n arestas e n faces. Desta forma, temos que os grafos dos casos k = 2 e
k
= 2 so duais.
Caso k = 1. A inequao satisfeita para qualquer nmero positivo que k
assumir.
Mas, um grafo conexo 1-regular deve ser uma nica aresta e assim, n = 2, q = f = 1 e
k
= 2 (Figura 3.7(e)).
Caso k
= 1. Temos um grafo formado por um nico lao, e ento n = q = 1 e

k = f = 2 (Figura 3.7(j)).
Como G
isomorfo a G, temos que o dual de um grafo completamente regular

tambm completamente regular. Assim, os grafos que obtivemos so duais uns dos
outros. A Figura 3.7 representa todos os grafos completamente regulares, onde o grafo
(f) dual de (a); (g) dual de (b); (h) dual de (c); (i) dual de (d); (j) dual de
(e).
3.5 Poliedros Regulares
Nesta seo buscamos estudar alguns resultados de poliedros e, principalmente,
mostrar a existncia de exatamente cinco poliedros regulares. Para isso, iremos associ-
los a grafos, utilizando a projeo estereogrca para obtermos uma representao
Figura 3.7: Grafos Completamente Regulares.
planar do objeto. Para mais detalhes sobre tal projeo sugerimos a leitura de [4,
pg.6].
Figura 3.8: Projeo Estereogrca.
Dessa forma, por existir essa correspondncia, podemos aplicar alguns resultados de
grafos planares aos poliedros. O Teorema 3.16 segue da Frmula de Euler, e o Teorema
3.17 similar Proposio 3.6.
Denio 3.15. O grau mnimo de um poliedro P dado por:
(P) = min{g(F) | F uma face de P}.
O Teorema a seguir obtido por meio do grafo associado ao poliedro atravs da
projeo estereogrca e da Frmula de Euler.
Teorema 3.16. Se um poliedro possui V vrtices, A arestas e F faces, ento
V A + F = 2.
Teorema 3.17. Para todo poliedro P, 3 (P) 5.
Poliedros Regulares 49
Demonstrao. Como uma ou duas arestas no formam fronteira para uma face de P,
temos que (P) 3. Assim nos resta provar (P) 5.
Seja P um poliedro e G seu grafo associado. Suponha que P tenha V vrtices, A
arestas e F faces. Para cada k, seja V
k
o nmero de vrtices de grau k e seja F
k
o
nmero de faces de P (ou de G) que possuem grau k. Para k = 1 ou k = 2, V
k
= F
k
= 0
e desta forma podemos considerar k 3. Como toda aresta de P contm dois vrtices
e fronteira de duas faces, temos que
k3
kV
k
= 2A =
k3
kF
k
.
Suponha que cada face limitada por 6 ou mais arestas, isto , (P) 6, de modo que
F
1
= = F
5
= 0 e portanto
2A =
k3
kF
k
=
k6
kF
k

k6
6F
k
= 6
k6
F
k
= 6F F
1
3
A.
Ainda, como k 3,
2A =
k3
kV
k

k3
3V
k
= 3
k3
V
k
= 3V V
2
3
A.
Portanto, pelo Teorema 3.16 e pelas duas desigualdades acima temos
A = V + F 2
2
3
A+
1
3
A2 = A2,
que uma contradio. Logo (P) 5.
Os dois Teoremas acima nos permitem obter o principal resultado desta Seo.
Teorema 3.18 (Classicao dos poliedros regulares). Existem exatamente cinco po-
liedros regulares.
Demonstrao. Sejam P um poliedro regular e G seu grafo planar associado. Considere
V , A e F o nmero de vrtices, arestas e faces de P, respectivamente. Como as faces de
P so congruentes, cada uma delas limitada pelo mesmo nmero k de arestas. Pelo
Teorema 3.17, temos que 3 k 5. Alm disso, como o poliedro P regular, segue
que G tambm regular. Seja r o grau dos vrtices de G, onde r 3. Novamente pelo
Teorema 3.17, temos rV = 2A = kF. Agora, pelo Teorema 3.16,
8 = 4V + 4F 4A
= 4V + 4F 2A2A
= 4V + 4F rV kF
= (4 r)V + (4 k)F.
Sabendo que V , A e F so positivos, 3 k 5 e r 3 e ainda, como r no possui
um limitando superior, devemos determinar os possveis valores de r para cada um dos
trs possveis valores de k, de modo a valerem as equaes
rV = kF, 8 = (4 r)V + (4 k)F. (3.4)
Tomando k = 3 na Equao (3.4), obtemos rV = 3F e 8 = (4 r)V + F. Substi-
tuindo F =
rV
3
na segunda equao,
8 = (4 r)V +
rV
3
24 = 12V 3rV + rV
24 = (12 2r)V V =
24
12 2r
V =
12
6 r
.
Os possveis divisores de 12 so 1, 2, 3, 4, 6 e 12 e portanto os possveis valores para
r so 5, 4, 3, 2, 0 e 6. Mas como r 3, devemos ter r = 3, 4, 5.
Fazendo a mesma anlise para k = 4 e k = 5, obtemos r = 3 em ambos os casos.
Para cada par (k, r) determinados acima, obtemos os possveis valores para V, A, F
por meio das Equaes (3.4).
Para k = 3 e r = 3: As equaes V = F e 8 = V + F fornecem V = F = 4, ou seja,
um tetraedro.
Para k = 3 e r = 4: As equaes 4V = 3F e 8 = F fornecem V = 6, ou seja, um
octaedro.
Para k = 3 e r = 5: As equaes 5V = 3F e 8 = V + F fornecem V = 12 e F = 20,
ou seja, um icosaedro.
Para k = 4 e r = 3: As equaes 3V = 4F e 8 = V fornecem F = 6, ou seja, um cubo.
Para k = 5 e r = 3: As equaes 3V = 5F e 8 = V F fornecem F = 12 V = 20, ou
seja, um dodecaedro.
Portanto, existem apenas 5 poliedros regulares.
Figura 3.9: Poliedros Regulares.
Observao 3.19. A projeo dos cinco poliedros regulares no plano so grafos pla-
nares completamente regulares, mostrados na Figura 3.7, itens a, b, c, g, h.
4 Colorindo Grafos
Um problema tambm muito conhecido na Teoria de Grafos o Problema das
Quatro Cores, ou seja,
possvel, em um mapa qualquer, colorir os pases com no mximo quatro
cores, de tal forma que os pases adjacentes possuam diferentes cores?
Para buscarmos uma possvel soluo fazemos uso de colorao de grafos, uma vez
que podemos representar o mapa por um grafo, cujos vrtices denotam os pases e as
arestas indicam quais destes so adjacentes. Apesar deste problema no possuir uma
soluo terica, ou seja, obtida por resultados matemticos e por dedues lgicas,
sabe-se que com o auxlio de computadores, este problema solucionvel.
Assim sendo, nesta seo fazemos um estudo sobre colorao de grafos, apresenta-
mos alguns resultados e nalizamos nosso trabalho com o Teorema das Cinco Cores.
Para tal, trabalhamos apenas com grafos simples, porm os chamamos de grafos.
Denio 4.1. Seja G um grafo e k um inteiro positivo. Uma k-colorao de G uma
funo K : V (G) {1, . . . , k}. Cada i {1, . . . , k} uma cor da colorao e k o
nmero de cores desta colorao de G.
Denio 4.2. Dizemos que K uma k-colorao prpria de G se para todo par de
vrtices adjacentes u, v de G, K(u) = K(v). Neste caso, G k-colorvel.
Chamemos de X
i
a imagem inversa de cada i, ou seja, X
i
o conjunto formado
pelos vrtices que so coloridos com a cor i. Representamos gracamente uma colorao
para G, rotulando os vrtices v
j
com K(v
j
). Na Figura 4.1, temos um grafo com uma
colorao com 4 cores (4.1(a)) e uma colorao prpria com 6 cores (4.1(b)).
Tornar um grafo G k-colorvel uma tarefa simples, uma vez que basta atribuir
uma cor diferente para cada par de vrtices adjacentes. Por outro lado, determinar a
menor quantia de cores para uma colorao prpria pode ser extremamente difcil. A
seguir, temos uma denio para este nmero.
Denio 4.3. O nmero cromtico de um grafo G o menor inteiro positivo k tal
que G seja k-colorvel, denotado por (G). Neste caso, dizemos que esta colorao
mnima para G e que G (G)-cromtico.
51
52 Colorindo Grafos
Figura 4.1: (a) Grafo com uma 4-colorao; (b) Grafo com uma 6-colorao prpria
(ou 6-colorvel).
Figura 4.2: Grafo 3-cromtico.
Alguns exemplos de nmeros cromticos: A seguir apresentamos alguns grafos
e seus respectivos nmeros cromticos.
(a) Os nmeros cromticos dos grafos N
n
e K
n
so, respectivamente, 1 e n.
De fato, para o grafo nulo imediato que (N
n
) = 1, j que o mesmo no possui
arestas. Por outro lado, cada vrtice de um grafo completo K
n
adjacente a todos os
outros vrtices do grafo, e portanto necessitamos de n cores, ou seja, (K
n
) = n.
(b) Observe os grafos ciclos C
4
e C
5
na Figura 4.3. Buscamos determinar (C
4
) e
(C
5
) e encontrar o nmero cromtico dos ciclos C
n
em geral.
Figura 4.3: (a) Grafo C
4
; (b) Grafo C
5
.
No grafo C
4
, como os vrtices x e z so no adjacentes, denimos suas cores por 1,
isto , K(x) = K(z) = 1 e da mesma forma K(y) = K(w) = 2. Logo (C
4
) = 2.
Agora, fazendo a mesma anlise para o grafo C
5
, temos K(a) = K(c) = 1 e K(b) =
K(d) = 2 e ainda, como e adjacente tanto ao vrtice a quanto ao vrtice d, K(e) = 3.
Portanto (C
5
) = 3.
Algumas Limitaes do Nmero Cromtico 53
Com estes dois ciclos, onde um possui ordem par e outro ordem mpar, podemos
armar que
(C
n
) =
_
2 se n par,
3 se n mpar.
De fato, se n = 2k ento v
i
e v
j
so adjacentes se, e somente se, i j 1 mod 2
1
.
Neste caso podemos denir K(v
2i1
) = 1 e K(v
2i
) = 2, 1 i k. Se n = 2k + 1, v
i
e
v
j
so adjacentes se i j 1 mod 2, porm v
1
e v
n
tambm so adjacentes, tornando
obrigatrio o uso de uma terceira cor, ou seja, denimos
K(v
2i1
) = 1, K(v
2i
) = 2 (1 i k), K(v
2k+1
) = 3.
(c) O nmero cromtico de um grafo G 2 se, e somente se, G bipartido.
De fato, da denio de grafo bipartido temos que os vrtices pertencentes ao mesmo
conjunto partio so no adjacentes e portanto possuem a mesma cor. Como grafos
bipartidos possuem dois conjuntos partio, segue que (G) = 2. Por outro lado se
(G) = 2, temos os conjuntos X
1
e X
2
formados pelos vrtices coloridos com as cores
1 e 2, respectivamente. Assim as arestas de G contm um vrtice em X
1
e outro em
X
2
. Logo G bipartido.
4.1 Algumas Limitaes do Nmero Cromtico
Como citamos anteriormente, exceto em grafos bem conhecidos (como os grafos
dos exemplos (a) e (b), pgina 52) ou em grafos de ordem baixa, determinar o nmero
cromtico de um grafo qualquer, em geral, difcil. Sendo assim, existem limitantes
para este nmero e portanto, nesta seo, buscamos apresentar alguns destes.
At agora podemos fazer as seguintes armaes. Um grafo G com n vrtices
n-colorvel e consequentemente (G) n. E como temos que (K
n
) = n (exemplo
(a), pgina 52), se um grafo G possuir um subgrafo K
r
ento (G) r. Limitar o
nmero cromtico superiormente, pela ordem de um grafo no fornece grandes avanos,
ao contrrio de quando limitamos por meio dos graus dos vrtices de um grafo, como
mostram os Teoremas 4.6 e 4.8.
Um algoritmo muito simples utilizado para colorir grafos descrito a seguir (tam-
bm chamado de algoritmo greedy, como na seo 2.3 (pgina 33), pois seguem o
mesmo raciocnio, ou seja, minimizar a escolha em cada estgio). Seja G um grafo com
n vrtices. Primeiramente ordenamos os vrtices por v
1
, v
2
, . . . , v
n
e as possveis cores
na ordem 1, 2, . . . , n. Ento, iniciamos a colorao atribuindo a cor 1 ao vrtice v
1
.
Em seguida, se v
1
e v
2
so adjacentes atribumos ao vrtice v
2
a cor 2, caso contrrio,
1
Um inteiro x dito ser congruente um inteiro y mdulo m, se m | x y. Neste caso, escreve-se
x y mod m.
54 Colorindo Grafos
utilizamos a cor 1 novamente. Em geral, para colorir o vrtice v
i
, usamos a primeira das
possveis cores que no foram usadas anteriormente para colorir qualquer vizinho de
v
i
. De um modo mais preciso, denimos a funo K por: K(v
1
) = 1 e para 2 i n
K(v
i
) = min{{1, . . . , n} {K(v
j
); v
j
V(v
i
), j < i}}.
Perceba que a colorao que obtemos atravs do algoritmo greedy depende exclu-
sivamente do ndice que associamos a cada vrtice. Assim, se indexar-mos os vrtices
de um mesmo grafo em ordens diferentes, alm de produzirmos diferentes coloraes
podemos obter tambm alguma colorao com mais ou menos cores que outra. A
Figura a seguir ilustra este caso.
Figura 4.4: Grafo G com 2-colorao prpria e 3-colorao prpria.
Proposio 4.4. Seja G um grafo. (G) = 2 se, e somente se, G no nulo e no
contm ciclo mpar.
Demonstrao. Pelo Exemplo 4, (G) = 2 equivalente a G ser bipartido. Assim, o
resultado segue da caracterizao de grafos bipartidos no Teorema 3.4 (pgina 40).
Proposio 4.5. Para todo grafo G tem-se (G)
1
2
_
2|A(G)| +
1
4
.
Demonstrao. Seja {1, . . . , k} uma colorao mnima para G. Ento para todo i = j,
existe uma aresta com um extremo em X
i
e outro em X
j
. Assim, |A(G)|
_
k
2
_
=
(k
2
k)/2 e estudando o sinal da funo f(k) = k
2
k 2|A(G)|, obtemos que a
desigualdade anterior equivale k (1 +
_
8|A(G)| + 1)/2.
Teorema 4.6. Qualquer grafo G ( + 1)-colorvel, onde o grau mximo de G.
Demonstrao. Provaremos por induo na ordem de G, ou seja, na cardinalidade de
V (G). Se |V | = 1, o resultado imediato. Seja G um grafo de ordem n e x um vrtice
qualquer de G. Assim, H = Gx possui n 1 vrtices e grau mximo
H
. Por
hiptese de induo H colorvel com
H
+ 1 + 1 cores. Uma ( + 1)-colorao
para G ento obtida colorindo x com uma cor diferente das (no mximo ) cores de
vizinhos de x.
A armao do Teorema acima equivalente a (G) (G) +1. Este nem sempre
um bom limitante para o nmero cromtico, como por exemplo, se tomarmos o grafo
K = K
1,25
, que possui (K) = 25, o Teorema acima diz que K 26-colorvel. Mas, j
sabemos que um grafo bipartido completo possui (G) = 2.
Note que quando G um grafo completo ou um ciclo mpar, obtemos a igualdade
no Teorema 4.6, isto , (G) = (G) + 1 (Exemplos (a) e (b) na seo anterior).
O Teorema a seguir, conhecido como Teorema de Brooks, mostra que tal igualdade
vlida somente para grafos completos ou ciclos mpares, ou seja, se G no for um destes
dois grafos, (G) (G).
Antes de apresentarmos o Teorema de Brooks, precisamos da seguinte denio.
Denio 4.7. Dados G um grafo qualquer e K uma colorao prpria de G, uma
cadeia de Kempe de G correspondente a duas cores i, j de K o subgrafo formado
exatamente pelos vrtices de cores i ou j. Em outras palavras, tal cadeia de Kempe
um subgrafo G
ij
com V (G
ij
) = K
1
(i) K
1
(j) e A(G
ij
) formado por todas as arestas
de G que contm tais vrtices.
Na Figura abaixo temos o exemplo de um grafo G (linhas pontilhadas) e a sua
cadeia de Kempe G
12
(linhas contnuas).
Figura 4.5: Grafo G e sua cadeia de Kempe G
12
.
Teorema 4.8 (Brooks). Se G um grafo
2
conexo que no um ciclo mpar e nem um
grafo completo, ento (G) (G).
Demonstrao. Sejam G um grafo de ordem n como no enunciado e = (G). Sa-
bemos que = 0, 1 (caso contrrio, G seria completo ou desconexo). Se = 2, G
deve ser um ciclo par ou um caminho (pois G conexo), e em ambos os casos temos
(G) = 2 = . Assim, vamos supor 3.
Provaremos por induo em n. Assumimos que o resultado vlido para todos os
grafos com menos que n vrtices e dividimos a demonstrao em dois casos.
1. G no regular. Selecionemos um vrtice v tal que g(v) < . Ento Gv tem
menos que n vrtices e, pela hiptese de induo, pode ser colorido com (Gv)
cores, ou seja, Gv -colorvel. Como g(v) < , haver menos que cores utilizadas
2
Lembramos que neste captulo quando citamos um grafo, estamos tratando de um grafo simples.
56 Colorindo Grafos
nos vrtices adjacentes a v em G, de modo que existe uma cor no usada em qualquer
um destes vrtices. Apliquemos tal cor a v e ento G colorido com cores.
2. G -regular. Suponhamos que G no pode ser colorido com cores. Por
hiptese de induo, Gv -colorvel. Alm disso, podemos assumir que os vizinhos
de v recebem cores (pois caso contrrio, poderamos usar para colorir v a cor ainda
no utilizada, como no caso anterior).
Sejam v
1
, v
2
, . . . , v
n
os vizinhos de v e K(v
p
) = p. Tomemos dois destes vizinhos, v
p
e v
q
, e consideremos a cadeia de Kempe G
pq
. Se v
p
e v
q
esto em diferentes componentes
de G
pq
(e portanto no so adjacentes) podemos permutar as cores p e q em todos os
vrtices da componente que contm v
p
e ainda teremos uma colorao prpria (Figura
4.6). Mas, nesta nova colorao no haver vrtice de cor p adjacente a v (pois agora
v
p
possui cor q) e assim v pode receber a cor p, tornando G -colorvel. Desta forma
precisamos considerar apenas o caso no qual v
p
e v
q
esto em uma mesma componente
de G
pq
, para todo p e q. Isto signica que para todo par de vizinhos v
p
e v
q
de v, existe
um caminho P
pq
de v
p
a v
q
com todos os vrtices coloridos com p ou q por K.
Figura 4.6: Recolorao dos vrtices da componente G
pq
que contm v
p
.
Mostraremos agora que G
pq
= P
pq
. Suponha g(v
p
) 2 em G
pq
. Ento v
p
possui
dois vizinhos de cor q e, como g(v
p
) = , com certeza uma cor r no ser usada
3
para
os vizinhos de v
p
. Podemos recolorir v
p
com r e v com p, obtendo G -colorvel, o que
contradiz a hiptese. Assim, v
p
e similarmente v
q
possuem grau 1 em G
pq
.
Digamos que v
p
tem o vizinho v
p
1
em G
pq
, ento v
p
1
= v
q
ou g(v
p
1
) > 2 ou v
p
1
tem
um nico vizinho v
p
2
em G
pq
diferente de v
p
. Para estas duas ltimas possibilidades
fazemos o mesmo raciocnio e assim sucessivamente, obtendo uma coleo de vrtices
da forma v
p
k
em G
pq
. Como g(v
q
) = 1 algum dos vrtices da coleo anterior ser seu
nico vizinho.
3
Pois a cor q foi utilizada duas vezes.
Se G
pq
no um caminho, existe pelo menos um vrtice de grau maior ou igual a
3, obtido pelo processo acima. Seja y, dentre estes vrtices, o mais prximo (em G
pq
)
de v
p
. Se K(y) = p, ento y adjacente a trs vrtices com cor q e assim deve existir
uma cor, digamos r, no utilizada nos vizinhos de y (pelo mesmo argumento anterior).
Podemos recolorir v
p
com q, v
p
1
com p, v
p
2
com q, . . . , y com r e v com p (Figura
abaixo), tornando G -colorvel, que um absurdo. O caso onde K(y) = q pode ser
tratado similarmente. Portanto G
pq
deve ser um caminho de v
p
a v
q
.
Mostraremos agora que duas cadeias G
pq
e G
pr
, r = q, interceptam-se apenas em
v
p
. Suponha z um elemento de ambas G
pq
e G
pr
. Ento K(z) = p, e a menos que
z = v
p
, z tem dois vizinhos coloridos com q e dois coloridos com r. Novamente existe
uma cor no utilizada em vrtices adjacentes z e portanto possvel recolorir G como
anteriormente, gerando um absurdo.
Agora suponhamos que dois vizinhos de v, v
p
e v
q
, so no adjacentes em G. Ento
eles so no adjacentes em G v e o caminho G
pq
contm um vrtice diferente de v
q
,
digamos y, adjacente a v
p
com K(y) = q. Selecione alguma cor r (diferente de p e q) e
troque as cores dos vrtices da cadeia G
pr
de modo que v
p
receba a cor r. Considere a
cadeia de Kempe para essa nova colorao prpria de Gv. Assim, G
pq
a nova cadeia
G
rq
e teremos uma outra cadeia G
pq
que vai do vrtice v
r
ao vrtice v
q
. Claramente
y G
rq
, pois adjacente ao vrtice v
p
e y G
pq
, pois possui cor q. Mas isto contraria o
pargrafo anterior, pois temos duas cadeias de Kempe interceptando-se em um vrtice
diferente dos extremos.
Assim, todos vizinhos de v so adjacentes entre si e como v qualquer, G deve
ser um grafo completo (pois conexo), o que contradiz a hiptese inicial. Logo G
-colorvel.
58 Colorindo Grafos
Finalizamos esta seo com mais dois limitantes para o nmero cromtico. Para
isto denimos Conjunto independente e clique.
Denio 4.9. Um conjunto de vrtices de um grafo G independente (ou estvel ) se
seus vrtices so dois a dois no adjacentes, isto , qualquer aresta de G no contm
seus vrtices no conjunto.
Por exemplo, se G possui uma colorao prpria K, cada X
i
um conjunto inde-
pendente.
Denio 4.10. Dizemos que um conjunto independente I maximal se no existe
um conjunto independente J com I J, e mximo se |I| |J|, para todo conjunto
independente J. Chamamos de nmero independente a cardinalidade de um conjunto
independente mximo e o denotamos por (G).
Observao 4.11. Todo conjunto independente mximo I um conjunto indepen-
dente maximal, pois caso contrrio existiria J conjunto independente contendo propri-
amente I e portanto teramos |I| < |J| (pois ambos so nitos). A recproca no
verdadeira, como mostra o exemplo abaixo.
Exemplo 4.12. No grafo K
2,4
os conjuntos partio X e Y so independentes e so
os nicos maximais. Ainda, o conjunto Y um conjunto independente mximo, uma
vez que |Y | = 4 > 2 = |X| e portanto (K
2,4
) = 4.
Figura 4.7: Grafo K
2,4
.
Proposio 4.13. Para todo grafo G tem-se (G)
|V (G)|
(G)
.
Demonstrao. Seja K : V (G) {1, 2, . . . , k} uma k-colorao prpria de G. Como
|X
i
| (G), para cada i, temos |V (G)| = |X
1
| + + |X
k
| k(G), de onde segue
k
|V (G)|
(G)
. Mas, (G) = min{k} e portanto segue o resultado.
Denio 4.14. Um conjunto clique (ou completo) de um grafo G um conjunto de
vrtices dois a dois adjacentes.
Teorema das Cinco Cores 59
Denio 4.15. Dizemos que um conjunto clique I maximal se no existe um con-
junto clique J tal que I J, e mximo se |I| |J|, para todo conjunto clique
J. Chamamos de nmero clique a cardinalidade de um conjunto clique mximo e o
denotamos por (G).
Na Figura abaixo, (G
1
) = 5 e (G
2
) = 4.
Figura 4.8: Grafos com nmeros clique 5 e 4, respectivamente.
O resultado a seguir uma consequncia imediata dos seguintes fatos: se H G,
(H) (G); (K
n
) = (K
n
) = n.
Proposio 4.16. Para todo grafo G, (G) (G).
4.2 Teorema das Cinco Cores
Como j citado anteriormente, o Teorema das Quatro Cores (4CT) no possui uma
demonstrao terica. Mas, durante as tentativas de se obter uma prova, concluiu-se
que cinco cores so sucientes para colorir um grafo planar. Este resultado conhecido
como Teorema das Cincos Cores. Tambm muitos outros teoremas equivalentes ao 4CT
foram obtidos, de modo que a demonstrao de um deles acarreta na demonstrao
do 4CT. Para mais detalhes sugerimos o artigo de Robin Thomas An update on the
four-color theorem [7].
Observamos que no Teorema a seguir estamos considerando simplesmente grafos
planares e sem laos, ou seja, mltiplas arestas so permitidas.
Teorema 4.17 (Teorema das Cinco cores). Todo grafo planar 5-colorvel.
Demonstrao. A demonstrao ser feita por induo na ordem n de um grafo planar
G. Podemos assumir G conexo e com no mnimo trs vrtices, pois se n = 1 ou 2, o
resultado imediato
4
.
Pela Proposio 3.6, G possui um vrtice v de grau no mximo 5. Se v tem grau
no mximo 4, consideramos o grafo Gv, que por hiptese de induo 5-colorvel, e
ento podemos estender esta 5-colorao prpria ao grafo G, pois existe uma cor no
utilizada em V(v).
4
Para n = 3, 4 ou 5, o resultado tambm imediato, mas a demonstrao se aplica a eles.
60 Colorindo Grafos
Suponhamos v de grau 5. Seja J o subgrafo de G cujos vrtices so os vizinhos
v e as arestas so aquelas de G que contm estes vrtices. Note que J possui dois
vrtices distintos v
1
e v
2
no adjacentes, pois caso contrrio, J teria
_
5
2
_
= 10 arestas
5
,
contradizendo a desigualdade |A(J)| 3|V (J)| 6 (Proposio 3.5).
Seja H o grafo obtido de G v identicando v
1
e v
2
por um nico vrtice, ainda
planar. Pela hiptese de induo existe uma 5-colorao prpria para H, que d origem
a uma 5-colorao prpria para G v com (v
1
) = (v
2
) (a identicao foi feita
apenas para garantir que as cores de v
1
e v
2
em Gv pela sejam as mesmas). Assim,
os cinco vizinhos de v so coloridos usando no mximo 4 cores e, portanto, pode ser
estendida para uma 5-colorao prpria de G, como desejado.
Finalizamos este captulo apresentando abaixo um grafo planar G de ordem n = 16
e dimenso q = 25 juntamente com uma 5-colorao prpria.
Figura 4.9: Grafo 5-colorvel.
5
_
5
2
_
=
5!
2!(52)!
= 10.
Consideraes Finais
Neste trabalho elaboramos um texto que possa ser utilizado por alunos em um es-
tgio de iniciao cientca, relativo ao estudo introdutrio da Teoria de Grafos. Para
tanto, empenhamo-nos em elaborar um texto que formalizasse, da maneira mais deta-
lhada possvel, tais conceitos. Principalmente os que foram apresentados intuitivamente
pelas referncias consultadas.
Entre todos os resultados discutidos, destacamos alguns problemas considerados
clssicos na Teoria de Grafos, como O Problema das Pontes de Knigsberg, O Problema
do Caixeiro Viajante, Classicao dos Poliedros Regulares e Colorao de Mapas.
Consideramos ainda que, com os conceitos abordados neste trabalho, o leitor pode
seguir estudando outras aplicaes, que o ponto forte dessa teoria, como por exemplo,
problemas de jogos, problemas de grade de horrios, encontrar resultados relevantes
em sites de busca, entre muitos outros.
61
Referncias
[1] ORE, O. Graphs and their Uses. 2. ed. Washington: The Mathematical Association
of America, 1990.
[2] BIGGS, N. L.; LLOYD, E. K.; WILSON, R. J. Graph Theory 1736-1936. 1. ed.
New York: Clarendon Press, 1998.
[3] CARMO, M. P. do. Geometria Diferencial de Curvas e Superfcies. 3. ed. Rio de
Janeiro: Sociedade Brasileira de Matemtica, 2008.
[4] GUILLEMIN, V.; POLLACK, A. Diferential Topology. New Jersey: Prentice-Hall,
1974.
[5] HARARY, F. Graph Theory. 1. ed. Oxford: Addison-Wesley Publishing Company,
1969.
[6] MUNKRES, J. R. Elements of Algebraic Topology. Menlo Park: The Benja-
min/Cummings Publishing Company, Inc., 1984.
[7] THOMAS, R. An update on the four-color theorem. Notices of the AMS, v. 45, p.
848859, 1998.
[8] CLARK, J.; HOLTON, D. A. A First Look At Graph Theory. 1. ed. New Delhi:
Allied Publishers Limited, 1995.
[9] FEOFILOFF, P.; KOHAYAKAWA, Y.; WAKABAYASHI, Y. Uma Introdu-
o Sucinta Teoria dos Grafos. So Paulo, 2009. www.ime.usp.br/~pf/
teoriadosgrafos/. Acessado em: 24 de Maro de 2011.
[10] HARRIS, J. M.; HIRST, J. L.; MOSSINGHOFF, M. J. Combinatorics and Graph
Theory. 2. ed. New York: Springer, 2008.
[11] WALLIS, W. D. A Beginners Guide to Graph Theory. 2. ed. Boston: Birkhauser,
2007.
[12] WILSON, R. J. Introduction to Graph Theory. 4. ed. Harlow: Longman, 1996.
63
A Um Algoritmo para Colorir Grafos
A seguir, apresentamos um programa desenvolvido com o software Maple, que faz
uso do algoritmo greedy (ver seo 33) e produz aleatoriamente um grafo G propria-
mente colorido, a partir da ordem n e dimenso q.
O objetivo aqui no ensinar a linguagem de programao mas tentaremos, na
medida do possvel, explicar o que cada procedimento fornece.
Os procedimentos so iniciados por Nome:=proc() e nalizados por end:. Para
aplicarmos um procedimento, precisamos execut-lo, passando os valores para suas
variveis, se necessrio. Alguns deles produziro uma sada na tela e outros apenas
guardaro informaes nas variveis, que podero ser utilizadas em outros procedimen-
tos.
Quando um procedimento retornar algo na tela, exibiremos a sada centralizada e
em itlico, possuindo assim uma formatao parecida com a do prprio Maple.
Iniciando o programa
A linha abaixo limpa a memria e carrega dois pacotes, plottools e plots.
restart: with(plottools): with(plots):
A seguir guardamos as possveis cores (padres do Maple) na varivel paleta,
que sero utilizadas na colorao, e calculamos o nmero total de cores da paleta,
TotalCoresPaleta. Por m, denimos a funo Cor que associa a um inteiro positivo
k a k-sima cor da paleta.
paleta:={red,green,blue,brown,cyan,navy,yellow,gold,grey,magenta,
orange,pink,plum,sienna,tan,turquoise,violet,wheat}:
TotalCoresPaleta:=nops(paleta); Cor:=k->paleta[k];
TotalCoresPaleta := 18
Cor := k paleta
k
O procedimento Parametros possui duas variveis n e q, a ordem e a dimenso
do grafo desejado, respectivamente. Primeiramente, testamos se n < 1 e neste caso
65
66 Um Algoritmo para Colorir Grafos
uma mensagem exibida alertando que n deve ser maior ou igual a 1; caso contrrio,
guardamos o valor de n na varivel NVertices e criamos o conjunto N dos nmeros de
1 a n. O nmero mximo de arestas n(n1)/2 guardado na varivel TotalArestas.
A seguir, testamos se 0 q n(n 1)/2: se o teste falso uma mensagem exibida
solicitando uma alterao para q; se o teste verdadeiro, guardamos o valor de q na
varivel NArestas e uma mensagem de validao exibida e testamos se q = n(n1)/2:
se verdadeiro, obtemos um aviso que o grafo em construo ser completo K
n
; caso
contrrio, so exibidos os valores das variveis NVertices, NArestas e TotalArestas,
que so n, q e n(n 1)/2, respectivamente.
Parametros:=proc(n,q)
global NVertices,TotalArestas,NArestas,N:
if n<1 then
print(nmero mnimo de vrtices deve ser 1):
else
NVertices:=n:
N:={seq(i,i=1..NVertices)}:
TotalArestas:=NVertices*(NVertices-1)/2:
if q>TotalArestas or q<0 then
print(nmero de arestas entre 0 e ,TotalArestas):
else
NArestas:=q:
print(tudo OK, continuando...):
if NArestas=TotalArestas then
print(Grafo completo K,NVertices):
else
print(nmero de vrtices=,NVertices, nmero de arestas=,
NArestas, de um total de,TotalArestas):
fi:
fi:
fi:
end:
Aps criarmos o procedimento (com o bloco acima), precisamos execut-lo de modo
a obtermos as sadas nele denidas, ou seja, executamos o comando abaixo, escolhendo
valores para n e q, como por exemplo, n = 8, q = 20. Ao nal do programa, se os
valores escolhidos forem permitidos, teremos um grafo G com 8 vrtices e 20 arestas,
colirido propriamente.
67
Parametros:=proc(8,20);
tudo OK, continuando. . .
nmero de vrtices = 8, nmero de arestas = 20, de um total de 28
Com o intuito de evitarmos vrtices colineares na representao do grafo a ser
construdo, denimos a seguir o procedimento Colinear, cujas variveis so um ponto
a e um conjunto S. O procedimento verica se a colinear com quaisquer dois pontos
arbitrrios de S e ao nal retorna a varivel aceita, cujo valor verdadeiro (se, e
somente se, a no colinear com nenhum par de pontos de S) ou falso (se a colinear
com algum par de pontos de S). Este procedimento ser utilizado vrias vezes na
criao do conjunto V (G).
Colinear:=proc(a,S)
global aceita:
local det,z,w,vetor1,vetor2,temp:
temp:={}:
aceita:=true:
for z in S do
temp:=temp union {z}:
for w in S minus temp do
vetor1:=[(a-z)[1],(a-z)[2]]:
vetor2:=[(a-w)[1],(a-w)[2]]:
det:=vetor1[1]*vetor2[2]-vetor2[1]*vetor1[2]:
if det=0 then
aceita:=false:
fi:
od:
od:
RETURN(aceita):
end:
A seguir, denimos o procedimento CriaVertices que depende da varivel n. Este
procedimento faz uso da funo sorteio (que retorna um inteiro positivo aleatrio
entre 1 e n) e cria o conjunto Vertices formado por n pontos, trs a trs no colineares
(devido ao uso da funo Colinear). O conjunto resultante Vertices ser o conjunto
de vrtices do grafo, ou seja, V (G).
sorteio:=rand(1..NVertices):
CriaVertices:=proc(n)
global Vertices
local v:
Vertices:={}:
while nops(Vertices) < n do
v:=[sorteio(),sorteio()]:
if Colinear(v,Vertices) then
Vertices:=Vertices union {v}:
fi:
od:
RETURN(Vertices):
end:
Executamos o procedimento acima e guardamos a sada na varivel VG, um conjunto
contendo os n = 8 vrtices escolhidos aleatoriamente, como desejado.
Observe que cada vrtice representado por uma lista de dois inteiros positivos,
denida com o uso de colchetes (e no de parnteses, como na geometria analtica).
assim que o Maple trabalha com pares ordenados.
VG:=CriaVertices(NVertices);
VG:={[1, 4], [1, 6], [2, 1], [2, 7], [3, 2], [3, 5], [4, 6], [8, 8]}
No bloco seguinte, denimos o procedimento CriaArestas, que depende da varivel
q, que cria o conjunto Arestas formado por pares distintos de pontos distintos do
conjunto Vertices (criado anteriormente), ou seja, no obtemos arestas mltiplas e
nem laos.
CriaArestas:=proc(q)
global Arestas:
local a:
Arestas:={}:
while nops(Arestas) < q do
a:=[Vertices[sorteio()],Vertices[sorteio()]];
if evalb(a[1]=a[2] or [a[1],a[2]] in Arestas
or [a[2],a[1]] in Arestas)
then
Arestas:=Arestas;
else
Arestas:=Arestas union {a}:
fi:
od:
RETURN(Arestas):
end:
Observe que cada aresta formada por uma lista de duas listas de dois nmeros,
ou seja, uma lista de dois vrtices.
69
AG:=CriaArestas(NArestas);
AG:={[[1, 4], [2, 1]], [[1, 4], [2, 7]], [[1, 4], [3, 5]], [[1, 4], [4, 6]], [[1, 6], [4, 6]],
[[2, 1], [1, 6]], [[2, 1], [4, 6]], [[2, 7], [3, 5]], [[2, 7], [4, 6]], [[2, 7], [8, 8]],
[[3, 2], [1, 4]], [[3, 5], [1, 6]], [[3, 5], [2, 1]], [[3, 5], [3, 2]], [[3, 5], [8, 8]],
[[4, 6], [3, 5]], [[8, 8], [1, 4]], [[8, 8], [1, 6]], [[8, 8], [3, 2]], [[8, 8], [4, 6]]}
A seguir, denimos o procedimento Vizinhanca, que determina quais so os vi-
zinhos de cada vrtice, ou seja, determina o conjunto V(v). Alm disso, calculado
o grau de cada vrtice. Este procedimento ser utilizado na execuo do algoritmo
greedy durante o processo de colorao.
Vizinhanca:=proc()
local i,a:
global V,GrauV:
for i from 1 to NVertices do
V[i]:={}:
GrauV[i]:=0:
for a in AG do
if evalb(VG[i] in a and VG[i]=a[1]) then
V[i]:= {a[2]} union V[i]:
GrauV[i]:=nops(V[i]):
else
if evalb(VG[i] in a) then
V[i]:= {a[1]} union V[i]:
else
V[i]:=V[i]:
fi:
fi:
od:
print(Vizinhanca de v,i, = ,V[i], Grau do vertice
=,GrauV[i]):
od:
end:
Executamos o procedimento acima com o comando Vizinhanca(); e obtemos como
sada as informaes:
Vizinhana de v
1
= {[2, 1], [2, 7], [3, 2], [3, 5], [4, 6], [8, 8]}, Grau do vrtice = 6
Vizinhana de v
2
= {[2, 1], [3, 5], [4, 6], [8, 8]}, Grau do vrtice = 4
Vizinhana de v
3
= {[1, 4], [1, 6], [3, 5], [4, 6]}, Grau do vrtice = 4
Vizinhana de v
4
= {[1, 4], [3, 5], [4, 6], [8, 8]}, Grau do vrtice = 4
Vizinhana de v
5
= {[1, 4], [3, 5], [8, 8]}, Grau do vrtice = 3
Vizinhana de v
6
= {[1, 4], [1, 6], [2, 1], [2, 7], [3, 2], [4, 6], [8, 8]}, Grau do vrtice = 7
Vizinhana de v
7
= {[1, 4], [1, 6], [2, 1], [2, 7], [3, 5], [8, 8]}, Grau do vrtice = 6
Vizinhana de v
8
= {[1, 4], [1, 6], [2, 7], [3, 2], [3, 5], [4, 6]}, Grau do vrtice = 6
Agora, com o procedimento Greedy, denimos como dever ser feita a colorao
do grafo. Neste caso, denimos uma colorao prpria, isto , vrtices adjacentes
recebero cores distintas. Observe que a cada vrtice ser associado um nmero K
i
,
que ser utilizado para selecionar uma cor da paleta.
Greedy:=proc()
global K:
local i,j,T:
K[1]:=1:
if NVertices > 1 then
T[i]:={}:
for j from 1 to NVertices while j < i do
if evalb(VG[j] in V[i]) then
T[i]:={K[j]} union T[i]:
fi:
od:
K[i]:= min(op(N minus T[i])):
print(vertice v,i, ser colorido com a cor,K[i]):
od:
fi:
end:
Greedy();
vrtice v
1
ser colorido com a cor 1
vrtice v
2
vrtice v
3
vrtice v
4
vrtice v
5
vrtice v
6
vrtice v
7
vrtice v
8
71
As trs linhas a seguir calculam os graus mximo (G) e mnimo (G) e a quantia
de cores sucientes para uma colorao prpria do grafo G em construo.
Delta:=max(seq(GrauV[i],i=1..NVertices));
delta:=min(seq(GrauV[i],i=1..NVertices));
CoresSuficientes:=max(seq(K[i],i=1..NVertices));
:= 7
:= 3
CoresSuficientes := 5
Por m, criamos o procedimento Desenhar, o mais elaborado dentre todos, que
utilizar todas as informaes acima para exibir um grafo com os critrios desejados.
O procedimento comea vericando se h cores sucientes na paleta: se sim, o proce-
dimento conrma e continua; se no, pede para adicionarmos mais cores paleta ou
diminuirmos a quantia de arestas.
Sugerimos a leitura minunciosa dos comandos utilizados, de modo a perceber como
o desenho foi construdo.
raio:=i->1/3:
lambda:=1.1:
Desenhar:=proc()
local i,j:
global aresta,arvore,vertice,texto,grVG,grAG,grtexto,Xmax,Ymax:
if nops(paleta) < CoresSuficientes then
print(quantia de cores insuficiente):
print(adicione mais cores paleta ou atualize AG):
else
Xmax:=NVertices+1:
Ymax:=Xmax:
vertice[i]:=disk(VG[i],raio(i),color=Cor(K[i])):
texto[i]:=PLOT(TEXT(evalf(VG[i]+[lambda*raio(i),lambda*raio(i)]),
convert(K[i],roman),COLOR(RGB,1,0,0)),
TEXT(evalf(VG[i]+[-lambda*raio(i),lambda*raio(i)]),
convert(i,string),COLOR(RGB,0,0,1)),
TITLE(Vrtices (arbico) ordenados em azul.
\nCores (romano) utilizadas em vermelho.,
FONT(HELVETICA,BOLD,12))):
if GrauV[i]>0 then
for j from 1 to GrauV[i] do
aresta[j]:=line(V[i][j],VG[i],thickness=2):
od:
arvore[i]:=seq(aresta[j],j=1..GrauV[i]):
else
arvore[i]:=vertice[i]:
fi:
od:
fi:
grAG:=(seq(arvore[i],i=1..NVertices)):
grVG:=(seq(vertice[i],i=1..NVertices)):
grtexto:=(seq(texto[i],i=1..NVertices)):
RETURN(display(grAG,grVG,grtexto,
scaling=constrained,axes=none
view=[0..Xmax,0..Ymax])):
end:
Executamos o procedimento Desenhar(); para obtermos o grafo G. Observamos
apenas que, para obtermos uma melhor qualidade visual do grafo neste texto, optamos
por construir o desenho abaixo diretamente no L
A
T
E
X, ao invs de exportarmos a gura
do Maple, que muito semelhante a esta, mas difere apenas pelas informaes laterais
e pela grade numerada.
(Xmax,Ymax)
0 1 2 3 4 5 6 7 8 9
0
1
2
3
4
5
6
7
8
9
g(v
1
) = 6
g(v
2
) = 4
g(v
3
) = 4
g(v
4
) = 4
g(v
5
) = 3
g(v
6
) = 7
g(v
7
) = 6
g(v
8
) = 6
K(v
1
) = 1
K(v
2
) = 1
K(v
3
) = 2
K(v
4
) = 2
K(v
5
) = 2
K(v
6
) = 3
K(v
7
) = 4
K(v
8
) = 5
v
1
v
2
v
3
v
4
v
5
v
6
v
7
v
8
Figura A.1: Grafo Gde ordem 8 e dimenso 20, colorido por meio do algoritmo greedy.
73
Apenas para ns comparativos, mostramos abaixo a Figura obtida no Maple.
B Tabela de Smbolos
A seguir apresentamos os smbolos que utilizamos em nosso trabalho e seus respec-
tivos signicados.
Smbolo Signicado
(G) Nmero independente de G
(G) Grau mnimo de G
(G) Grau mximo de G
(P) Grau mnimo do poliedro P
(G) Nmero cromtico de G
(G) Nmero clique de G.
|A| Dimenso do grafo que contm o conjunto de arestas A
|V | Ordem do grafo que contm o conjunto de vrtices V
g(v) grau do vrtice v
g(F) grau da face F
p(v
1
v
2
) Peso da aresta v
1
v
2
r-regular Grafo regular cujos vrtices possuem grau r
v
1
v
n
Percurso cujos vrtices inicial e nal so respectivamente v
1
e v
n
C
n
Grafo ciclo com n vrtices
G
Grafo dual de G
G
Grafo dual duplo de G

G
ij
Cadeia de Kempe formada pelos vrtices coloridos com as cores i e j
K(v) Colorao prpria do vrtice v
K
n
Grafo completo com n vrtices
K
|X|,|Y |
Grafo bipartido completo
N
n
Grafo nulo com n vrtices
P(G) Peso total do grafo com peso G
V(v) Vizinhana do vrtice v
75
ndice Remissivo
Algoritmo greedy, 33, 53
Aresta(s)
adjacentes, 17
mltipla, 17
rvore, 29
geradora, 32
Cadeia de Kempe, 55
Caminho, 23
Hamiltoniano, 28
Ciclo, 23
Hamiltoniano, 28
par, 40
mpar, 40
Circuito, 23
Euleriano, 24
Colorao, 51
prpria, 51
Conjunto
clique, 58
maximal, 59
mximo, 59
independente, 58
maximal, 58
mximo, 58
partio, 39
Dimenso, 18
Face, 41
innita, 41
Floresta, 29
geradora, 32
Frmula de Euler, 41
Grafo, 17
bipartido, 39
completo, 39
colorvel, 51
com peso, 32
completamente regular, 45
completo, 18
conexo, 23
Dual, 43
Euleriano, 24
Hamiltoniano, 28
nulo, 18
planar, 20
poligonal, 46
regular, 20
simples, 17
Grau
de um vrtice, 17
de uma face, 41
mximo, 18
mnimo, 18
Homeomorsmo, 19
Isomorsmo, 19
Lao, 17
Nmero
clique, 59
cromtico, 51
independente, 58
Ordem, 18
Percurso, 23
Poliedro regular, 47
Poliedros regulares, 49
76
NDICE REMISSIVO 77
Ponte, 30
Problema
das casas, 20
das pontes de Knigsberg, 24
do caixeiro viajante, 34
Projeo estereogrca, 47
Representao planar, 20
Reunio de grafos, 18
Subdiviso, 19
Subgrafo, 18
Teorema
das cinco cores, 59
de Brooks, 55
de Dirac, 28
de Kuratowski, 43
de Ore, 29
Trilha, 23
Euleriana, 24
Vizinhana, 18
Vrtice
par, 18
mpar, 18

Polyanna Possani Da Costa

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Polyanna Possani Da Costa

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Estadual Paulista Jlio de Mesquita Filho

Instituto de Geocincias e Cincias Exatas

) = P(S) e uma rvore com uma aresta a mais em comum com

vrtices em X. Para que G seja bipartido devemos mostrar que

tem comprimento um, o que

Y , uma contradio. Assim devemos ter x = v e da mesma forma

o ltimo vrtice que P

em comum. Assim, temos

= F. O nmero de arestas que limitam F chamado de grau de F, denotado

construdo exatamente como o dual de um

da representao planar de G dado pela seguinte construo:

(lao) deve interceptar apenas b e uma nica vez,

pertence a mesma face de G que contm um vrtice de b.

tambm , isto pode ser

= q seguem imediatamente dos itens (1) e

= n segue da Frmula de Euler, pois

o mesmo que o nmero de vrtices de G. Disto, segue que v o nico

contm. Consequentemente, na construo de G

forem regulares. Note que G regular no implica que G

tambm seja, como mostra o

grafos poligonais regulares de grau k e k

, existe uma face F de G correspondente e como o nmero

de arestas que contm v

o mesmo nmero de arestas que limitam F, isto ,

) = g(F), segue que toda face de G limitada pelo mesmo nmero k

so inteiros positivos, temos que

2 so ambos positivos, ou seja, k e k

> 2. Para que o produto seja menor que 4 devemos ter

2 3, e assim os nicos valores que k e k

na Equao (3.3) e em seguida, nas igualdades de (3.1).

= 3 na Equao (3.3), obtemos n = 4, e por

ser igual ao nmero q de arestas de G (Figura 3.7(d)).

= 2. Pela Equao (3.3), obtemos n = 2, isto , G ser um grafo com dois

= 1. Temos um grafo formado por um nico lao, e ento n = q = 1 e

isomorfo a G, temos que o dual de um grafo completamente regular

Grafo dual duplo de G

Você também pode gostar