Teoria Dos Grafos

Uma Introduo Sucinta
Teoria dos Grafos

http://www.ime.usp.br/~pf/teoriadosgrafos/
P. Feoloff
Y. Kohayakawa
Y. Wakabayashi
4/8/2005
2
Sumrio
1 Conceitos bsicos 8
1.1 Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Alguns exemplos de grafos . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Isomorsmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Vizinhanas, cortes e graus . . . . . . . . . . . . . . . . . . . . . . . 14
1.5 Caminhos e circuitos . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6 Subgrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.7 Grafos conexos e componentes . . . . . . . . . . . . . . . . . . . . 17
1.8 Grafos aleatrios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Conjuntos estveis, cliques e coberturas 20
2.1 Conjuntos estveis mximos . . . . . . . . . . . . . . . . . . . . . . 20
2.2 Delimitaes inferiores . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3 Delimitaes superiores . . . . . . . . . . . . . . . . . . . . . . . . 23
2.4 O ndice de estabilidade da maioria dos grafos . . . . . . . . . . . 24
2.5 Cliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.6 Coberturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.7 Consideraes computacionais . . . . . . . . . . . . . . . . . . . . 28
3 Colorao de vrtices 29
3.1 Coloraes mnimas . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Algumas delimitaes superiores . . . . . . . . . . . . . . . . . . . 30
3.3 Algumas delimitaes inferiores . . . . . . . . . . . . . . . . . . . 31
3.4 Bicolorao e grafos bipartidos . . . . . . . . . . . . . . . . . . . . 33
3.5 O nmero cromtico da maioria dos grafos . . . . . . . . . . . . . 35
3
4
4 Emparelhamentos 37
4.1 Emparelhamentos mximos . . . . . . . . . . . . . . . . . . . . . . 37
4.2 Delimitao superior . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4.3 Emparelhamentos em grafos bipartidos . . . . . . . . . . . . . . . 39
4.4 Emparelhamentos em grafos arbitrrios . . . . . . . . . . . . . . . 43
5 Colorao de arestas 48
5.1 Coloraes mnimas . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5.2 Delimitao inferior . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5.3 Grafos bipartidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5.4 Delimitao superior . . . . . . . . . . . . . . . . . . . . . . . . . . 51
A Dicionrio de termos tcnicos 54
B Alfabeto grego 56
Bibliograa 58
ndice Remissivo 59
Prefcio
Este texto uma breve introduo Teoria dos Grafos. Para embarcar nessa introdu-
o, o leitor
1
s precisa ter alguma familiaridade com demonstraes matemticas
formais e com a notao bsica da teoria dos conjuntos elementar.
Ateoria dos grafos estuda objetos combinatrios os grafos que so umbom
modelo para muitos problemas em vrios ramos da matemtica, da informtica, da
engenharia e da indstria. Muitos dos problemas sobre grafos tornaram-se clebres
porque so um interessante desao intelectual e porque tm importantes aplicaes
prticas.
Nesta breve introduo, vamos nos restringir a quatro temas intimamente re-
lacionados: conjuntos estveis, colorao de vrtices, emparelhamentos e colora-
o de arestas. Muitos outros temas e problemas, podem ser encontrados nos li-
vros de BondyMurty [BM76], Wilson [Wil79], Diestel [Die00], Bollobs [Bol98],
Lovsz [Lov93], LovszPlummer [LP86], Lucchesi [Luc79] e BiggsLloydWilson
[BLW76].
Mesmo numa breve introduo como esta, inevitvel esbarrar em questes
de complexidade computacional, pois muitos dos problemas da teoria dos grafos
tm motivao algortmica. O leitor interessado em aprofundar seus conhecimen-
tos nessa rea pode consultar os livros de GareyJohnson [GJ79], Harel [Har92] e
Sipser [Sip97].
Estas notas foram preparadas para um mini-curso na II Bienal da SBM (Socie-
dade Brasileira de Matemtica), realizada em Salvador em outubro de 2004. Uma
verso corrigida do texto, bem como bibliograa adicional e apontadores para ma-
terial na internet, podem ser encontrados em
http://www.ime.usp.br/~pf/teoriadosgrafos/
Exerccios
O texto contm vrios exerccios. Alguns so bastante simples e servem apenas
para que o leitor conra seu entendimento do assunto. Outros levantam assuntos
que no sero abordados no texto propriamente dito.
Os exerccios que julgamos difceis tm prexo D, os muito difceis tm prexo D
DD, e os problemas em aberto tm prexo A. O prexo dos exerccios particular- DD
A
1
No que segue, todas as ocorrncias de leitor devem ser entendidas como leitora e leitor.
Para ns, as leitoras so pelo menos to importantes quanto os leitores.
5
6
mente fceis F. Todos os demais tm prexo E. F
O leitor no deve sentir-se obrigado a resolver todos os exerccios de uma seo
antes de comear a estudar a prxima.
Recursos na teia WWW
H muito material de teoria dos grafos na teia WWW. A lista abaixo um tanto
arbitrria: os stios mencionados no so necessariamente os melhores nem os mais
representativos.
Graph Theory, de Stephen Locke: http://www.math.fau.edu/locke/graphthe.
htm
Open Problems Graph Theory and Combinatorics, de Douglas West: http://www.
math.uiuc.edu/~west/openp/
Graph Theory, no MathWorld da Wolfram Research: http://mathworld.
wolfram.com/topics/GraphTheory.html
Teoria dos Grafos, na Wikipdia: http://pt.wikipedia.org/wiki/Teoria_dos_
grafos
Graph Theory, na Wikipedia: http://en.wikipedia.org/wiki/Category%
3AGraph_theory
The MacTutor History of Mathematics Archive, stio de histria da matem-
tica na St. Andrews University (Esccia): http://turnbull.mcs.st-and.ac.
uk/~history/Indexes/HistoryTopics.html. Veja, em particular, a coleo de
biograas de matemticos em http://www-gap.dcs.st-and.ac.uk/~history/
BiogIndex.html
Os autores
Os autores do texto Paulo Feoloff, Yoshiharu Kohayakawa e Yoshiko Waka-
bayashi so professores do Departamento de Cincia da Computao (http:
//www.ime.usp.br/dcc/) do Instituto de Matemtica e Estatstica da Universidade
de So Paulo.
Agradecimentos
Agradecemos o apoio do MCT/CNPq (Projeto PRONEX Proc. CNPq 664107/1997
4), da FAPESP/CNPq (Projeto Temtico/PRONEX Proc. FAPESP Proc. 2003/09925
5) e do CNPq (Proc. 300334/931 e 304527/890). Tambm agradecemos aos orga-
nizadores da II Bienal da SBM pela boa vontade com que atenderam os sucessivos
7
pedidos de prorrogao do prazo de entrega do texto.
So Paulo, novembro de 2004
P. F., Y. K., Y. W.
Captulo 1
Conceitos bsicos
Este captulo formaliza a denio de grafo
1
e introduz os conceitos de isomorsmo,
caminho, circuito, subgrafo, conexo, componente e grafo aleatrio. Esses conceitos
so necessrios para estudar os demais captulos.
Sugerimos que o leitor faa uma primeira leitura supercial deste captulo e
avance imediatamente para o captulo 2. Mais tarde, ele poder voltar a este captulo
para rever pontos especcos quando houver necessidade.
1.1 Grafos
Para qualquer conjunto V , denotaremos por V
(2)
o conjunto de todos os pares no- \
(2)
ordenados de elementos de V . Se V tem n elementos ento V
(2)
tem
_
n
2
_
:=
n(n1)
2
elementos. Os elementos de V
(2)
sero identicados com os subconjuntos de V que
tm cardinalidade 2. Assim, cada elemento de V
(2)
ter a forma v, w, sendo v e
w dois elementos distintos de V .
Um grafo um par (V, A) em que V um conjunto arbitrrio e A um subcon- (\, )
junto de V
(2)
. Os elementos de V so chamados vrtices e os de A so chamados
arestas. Neste texto, vamos nos restringir a grafos em que o conjunto de vrtices
nito.
2
Uma aresta como v, w ser denotada simplesmente por vw ou por wv. Dire- n
mos que a aresta vw incide em v e em w e que v e w so as pontas da aresta. Se vw
uma aresta, diremos que os vrtices v e w so vizinhos ou adjacentes.
De acordo com nossa denio, um grafo no pode ter duas arestas diferentes
com o mesmo par de pontas (ou seja, no pode ter arestas paralelas). Tambm
no pode ter uma aresta com pontas coincidentes (ou seja, no pode ter laos). H
quem goste de enfatizar esse aspecto da denio dizendo que o grafo simples.
Muitas vezes conveniente dar um nome ao grafo como um todo. Se o nome do
1
A palavra grafo um neologismo derivado da palavra graph em ingls. Ela foi usada pela
primeira vez no sentido que nos interessa aqui pelo matemtico ingls James Joseph Sylvester
( 181 18).
2
Alm disso, suporemos quase sempre, tacitamente, que \ ,= .
8
1.2 Alguns exemplos de grafos 9
r
r
r r
r
r
r
v
u
w
y
x
z
t
Figura 1.1: Esta gura um desenho do grafo cujos vrtices so
t, n, , n, r, j, . e cujas arestas so n, n, rn, rn, j. e rj.
grafo for G, o conjunto dos seus vrtices ser denotado por V (G) e o conjunto das \ (G)
suas arestas por A(G). O nmero de vrtices de G denotado por n(G) e o nmero
(G)
n(G)
de arestas por m(G); portanto,
:(G)
n(G) = [V (G)[ e m(G) = [A(G)[ .
O complemento de um grafo (V, A) o grafo (V, V
(2)
A). O complemento de
um grafo G ser denotado por G. G
Um grafo G completo se A(G) = V (G)
(2)
e vazio se A(G) = . A expresso
G um K
n
uma abreviatura de G um grafo completo com n vrtices. A 1
n
expresso G um K
n
uma abreviatura de G umgrafo vazio com n vrtices.
1
n
1.2 Alguns exemplos de grafos
Exemplo 1.1 Os vrtices do grafo so as casas de um tabuleiro de xadrez (genera-
lizado) com t linhas e t colunas.
3
Dois vrtices so adjacentes se uma dama do
jogo de xadrez pode saltar de um deles para o outro em um s movimento. Esse o
grafo dos movimentos da dama, ou simplesmente o grafo da dama. Para deixar cla-
ras as dimenses do tabuleiro, podemos dizer que esse o grafo da dama tport.
Quantos vrtices e quantas arestas tem o grafo da dama 3por3?
Figura 1.2: Tabuleiros de xadrez 8por8. A gura esquerda indica todos
os vizinhos do vrtice no grafo da dama (veja exemplo 1.1). A da direita
indica todos os vizinhos do vrtice no grafo do cavalo (veja exemplo 1.2).
Exemplo 1.2 Por analogia com o exemplo anterior, denem-se o grafo do rei, o
grafo do bispo, o grafo do cavalo e o grafo da torre tport. Quantos vrtices e
quantas arestas tem o grafo do cavalo 4por4?
3
No tabuleiro usual, t vale 8.
10 CAP. 1 CONCEITOS BSICOS
Exemplo 1.3 O grafo das palavras denido assim: cada vrtice uma palavra da
lngua portuguesa e duas palavras so adjacentes se diferem em exatamente uma
posio. Por exemplo, rato e ralo so adjacentes, enquanto ralo e rota no so.
Faa uma gura da parte do grafo denida pelas palavras abaixo:
caiado cavado cavalo girafa girava ralo ramo rata rato remo
reta reto rota vaiado varado virada virado virava
Exemplo 1.4 Um cubo de dimenso k, ou k-cubo, o grafo denido da seguinte
maneira: os vrtices do grafo so todas as seqncias b
1
b
2
b
k
em que cada b
i
per-
tence a 0, 1; dois vrtices so adjacentes se diferem em exatamente uma posio.
Faa guras dos cubos de dimenses 1, 2 e 3.
Exemplo 1.5 O grafo dos estados do Brasil denido assim: cada vrtice um dos
estados da Repblica Federativa do Brasil; dois estados so adjacentes se tm uma
fronteira comum. Quantos vrtices tem o grafo? Quantas arestas?
AM
RR
RO
TO
MT
MS
PE
MS
PA
GO
PR
SP
BA
SE
AL
CE
PI
MA
ES
RJ
PB
RN
SC
RS
AP
MG
AC
Figura 1.3: Adjacncia entre estados do Brasil (veja exemplo 1.5).
Exemplo 1.6 Seja M uma matriz simtrica com linhas e colunas indexadas por um
conjunto V . Suponha que M
vv
= 0 para todo v em V . O grafo da matriz M
denido da seguinte maneira: o conjunto de vrtices do grafo V e dois vrtices u
e v so adjacentes se M
uv
,= 0.
Exemplo 1.7 A grade pporq o grafo denido assim: o conjunto de vrtices o
produto cartesiano 1, 2, . . . , p 1, 2, . . . , q e dois vrtices (i, j) e (i
, j
) de V so
adjacentes se i = i
e [j j
[ = 1 ou se j = j
e [i i
[ = 1. (Veja a gura 1.4.)

Quantas arestas tem a grade pporq?
Exemplo 1.8 Seja V o conjunto de todos os subconjuntos de 1, 2, 3, 4, 5 que tm
exatamente 2 elementos. Digamos que dois elementos v e w de V so adjacentes
1.2 Alguns exemplos de grafos 11
se v w = . Essa relao de adjacncia sobre V dene o grafo de Petersen
4
(veja
gura 1.4).
r r r
r r r r
r r
r
r r
r
r
r
r r
r r
r
r
r
-
-
`
`
`\
\
\
\
`
`
`
`
`
`
`
`
`
`
.
.
Figura 1.4: Uma grade 3por4 (veja exemplo 1.7)
e um grafo de Petersen (veja exemplo 1.8).
Exemplo 1.9 Os hidrocarbonetos conhecidos como alcanos tm frmula qumica
C
p
H
2p+2
, onde C e H representam molculas de carbono e hidrognio respectiva-
mente. As molculas de alcanos podem ser representadas por grafos como os da
gura 1.5.
r r
r
r
r r
r
r
r
r r r r
r r r
r r r r
r r
r
r r
r
r
r
r r
r
r
r
r
r r
Figura 1.5: Etano (C
2
H
6
), butano (C
4
H
10
) e isobutano (C
4
H
10
). Os
vrtices em que incide uma s aresta representam tomos de hidrognio
(H); os demais representam tomos de carbono (C). Veja o exemplo 1.9.
Exemplo 1.10 Sejam U e W dois conjuntos mutuamente disjuntos e seja A o con-
junto de todos os pares no-ordenados da forma uw com u U e w W . Dizemos
que (U W, A) um grafo bipartido completo. Dizemos que esse grafo um K
p,q
, 1
p,q
sendo p := [U[ e q := [W[. (Veja uma generalizao desse conceito na seo 3.4.)
Exemplo 1.11 Seja V um conjunto de pontos no plano. Digamos que dois desses
pontos so adjacentes se a distncia entre eles menor que 2. Essa relao de adja-
cncia dene o grafo dos pontos no plano (sobre o conjunto V ). Faa uma gura
do grafo denido pelos pontos abaixo.
(0, 2) (1, 2) (2, 2)
(0, 1) (1, 1) (2, 1)
(0, 0) (1, 0) (2, 0)
Exemplo 1.12 Suponha dados k intervalos de comprimento nito, digamos
I
1
, . . . , I
k
, na reta real. Digamos que dois intervalos I
i
e I
j
so adjacentes se
4
Julius Petersen ( 18 11o), matemtico dinamarqus.
I
i
I
j
,= . Essa relao de adjacncia dene um grafo com conjunto de vrtices
I
1
, . . . , I
k
. Esse um grafo de intervalos. Faa uma gura do grafo denido pelos
intervalos [0, 2] , [1, 4] , [3, 6] , [5, 6] e [1, 6] .
Exemplo 1.13 Seja _ uma relao de ordem parcial sobre um conjunto nito V .
Portanto, a relao transitiva (se x _ y e y _ z ento x _ z), anti-simtrica (se
x _ y e y _ x ento x = y) e reexiva (x _ x para todo x). Digamos que dois
elementos distintos x e y de V so adjacentes se forem comparveis, ou seja, se
x _ y ou y _ x. Essa relao de adjacncia dene o grafo de comparabilidade da
relao _.
Exemplo 1.14 Umgrafo planar se pode ser desenhado no plano semque as curvas
que representam arestas se cruzem. Mostre que o grafo dos estados do Brasil (veja
exemplo 1.5) planar. Mostre que o grafo do 3-cubo (veja exemplo 1.4) planar.
Verique que K
5
no planar.
Exemplo 1.15 Duas arestas de um grafo G so adjacentes se tm uma ponta co-
mum. Essa relao de adjacncia dene o grafo das arestas de G.
5
Se G
denota o
grafo das arestas de G ento V (G
) = A(G) e cada aresta de G
um par ab em que
a e b so arestas adjacentes de G. (Veja a gura 1.6).
Faa uma gura do grafo das arestas de um K
3
e de um K
1,3
(veja exemplo 1.10).
Faa uma gura do grafo das arestas de um K
4
. Quantos vrtices e quantas arestas
tem o grafo das arestas de um K
n
?
Seja G o grafo das arestas de um K
5
. Desenhe G. Voc j viu esse grafo neste
texto?
P
P
P
PP
P
P
P
PP
P
P
P
r
r
r r
r
r
r
v
u
w
y
x
z
t
>
>
>
vu
yz
vw wx
ux
xy
s
s s
s
s s
Figura 1.6: Um grafo (esquerda) e seu grafo das arestas (direita).
1.3 Isomorsmo
Um isomormo entre dois grafos G e H uma bijeo f de V (G) em V (H) tal que
dois vrtices v e w so adjacentes em G se e somente se f(v) e f(w) so adjacentes
em H.
5
Na literatura em ingls, esse grafo conhecido como line graph e denotado por 1(G). A expres-
so grafo das arestas no padro em portugus.
1.3 Isomorsmo 13
Dois grafos G e H so isomorfos se existe umisomorsmo entre eles. Emoutras
palavras, dois grafos so isomorfos se possivel alterar os nomes dos vrtices de um
deles de tal modo que os dois grafos quem iguais.
Para decidir se dois grafos G e H so isomorfos, basta examinar todas as bi-
jees de V (G) em V (H). Se cada um dos grafos tem n vrtices, esse algoritmo
consome tempo proporcional a n! . Como n! cresce explosivamente com n, esse al-
goritmo decididamente insatisfatrio na prtica. Infelizmente, no se conhece um
algoritmo substancialmente melhor.
6
Exerccios
E 1.16 Os dois grafos da gura 1.7 so isomorfos? Quais dos grafos da gura 1.8
so isomorfos entre si?
r r
r r
r
r r
r .
r r
r r
r
r
r
r
.
Figura 1.7: Os grafos so isomorfos? Veja exerccio 1.16.

r
r
r
r r
r r
r
r
r
-
-
`
`
`\
\
\
\
`
`
`
`
`
`
`
`
`
`
.
.
r r
r
r r
r
r r
r r
-
--
`
`
`
`
`
``

`
`
`
``
.
. .

`
``
r
r
r r
r
r
r
r
r
r
`
`
`
'
'
'
'
'
'
`
`
`
`
`
`
`
.
.
. .

`
``
Figura 1.8: Os grafos so isomorfos? Veja exerccio 1.16.
E 1.17 Mostre que o grafo das arestas (veja exemplo 1.15) de um K
5
isomorfo ao
complemento do grafo de Petersen (veja exemplo 1.8).
E 1.18 Um automorsmo de um grafo G um isomorsmo de G em G. Seja (G)
o conjunto dos automorsmos de G. Mostre que (G) um grupo sob a operao
de composio. Mostre que (G) = (G). Mostre que (K
n
) o grupo simtrico
sobre n elementos. Descreva (K
p,q
) (veja exemplo 1.10).
6
Veja os livros de GareyJohnson [GJ79], Harel [Har92] e Sipser [Sip97].
1.4 Vizinhanas, cortes e graus
A vizinhana de um conjunto X de vrtices de um grafo G o conjunto de todos
os vrtices que tm algum vizinho em X.
7
Esse conjunto ser denotado por
G
(X)
ou simplesmente por (X). A vizinhana de um vrtice v o conjunto (v), que (A)
pode ser denotado simplesmente por (v).
()
O corte associado a (ou cofronteira de) um conjunto X de vrtices o conjunto
de todas as arestas que tm uma ponta em X e outra em V (G) X. O corte associ-
ado a X ser denotado por
8
G
(X)
ou simplesmente por (X).
9
evidente que () = (V (G)) = . Se v um (A)
vrtice, podemos escrever (v) no lugar de (v).
Um corte (ou cociclo) em um grafo qualquer conjunto da forma (X), onde
X um conjunto de vrtices.
O grau de um vrtice v o nmero de arestas que incidem em v, ou seja, a
cardinalidade do corte (v) (igual cardinalidade de (v)). O grau de v em um
grafo G ser denotado por
g
G
(v) ,
ou simplesmente por g(v). O grau mnimo de um grafo G o nmero (G) := g()
ming(v) : v V (G). O grau mximo do grafo o nmero (G) := maxg(v) : v
(G)
V (G).
(G)
Um grafo G regular se todos os seus vrtices tm o mesmo grau, ou seja, se
(G) = (G). Um grafo k-regular se g(v) = k para todo vrtice v.
Proposio 1.1 Em todo grafo, a soma dos graus dos vrtices igual ao do-
bro do nmero de arestas. Ou seja, todo grafo (V, A) satisfaz a identidade
vV
g(v) = 2[A[.
PROVA: Uma aresta com pontas x e y contribui uma unidade para g(x) e uma
unidade para g(y). Portanto, cada aresta contribui exatamente duas unidades para
a soma

v
g(v).
Exerccios
F 1.19 verdade que [(X)[ = [(X)[ para todo conjunto X de vrtices?
7
Nessa denio, a vizinhana de A pode no ser disjunta de A. H quem prera adotar uma
denio ligeiramente diferente e dizer que a vizinhana de A o conjunto dos vrtices em \ (G)A
que tm algum vizinho em A.
8
O nome do smbolo nabla. Dizem que a palavra designa uma harpa egpcia. O smbolo
usado em matemtica para denotar um operador diferencial. No confunda com .
9
H quem prera escrever (A) no lugar do nosso (A).
1.4 Vizinhanas, cortes e graus 15
E 1.20 Mostre que todo grafo tem um nmero par de vrtices de grau mpar.
E 1.21 Mostre que todo grafo com dois ou mais vrtices tem pelo menos dois vrti-
ces de mesmo grau.
E 1.22 Quantas arestas tem o grafo da dama 8por8 (veja exemplo 1.1)? Quantas
arestas tem o grafo do cavalo 8por8?
E 1.23 Quantas arestas tem o grafo das arestas de um grafo G?
E 1.24 Quais so os graus dos vrtices de uma molcula de alcano (veja exem-
plo 1.9)?
E 1.25 Mostre que (G) = n(G) (G) 1 e (G) = n(G) (G) 1 para todo
grafo G.
E 1.26 Mostre que se G um grafo com (G) > 0 e m(G) < n(G) ento G tem pelo
menos dois vrtices de grau 1.
E 1.27 A matriz de adjacncias de um grafo G a matriz M com linhas e colunas
indexadas por V (G) tal que M[u, v] = 1 se uv A(G) e M[u, v] = 0 em caso
contrrio. (Compare com o exemplo 1.6.) Qual a matriz de adjacncias do grafo
denido na gura 1.1? Qual a matriz de adjacncias de um K
4
? Qual a matriz de
adjacncias de uma grade 3por4? Qual a matriz de adjcncias de um 3-cubo?
Quanto vale a soma dos elementos da linha u da matriz? Quanto vale a soma dos
elementos da coluna v?
F 1.28 Seja A um conjunto nito. Dena as seguintes operaes de soma e multi-
plicao por escalar para as partes de A: para quaisquer subconjuntos E e F de A,
pomos
E + F := (E F) (E F), 1 E = E e 0 E = .
Mostre que a tripla (2
A
, +, ) um espao vetorial sobre o corpo dos inteiros m-
dulo 2.
E 1.29 Dado um grafo G, seja T(G) a coleo de todos os cortes de G, isto ,
T(G) := (X) : X V (G). Mostre que T(G) um subespao vetorial do
espao (2
A(G)
, +, ) denido no exerccio 1.28. Dizemos que T(G) o espao dos
cortes (ou dos cociclos) de G.
1.5 Caminhos e circuitos
Um caminho qualquer grafo da forma (v
1
, v
2
, . . . , v
n
, v
i
v
i+1
: 1 i < n). Em
outras palavras, um caminho um grafo C cujo conjunto de vrtices admite uma
permutao (v
1
, v
2
, . . . , v
n
) tal que
v
1
v
2
, v
2
v
3
, . . . , v
n1
v
n
= A(C) .
Os vrtices v
1
e v
n
so os extremos do caminho. O caminho que acabamos de
descrever pode ser denotado simplesmente por v
1
v
2
v
n
. Por exemplo, o grafo
1

n
(u, v, w, z, wz, vz, uw) um caminho, que pode ser denotado por uwzv.
r
r
r
r r
r
r r
r
r r

`
`
`
`
`
`
`
`
Figura 1.9: Um caminho e um circuito.
Um circuito
10
um grafo da forma (v
1
, v
2
, . . . , v
n
, v
i
v
i+1
: 1 i < n
v
n
v
1
), com n 3. Em outras palavras, um circuito um grafo O com n(O) 3
cujo conjunto de vrtices admite uma permutao (v
1
, v
2
, . . . , v
n
) tal que
v
1
v
2
, v
2
v
3
, . . . , v
n1
v
n
v
n
v
1
= A(O) .
Esse circuito pode ser denotado simplesmente por v
1
v
2
v
n
v
1
.
1

n
1
O comprimento de um caminho ou circuito o nmero de arestas do grafo.
claro que um caminho de comprimento k tem k + 1 vrtices e um circuito de
comprimento k tem k vrtices. Um tringulo, quadrado, pentgono e hexgono
o mesmo que um circuito de comprimento 3, 4, 5 e 6 respectivamente.
Um caminho ou circuito par se tem comprimento par, e mpar se tem compri-
mento mpar.
Exerccios
E 1.30 Mostre que o complemento de umcaminho de comprimento 3 umcaminho
de comprimento 3. Mostre que o complemento de um circuito de comprimento 5
um circuito de comprimento 5.
E 1.31 Mostre que todo corte de um circuito tem cardinalidade par. Isto , mostre
que, para qualquer conjunto X de vrtices de um circuito O, o corte
O
(X) tem
cardinalidade par.
10
Alguns livros dizem ciclo no lugar do nosso circuito.
1.6 Subgrafos 17
1.6 Subgrafos
Um subgrafo de um grafo G qualquer grafo H tal que V (H) V (G) e A(H)
A(G). Um subgrafo H de G prprio se V (H) ,= V (G) ou A(H) ,= A(G).
O subgrafo de G induzido por um subconjunto X de V (G) o grafo (X, B) em
que B o conjunto de todas as arestas de G que tm ambas as pontas em X. Esse
subgrafo denotado por G[A]
G[X] .
Para qualquer subconjunto X de V (G), denotaremos por G X o subgrafo GA
G[V (G) X] . Se v um vrtice de G ento Gv uma abreviatura de Gv. G
Se a uma aresta de G ento Ga o grafo (V (G), A(G)a). Apropsito, se Go
x, y um elemento de V (G)
(2)
, denota-se por G+xy o grafo (V (G), A(G) xy). G+rj
Se um caminho v
1
v
n
subgrafo de G, dizemos simplesmente que v
1
v
n

umcaminho em G ou que G contmo caminho v
1
v
n
. Por exemplo, se dissermos
que uvwz um caminho em G, devemos entender que (u, v, w, z, uv, vw, wz)
um subgrafo de G. Conveno anloga vale para circuitos que so subgrafos de G.
Exerccios
E 1.32 Seja G
o grafo das arestas de um grafo G. Mostre que G
no contm K
1,3
(veja exemplo 1.10) como subgrafo induzido. (Em outras palavras, mostre que no
existe subconjunto X de V (G
) tal que G
[X] um K
1,3
.)
E 1.33 Uma oresta umgrafo semcircuitos. Mostre que umgrafo G uma oresta
se e somente se cada uma de suas arestas um corte, ou seja, para cada aresta a
existe um subconjunto X de V (G) tal que (X) = a.
E 1.34 Digamos que umgrafo par se todos os seus vrtices tmgrau par. Dado um
grafo G, seja O(G) a coleo dos conjuntos das arestas de todos os subgrafos pares
de G. Mostre que O(G) um subespao vetorial do espao (2
A(G)
, +, ) denido no
exerccio 1.28. Dizemos que O(G) o espao dos ciclos de G.
E 1.35 Seja G um grafo e considere os espaos O(G) e T(G) denidos nos exerc-
cios 1.34 e 1.29 respectivamente. Mostre que [O D[ 0 mod 2 para todo mem-
bro O de O(G) e todo membro D de T(G). (Sugesto: Mostre que O pode ser es-
crito como uma unio disjunta de circuitos, ou seja, que existem circuitos O
1
, . . . , O
k
dois a dois disjuntos nas arestas tais que O = A(O
1
) A(O
k
).)
1.7 Grafos conexos e componentes
Um grafo conexo se, para qualquer par v, w de seus vrtices, existe um caminho
com extremos v e w. Por exemplo, o grafo do bispo (veja 1.2) no conexo (a menos
que o tabuleiro tenha uma s linha e uma s coluna).
Proposio 1.2 Um grafo G conexo se e somente se (X) ,= para todo
subconjunto prprio e no-vazio X de V (G).
PROVA: Suponha que X um subconjunto prprio e no-vazio de V (G). Seja x
um elemento de X e y um elemento de V (G) X. Se G conexo ento existe um
caminho C em G com extremos x e y. Pelo menos uma das arestas de C estar,
necessariamente, em (X).
Suponha agora que (X) ,= para todo subconjunto prprio e no-vazio X
de V (G). Seja v um vrtice qualquer de G e seja ( o conjunto de todos os caminhos
em G que tm um extremo em v. Seja X o conjunto dos extremos de todos os
elementos de (. evidente que X ,= mas (X) = . Assim, em virtude de nossas
hipteses, devemos concluir X = V (G). Isso mostra que, para qualquer vrtice w,
existe um caminho de v a w. Portanto, G conexo.
Um subgrafo conexo H de um grafo G maximal se H no subgrafo prprio
de algum subgrafo conexo de G. Um componente (ou componente conexo) de um
grafo G qualquer subgrafo conexo maximal de G. claro que cada vrtice de um
grafo pertence a um e um s componente. claro tambm que um grafo conexo
se e somente se tem um nico componente.
Exerccios
F 1.36 Verique que o grafo do cavalo 3por3 (veja exemplo 1.2) tem dois compo-
nentes: um caminho de comprimento 0 e um circuito de comprimento 8.
F 1.37 Quantos componentes tem o grafo do bispo t-port (veja exemplo 1.2)?
E 1.38 Seja G um grafo tal que (G) 2. Mostre que cada componente de G um
caminho ou um circuito.
E 1.39 Seja G um grafo com (G) n(G)/2|.
11
Mostre que G conexo.
E 1.40 Seja G um grafo com (G) 3. Mostre que G tem um circuito par.
E 1.41 Mostre que todo grafo G satisfaz a desigualdade m(G) n(G) c(G), onde
c(G) o nmero de componentes de G.
E 1.42 Uma rvore uma oresta (veja exerccio 1.33) conexa. (Os grafos discutidos
no exemplo 1.9 so rvores.) Mostre que um grafo conexo G uma oresta se e
somente se, para cada aresta a, o grafo Ga no conexo.
11
Para qualquer nmero real r, denotamos por r| o nico inteiro i tal que i r < i + 1.
1.8 Grafos aleatrios 19
1.8 Grafos aleatrios
Seja ((n) a coleo de todos os grafos com conjunto de vrtices V := 1, . . . , n.
12
((n)
\
claro que
[((n)[ = 2
N
,
com N =
_
n
2
_
. Qualquer propriedade invariante sob isomorsmo (como, por exem-
plo, a propriedade de ser conexo)dene uma subcoleo de ((n). Assim, convm
confundir os conceitos de propriedade e subcoleo de ((n). Diremos que
quase todo grafo tem determinada propriedade T(n) se
lim
n
[T(n)[
[((n)[
= 1 .
Uma forma de se estudar o conjunto ((n) baseada na introduo de uma me-
dida de probabilidade nesse conjunto. Seja p um nmero no intervalo (0, 1) e es-
colha cada elemento de V
(2)
, independentemente, com probabilidade p. Se A o
conjunto dos pares escolhidos, ento (V, A) um grafo aleatrio em ((n). A pro-
babilidade de que o grafo (V, A) assim construdo seja idntico a um determinado
elemento de ((n) que tenha m arestas
p
m
(1 p)
Nm
.
Se p =
1
2
ento todos os 2
N
grafos em ((n) so equiprovveis: a probabilidade de
obter qualquer um deles 1/2
N
.
12
Qualquer outro conjunto de cardinalidade n poderia ser usado no lugar de 1, . . . , n.
Captulo 2
Conjuntos estveis, cliques e
coberturas
Um conjunto de vrtices de um grafo estvel
1
se seus elementos so dois a dois
no-adjacentes, ou seja, se nenhuma aresta tem ambas as pontas no conjunto. Em
outras palavras, um conjunto X de vrtices de um grafo G estvel se o grafo
induzido G[X] vazio.
Eis um exemplo. Digamos que meu grafo G representa a planta de uma cidade:
os vrtices so as esquinas e as arestas so os trechos de ruas que ligam as esqui-
nas. Quero instalar uma rede de postos de gasolina na cidade. A legislao exige
que cada posto que numa esquina e impede que dois postos quem em esquinas
adjacentes. Quantos postos no mximo posso instalar na cidade?
Um conjunto estvel X maximal se no faz parte de um conjunto estvel
maior, ou seja, se X no subconjunto prprio de outro conjunto estvel. muito
fcil encontrar um conjunto estvel maximal: comece com um conjunto estvel X
e examine os demais vrtices um a um; se o vrtice examinado for adjacente a al-
gum dos que esto em X, descarte-o; caso contrrio, acrescente-o a X. bem mais
difcil e mais interessante encontrar um conjunto estvel mximo.
2.1 Conjuntos estveis mximos
Um conjunto estvel X mximo se [X[ [Y [ para todo conjunto estvel Y . A
cardinalidade de um conjunto estvel mximo de um grafo G denotada por
(G) .
Vamos nos referir a esse nmero como ndice de estabilidade do grafo.
claro que todo conjunto estvel mximo maximal, mas a recproca no
verdadeira. Por exemplo, todo K
1,9
(veja exemplo 1.10) tem um conjunto estvel
maximal de cardinalidade 1 mas o seu ndice de estabilidade 9.
1
H quem diga conjunto independente no lugar do nosso conjunto estvel.
20
2.2 Delimitaes inferiores 21
Eis alguns exemplos. O ndice de estabilidade de um K
n
1, enquanto o ndice
de estabilidade de um K
n
n. Se G o grafo da dama 8por8 (veja exemplo 1.1)
ento (G) 7, pois possvel colocar 7 damas no tabuleiro de modo que elas no
se ataquem mutuamente.
2
Este captulo estuda a relao entre o ndice de estabilidade e outros parmetros
do grafo. A intuio sugere, por exemplo, que tanto maior quanto menores
forem os graus dos vrtices. possvel comprovar essa intuio?
Exerccios
F 2.1 Mostre que, em geral, um conjunto estvel mximo num grafo no nico.
E 2.2 Encontre um conjunto estvel mximo num circuito de comprimento n. En-
contre um conjunto estvel mximo num caminho com n vrtices.
E 2.3 Encontre um conjunto estvel mximo na grade pporq (veja exemplo 1.7).
E 2.4 Seja G
t
o grafo da dama tport (veja exemplo 1.1). Mostre que (G
8
) = 8.
Calcule (G
5
), (G
6
) e (G
7
).
D 2.5 Seja G
t
o grafo da dama tport (veja exemplo 1.1). Calcule (G
t
) para
todo t 9.
E 2.6 Encontre umconjunto estvel mximo nos grafos do cavalo, do bispo, da torre
e do rei (veja exemplo 1.2).
2.2 Delimitaes inferiores
Para obter uma delimitao inferior de , basta encontrar um conjunto estvel ra-
zoavelmente grande. A delimitao abaixo, por exemplo, usa um conjunto estvel
maximal arbitrrio. Ela comprova a intuio de que conjuntos estveis maximais
so tanto maiores quanto menores forem os graus dos vrtices.
Delimitao 2.1 Para todo grafo G tem-se (G)
n(G)
(G) + 1
.
PROVA: suciente mostrar que todo conjunto estvel maximal tempelo menos
n
+1
vrtices. Para qualquer conjunto estvel X tem-se
[(X)[ =
xX
g(x) .
2
possvel colocar mais que 7 damas no tabuleiro?
22 CAP. 2 CONJUNTOS ESTVEIS, CLIQUES E COBERTURAS
Suponha agora que X maximal. Ento cada vrtice em V (G) X vizinho de
algum vrtice em X, donde [V (G) X[ [(X)[. Logo,
[V (G) X[

xX
g(x) [X[ (G) .
Segue da que n(G) = [X[ + [V (G) X[ [X[ (1 + (G)). Resta apenas observar
que (G) [X[.
A delimitao 2.1 admite uma generalizao muito interessante:
vV (G)
1
g(v) + 1
.
PROVA: Adote a abreviatura h
G
( ) := (g
G
( ) + 1)
1
. Queremos mostrar que /( )
(G)
v
h
G
(v).
A prova uma induo em n(G). fcil vericar que a desigualdade vale
quando n(G) 2. Suponha agora que n(G) > 2 e que o resultado vlido para
grafos com menos que n(G) vrtices. Seja x um vrtice de grau mnimo e seja Y o
conjunto dos vizinhos de x, isto , Y := (x). Essa escolha de x garante que
h
G
(x) +
yY
h
G
(y) h
G
(x) +[Y [ h
G
(x)
= h
G
(x) + g
G
(x) h
G
(x)
= (1 + g
G
(x)) h
G
(x)
= 1 .
Seja H o subgrafo induzido pelo complemento de x Y , isto , H := G[Z] com
Z := V (G) (Y x). Por hiptese de induo, (H)

zZ
h
H
(z). Como 7
g
H
(z) g
G
(z) e portanto h
H
(z) h
G
(z) para todo z em Z, temos
(H)
zZ
h
G
(z) .
Para todo conjunto estvel S em H, o conjunto S x estvel em G. Portanto,
(G) 1 + (H)
1 +
zZ
h
G
(z)
h
G
(x) +
yY
h
G
(y) +
zZ
h
G
(z)
=
vV (G)
h
G
(v) ,
como queramos provar.
As delimitaes discutidas acima so justas: nos grafos completos, por exemplo,
tem-se =
_
n
+1
_
.
3
(Veja tambm o exerccio 2.8). Mas pode car arbitrariamente
longe de n/(+1) e mesmo de
1/(g(v) +1): num K

p,p
, por exemplo (veja exem-
plo 1.10), temos = p enquanto

1/(g(v) + 1) < 2.
3
Para qualquer nmero real r, denotamos por r| o nico inteiro , tal que , 1 < r , .
2.3 Delimitaes superiores 23
Exerccios
F 2.7 Deduza a delimitao 2.1 da delimitao 2.2.
E 2.8 Seja G uma unio de grafos completos cujos conjuntos de vrtices so disjun-
tos dois a dois. Mostre que (G) =
v
(g(v) + 1)
1
.
E 2.9 Seja G o grafo dos estados do Brasil (veja exemplo 1.5). Deduza da delimita-
o 2.1 que (G) 3. Deduza da delimitao 2.2 que (G) 7. Encontre o valor
exato de (G).
E 2.10 Aplique as proposies 2.1 e 2.2 ao grafo da dama (veja exemplo 1.1).
E 2.11 Dados inteiros n 1 e m 0, seja f
n
(m) o valor mnimo da expresso
(x
1
+1)
1
+ +(x
n
+1)
1
, onde x
1
, . . . , x
n
so inteiros no-negativos tais que x
1
+
+ x
n
= 2m. (Compare com a delimitao 2.2.) Mostre que f
n
(m) atingido
quando [x
i
x
j
[ 1 para todo i e j . (Sugesto: Verique antes que (a +1)
1
+(b +
1)
1
(a +2)
1
+b
1
quando 0 a < b.) Mostre que f
n
(m
) > f
n
(m) para inteiros
n 1 e 0 m
< m. (Este exerccio uma preparao para o exerccio 2.12.)

E 2.12 Seja n um inteiro positivo e sejam a, k e r inteiros no-negativos tais que
n = ak + r e 0 r < a. Seja S o grafo que resulta da unio de r cpias do K
k+1
e ar cpias do K
k
(as cpias so duas a duas disjuntas nos vrtices). Observe que
n(S) = n, m(S) = r
_
k+1
2
_
+ (a r)
_
k
2
_
e (S) = a .
Mostre que (G) > (S) para qualquer grafo G tal que n(G) = n e m(G) < m(S).
4
(Sugesto: veja o exerccio 2.11.)
2.3 Delimitaes superiores
Para estabelecer uma delimitao superior de , preciso provar que todos os con-
juntos estveis do grafo so pequenos. Eis uma delimitao superior simples (e
muito pobre):
m(G)
(G)
.
PROVA: Para qualquer conjunto estvel X, temos m(G) [(X)[ =
xX
g(x) [X[ (G). Logo, [X[ m(G)/(G).
4
Pode-se provar que o o nico grafo (a menos de isomorsmo) com n vrtices, :(o) arestas
e ndice de estabilidade o. Este fato um conhecido teorema de Paul Turn ( 11o 16). O com-
plemento de o conhecido como grafo de Turn.
Uma delimitao superior pode ser usada, s vezes, para comprovar a maxi-
malidade de um conjunto estvel. Se X um conjunto estvel de cardinalidade
m/| ento a delimitao acima garante que X mximo. Por exemplo, se X
um conjunto estvel com p vrtices em um circuito de comprimento 2p + 1, ento
X mximo porque [X[ = (2p + 1)/2| = m/|.
Infelizmente, ca muito longe de m/ em geral. Em um K
n
, por exemplo,
tem-se = 1 enquanto m/ = n/2.
Exerccios
D 2.13 Prove que (G) n(G)
1
2
p(G), sendo p(G) o posto da matriz de adjacn-
cias de G (veja exerccio 1.27). Por denio, o posto de uma matriz M o nmero
de mximo de colunas linearmente independentes em M.
DD 2.14 Mostre que (G) (G) para todo grafo G. Aqui, (G) o nmero
5
max
X
e
Xe, sendo o mximo tomado sobre todas as matrizes X indexadas por

V (G)V (G) que so simtricas positivas semidenidas (X _ 0),
6
tmtrao unitrio
(
i
X
ii
= 1) e tm componentes nulas nas arestas (X
ij
= 0 para todo ij em A(G)).
O smbolo e denota o vetor de componentes unitrios (e
i
= 1 para todo i em V (G))
e e
o transposto de e.
7
2.4 O ndice de estabilidade da maioria dos grafos
O ndice de estabilidade de quase todo grafo (veja seo 1.8) surpreendentemente
baixo se comparado com o nmero de vrtices do grafo:
Teorema 2.4 Por menor que seja o nmero positivo , temos
(G) < (2 + ) log
2
n
para quase todo grafo G em ((n).
PROVA: Seja k o nmero (2 + ) log
2
n| e denote por Q(n, k) o conjunto dos /
grafos em ((n) para os quais k. Resta mostrar que
lim
n
[Q(n, k)[
[((n)[
= 0 . (2.1)
Seja X umsubconjunto de V com k elementos. H uma correspondncia biunvoca
entre os grafos em ((n) nos quais X estvel e os subconjuntos de V
(2)
X
(2)
.
Logo, X estvel em 2
NK
dos grafos, sendo K :=
_
k
2
_
. Como V tem
_
n
k
_
n
k
1
5
Esse nmero conhecido como funo teta de Lovsz.
6
Uma matriz A positiva semidenida se existe uma matriz quadrada Y tal que A = Y Y
,
onde Y
denota a transposta de Y .
7
Esta uma das melhores delimitaes superiores que se conhece para . Veja os livros de
AignerZiegler [AZ98, p.173] e Schrijver [Sch03, p.1152].
2.4 O ndice de estabilidade da maioria dos grafos 25
subconjuntos de cardinalidade k, temos
[Q(n, k)[ n
k
2
NK
, e portanto
[Q(n, k)[
[((n)[
n
k
2
k(k1)/2
.
Segue da que
2 log
2
([Q(n, k)[/[((n)[) 2k log
2
n k(k 1)
= k (1 + 2 log
2
n k)
(2 + ) log
2
n| (1 + 2 log
2
n (2 + ) log
2
n)
= (2 + ) log
2
n| (1 log
2
n) . (2.2)
Como lim
n
(1 log
2
n) = , temos
lim
n
log
2
[Q(n, k)[
[((n)[
= ,
e isso prova (2.1).
Por exemplo, se = 0,2 ento, em virtude de (2.2), temos [Q(1024, 22)[
2
220231
[((1024)[ e portanto uma frao de pelo menos 1 2
11
(mais que 99,9%)
dos grafos em ((1024) tm < 22.
Exerccios
E 2.15 Prove que, por menor que seja o nmero positivo , temos (G) <
n/(2 log
2
n + 1 + ) para quase todo grafo G em ((n). (Sugesto: acompanhe a
demonstrao do teorema 2.4, tomando = (1 + )/ log
2
n.)
E 2.16 Fixe um grafo H (o grafo de Petersen, por exemplo). Prove que quase todo
grafo G em ((n) contm um subgrafo induzido isomorfo a H. (Suponha que H
tem h vrtices. Escolha partes duas a duas disjuntas U
1
, . . . , U
m
de V (G), com m =
n/h| e [U
i
[ = h. Qual a probabilidade de nenhum U
i
induzir uma cpia de H?)
E 2.17 Prove que quase todo grafo G em ((n) tem dimetro 2, isto , prove que
quase todo G em ((n) tal que, para quaisquer vrtices distintos u e v, existe em G
umcaminho de comprimento no mximo 2 comextremos u e v. (Na verdade, quase
todo G em ((n) tal que quaisquer dois vrtices u e v de G so extremos de um
caminho de comprimento exatamente 2.)
D 2.18 Prove que quase todo grafo em ((n) conexo.
2.5 Cliques
Uma clique
8
ou conjunto completo num grafo qualquer conjunto de vrtices dois
a dois adjacentes. Em outras palavras, X uma clique se o grafo induzido G[X]
completo. H uma relao bvia entre cliques e conjuntos estveis:
Observao 2.5 Um conjunto X de vrtices uma clique em um grafo G se
e somente se X estvel no grafo complementar G.
A cardinalidade de uma clique mxima de um grafo G denotada por
(G) .
De acordo com a observao acima, (G) = (G) para todo grafo G.
Exerccios
E 2.19 Encontre uma clique mxima no grafo da dama (veja exemplo 1.1), ou seja,
disponha o maior nmero possvel de damas no tabuleiro de modo que elas se ata-
quem mutuamente. Encontre cliques mximas nos grafos do cavalo, do bispo, da
torre e do rei (veja exemplo 1.2).
E 2.20 Encontre uma clique mxima no grafo dos estados do Brasil (veja exem-
plo 1.5).
F 2.21 Mostre que (G) (G) + 1 para todo grafo G.
E 2.22 Deduza delimitaes inferiores e superiores para (G) a partir das delimita-
es 2.1 e 2.2.
E 2.23 Seja G
o grafo das arestas de um grafo G (veja o exemplo 1.15). Mostre

que, para cada vrtice v de G, o conjunto
G
(v) uma clique em G
. Mostre que o
conjunto das arestas de qualquer tringulo em G uma clique em G
. Mostre que
(G) = (G
) se (G) ,= 2. Mostre que 2 (G
) 3 se (G) = 2.
D 2.24 Mostre que (G) 3 para todo grafo G commais que n(G)
2
/4 arestas. (Veja
o exerccio 2.12.)
8
A palavra clique um neologismo emprestado do ingls. Uma clique uma panelinha, um
grupo exclusivo, um conjunto de pessoas que se conhecem entre si e tm algum interesse comum.
Nesse contexto, a palavra no tem nenhuma relao com estalido.
2.6 Coberturas 27
D 2.25 A intuio sugere que, em todo grafo, grande se for pequeno e vice-
versa. Ramsey
9
mostrou que isso de fato assim para grafos sucientemente gran-
des. Seja r(s, t) o menor nmero natural tal que todo grafo G com n(G) r(s, t)
tem (G) s ou (G) t. Mostre que
r(s, t)
_
s+t2
s1
_
.
(Sugesto: mostre que r(s, t) r(s1, t)+r(s, t1) para quaisquer s 2 e t 2.)
10
E 2.26 Seja um nmero real positivo xo e, para todo inteiro n 2, ponha k =
(2 + ) log
2
n|. Prove a seguinte delimitao para os nmeros de Ramsey (veja
exerccio 2.25): existe n
0
tal que r(k, k) > n para todo n n
0
. (Sugesto: Siga os
passos da prova do teorema 2.4.)
E 2.27 Prove a seguinte delimitao para os nmeros de Ramsey (veja exerc-
cio 2.25): r(k, k) > 2
k/2
para todo inteiro k 2. (Essa delimitao um pouco
mais limpa que a do exerccio 2.26; a idia central da prova a mesma.)
2.6 Coberturas
Uma cobertura de um grafo qualquer conjunto de vrtices que contenha pelo me-
nos uma das pontas de cada aresta. Em outras palavras, um conjunto X de vrtices
uma cobertura se toda aresta do grafo tem pelo menos uma de suas pontas em X.
H uma relao simples entre coberturas e conjuntos estveis:
Observao 2.6 Em qualquer grafo G, um conjunto X de vrtices uma
cobertura se e somente se V (G) X um conjunto estvel.
A cardinalidade de uma cobertura mnima de um grafo G denotada por
11
(G) .
Se um guarda postado em um vrtice do grafo capaz de vigiar todas as arestas que
incidem no vrtice, ento o nmero mnimo de guardas necessrio para vigiar
todas as arestas do grafo.
Segue imediatamente da observao acima que (G) = n(G) (G) para todo
grafo G.
9
Frank P. Ramsey ( 1o 1o), lgico, matemtico, e economista ingls.
10
A determinao do valor exato do nmero de Ramsey :(:, t) um problema difcil ainda longe
de estar resolvido.
11
O smbolo tradicional para esse nmero
0
. Mas nesse texto parece mais apropriado e
consistente escrever .
Exerccios
F 2.28 Prove a observao 2.6.
E 2.29 Encontre uma cobertura mnima no grafo do cavalo e no grafo do bispo (veja
exemplo 1.2).
2.7 Consideraes computacionais
Para encontrar um conjunto estvel mximo num grafo G, basta examinar todos
os subconjuntos de V (G). Esse algoritmo consome tempo proporcional a 2
n(G)
.
Como 2
n
cresce explosivamente com n, esse algoritmo decididamente insatisfa-
trio na prtica.
12
Infelizmente, no se conhece um algoritmo que seja substancial-
mente mais rpido. Suspeita-se mesmo que no existe um algoritmo rpido para
essa tarefa.
13
To importante quanto a tarefa de encontrar um conjunto estvel mximo a
tarefa de certicar a maximalidade de um conjunto estvel dado. Para mostrar que
um dado conjunto estvel X em um grafo G mximo, podemos simplesmente
compar-lo comtodos os conjuntos estveis de G. Mas isso consome tempo propor-
cional a 2
n(G)
, o que inaceitvel na prtica. s vezes, uma delimitao superior de
(G) pode ser usada para certicar a maximalidade de X (veja observao depois
da prova de delimitao 2.3), mas no se conhece uma delimitao sucientemente
poderosa para certicar um conjunto estvel mximo em qualquer grafo.
12
Basta dizer que 2
500
maior que o nmero de tomos do universo, de acordo com os cosmlo-
gos.
13
Captulo 3
Colorao de vrtices
Uma colorao do conjunto de vrtices de um grafo uma atribuio de cores aos
vrtices tal que vrtices adjacentes recebem cores diferentes. Essa denio pode
ser formalizada da seguinte maneira: uma colorao dos vrtices de um grafo G
uma partio
1
de V (G) em conjuntos estveis. Se X
1
, . . . , X
k
uma colorao
dos vrtices de G, diremos que cada X
i
uma cor da colorao e k o nmero de
cores.
Imagine que cada vrtice do grafo uma das substncias qumicas que uma
certa indstria precisa manter armazenadas. Duas substncias so adjacentes se po-
dem reagir entre si. Uma colorao dos vrtices desse grafo aloca cada substncia a
um armazm de tal modo que substncias adjacentes quem em armazens diferen-
tes.
3.1 Coloraes mnimas
muito fcil produzir uma colorao dos vrtices de um grafo: basta atribuir uma
cor diferente a cada vrtice! bem mais difcil encontrar uma colorao com poucas
cores.
Uma colorao de vrtices mnima se o nmero de cores o menor possvel,
ou seja, se no existe outra colorao com menos cores. O nmero cromtico de um
grafo G o nmero de cores em uma colorao mnima dos vrtices de G. Esse
nmero denotado por
(G) .
Se (G) k, diz-se que G colorvel com k cores; diz-se tambm que G k-
colorvel.
Este captulo estuda a relao entre o nmero cromtico e outros parmetros
do grafo. Ele comprova, por exemplo, a intuio de que tanto menor quanto
menores os graus dos vrtices e tanto maior quanto maiores as cliques.
1
Uma partio de um conjunto \ uma coleo A
1
, . . . , A
k
de subconjuntos no-vazios de
\ tal que A
1
A
k
= \ e A
i
A
j
= sempre que i ,= , .
29
30 CAP. 3 COLORAO DE VRTICES
Exerccios
E 3.1 Exiba um grafo com duas coloraes mnimas diferentes.
E 3.2 Mostre que os conjuntos estveis que compem uma colorao mnima no
so necessriamente mximos. Mais precisamente, exiba uma colorao mnima
X
1
, . . . , X
k
em que nenhum dos conjuntos estveis X
i
mximo.
E 3.3 Qual o nmero cromtico do grafo dos estados do Brasil (veja exemplo 1.5)?
E 3.4 Qual o nmero cromtico do grafo de Petersen (veja exemplo 1.8)?
E 3.5 Encontre uma colorao mnima dos vrtices do grafo da dama tport (veja
o exerccio 1.1). Trate inicialmente dos casos t = 2, . . . , 6.
E 3.6 Encontre coloraes mnimas dos vrtices dos grafos do cavalo, do bispo, da
torre e do rei (veja exerccio 1.2).
D 3.7 Prove que (G)
max
(G) + 1, onde
max
(G) o maior autovalor da matriz
de adjacncias de G (veja exerccio 1.27).
2
D 3.8 Ummuseu de arte temuma grande sala cujo contorno umpolgono fechado,
no necessariamente convexo, com n lados. Queremos postar guardas em alguns
dos vrtices do polgono de modo que cada ponto da sala possa ser visto por pelo
menos um dos guardas (o ngulo de viso de cada guarda s limitado pelas pare-
des da sala). Mostre que n/3| guardas so sucientes. Mostre que n/3| guardas
so necessrios para certos polgonos.
3
DD 3.9 Mostre que (G) 4 para todo grafo planar G (veja o exemplo 1.14).
4
3.2 Algumas delimitaes superiores
Para obter uma delimitao superior do nmero cromtico de um grafo basta mos-
trar a existncia de uma colorao com poucas cores. Eis uma delimitao superior
muito simples, que conrma a intuio de que um grafo com poucas arestas tem
nmero cromtico pequeno:
1
2
+
_
2m(G) +
1
4
.
2
Veja o livro de Biggs [Big74].
3
Veja o livro de AignerZiegler [AZ98, p.165].
4
Este o clebre Teorema das Quatro Cores.
3.3 Algumas delimitaes inferiores 31
PROVA: Seja X
1
, . . . , X
k
uma colorao mnima. Ento, para todo i e todo
j distinto de i, existe uma aresta com uma ponta em X
i
e outra em X
j
. Assim,
m(G)
_
k
2
_
= (k
2
k)/2. Logo, k (1 +
8m + 1)/2.
Considere agora uma delimitao mais sosticada. Ela conrma a intuio de
que tanto menor quanto menor o grau mximo do grafo.
Delimitao 3.2 Para todo grafo G tem-se (G) (G) + 1.
PROVA: Nossa prova uma induo no nmero de vrtices. Se n(G) = 1, a
proposio obviamente verdadeira. Suponha agora que n(G) > 1. Seja x um
vrtice qualquer e H o grafo G x. Por hiptese de induo, (H) (H) + 1.
Seja X
1
, . . . , X
k
uma colorao mnima de H. Como (H) (G), temos
k (G) + 1 .
Se essa desigualdade estrita, ento x, X
1
, . . . , X
k
uma colorao de G com
no mais que (G) + 1 cores. Suponha agora que k = (G) + 1. Como g
G
(x)
(G) = k1, o vrtice x adjacente a no mais que k1 cores diferentes. Portanto,
existe i tal que X
i
x um conjunto estvel. Se substituirmos X
i
por X
i
x
em X
1
, . . . , X
k
teremos uma colorao de G com (G) + 1 cores.
Embora existam grafos (os completos e os circuitos mpares, por exemplo) em
que = + 1, a diferena entre e pode ser arbitrariamente grande (este o
caso, por exemplo, dos grafos K
1,n
denidos no exemplo 1.10).
Exerccios
D 3.10 Mostre que (G) (G) para todo grafo no-regular G. Mostre algo mais
geral: se G conexo mas no um grafo completo nem um circuito mpar ento
(G) (G). (Esse fato conhecido como Teorema de Brooks
5
.)
3.3 Algumas delimitaes inferiores
Para obter uma delimitao inferior do nmero cromtico de um grafo preciso
mostrar que todas as colorao exigem muitas cores. Eis uma delimitao inferior
simples:
n(G)
(G)
.
PROVA: Seja X
1
, . . . , X
k
uma colorao dos vrtices de G. claro que k
(G) e [X
i
[ (G) para cada i. Portanto, n(G) = [X
1
[ + +[X
k
[ k (G). Segue
da que k n(G)/(G).
5
Publicado em 11 por R. L. Brooks.
Eis outra delimitao inferior, simples mas til:
Delimitao 3.4 Para todo grafo G tem-se (G) (G).
PROVA: A desigualdade decorre do seguinte fato bvio: para qualquer colora-
o X
1
, . . . , X
k
dos vrtices e qualquer clique C tem-se
k [C[ .
Essa desigualdade vale, em particular, se a colorao mnima e a clique mxima.
Logo, .
Adelimitao inferior 3.4 tema seguinte conseqncia interessante: se umgrafo
G temuma colorao de vrtices e uma clique de mesma cardinalidade ento a colo-
rao mnima (e a clique mxima). Assim, para tornar evidente a minimalidade
de uma determinada colorao X
1
, . . . , X
k
, suciente exibir uma clique com k
vrtices.
Considere, por exemplo, o grafo da dama 4por4 (veja exemplo 1.1). fcil
encontrar uma colorao do grafo com 5 cores e uma clique com 5 vrtices. Por-
tanto, a colorao mnima e a clique mxima. Algo semelhante ocorre no grafo
da torre tport.
Infelizmente, a desigualdade da delimitao 3.4 estrita para muitos grafos. A
diferena entre e (e at o quociente /) podem ser arbitrariamente grandes,
embora exemplos desse fenmeno no sejam simples (veja exerccio 3.16).
Exerccios
E 3.11 O grafo de Catlin
6
denido da seguinte maneira: comece com um pent-
gono P ; troque cada vrtice v de P por um tringulo T
v
(os tringulos correspon-
dentes a vrtices diferentes so disjuntos); nalmente, troque cada aresta vw de P
por 9 arestas ligando cada vrtice de T
v
com cada vrtice de T
w
. Encontre uma
colorao mnima do grafo de Catlin. Use a delimitao 3.3 para mostrar que sua
colorao , de fato, mnima.
E 3.12 Mostre que (G) = (G) se G um grafo de intervalos (veja exemplo 1.12).
(Sugesto: Faa induo no nmero de intervalos. Comece por retirar o intervalo
cujo extremo direito est mais esquerda.)
E 3.13 Mostre que (G) = (G) se G um grafo de comparabilidade (veja exem-
plo 1.13). (Sugesto: Retire do grafo o conjunto dos vrtices que so maximais na
ordem parcial. Aplique induo.)
6
Construdo em 1 por P. A. Catlin.
3.4 Bicolorao e grafos bipartidos 33
E 3.14 Mostre que (G) = (G) se G um grafo de comparabilidade (veja exem-
plo 1.13). (Este resultado conhecido como teorema de Dilworth
7
.)
E 3.15 Seja G o grafo do bispo tport (veja exemplo 1.2). Mostre que (G) = (G).
D 3.16 Seja G
2
um grafo completo com 2 vrtices. A partir desse grafo, a seqncia
G
3
, G
4
, . . . , G
k
, . . . de grafos de Mycielski
8
denida recursivamente como segue.
Para cada k maior que 2, seja V
k
= v
1
, . . . , v
n
o conjunto de vrtices de G
k
. Seja
W
k+1
= w
0
, w
1
, . . . , w
n
um conjunto disjunto de V
k
. O grafo G
k+1
tem conjunto de
vrtices V
k
W
k+1
e tal que G
k+1
[V
k
] = G
k
e, para cada i 1, w
i
adjacente em
G
k+1
a w
0
e a cada um dos vizinhos de v
i
em G
k
. A gura 3.1 ilustra G
2
, G
3
e G
4
.
Mostre que (G
k
) = 2 para cada k. Mostre que (G
k
) k para cada k. (Veja o livro
de BondyMurty [BM76].)
r
r
r
r
r r
r
`
`
`
` /
/
/
/
`
`
`
r
r
r
r r
r
`
`
`
`
`
`
`
`
`
'
'
'
'
'
'
'
''
/
/
/
/
\
\
\
\\
`
`
>
>
>
>
`
`
`
`
`
r r
r r
r
Figura 3.1: Os trs primeiros grafos de Mycielski (G
2
, G
3
e G
4
). O terceiro,
G
4
, tambm conhecido como grafo de Grtzsch. Veja exerccio 3.16.
3.4 Bicolorao e grafos bipartidos
Um grafo G bicolorvel se (G) 2, ou seja, se existem conjuntos estveis U e
W tais que U W = V (G) e U W = . Um tal par de conjuntos estveis uma
bicolorao do grafo.
Grafos bicolorveis so abundantes na natureza. Considere, por exemplo, o
grafo cujos vrtices so os operrios e as mquinas de uma ocina, sendo cada ope-
rrio adjacente s mquinas que sabe operar.
Grafos bicolorveis admitem uma caracterizao simples e elegante em termos
de circuitos mpares:
Teorema 3.5 Um grafo G bicolorvel se e somente se no tem circuitos m-
pares.
7
Robert Palmer Dilworth ( 11 1), matemtico americano.
8
Construda em 1 por J. Mycielski.
PROVA: Suponha que G admite uma bicolorao U, W. Os vrtices de qual-
quer circuito esto alternadamente em U e W e portanto o circuito par.
A prova da armao recproca uma induo no nmero de arestas do grafo.
Se m(G) = 0 ento evidente que G bicolorvel. Suponha agora que m(G) > 0
e G no tem circuitos mpares. Seja xy uma aresta de G. Como G xy no tem rj
circuitos mpares, a hiptese de induo garante que Gxy admite uma bicolorao,
digamos U, W. Se x e y no esto ambos em U nem ambos em W , ento U, W
uma bicolorao de G. Suponha no que segue que x e y esto ambos em U ou
ambos em W , digamos ambos em U.
Imagine, por um momento, que x e y pertencem ao mesmo componente do
grafo G xy. Seja C um caminho em G xy com extremos x e y. Como U, W
uma bicolorao de G xy, os vrtices de C esto alternadamente em U e W e
portanto C par. Mas ento o circuito C+xy mpar, o que contradiz nossa hiptese
sobre a inexistncia de circuitos mpares. Conclumos assim que x e y pertencem a
componentes distintos de Gxy.
Seja H o componente de Gxy que contm x. Se trocarmos as cores dos vrtices
de H, os vrtices x e y tero cores distintas e portanto o grafo G estar bicolorido.
Essa bicolorao de G ter a forma
U
, U
,
onde U
:= U V (H), U
:= U V (H), W
:= W V (H) e W
:= W V (H).
O teorema explica por que certos grafos no so bicolorveis: o nico motivo
para a inexistncia de uma bicolorao a presena de um circuito mpar. Por outro
lado, um circuito mpar um certicado simples e convincente (veja o primeiro
pargrafo da prova do teorema) do carter no-bicolorvel do grafo. O teorema ,
portanto, uma boa caracterizao de grafos bicolorveis.
Antes de encerrar a seo, preciso fazer umesclarecimento sobre terminologia.
Os termos bipartido e bipartio so freqentemente usados como sinnimos
de bicolorvel e bicolorao respectivamente.
9
Se U, W uma bipartio do
grafo, diz-se que o grafo (U, W)-bipartido.
Exerccios
E 3.17 Mostre que o grafo do cavalo (veja exemplo 1.2) bipartido.
E 3.18 Mostre que o k-cubo (veja exemplo 1.4) bicolorvel.
E 3.19 Mostre que toda grade (veja exemplo 1.7) um grafo bicolorvel.
E 3.20 Verique se os grafos da gura 3.2 so bicolorveis.
9
A rigor, um grafo bipartido somente se estiver munido de uma bicolorao xa (note que
bicoloraes no so nicas em geral). Essa bicolorao a bipartio do grafo.
3.5 O nmero cromtico da maioria dos grafos 35
F 3.21 Mostre que (G) = (G) para todo grafo bicolorvel G.
F 3.22 Seja G um grafo bicolorvel conexo (veja seo 1.7). Mostre que G tem uma
nica bicolorao. Em outras palavras, se U, W e U
, W
so bicoloraes de G
ento U = U
(e portanto W = W
) ou U = W
(e portanto W = U
).
D 3.23 Mostre que m(G) n(G)
2
/4 para todo grafo bicolorvel G. (Isso um caso
especial do exerccio 2.24.)
A 3.24 Encontre uma boa caracterizao da classe G : (G) 3 dos grafos trico-
lorveis.
r r r
r r r
r r r
r r r r
r
r r
r
r r r r
`
`
`
`
``
`
`
`
`
``
Figura 3.2: Exerccio 3.20. Esses grafos so bicolorveis?
3.5 O nmero cromtico da maioria dos grafos
Onmero cromtico de quase todos os grafos (veja seo 1.8) surpreendentemente
alto se comparado com o nmero de vrtices do grafo:
Teorema 3.6 Por menor que seja o nmero positivo , temos
(G) >
1
2 +
n
log
2
n
PROVA: De acordo com a delimitao 3.3, o nmero cromtico de todo grafo G
satisfaz a desigualdade
(G)
n
(G)
.
De acordo com o teorema 2.4, para qualquer > 0 e para quase todo G em ((n),
temos (G) < (2 + ) log
2
n. Isso prova o resultado.
Por exemplo, se = 0,2 ento [Q(1024, 22)[ 2
11
[((1024)[ e portanto uma
frao de pelo menos 1 2
11
(mais que 99,9%) dos grafos em ((1024) tm
47 =
_
1024
22
_
.
Pode-se mostrar (embora isso no seja fcil)
10
que a delimitao inferior dada
pelo teorema 3.6 bastante justa: por menor que seja o nmero no intervalo aberto
(0, 2), tem-se
(G) <
1
2
n
log
2
n
Para encontrar uma colorao mnima dos vrtices de um grafo, basta examinar to-
das as parties do conjunto de vrtices.
11
Esse algoritmo consome tempo superior
a 2
n
para analisar um grafo com n vrtices, o que decididamente insatisfatrio
na prtica. (Veja o que dissemos na seo 2.7 a respeito da computao do conjunto
estvel mximo de um grafo.) Infelizmente, no se conhece um algoritmo substan-
cialmente melhor; suspeita-se mesmo que um algoritmo substancialmente melhor
no existe.
12
Outra questo computacional relevante o da certicao de uma colorao m-
nima dada: que objeto suciente exibir para provar a minimalidade da colorao?
Infelizmente, no se conhece (exceto no caso da bicolorao) um certicado que seja
substancialmente melhor que a comparao da colorao dada com cada uma das
demais coloraes do grafo.
10
Este um teorema clebre publicado em 188 por B. Bollobs.
11
O nmero 1(n) de parties de um conjunto com n elementos conhecido como nmero de
Bell. Os nmeros de Bell satisfazem a recorrncia 1(n + 1) =

n
k=0
1(/)
_
n
k
_
e crescem bem mais
que 2
n
.
12
Captulo 4
Emparelhamentos
Duas arestas de um grafo G so adjacentes se tm uma ponta comum.
1
Um empa-
relhamento numgrafo umconjunto de arestas duas a duas no-adjacentes. Emou-
tras palavras, umemparelhamento umconjunto E de arestas tal que [E(v)[ 1
para cada vrtice v.
Eis uma ilustrao do conceito de emparelhamento. Suponha que um projeto
de engenharia consiste em um grande nmero de tarefas e que cada tarefa deve
ser executada por um time dois operrios compatveis. Gostaramos de executar o
maior nmero possvel de tarefas simultneamente. Amo de obra disponvel pode
ser representada por um grafo cujos vrtices so os operrios e cujas arestas so os
pares de operrios compatveis. Um emparelhamento nesse grafo uma coleo de
times que podem atuar simultneamente.
Um emparelhamento um tipo particular de conjunto estvel: um conjunto E
de arestas de um grafo G um emparelhamento se e somente se E estvel no
grafo das arestas de G (veja o exemplo 1.15). Este captulo vai mostrar que sabemos
bem mais sobre emparelhamentos que sobre conjuntos estveis.
4.1 Emparelhamentos mximos
Um emparelhamento E maximal se no for parte de um emparelhamento maior,
ou seja, se E no for subconjunto prprio de outro emparelhamento. Encontrar um
emparelhamento maximal num grafo fcil: comece com um emparelhamento ar-
bitrrio F e examine as arestas restantes uma a uma; toda vez que encontrar uma
aresta que no adjacente a nenhuma das que j esto em F , acrescente-a a F .
bem mais difcil e mais interessante procurar por um emparelhamento m-
ximo.
Um emparelhamento E mximo se [E[ [F[ para todo emparelhamento F .
Denotaremos por
(G)
1
H quem diga que duas arestas sem ponta comum so independentes.
37
38 CAP. 4 EMPARELHAMENTOS
a cardinalidade de um emparelhamento mximo em um grafo G.
2
Segue imediata-
mente da observao que zemos acima que
(G) = (G
), onde G
o grafo das
arestas de G.
Um tipo particular de emparelhamento mximo merece ateno especial. Um
emparelhamento perfeito se satura V (G). Dizemos que um emparelhamento sa-
tura um conjunto de vrtices se satura cada vrtice do conjunto e dizemos que um
emparelhamento E satura um vrtice v se (v) E ,= .
evidente que todo emparelhamento perfeito mximo. evidente tambm
que um emparelhamento E perfeito se e somente se [E[ =
1
2
n(G).
Nemtodo grafo temumemparelhamento perfeito. Isso levanta as seguintes per-
guntas: Que grafos tm emparelhamentos perfeitos? Que propriedades estruturais
de um grafo garantem a existncia de um emparelhamento perfeito?
Exerccios
F 4.1 Mostre que nem todo emparelhamento maximal mximo.
F 4.2 Encontre emparelhamentos mximos em grafos completos, em circuitos e em
caminhos.
F 4.3 Mostre que nem todo grafo tem um emparelhamento perfeito.
E 4.4 Encontre um emparelhamento mximo na grade pporq (veja exemplo 1.7).
Em que condies uma grade pporq tem um emparelhamento perfeito?
E 4.5 Exiba um emparelhamento perfeito no k-cubo (veja exemplo 1.4).
E 4.6 Dois jogadores, digamos A e B, se alternamescolhendo vrtices numgrafo G.
Primeiro, A escolhe um vrtice v
0
. Em seguida, B escolhe um vrtice v
1
adjacente
a v
0
. Depois, A escolhe um vrtice v
2
adjacente a v
1
mas diferente de v
0
e de v
1
.
E assim por diante. O jogador que no puder fazer um movimento na sua vez,
perde o jogo. (Esse jogo conhecido como slither.) Prove que B tem uma estratgia slither
vencedora se G tem um emparelhamento perfeito. Prove que A tem uma estratgia
vencedora em caso contrrio.
4.2 Delimitao superior
claro que
(G)
1
2
n(G) em todo grafo G. Mas h uma delimitao superior bem
mais interessante:
Delimitao 4.1 Em qualquer grafo G tem-se
(G) (G).
2
Alguns livros escrevem
1
ou j ou ainda no lugar do nosso
.
4.3 Emparelhamentos em grafos bipartidos 39
PROVA: A desigualdade decorre da seguinte observao, simples mas funda-
mental: para qualquer emparelhamento E e qualquer cobertura C tem-se
[E[ [C[ .
Para justicar essa relao basta observar que h uma injeo de E em C: a injeo
leva cada aresta a em uma ponta de a que est em C (se a tiver ambas as pontas
em C, escolha uma delas).
Prova alternativa: considere o grafo H := (V (G), E) e observe que [E[
vC
g
H
(v) [C[, onde a primeira desigualdade vale porque C uma cobertura e
a ltima porque E um emparelhamento.
A prova da delimitao 4.1 tem a seguinte conseqncia: se [E[ = [C[ ento
E um emparelhamento mximo (e C uma cobertura mnima). Portanto, para
comprovar a maximalidade de um emparelhamento com k arestas basta exibir uma
cobertura com k vrtices. Como veremos adiante, um tal par equicardinal (E, C)
existe em todo grafo bipartido. Infelizmente, para muitos grafos no-bipartidos,
um emparelhamento mximo estritamente menor que qualquer cobertura. Como
possvel caracterizar, nesses casos, a maximalidade de um emparelhamento? Dis-
cutiremos uma resposta na seo 4.4.
Exerccios
E 4.7 Exiba um grafo G tal que
(G) = (G).
E 4.8 Exiba um grafo em que todo emparelhamento estritamente menor que qual-
quer cobertura.
E 4.9 Seja G o grafo do cavalo tport (veja exemplo 1.2) com t 3. Mostre que
(G) = t
2
/2| = (G). (Compare com o exerccio 2.29.)
E 4.10 Para que valores de t o grafo do cavalo tport (veja exemplo 1.2) tem um
emparelhamento perfeito?
4.3 Emparelhamentos em grafos bipartidos
O estudo dos emparelhamentos de um grafo ca mais simples se o grafo no tem
circuitos mpares. Por isso (veja teorema 3.5), a presente seo restringe a ateno a
grafos bipartidos.
Emparelhamentos que saturam um dos lados
Em que condies um grafo bipartido tem um emparelhamento perfeito? Uma per-
gunta um pouco mais geral e mais interessante: em que condies um grafo (U, W)-
bipartido admite um emparelhamento que satura U?
O seguinte exemplo o prottipo do nosso problema: dado um conjunto U de
moas e umconjunto W de rapazes, queremos casar cada moa comumdos rapazes
que ela conhece (sem violar a lei da monogamia). Em que condies isso possvel?
H uma condio necessria muito simples e natural para que nosso problema
tenha soluo:
Proposio 4.2 Se um grafo (U, W)-bipartido tem um emparelhamento que
satura U ento [(X)[ [X[ para todo subconjunto X de U.
PROVA: Seja G o grafo em questo e E um emparelhamento que satura U.
Seja H o grafo (V (G), E). Para qualquer subconjunto X de U tem-se [
G
(X)[
[
H
(X)[ = [X[.
Essa condio necessria tem a seguinte conseqncia imediata: para mostrar
que um grafo (U, W)-bipartido no tem um emparelhamento que satura U, basta
exibir um subconjunto X de U tal que [(X)[ < [X[.
A prova da recproca da proposio 4.2 foi publicada em por Hall
3
:
Teorema 4.3 (Hall) Para qualquer grafo (U, W)-bipartido, se [(X)[ [X[
para todo subconjunto X de U ento o grafo tem um emparelhamento que
satura U.
PROVA: Seja G o grafo em questo e suponha que [
G
(X)[ [X[ para todo
subconjunto X de U. A prova prossegue por induo na cardinalidade de U. Se
[U[ = 1 ento claro que o grafo tem um emparelhamento que satura U. Suponha
agora que [U[ > 1 e que o resultado vale para todo grafo (U
, W
)-bipartido em que
[U
[ < [U[. Considere as alternativas a seguir.

ALTERNATIVA 1: [
G
(X)[ > [X[ para todo subconjunto prprio e no-vazio X
de U. Escolha uma aresta uw, com u em U. Seja U
:= U u, W
:= W w e
G
:= G[U
] . claro que G
(U
, W
)-bipartido. Observe que

[
G
(X)[ = [
G
(X) w[ [X[
para todo subconjunto X de U
. Assim, por hiptese de induo, G
admite um
emparelhamento, digamos E
, que satura U
. Finalmente, E
uw um empare-
lhamento em G que satura U.
ALTERNATIVA 2: [
G
(Y )[ = [Y [ para algum subconjunto prprio e no-vazio Y
de U. Seja H o subgrafo de G induzido por Y
G
(Y ). claro que H (Y,
G
(Y ))-
bipartido e
[
H
(X)[ = [
G
(X)[ [X[
para todo subconjunto X de Y . A hiptese de induo garante, ento, a existncia
em H de um emparelhamento F que satura Y . Agora considere o subgrafo G
:= 1
3
Philip Hall ( 1o 18:), matemtico ingls.
4.3 Emparelhamentos em grafos bipartidos 41
G[U
] , onde U
:= U Y e W
:= W
G
(Y ). claro que G
(U
, W
)-
bipartido. Suponha, por um instante, que [
G
(X
)[ < [X
[ para algum subconjunto

X
de U
. Ento
[
G
(X
Y )[ = [
G
(X
)
G
(Y )[
[
G
(X
)[ +[
G
(Y )[
< [X
[ +[Y [
= [X
Y [ .
Essa desigualdade contradiz as hipteses da presente alternativa. Conclumos assim
que [
G
(X
)[ [X
[ para todo subconjunto X
de U
. Portanto podemos supor, por

hiptese de induo, que G
temumemparelhamento E
que satura U
. Finalmente,
claro que F E
um emparelhamento em G que satura U.

A expresso teorema de Hall muitas vezes usada para designar a unio da teorema
de Hall
proposio 4.2 com o teorema 4.3. Essa unio constitui uma boa caracterizao dos
grafos (U, W)-bipartidos dotados de um emparelhamento que satura U.
Emparelhamentos mximos em grafos bipartidos
A subseo anterior preparou o terreno para a caracterizao dos emparelhamentos
mximos em grafos bipartidos. Em , Knig
4
demonstrou a delimitao inferior
de
que complementa a delimitao superior 4.1:

Teorema 4.4 (Knig) Em todo grafo bipartido G tem-se
(G) (G).
PROVA: Seja U, W uma bipartio de G. Basta provar que existe um empare-
lhamento to grande quanto uma cobertura. Seja C um cobertura mnima e dena C
os conjuntos
U
C
:= U C, W
C
:= W C, U
C
:= U C e W
C
:= W C .
Seja H o subgrafo de G induzido por U
C
W
C
. evidente que H (U
C
, W
C
)- H
bipartido. Como mostraremos a seguir, a minimalidade de C garante que H satisfaz
a hiptese do teorema de Hall.
Seja X um subconjunto qualquer de U
C
. O conjunto (C X)
H
(X) uma
cobertura de G, pois toda aresta que tem uma ponta em X tambm tem uma ponta
em
H
(X). Como a cardinalidade dessa cobertura [C[ [X[ +[
H
(X)[, a minima-
lidade de C exige que tenhamos
[
H
(X)[ [X[ .
4
Dnes Knig ( 188 1), matemtico hngaro e autor do primeiro livro sobre a teoria dos
grafos (Theorie der endlichen und unendlichen Graphen, Akademischen Verlagsgesellschaft, Leipzig,
1936).
O teorema 4.3 permite concluir agora que H tem um emparelhamento F que sa-
tura U
C
. Um argumento simtrico mostra que o subgrafo H
de G induzido por
W
C
U
C
tem um emparelhamento F
que satura W
C
. Para concluir, observe que
F F
um emparelhamento em G e que
[F F
[ = [F[ +[F
[ = [U
C
[ +[W
C
[ = [C[ ,
como queramos provar.
A combinao da delimitao 4.1 com o teorema 4.4 conhecida como teorema
de Knig ou teorema de KnigEgervry
5
. O teorema pode ser enunciado assim: teorema
de
Knig
Egervry
em todo grafo bipartido G,
(G) = (G) ,
ou seja, um emparelhamento mximo tem a mesma cardinalidade que uma cober-
tura mnima. Essa igualdade min-max uma manifestao do teorema da dualidade
em programao linear (veja por exemplo, o livro de Chvtal [Chv83]).
Exerccios
F 4.11 Mostre que o grafo da gura 4.1 no tem um emparelhamento que sature os
cinco vrtices que esto na parte superior da gura.
E 4.12 Suponha dada uma coleo C
1
, . . . , C
k
de subconjuntos de um certo con-
junto W . Imagine que cada elemento de W uma pessoa e cada C
i
o conjunto dos
membros de um clube. Queremos escolher um conjunto de representantes distintos
dos clubes, ou seja, um conjunto w
1
, . . . , w
k
de pessoas tal que w
i
C
i
para cada i e
w
i
,= w
j
sempre que i ,= j . Mostre que um tal conjunto de representantes distintos
existe se e somente se [
iI
C
i
[ [I[ para todo subconjunto I de 1, . . . , k.
E 4.13 Seja G um grafo (U, W)-bipartido tal que [U[ = [W[. Seja M a matriz inde-
xada por U W e denida por M[u, w] = 1 se uw uma aresta de G e M[u, w] = 0
caso contrrio. (Portanto, M uma submatriz da matriz de adjacncias de G, de-
nida no exerccio 1.27.) O permanente da matriz M o nmero
6
perm(M) :=
_
uU
M[u, (u)]
_
,
onde a soma se estende a todas as bijees : UW . Mostre que o permanente de
M igual ao nmero de emparelhamentos perfeitos em G.
7
5
Eugene Egervry, matemtico hngaro.
6
O permanente tem denio semelhante ao do determinante: no determinante, cada produto
`[n, (n)] precedido do sinal da permutao . Existem algoritmos rpidos para calcular o
determinante de uma matriz quadrada. No entanto, no se conhece um algoritmo rpido para o
clculo do permanente. Suspeita-se mesmo que um tal algoritmo no existe.
7
Essa relao entre permanentes e emparelhamentos foi til para a descoberta de vrios dos
teoremas estudados neste captulo (veja o livro de LovszPlummer [LP86]).
4.4 Emparelhamentos em grafos arbitrrios 43
E 4.14 Mostre que todo grafo bipartido regular no-vazio tem um emparelhamento
perfeito.
E 4.15 Mostre que todo grafo bipartido G tem um emparelhamento que satura to-
dos os vrtices de grau (G).
E 4.16 Exiba emparelhamentos mximos e coberturas mnimas nos grafos das gu-
ras 4.1 e 4.2.
E 4.17 Prove que
(G) = n(G) (G) para todo grafo bipartido G.

E 4.18 Prove que (G) = (G) para todo grafo bipartido G.
E 4.19 Nossa prova do teorema de Knig 4.4 depende do teorema de Hall 4.3. Mas
os dois teoremas so equivalentes. Deduza o teorema de Hall do teorema de Knig.
r r r r r
r r r r r
`
`
`
`
/
/
/
/
`
`
`
`
/
/
/
/
>
>
>
>
>
>
>
>
/
/
/
/
`
`
`
`
>
>
>
>
>
>
>
>
/
/
/
/
`
`
`
`
Figura 4.1: Algum emparelhamento satura os cinco vrti-
ces na parte superior da gura? Veja exerccio 4.11.
r r r r r r
r r r r r r
`
`
`
`
`
`
`
`
`
`
`
`
Figura 4.2: Encontre um emparelhamento mximo e uma

cobertura mnima. Veja exerccio 4.16.
4.4 Emparelhamentos em grafos arbitrrios
Podemos tratar agora de emparelhamentos emgrafos arbitrrios (emparticular, gra-
fos no-bipartidos). A exemplo do que zemos na seo anterior, vamos iniciar o
estudo com a caracterizao de emparelhamentos perfeitos.
Emparelhamentos perfeitos
A caracterizao de emparelhamentos perfeitos em grafos arbitrrios exige uma ge-
neralizao no-trivial do teorema de Hall.
Um componente de um grafo mpar se tem um nmero mpar de vrtices.
O nmero de componentes mpares de um grafo G ser denotado neste captulo
por i(G). H uma condio necessria muito simples para a existncia de um empa- i(G)
relhamento perfeito:
Proposio 4.5 Se um grafo G tem um emparelhamento perfeito ento
i(GS) [S[
para todo conjunto S de vrtices.
PROVA: Suponha que G temumemparelhamento perfeito E e sejam G
1
, . . . , G
k
os componentes mpares de G S. Para cada i, dena V
i
:= V (G
i
). Como [V
i
[
mpar, temos necessariamente
G
(V
i
) E ,= .
evidente que cada aresta em
G
(V
i
) tem uma ponta em S. Para cada i, escolha
uma aresta em
G
(V
i
) E e seja s
i
a ponta dessa aresta em S. Agora observe que
i(GS) = k = [s
1
, . . . , s
k
[ [S[.
Figura 4.3: Ilustrao da condio necessria para a existncia de um
emparelhamento perfeito. A gura sugere um grafo G e um conjunto
o (oval cinza) de vrtices. O grafo Go tem trs componentes mpa-
res e dois pares. Veja a proposio 4.5.
Em virtude da proposio 4.5, um conjunto S de vrtices tal que i(GS) > [S[
constitui um certicado da inexistncia de emparelhamento perfeito. Surpreenden-
temente, todo grafo desprovido de emparelhamento perfeito possui um tal certi-
cado. Esse fato foi demonstrado em por Tutte
8
:
Teorema 4.6 (Tutte) Se i(G S) [S[ para todo conjunto S de vrtices de
um grafo G ento G tem um emparelhamento perfeito.
ESBOO DA PROVA: A prova uma induo no nmero de vrtices do grafo.
Se n(G) = 1 ento o resultado vacuamente verdadeiro (pois G no satisfaz as
8
William T. Tutte ( 11 :oo:), matemtico ingls que viveu muito tempo no Canad.
4.4 Emparelhamentos em grafos arbitrrios 45
hipteses). Suponha agora que n(G) > 1 e que o resultado verdadeiro para grafos
com menos que n(G) vrtices. Suponha que G satisfaz as hipteses e seja S
um
subconjunto maximal de V (G) tal que
i(GS
) = [S
[ .
(O conjunto S
est bem denido pois i(G s) = 1 para todo vrtice s.) Sejam
G
1
, . . . , G
k
os componentes mpares de GS
, com k = i(GS
). Sejam H
1
, . . . , H
l
os componentes pares de GS
. A maneira como escolhemos S
garante o sucesso
dos trs passos que passamos a descrever.
1. Seja F o grafo comconjunto de vrtices G
1
, . . . , G
k
S
cujas arestas so to-

dos os pares G
i
s para os quais existe em G uma aresta da forma vs, com v em V (G
i
)
e s em S
. O grafo F (G
1
, . . . , G
k
, S
)-bipartido e prova-se que satisfaz as hi-

pteses do teorema de Hall 4.3. Portanto, F tem um emparelhamento que satura
G
1
, . . . , G
k
.
2. Para cada i e cada vrtice v em G
i
, prova-se que G
i
v satisfaz as hipteses
do teorema que estamos procurando provar. Logo, G
i
v tem um emparelhamento
perfeito por hiptese de induo.
3. Prova-se que cada H
i
satisfaz as hipteses do teorema que estamos procu-
rando provar. Assim, cada H
i
tem um emparelhamento perfeito por hiptese de
induo.
Se tomarmos a unio dos emparelhamentos descritos em 1, 2 e 3 acima, teremos
um emparelhamento perfeito em G.
A expresso teorema de Tutte freqentemente usada para designar a unio teorema
de Tutte
da proposio 4.5 com o teorema 4.6. O teorema constitui uma boa caracterizao
dos grafos dotados de emparelhamentos perfeitos.
Emparelhamentos mximos
A caracterizao dos emparelhamentos mximos em grafos arbitrrios est intima-
mente relacionada com o teorema de Tutte. conveniente introduzir o seguinte
parmetro :
9
para todo grafo G, seja (G) o valor mnimo da expresso
1
2
n(G)
1
2
_
i(GS) [S[
_
para todos os subconjuntos S de V (G). No difcil estabelecer a seguinte delimi-
tao superior:
Delimitao 4.7 Para todo grafo G, tem-se
(G) (G).
Para provar essa delimitao, basta mostrar que, para todo S, qualquer empare-
lhamento deixa de saturar pelo menos i(GS) [S[ vrtices. Os detalhes da prova
so um bom exerccio.
9
A letra parece adequada nesse texto, mas no notao padro.
Berge
10
mostrou em a delimitao inferior que complementa 4.7:
Teorema 4.8 (Berge) Para todo grafo G, tem-se
(G) (G).
Para provar o teorema, basta mostrar que existe um emparelhamento E
e um
conjunto S
tais que E
deixa de saturar i(GS
)[S
[ vrtices no mximo. Infeliz-

mente, no temos espao nesse texto para exibir os detalhes da prova. Ela pode ser
encontrada nos livros de Diestel [Die00] e LovszPlummer [LP86], por exemplo.
A combinao da delimitao 4.7 com o teorema 4.8 conhecida como teorema
de TutteBerge e pode ser formulada assim: em qualquer grafo G, teorema
de Tutte
Berge

(G) = (G) .
Exerccios
F 4.20 Suponha que um grafo G satisfaz a condio i(G S) [S[ para todo con-
junto S de vrtices. Prove, sem usar o teorema 4.6, que n(G) par.
E 4.21 Seja G um grafo e S um subconjunto de V (G). Mostre que i(G S)
i(H S) para qualquer subgrafo H de G tal que V (H) = V (G).
E 4.22 Na prova do teorema de Tutte 4.6, mostre que cada grafo H
i
satisfaz a con-
dio i(H
i
S) [S[ para cada conjunto S de vrtices.
E 4.23 Na prova do teorema de Tutte 4.6, mostre que, para cada i e cada vrtice v
em G
i
, o grafo G
i
v satisfaz a condio i((G
i
v) S) [S[ para cada conjunto
S de vrtices.
E 4.24 Na prova do teorema de Tutte 4.6, mostre que o grafo F satisfaz as hipteses
do teorema de Hall 4.3: [
F
(X)[ [X[ para cada subconjunto X de G
1
, . . . , G
k
.
E 4.25 Deduza o teorema de Hall 4.3 do teorema de Tutte 4.6.
E 4.26 Seja G um grafo 3-regular sem cortes de tamanho 1 (ou seja, sem conjuntos
X de vrtices tais que [(X)[ = 1). Mostre que G temumemparelhamento perfeito.
Mostre que nem todo grafo 3-regular tem um emparelhamento perfeito.
E 4.27 Prove a delimitao 4.7.
E 4.28 Deduza o teorema de Knig 4.4 do teorema de Berge 4.8.
10
Claude Berge (1:6 :oo:), matemtico francs.
4.5 Consideraes computacionais 47
Existem algoritmos rpidos
11
(e muito interessantes) para encontrar um emparelha-
mento mximo num grafo. O algoritmo especco para grafos bipartidos produz
um emparelhamento e uma cobertura de mesma cardinalidade.
12
O algoritmo mais
geral aceita qualquer grafo e produz um emparelhamento e um conjunto de vrtices
que satisfazem a relao estabelecida no teorema 4.8.
13
11
Os algoritmos consomem tempo limitado por um polinmio no nmero de vrtices do grafo.
12
Veja os livros de LovszPlummer [LP86, p.12], BondyMurty [BM76, p.80] e Diestel [Die00,
p.30].
13
O algoritmo foi descoberto em 16 por Jack Edmonds. Veja o livro de LovszPlummer [LP86,
p.358].
Captulo 5
Colorao de arestas
Uma colorao do conjunto das arestas de um grafo uma atribuio de cores s
arestas tal que arestas adjacentes recebemcores diferentes. conveniente formalizar
a denio da seguinte maneira: uma colorao das arestas de um grafo G uma
partio de A(G) ememparelhamentos. Se E
1
, . . . , E
k
uma tal partio, diremos
que cada emparelhamento E
i
uma cor e k o nmero de cores.
Uma colorao de arestas um tipo particular de colorao de vrtices. De
fato, qualquer colorao das arestas de um grafo G uma colorao dos vrtices do
grafo das arestas de G (veja o exemplo 1.15). Como mostraremos no restante deste
captulo, sabe-se muito mais sobre a colorao de arestas que sobre a colorao de
vrtices de um grafo arbitrrio.
5.1 Coloraes mnimas
fcil encontrar uma colorao das arestas de um grafo: basta pintar cada aresta
com uma cor diferente! mais difcil obter uma colorao com poucas cores.
Uma colorao de arestas mnima se o nmero de cores o menor possvel, ou
seja, se no existe outra colorao que use menos cores. O ndice cromtico de um
grafo o nmero de cores de uma colorao de arestas mnima. O ndice cromtico
de um grafo G denotado por
(G) .
Segue imediatamente da observao que zemos ao nal da introduo deste cap-
tulo que
(G) = (G
), onde G
grafo das arestas de G.

Exerccios
E 5.1 Mostre que
(G) 2(G) 1 para todo grafo G.

E 5.2 Exiba um grafo com duas coloraes mnimas diferentes.
E 5.3 Mostre que os emparelhamentos que compem uma colorao mnima no
48
5.2 Delimitao inferior 49
so necessriamente mximos. Mais precisamente, exiba uma colorao mnima
E
1
, . . . , E
k
em que nenhum dos emparelhamentos E
i
mximo.
5.2 Delimitao inferior
Eis uma delimitao inferior simples mas importante do ndice cromtico:
1
Delimitao 5.1 Em todo grafo G tem-se
(G) (G).
PROVA: A desigualdade decorre da seguinte observao: para qualquer colora-
o de arestas com k cores e qualquer vrtice v tem-se k g(v).
Essa delimitao inferior tem a seguinte conseqncia imediata: se uma colora-
o de arestas usa apenas cores ento ela mnima. Portanto, para comprovar
a minimalidade de uma colorao basta exibir um vrtice cujo grau seja igual ao
nmero de cores.
Como veremos abaixo, todo grafo bipartido admite uma colorao com apenas
cores. Mas a colorao de muitos grafos no-bipartidos exige mais que cores.
Que objeto suciente exibir, nesses casos, para certicar a minimalidade de uma
colorao? Infelizmente, no temos uma boa resposta para essa pergunta.
Exerccios
E 5.4 Exiba uma colorao mnima das arestas de uma grade pporq (veja exem-
plo 1.7).
E 5.5 Mostre que
(G) = 4 se G o grafo de Petersen.

E 5.6 Mostre que todo grafo bipartido k-regular admite uma colorao das arestas
com apenas k cores. (Sugesto: veja o teorema de Hall 4.3.)
E 5.7 Mostre que
(G) > (G) se G um grafo regular no-vazio com nmero

mpar de vrtices.
E 5.8 Mostre que
(G) > (G) se n(G) mpar e m(G) >

1
2
(G)
_
n(G) 1
_
.
5.3 Grafos bipartidos
O ndice cromtico de grafos bipartidos tem uma delimitao superior que comple-
menta a delimitao inferior 5.1. Ela foi estabelecida em por Knig
2
:
1
Essa delimitao pode ser vista como conseqncia da proposio 3.4 aliada ao exerccio 2.23.
2
Dnes Knig ( 188 1), matemtico hngaro.
50 CAP. 5 COLORAO DE ARESTAS
Teorema 5.2 (Knig) Para todo grafo bipartido G tem-se
(G) (G).
PROVA: Nossa prova uma induo no nmero de arestas de G. Se m(G) = 0,
a proposio obviamente verdadeira. Suponha agora que m(G) > 0. Seja xy
uma aresta de G. Por hiptese de induo, o grafo G xy admite uma colorao
E
1
, . . . , E
k
com k (G xy) cores. claro que k (G). Se k < (G)
ento E
1
, . . . , E
k
, xy a colorao de G desejada. Suponha no que segue que
k = (G).
Como g
G
(x) k, alguma cor E
j
est ausente em x, ou seja, E
j

G
(x) = .
Analogamente, alguma cor E
i
est ausente em y. Se i = j ento E
i
xy um
emparelhamento e portanto se acrescentarmos xy a E
i
teremos uma colorao de G
com (G) cores.
Suponha agora que i ,= j . Seja C o componente do grafo (V (G), E
i
E
j
) que C
contm x. Como E
i
e E
j
so emparelhamentos e E
j
est ausente em x, C um
caminho e suas arestas esto alternadamente em E
i
e E
j
. Suponha por um instante
que y est em C. Ento y um extremo de C, pois E
i
est ausente em y. Logo,
o comprimento de C par e assim C + xy um circuito mpar. Mas G no tem
circuitos mpares, em virtude do teorema 3.5. Assim, podemos garantir que
y no est em C.
Considere agora os conjuntos F
i
:= E
i
A(C) e F
j
:= E
j
A(C).
3
fcil vericar
que F
i
xy e F
j
so emparelhamentos mutuamente disjuntos. Portanto, se tro-
carmos E
i
por F
i
xy e E
j
por F
j
, teremos uma colorao das arestas de G com
(G) cores.
Acombinao da delimitao inferior 5.1 coma delimitao superior 5.2 d uma
boa caracterizao das coloraes mnimas de arestas emgrafos bipartidos. Ela pode
ser reformulada assim:
(G) = (G)
para todo grafo bipartido G.
Exerccios
E 5.9 Exiba coloraes mnimas das arestas dos grafos representados nas guras 4.1
e 4.2.
E 5.10 Uma escola pode ser representada por um grafo (U, W)-bipartido: cada vr-
tice em U um professor, cada vrtice em W uma turma de alunos e um professor
adjacente s turmas para as quais deve dar aulas. Uma semana letiva dividida
em perodos (segunda-feira das 8h s 10h, segunda-feira das 10h s 12h, etc.) e cada
3
A Y := (A Y ) (Y A) (A Y ) (A Y ). Esta a diferena simtrica entre os
conjuntos A e Y .
5.4 Delimitao superior 51
perodo representado por uma cor. Uma colorao das arestas do grafo uma pro-
gramao das aulas da semana. Quantos perodos so necessrios e sucientes para
cumprir o programa de aulas?
4
5.4 Delimitao superior
um tanto supreendente que + 1 cores so sucientes para colorir as arestas de
qualquer grafo. Esse fato foi descoberto em por Vizing
5
(e redescoberto em
por Gupta
6
):
Teorema 5.3 (Vizing) Em todo grafo G tem-se
(G) (G) + 1.
7
PROVA: Nossa prova uma induo no nmero de arestas de G. Se m(G) = 0,
a proposio trivialmente verdadeira. Suponha agora que m(G) > 0. Seja xy uma
aresta de G. Por hiptese de induo, o grafo G xy admite uma colorao com
no mais que (G xy) + 1 cores. Digamos que E
0
, . . . , E
k
uma tal colorao.
claro que k (G xy) (G). Se k < (G) ento E
0
, . . . , E
k
, xy a
colorao de G desejada. No que segue, vamos supor que k = (G) e mostrar que
G admite uma colorao com k + 1 cores.
Diremos que uma cor E
i
est presente em v se E
i
(v) ,= e ausente em v
em caso contrrio. Como temos (G) + 1, alguma cor est ausente em cada vrtice
do grafo.
Um leque uma seqncia (xy
0
, . . . , xy
j
) de elementos de (x), distintos dois
a dois, dotada da seguinte propriedade: para h = 1, . . . , j , a cor de xy
h
est ausente
em y
h1
.
Seja (xy
0
, . . . , xy
j
) um leque maximal. Como j < (G) = k, podemos ajustar a ,
notao (permutando E
0
, . . . , E
k
se necessrio) de modo que
xy
h
E
h
e E
h
est ausente em y
h1
para h = 1, . . . , j . Temos dois casos a considerar:
CASO 1: alguma cor est ausente em y
j
e em x. Podemos supor, sem perda de
generalidade, que a cor ausente em x e y
j
E
0
. Para h = 1, . . . , j ,
troque E
h
por (E
h
xy
h
) xy
h1
.
Isso produz uma colorao de Gxy
j
. Agora, aplique a cor E
0
aresta xy
j
, ou seja,
troque E
0
por E
0
xy
j
. Isso produz a colorao de G desejada.
CASO 2: toda cor ausente em y
j
est presente em x. Seja E
i
uma cor ausente 1
i
4
Este o problema da grade de horrios (timetabling problem).
5
Vadim G. Vizing (1), matemtico russo.
6
Ram Prakash Gupta.
7
Convm no confundir a desigualdade
+ 1 com a desigualdade + 1 discutida

no teorema 3.2: as razes para a validade de uma e de outra so muito diferentes.
52 CAP. 5 COLORAO DE ARESTAS
2
4
5
1
3
6
r
r
r
r r
r
r
s/
/
/
/
.
.
.
.
`
`
`
`
x
y
3
y
1
y
2
y
5
y
6
y
0
y
4
(3)
(4)
(1)
(5)
(0)
(6) (2)
(4)
3
4
5
1
2
0
6
r
r
r
r r
r
r
s/
/
/
/
.
.
.
.
`
`
`
`
x
y
3
y
1
y
2
y
5
y
6
y
0
y
4
Figura 5.1: Ilustrao da prova do teorema de Vizing 5.3. As cores so
1
0
, . . . , 1
k
. Um rtulo j junto a uma aresta indica que a aresta est em 1
p
(a aresta rj
0
no tem cor). Um rtulo (j) junto a um vrtice indica que 1
p
est ausente no vrtice. A gura ilustra o subcaso 2A da prova, com , = 6
e i = 4. O leque esquerda mostra a colorao no incio do subcaso 2A; o
leque direita mostra a colorao no m do subcaso.
em y
j
. Em virtude da maximalidade do leque, i 1, . . . , j1. Podemos su-
por, sem perder generalidade, que E
0
est ausente em x. Seja H o grafo induzido 1
0
por E
0
E
i
:
H := (V (G), E
0
E
i
) .
Os componentes desse grafo so caminhos e circuitos. Ademais, g
H
(x) 1,
g
H
(y
i1
) 1 e g
H
(y
j
) 1, uma vez que E
0
est ausente em x e E
i
est ausente
em y
i1
e em y
j
. Assim, os componentes de H que contm x, y
i1
e y
j
so cami-
nhos. Um dos dois subcasos a seguir se verica:
SUBCASO 2A: x e y
i1
esto em dois componentes distintos de H. Seja
C o componente de H que contm y
i1
. Troque as cores E
0
e E
i
nesse
componente. Mais formalmente, seja
F
0
:= E
0
A(C) e F
i
:= E
i
A(C)
e seja F
h
:= E
h
para todo h distinto de 0 e de i. Observe que F
0
, . . . , F
k
uma colorao de G xy
0
e F
0
esta ausente em x e em y
i1
. Ade-
mais, (xy
0
, . . . , xy
i1
) um leque com relao nova colorao. Portanto,
uma troca de cores anloga descrita no caso 1 produz uma colorao
de G. Mais especicamente, basta trocar F
h
por (F
h
xy
h
) xy
h1
para h = 1, . . . , i1 e trocar F
0
por F
0
xy
i1
para obter a colorao de G
desejada.
SUBCASO 2B: x e y
i1
esto num mesmo componente de H. Nesse caso, x
e y
j
esto em componentes diferentes de H. Seja C o componente de H que
contm y
j
. Seja F
0
:= E
0
A(C), F
i
:= E
i
A(C) e F
h
:= E
h
para todo h
distinto de 0 e de i. Observe que F
0
, . . . , F
k
uma colorao de G xy
0
e que F
0
esta ausente em x e em y
j
. Como y
i1
no est em C, a cor F
i
est ausente em y
i1
, e portanto a seqncia (xy
0
, . . . , xy
j
) um leque com
relao nova colorao. Assim, uma troca de cores anloga descrita no
caso 1 produz uma colorao de G. Mais especicamente, basta trocar F
h
5.5 Consideraes computacionais 53
por (F
h
xy
h
) xy
h1
para h = 1, . . . , j e trocar F
0
por F
0
xy
j
para
obter a colorao de G desejada.
Isso encerra a prova.
Se combinarmos o teorema 5.3 com a delimitao 5.1, poderemos dizer que o
ndice cromtico todo grafo conhecido a menos de uma unidade:
(G)
(G) (G) + 1
para qualquer grafo G.
Exerccios
E 5.11 Para todo n > 1, mostre que
(K
n
) = n se n mpar e
(K
n
) = n 1 se n
par.
DD 5.12 Mostre que
(G) = 3 para todo grafo 3-regular G planar (veja exem-

plo 1.14).
8
A 5.13 Encontre uma boa caracterizao da classe de grafos G :
(G) = (G).
A prova do teorema 5.2 induz um algoritmo rpido
9
de colorao das arestas de
qualquer grafo bipartido com cores. Para grafos arbitrrios, a prova do teo-
rema 5.3 induz um algoritmo rpido de colorao com + 1 cores. Infelizmente,
no se conhece um algoritmo rpido capaz de determinar se o ndice cromtico
de umdado grafo vale ou +1. Suspeita-se mesmo que no existe umalgoritmo

rpido para essa tarefa.
10
8
Este fato equivalente ao clebre Teorema das Quatro Cores.
9
O consumo de tempo do algoritmo limitado por um polinmio no nmero de vrtices do
grafo.
10
Apndice A
Dicionrio de termos tcnicos
Boa parte da literatura da teoria dos grafos est escrita em ingls. A traduo dos
termos tcnicos para o portugus no est muito bem estabelecida. O presente texto
adota a seguinte correspondncia:
ingls portugus
almost every quase todo
bipartite bipartido
bipartition bipartio
bishop (in chess) bispo (do xadrez)
chess xadrez
chromatic number nmero cromtico
chromatic index ndice cromtico
circuit circuito
clique clique
clique number cardinalidade de clique mxima
coboundary cofronteira, corte
colorable colorvel
connected conexo
cut corte, cofronteira
cycle ciclo, circuito
degree grau
edge aresta
eigenvalue autovalor
empty vazio
even par
forest oresta
graph grafo
grid grade
independence number ndice de estabilidade
independent set conjunto estvel
induced induzido
isomorphic isomorfo
isomorphism isomorsmo
king (in chess) rei (do xadrez)
54
DICIONRIO 55
ingls portugus
knight (in chess) cavalo (do xadrez)
length comprimento
line graph grafo das arestas
lower bound delimitao inferior
matching emparelhamento
maximal maximal
maximum mximo
minimal minimal
minimum mnimo
neighbor vizinho
neighborhood vizinhana
null vazio, nulo
odd mpar
path caminho
pawn (in chess) peo (do xadrez)
polygon circuito
queen (in chess) dama (do xadrez)
random graph grafo aleatrio
rank posto
rook (in chess) torre (do xadrez)
set conjunto
spanning subgraph subgrafo gerador
stability number ndice de estabilidade
stable estvel
tree rvore
two-colorable bicolorvel
upper bound delimitao superior
vertex vrtice
vertex cover cobertura
Apndice B
Alfabeto grego
A teoria dos grafos, como outras reas da matemtica, recorre freqentemente ao
alfabeto grego:
A alfa N n
B beta ksi
gama o O micron
delta pi
E epsilon P r
Z zeta sigma
H eta T tau
teta upsilon
I iota
K kapa X qui
lambda psi
M m mega
O smbolo no pertence ao alfabeto grego. Dizem que o nome do smbolo
nabla designa uma harpa egpcia. No confunda com .
56
Bibliograa
[AZ98] M. Aigner and G. M. Ziegler. Proofs from THE BOOK. Springer, 1998. 24,
30
[Big74] N. Biggs. Algebraic Graph Theory, volume 67 of Cambridge Tracts in Mathe-
matics. Cambridge University Press, 1974. 30
[BLW76] N. L. Biggs, E. K. Lloyd, and R. J. Wilson. Graph Theory 17361936. Cla-
redon Press, Oxford, 1976. [Histria da Teoria dos Grafos, com reproduo de
artigos clssicos]. 5
[BM76] J. A. Bondy and U. S. R. Murty. Graph Theory with Applications. Mac-
millan/Elsevier, 1976. [http://www.ecp6.jussieu.fr/pageperso/bondy/
books/gtwa/gtwa.html]. 5, 33, 47
[Bol98] B. Bollobs. Modern Graph Theory, volume 184 of Graduate Texts in Mathe-
matics. Springer-Verlag, 1998. 5
[Chv83] V. Chvtal. Linear Programming. W. H. Freeman, 1983. 42
[Die00] R. Diestel. Graph Theory, volume 173 of Graduate Texts in Mathematics.
Springer-Verlag, second edition, 2000. [http://www.math.uni-hamburg.
de/home/diestel/books/graph.theory/index.html]. 5, 46, 47
[GJ79] M. R. Garey and D. S. Johnson. Computers and Intractability: a Guide to the
Theory of NP-Completeness. W. H. Freeman, 1979. 5, 13, 28, 36, 53
[Har92] D. Harel. Algorithmics: The Spirit of Computing. Addison-Wesley, second
edition, 1992. 5, 13, 28, 36, 53
[Lov93] L. Lovsz. Combinatorial Problems and Exercises. North-Holland, second
edition, 1993. 5
[LP86] L. Lovsz and M. D. Plummer. Matching Theory, volume 29 of Annals of
Discrete Mathematics. North-Holland, 1986. 5, 42, 46, 47
[Luc79] C. L. Lucchesi. Introduo Teoria dos Grafos. 12
o
Colquio Brasileiro de
Matemtica. IMPA (Instituto de Matemtica Pura e Aplicada), 1979. 5
[Sch03] A. Schrijver. Combinatorial Optimization: Polyhedra and Efciency. Num-
ber 24 in Algorithms and Combinatorics. Springer, 2003. 24
57
58 BIBLIOGRAFIA
[Sip97] M. Sipser. Introduction to the Theory of Computation. PWS Publishing, 1997.
[http://www-math.mit.edu/~sipser/book.html]. 5, 13, 28, 36, 53
[Wil79] R. J. Wilson. Introduction to Graph Theory. Academic Press, second edition,
1979. 5
ndice Remissivo
\
(2)
, 8
\ (G), 9
(G), 9
n(G), 9
:(G), 9
1
n
, 9
1
p,q
, 11
(A), 14
(), 14
((n), 19
(A), 14
(A), 14
g(), 14
(G), 14
(G), 14
G, 9
G[A] , 17
G, 17
GA, 17
Go, 17
G+n, 17
, 20
, 37
, 27
, 45
, 26
, 29
, 48
i(G), 44
r|, 18
r|, 22
A Y , 50
A, 5
, 20
, 37
adjacentes
arestas, 12, 37
vrtices, 8
alcanos, 11
aleatrio, 19
aresta, 8
arestas
adjacentes, 12, 37
independentes, 37
paralelas, 8
rvore, 18
automorsmo, 13
autovalor, 30
, 27
Bell, 36
Berge, 46
bicolorao, 33
bicolorvel, 33
bipartio
de grafo, 34
bipartido, 34
completo, 11
bispo do xadrez, 9
boa caracterizao, 34, 41, 45, 50
Bollobs, 36
Brooks, 31
caminho, 16
mpar, 16
par, 16
Catlin, 32
cavalo do xadrez, 9
certicado, 28, 34, 36, 44
ciclo, 16
circuito, 16
mpar, 16, 33
par, 16
clique, 26
mxima, 26, 32
cobertura, 27
mnima, 27, 39
cociclo, 14
cofronteira, 14
59
60 NDICE REMISSIVO
colorao
de arestas, 48
de vrtices, 29
mnima, 29, 48
colorvel, 29
comparabilidade, 12
complemento, 9
completo, 9
componente, 18
conexo, 18
mpar, 44
comprimento
de caminho, 16
de circuito, 16
conexo, 17
conjunto
completo, 26
estvel, 20
maximal, 20
mximo, 20
independente, 20
cor, 29, 48
ausente, 51
presente, 51
corte, 14
cubo, 10
D, 5
DD, 5
(G), 14
(G), 14
dama do xadrez, 9
diferena simtrica, 50
Dilworth, 33
Egervry, 42
emparelhamento, 37
que satura, 38
maximal, 37
mximo, 37
perfeito, 38
espao
dos ciclos, 17
dos cociclos, 15
dos cortes, 15
estvel, 20
maximal, 20
mximo, 20
extremos
de caminho, 16
F, 6
oresta, 17
g(), 14
(A), 14
(), 14
((n), 19
grade, 10
grafo, 8
aleatrio, 19
bicolorvel, 33
bipartido, 34
bipartido completo, 11
complementar, 9
completo, 9
da dama, 9
da torre, 9
das arestas, 12
das palavras, 10
de Catlin, 32
de comparabilidade, 12
de Grtzsch, 33
de intervalos, 12
de matriz simtrica, 10
de Mycielski, 33
de Petersen, 11
de Turn, 23
do bispo, 9
do cavalo, 9
do rei, 9
dos estados, 10
grade, 10
planar, 12
regular, 14
simples, 8
vazio, 9
grau, 14
mximo, 14
mnimo, 14
Grtzsch, 33
grupo, 13
Hall, 40
hexgono, 16
hidrocarbonetos, 11
NDICE REMISSIVO 61
i(G), 44
incide, 8
independente, 37
ndice
cromtico (
), 48
de estabilidade (), 20
intervalos, 12
isomorsmo, 12
1
n
, 9
1
n
, 9
Knig, 41, 50
1(G), 12
laos, 8
leque de arestas, 51
line graph, 12
:(G), 9
matriz
de adjacncias, 15
positiva semidenida, 24
maximal, 20, 37
mximo, 20, 37
min-max, 42
mnima, 29, 48
Mycielski, 33
n(G), 9
nabla (), 14
nmero
cromtico (), 29
de Bell, 36
de cores, 29
de Ramsey, 27
, 26
ordem parcial, 12
palavras, 10
par no-ordenado, 8
partio, 29
pentgono, 16
Petersen, 11
planar, 12
ponta de aresta, 8
posto de matriz, 24
programao linear, 42
quadrado, 16
quase todo, 19
quatro cores, 30, 53
Ramsey, 27
regular, 14
rei do xadrez, 9
representantes distintos, 42
satura
(emparelhamento), 38
semidenida
(matriz), 24
slither, 38
subgrafo, 17
induzido, 17
maximal, 18
prprio, 17
teorema
da dualidade, 42
das 4 cores, 30, 53
de Berge, 46
de Bollobs, 36
de Brooks, 31
de Dilworth, 33
de Hall, 40
de Knig, 41, 50
de KnigEgervry, 42
de Turn, 23
de Tutte, 44
de TutteBerge, 46
de Vizing, 51
torre do xadrez, 9
tringulo, 16
Turn, 23
Tutte, 44
vazio, 9
vrtice, 8
saturado, 38
vrtices adjacentes, 8
Vizing, 51
vizinhana, 14
vizinho, 8
, 29
, 48
xadrez, 9

Teoria Dos Grafos

Enviado por

Dados do documento

Título original

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

Teoria Dos Grafos

Enviado por

Direitos autorais:

Formatos disponíveis

Uma Introduo Sucinta

Teoria dos Grafos

[ = 1. (Veja a gura 1.4.)

) = A(G) e cada aresta de G

Figura 1.7: Os grafos so isomorfos? Veja exerccio 1.16.

o grafo das arestas de um grafo G. Mostre que G

1/(g(v) +1): num K

< m. (Este exerccio uma preparao para o exerccio 2.12.)

Xe, sendo o mximo tomado sobre todas as matrizes X indexadas por

o grafo das arestas de um grafo G (veja o exemplo 1.15). Mostre

) se (G) ,= 2. Mostre que 2 (G

[ < [U[. Considere as alternativas a seguir.

)-bipartido. Observe que

. Assim, por hiptese de induo, G

[ para algum subconjunto

[ para todo subconjunto X

. Portanto podemos supor, por

um emparelhamento em G que satura U.

que complementa a delimitao superior 4.1:

(G) = n(G) (G) para todo grafo bipartido G.

Figura 4.2: Encontre um emparelhamento mximo e uma

. A maneira como escolhemos S

cujas arestas so to-

)-bipartido e prova-se que satisfaz as hi-

deixa de saturar i(GS

[ vrtices no mximo. Infeliz-

grafo das arestas de G.

(G) 2(G) 1 para todo grafo G.

(G) = 4 se G o grafo de Petersen.

(G) > (G) se G um grafo regular no-vazio com nmero

(G) > (G) se n(G) mpar e m(G) >

+ 1 com a desigualdade + 1 discutida

(G) = 3 para todo grafo 3-regular G planar (veja exem-

de umdado grafo vale ou +1. Suspeita-se mesmo que no existe umalgoritmo

Você também pode gostar