P. Feofiloff
Y. Kohayakawa
Y. Wakabayashi
12/7/2011
2
Sumrio
1 Conceitos bsicos 8
1.1 Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Alguns exemplos de grafos . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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
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.6 Consideraes computacionais . . . . . . . . . . . . . . . . . . . . 36
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
4.5 Consideraes computacionais . . . . . . . . . . . . . . . . . . . . 47
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
5.5 Consideraes computacionais . . . . . . . . . . . . . . . . . . . . 53
B Alfabeto grego 56
Bibliografia 58
ndice Remissivo 59
Prefcio
Este texto uma breve introduo Teoria dos Grafos. Para embarcar nessa introdu-
o, o leitor1 s precisa ter alguma familiaridade com demonstraes matemticas
formais e com a notao bsica da teoria dos conjuntos elementar.
A teoria dos grafos estuda objetos combinatrios os grafos que so um bom
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 desafio 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 bibliografia 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 confira seu entendimento do assunto. Outros levantam assuntos
que no sero abordados no texto propriamente dito.
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
Os autores
Os autores do texto Paulo Feofiloff, 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-
7
Conceitos bsicos
1.1 Grafos
V (2) Para qualquer conjunto V , denotaremos por V (2) o conjunto de todos os pares no-
ordenados de elementos de V . Se V tem n elementos ento V (2) tem n2 := n(n1)
2
elementos. Os elementos de V (2) sero identificados 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 .
(V, A) 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
finito.2
vw Uma aresta como {v, w} ser denotada simplesmente por vw ou por wv . Dire-
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 definio, 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 definio 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
( ).
2
Alm disso, suporemos quase sempre, tacitamente, que V 6= .
8
1.2 Alguns exemplos de grafos 9
u
r
P r t
PP x
r r y r z
v P
P
Pr r
PP w PPP
grafo for G, o conjunto dos seus vrtices ser denotado por V (G) e o conjunto das V (G)
suas arestas por A(G). O nmero de vrtices de G denotado por n(G) e o nmero A(G)
de arestas por m(G); portanto, n(G)
n(G) = |V (G)| e m(G) = |A(G)| . m(G)
Exemplo 1.2 Por analogia com o exemplo anterior, definem-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 definido 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 figura da parte do grafo definida pelas palavras abaixo:
caiado cavado cavalo girafa girava ralo ramo rata rato remo
reta reto rota vaiado varado virada virado virava
Exemplo 1.5 O grafo dos estados do Brasil definido 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?
RR AP
MA CE
AM PI RN
PA
PB
PE
TO
AC AL
RO BA SE
MT
GO MG
ES
RJ
MS
SP
PR
SC
RS
Exemplo 1.6 Seja M uma matriz simtrica com linhas e colunas indexadas por um
conjunto V . Suponha que Mvv = 0 para todo v em V . O grafo da matriz M
definido da seguinte maneira: o conjunto de vrtices do grafo V e dois vrtices u
e v so adjacentes se Muv 6= 0.
rX r
Z
r r r r Xr CC rZ
A Q C
r r r r
r QCr
A Q
A
r r r r r
A
JJr
Figura 1.5: Etano (C2 H6 ), butano (C4 H10 ) e isobutano (C4 H10 ). 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.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 define o grafo dos pontos no plano (sobre o conjunto V ). Faa uma figura
do grafo definido pelos pontos abaixo.
4
Julius Petersen ( ), matemtico dinamarqus.
12 CAP. 1 CONCEITOS BSICOS
Exemplo 1.13 Seja uma relao de ordem parcial sobre um conjunto finito 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 reflexiva (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 define o grafo de comparabilidade da
relao .
Exemplo 1.14 Um grafo planar se pode ser desenhado no plano sem que 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.
Verifique que K5 no planar.
u
r
P r t vu
s ux
sH xy
PP x
r r y r z
v P
P Hs
H s yz
r
P r
PP w PPP vw
s wx
s
1.3 Isomorfismo
Um isomorfismo 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 L(G). A expres-
so grafo das arestas no padro em portugus.
1.3 Isomorfismo 13
Exerccios
E 1.16 Os dois grafos da figura 1.7 so isomorfos? Quais dos grafos da figura 1.8
so isomorfos entre si?
r r r r
@@r r @@r r
r
. r r
. r
r @@r r r
r r r
Z
r Z r!!aa r
r Z
Z
A J
@ ZZ
rXXr CC
Z
r rXX r r
Jr
r r
r Z r
A J
@ A"b
A Q C A E
A " A b
A Ar r r b r
r QCr
A Q A EE"
A
A
Z
r
A
JJr A r
J
Jr Zr A r
E 1.17 Mostre que o grafo das arestas (veja exemplo 1.15) de um K5 isomorfo ao
complemento do grafo de Petersen (veja exemplo 1.8).
6
Veja os livros de GareyJohnson [GJ79], Harel [Har92] e Sipser [Sip97].
14 CAP. 1 CONCEITOS BSICOS
Proposio 1.1 Em todo grafo, a soma dos graus dos vrtices igual ao do-
bro
P do nmero de arestas. Ou seja, todo grafo (V, A) satisfaz a identidade
vV g(v) = 2|A|.
P ROVA : Uma aresta com pontas x e y contribui uma unidade para g(x) e uma
unidadeP 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 definio, a vizinhana de X pode no ser disjunta de X . H quem prefira adotar uma
definio ligeiramente diferente e dizer que a vizinhana de X o conjunto dos vrtices em V (G)rX
que tm algum vizinho em X .
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 prefira escrever (X) no lugar do nosso (X).
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.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.
Exerccios
E 1.30 Mostre que o complemento de um caminho de comprimento 3 um caminho
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) 6= V (G) ou A(H) 6= 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[X]
G[X] .
Para qualquer subconjunto X de V (G), denotaremos por G X o subgrafo GX
G[V (G) r X]. Se v um vrtice de G ento G v uma abreviatura de G {v}. Gv
Se a uma aresta de G ento Ga o grafo (V (G), A(G)r{a}). A propsito, se Ga
{x, y} um elemento de V (G)(2) , denota-se por G + xy o grafo (V (G), A(G) {xy}). G + xy
Se um caminho v1 vn subgrafo de G, dizemos simplesmente que v1 vn
um caminho em G ou que G contm o caminho v1 vn . 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 0 o grafo das arestas de um grafo G. Mostre que G 0 no contm K1,3
(veja exemplo 1.10) como subgrafo induzido. (Em outras palavras, mostre que no
existe subconjunto X de V (G 0 ) tal que G 0 [X] um K1,3 .)
E 1.33 Uma floresta um grafo sem circuitos. Mostre que um grafo G uma floresta
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 um grafo par se todos os seus vrtices tm grau 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 (2A(G) , +, ) definido 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 D(G) definidos 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 D(G). (Sugesto: Mostre que O pode ser es-
crito como uma unio disjunta de circuitos, ou seja, que existem circuitos O1 , . . . , Ok
dois a dois disjuntos nas arestas tais que O = A(O1 ) A(Ok ).)
Exerccios
F 1.36 Verifique 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.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 floresta (veja exerccio 1.33) conexa. (Os grafos discutidos
no exemplo 1.9 so rvores.) Mostre que um grafo conexo G uma floresta se e
somente se, para cada aresta a, o grafo G a no conexo.
11
Para qualquer nmero real x , denotamos por bxc o nico inteiro i tal que i x < i + 1 .
1.8 Grafos aleatrios 19
|P(n)|
lim =1.
n |G(n)|
pm (1 p)N m .
12
Qualquer outro conjunto de cardinalidade n poderia ser usado no lugar de {1, . . . , n} .
Captulo 2
(G) .
1
H quem diga conjunto independente no lugar do nosso conjunto estvel.
20
2.2 Delimitaes inferiores 21
Exerccios
F 2.1 Mostre que, em geral, um conjunto estvel mximo num grafo no nico.
E 2.3 Encontre um conjunto estvel mximo na grade pporq (veja exemplo 1.7).
E 2.4 Seja Gt o grafo da dama tport (veja exemplo 1.1). Mostre que (G8 ) = 8.
Calcule (G5 ), (G6 ) e (G7 ).
D 2.5 Seja Gt o grafo da dama tport (veja exemplo 1.1). Calcule (Gt ) para
todo t 9.
E 2.6 Encontre um conjunto estvel mximo nos grafos do cavalo, do bispo, da torre
e do rei (veja exemplo 1.2).
n(G)
Delimitao 2.1 Para todo grafo G tem-se (G) .
(G) + 1
P ROVA : suficiente mostrar que todo conjunto estvel maximal tem pelo menos
n
+1
vrtices. Para qualquer conjunto estvel X tem-se
P
|(X)| = xX g(x) .
2
possvel colocar mais que 7 damas no tabuleiro?
22 CAP. 2 CONJUNTOS ESTVEIS, CLIQUES E COBERTURAS
Segue da que n(G) = |X| + |V (G) r X| |X| (1 + (G)). Resta apenas observar
que (G) |X|.
1
h( ) P ROVA
P : Adote a abreviatura hG ( ) := (gG ( ) + 1) . Queremos mostrar que
(G) v hG (v).
A prova uma induo em n(G). fcil verificar 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
P
hG (x) + yY hG (y) hG (x) + |Y | hG (x)
= hG (x) + gG (x) hG (x)
= (1 + gG (x)) hG (x)
= 1.
(G) 1 + (H)
P
1 + zZ hG (z)
P P
hG (x) + yY hG (y) + zZ hG (z)
P
= vV (G) hG (v) ,
As delimitaes
n 3 discutidas acima so justas: nos grafos completos, por exemplo,
tem-se = +1 . (Veja tambm Po exerccio 2.8). Mas pode ficar arbitrariamente
longe de n/( + 1) e mesmo de P1/(g(v) + 1): num Kp,p , por exemplo (veja exem-
plo 1.10), temos = p enquanto 1/(g(v) + 1) < 2.
3
Para qualquer nmero real x , denotamos por dxe o nico inteiro j tal que j 1 < x j .
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 .
P
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).
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.)
m(G)
Delimitao 2.3 Para todo grafo G tem-se (G) .
(G)
4
Pode-se provar que S o nico grafo (a menos de isomorfismo) com n vrtices, m(S) arestas
e ndice de estabilidade a. Este fato um conhecido teorema de Paul Turn ( ). O com-
plemento de S conhecido como grafo de Turn.
24 CAP. 2 CONJUNTOS ESTVEIS, CLIQUES E COBERTURAS
Uma delimitao superior pode ser usada, s vezes, para comprovar a maxi-
malidade de um conjunto estvel. Se X um conjunto estvel de cardinalidade
bm/c 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| = b(2p + 1)/2c = bm/c.
Infelizmente, fica muito longe de m/ em geral. Em um Kn , por exemplo,
tem-se = 1 enquanto m/ = n/2.
Exerccios
D 2.13 Prove que (G) n(G) 21 p(G), sendo p(G) o posto da matriz de adjacn-
cias de G (veja exerccio 1.27). Por definio, 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 nmero5
maxX e0 Xe, sendo o mximo tomado sobre todas as matrizes X indexadas por
VP(G)V (G) que so simtricas positivas semidefinidas (X 0),6 tm trao unitrio
( i Xii = 1) e tm componentes nulas nas arestas (Xij = 0 para todo ij em A(G)).
O smbolo e denota o vetor de componentes unitrios (ei = 1 para todo i em V (G))
e e0 o transposto de e.7
k P ROVA : Seja k o nmero d(2 + ) log2 ne e denote por Q(n, k) o conjunto dos
grafos em G(n) para os quais k . Resta mostrar que
|Q(n, k)|
lim =0. (2.1)
n |G(n)|
Seja X um subconjunto de V com k elementos. H uma correspondncia biunvoca
entre os grafos em G(n) nos quais X estvel e os subconjuntos de V (2) r X (2) .
k n
Logo, X estvel em 2N K dos grafos, sendo K := 2 . Como V tem k nk
K
5
Esse nmero conhecido como funo teta de Lovsz.
Uma matriz X positiva semidefinida se existe uma matriz quadrada Y tal que X = Y Y 0 ,
6
|Q(n, k)|
|Q(n, k)| nk 2N K , e portanto nk 2k(k1)/2 .
|G(n)|
Segue da que
|Q(n, k)|
lim log2 = ,
n |G(n)|
Exerccios
E 2.15 Prove que, por menor que seja o nmero positivo , temos (G) <
n/(2 log2 n + 1 + ) para quase todo grafo G em G(n). (Sugesto: acompanhe a
demonstrao do teorema 2.4, tomando = (1 + )/ log2 n.)
E 2.16 Fixe um grafo H (o grafo de Petersen, por exemplo). Prove que quase todo
grafo G em G(n) contm um subgrafo induzido isomorfo a H . (Suponha que H
tem h vrtices. Escolha partes duas a duas disjuntas U1 , . . . , Um de V (G), com m =
bn/hc e |Ui | = h. Qual a probabilidade de nenhum Ui induzir uma cpia de H ?)
E 2.17 Prove que quase todo grafo G em G(n) tem dimetro 2, isto , prove que
quase todo G em G(n) tal que, para quaisquer vrtices distintos u e v , existe em G
um caminho de comprimento no mximo 2 com extremos u e v . (Na verdade, quase
todo G em G(n) tal que quaisquer dois vrtices u e v de G so extremos de um
caminho de comprimento exatamente 2.)
2.5 Cliques
Uma clique8 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:
(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).
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 0 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 0 . Mostre que o
conjunto das arestas de qualquer tringulo em G uma clique em G 0 . Mostre que
(G) = (G 0 ) se (G) 6= 2. Mostre que 2 (G 0 ) 3 se (G) = 2.
D 2.24 Mostre que (G) 3 para todo grafo G com mais 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. Ramsey9 mostrou que isso de fato assim para grafos suficientemente 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 fixo e, para todo inteiro n 2, ponha k =
d(2 + ) log2 ne. Prove a seguinte delimitao para os nmeros de Ramsey (veja
exerccio 2.25): existe n0 tal que r(k, k) > n para todo n n0 . (Sugesto: Siga os
passos da prova do teorema 2.4.)
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:
(G) .
9
Frank P. Ramsey ( ), lgico, matemtico, e economista ingls.
10
A determinao do valor exato do nmero de Ramsey r(s, 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 .
28 CAP. 2 CONJUNTOS ESTVEIS, CLIQUES E COBERTURAS
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).
12
Basta dizer que 2500 maior que o nmero de tomos do universo, de acordo com os cosmlo-
gos.
13
Veja os livros de GareyJohnson [GJ79], Harel [Har92] e Sipser [Sip97].
Captulo 3
Colorao de vrtices
1
Uma partio de um conjunto V uma coleo {X1 , . . . , Xk } de subconjuntos no-vazios de
V tal que X1 Xk = V e Xi Xj = sempre que i 6= j .
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 necessariamente mximos. Mais precisamente, exiba uma colorao mnima
{X1 , . . . , Xk } em que nenhum dos conjuntos estveis Xi mximo.
E 3.3 Qual o nmero cromtico do grafo dos estados do Brasil (veja exemplo 1.5)?
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 Um museu de arte tem uma grande sala cujo contorno um polgono 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 bn/3c guardas so suficientes. Mostre que bn/3c 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
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
P ROVA : Seja {X1 , . . . , Xk } uma colorao mnima. Ento, para todo i e todo
j distinto de i, existe uma aresta com uma ponta em Xi e outra em Xj . Assim,
k 2
m(G) 2 = (k k)/2. Logo, k (1 + 8m + 1)/2.
Considere agora uma delimitao mais sofisticada. Ela confirma a intuio de
que tanto menor quanto menor o grau mximo do grafo.
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 Brooks5 .)
n(G)
Delimitao 3.3 Para todo grafo G tem-se (G) .
(G)
5
Publicado em por R. L. Brooks.
32 CAP. 3 COLORAO DE VRTICES
k |C| .
Exerccios
E 3.11 O grafo de Catlin6 definido da seguinte maneira: comece com um pent-
gono P ; troque cada vrtice v de P por um tringulo Tv (os tringulos correspon-
dentes a vrtices diferentes so disjuntos); finalmente, troque cada aresta vw de P
por 9 arestas ligando cada vrtice de Tv com cada vrtice de Tw . 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.)
6
Construdo em por P. A. Catlin.
3.4 Bicolorao e grafos bipartidos 33
E 3.15 Seja G o grafo do bispo tport (veja exemplo 1.2). Mostre que (G) = (G).
D 3.16 Seja G2 um grafo completo com 2 vrtices. A partir desse grafo, a seqncia
G3 , G4 , . . . , Gk , . . . de grafos de Mycielski8 definida recursivamente como segue.
Para cada k maior que 2, seja Vk = {v1 , . . . , vn } o conjunto de vrtices de Gk . Seja
Wk+1 = {w0 , w1 , . . . , wn } um conjunto disjunto de Vk . O grafo Gk+1 tem conjunto de
vrtices Vk Wk+1 e tal que Gk+1 [Vk ] = Gk e, para cada i 1, wi adjacente em
Gk+1 a w0 e a cada um dos vizinhos de vi em Gk . A figura 3.1 ilustra G2 , G3 e G4 .
Mostre que (Gk ) = 2 para cada k . Mostre que (Gk ) k para cada k . (Veja o livro
de BondyMurty [BM76].)
r
Z
L Z
rL Z
r
r(
((( (hh L hh hr
ZZ
ZZ r Lr
r Zr r
Al
HH! ! ,
r All \ E ,
r \r,
B ,E
B A l H E
H
r BBr r Ar
A H
HEr
7
Robert Palmer Dilworth ( ), matemtico americano.
8
Construda em por J. Mycielski.
34 CAP. 3 COLORAO DE VRTICES
{U 0 W 00 , U 00 W 0 } ,
Exerccios
E 3.17 Mostre que o grafo do cavalo (veja exemplo 1.2) bipartido.
E 3.19 Mostre que toda grade (veja exemplo 1.7) um grafo bicolorvel.
9
A rigor, um grafo bipartido somente se estiver munido de uma bicolorao fixa (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.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 0 , W 0 } so bicoloraes de G
ento U = U 0 (e portanto W = W 0 ) ou U = W 0 (e portanto W = U 0 ).
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 Z
H H Z
HH
rH r H Hr r Z Z r
Z Z
Zr
H Z
HH ZZ
r r H Hr r
r r Z Zr
1 n
(G) >
2 + log2 n
Por exemplo, se = 0,2 ento |Q(1024, 22)| 211 |G(1024)| e portanto uma
frao de pelo menos 1 211 (mais que 99,9%) dos grafos em G(1024) tm
47 = 1024
22
.
36 CAP. 3 COLORAO DE VRTICES
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
1 n
(G) <
2 log2 n
para quase todo grafo G em G(n).
10
Este um teorema clebre publicado em por B. Bollobs.
11
O nmero B(n) de parties de um conjunto com n elementos Pn conhecido como nmero de
Bell. Os nmeros de Bell satisfazem a recorrncia B(n + 1) = k=0 B(k) nk e crescem bem mais
que 2n .
12
Veja os livros de GareyJohnson [GJ79], Harel [Har92] e Sipser [Sip97].
Captulo 4
Emparelhamentos
1
H quem diga que duas arestas sem ponta comum so independentes.
37
38 CAP. 4 EMPARELHAMENTOS
Exerccios
F 4.1 Mostre que nem todo emparelhamento maximal mximo.
2
Alguns livros escrevem 1 ou ou ainda no lugar do nosso 0 .
4.3 Emparelhamentos em grafos bipartidos 39
Exerccios
E 4.7 Exiba um grafo G tal que 0 (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
0 (G) = bt2 /2c = (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?
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 .
P ROVA : 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 0 , W 0 )-bipartido em que
|U 0 | < |U |. Considere as alternativas a seguir.
A LTERNATIVA 1: |G (X)| > |X| para todo subconjunto prprio e no-vazio X
de U . Escolha uma aresta uw , com u em U . Seja U 0 := U r {u}, W 0 := W r {w} e
G0 := G[U 0 W 0 ]. claro que G0 (U 0 , W 0 )-bipartido. Observe que
3
Philip Hall ( ), matemtico ingls.
4.3 Emparelhamentos em grafos bipartidos 41
|G (X 0 Y )| = |G0 (X 0 ) G (Y )|
|G0 (X 0 )| + |G (Y )|
< |X 0 | + |Y |
= |X 0 Y | .
A expresso teorema de Hall muitas vezes usada para designar a unio da teorema
proposio 4.2 com o teorema 4.3. Essa unio constitui uma boa caracterizao dos de Hall
grafos (U, W )-bipartidos dotados de um emparelhamento que satura U .
P ROVA : 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 defina C
os conjuntos
UC := U C, WC := W C, UC := U r C e WC := W r C .
|H (X)| |X| .
4
Dnes Knig ( ), matemtico hngaro e autor do primeiro livro sobre a teoria dos
grafos (Theorie der endlichen und unendlichen Graphen, Akademischen Verlagsgesellschaft, Leipzig,
1936).
42 CAP. 4 EMPARELHAMENTOS
O teorema 4.3 permite concluir agora que H tem um emparelhamento F que sa-
tura UC . Um argumento simtrico mostra que o subgrafo H 0 de G induzido por
WC UC tem um emparelhamento F 0 que satura WC . Para concluir, observe que
F F 0 um emparelhamento em G e que
Exerccios
F 4.11 Mostre que o grafo da figura 4.1 no tem um emparelhamento que sature os
cinco vrtices que esto na parte superior da figura.
E 4.13 Seja G um grafo (U, W )-bipartido tal que |U | = |W |. Seja M a matriz inde-
xada por U W e definida 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, defi-
nida no exerccio 1.27.) O permanente da matriz M o nmero6
P Q
perm(M ) := uU M [u, (u)] ,
5
Eugene Egervry, matemtico hngaro.
6
Q O permanente tem definio semelhante ao do determinante: no determinante, cada produto
M [u, (u)] 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 figu-
ras 4.1 e 4.2.
E 4.17 Prove que 0 (G) = n(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
B
@ B
B
@ B
B @ B B @ B
r @Br r Br @Br
B @B B @B
B
r r r r r r
A @ A A
@
A @ A A @
A @ A A @
r Ar r Ar Ar @r
@
Emparelhamentos perfeitos
A caracterizao de emparelhamentos perfeitos em grafos arbitrrios exige uma ge-
neralizao no-trivial do teorema de Hall.
44 CAP. 4 EMPARELHAMENTOS
i(G S) |S|
G (Vi ) E 6= .
evidente que cada aresta em G (Vi ) tem uma ponta em S . Para cada i, escolha
uma aresta em G (Vi ) E e seja si a ponta dessa aresta em S . Agora observe que
i(G S) = k = |{s1 , . . . , sk }| |S|.
Em virtude da proposio 4.5, um conjunto S de vrtices tal que i(G S) > |S|
constitui um certificado da inexistncia de emparelhamento perfeito. Surpreenden-
temente, todo grafo desprovido de emparelhamento perfeito possui um tal certifi-
cado. Esse fato foi demonstrado em por Tutte8 :
8
William T. Tutte ( ), 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(G S ) = |S | .
(O conjunto S est bem definido pois i(G s) = 1 para todo vrtice s.) Sejam
G1 , . . . , Gk os componentes mpares de G S , com k = i(G S ). Sejam H1 , . . . , Hl
os componentes pares de G S . A maneira como escolhemos S garante o sucesso
dos trs passos que passamos a descrever.
1. Seja F o grafo com conjunto de vrtices {G1 , . . . , Gk } S cujas arestas so to-
dos os pares Gi s para os quais existe em G uma aresta da forma vs, com v em V (Gi )
e s em S . O grafo F ({G1 , . . . , Gk }, S )-bipartido e prova-se que satisfaz as hi-
pteses do teorema de Hall 4.3. Portanto, F tem um emparelhamento que satura
{G1 , . . . , Gk }.
2. Para cada i e cada vrtice v em Gi , prova-se que Gi v satisfaz as hipteses
do teorema que estamos procurando provar. Logo, Gi v tem um emparelhamento
perfeito por hiptese de induo.
3. Prova-se que cada Hi satisfaz as hipteses do teorema que estamos procu-
rando provar. Assim, cada Hi 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.
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
n(G) 12 i(G S) |S|
2
Para provar essa delimitao, basta mostrar que, para todo S , qualquer empare-
lhamento deixa de saturar pelo menos i(G S) |S| vrtices. Os detalhes da prova
so um bom exerccio.
9
A letra parece adequada nesse texto, mas no notao padro.
46 CAP. 4 EMPARELHAMENTOS
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.22 Na prova do teorema de Tutte 4.6, mostre que cada grafo Hi satisfaz a con-
dio i(Hi 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 Gi , o grafo Gi v satisfaz a condio i((Gi 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 {G1 , . . . , Gk }.
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 tem um emparelhamento perfeito.
Mostre que nem todo grafo 3-regular tem um emparelhamento perfeito.
10
Claude Berge ( ), matemtico francs.
4.5 Consideraes computacionais 47
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 por Jack Edmonds. Veja o livro de LovszPlummer [LP86,
p.358].
Captulo 5
Colorao de arestas
Exerccios
E 5.1 Mostre que 0 (G) 2(G) 1 para todo grafo G.
48
5.2 Delimitao inferior 49
Exerccios
E 5.4 Exiba uma colorao mnima das arestas de uma grade pporq (veja exem-
plo 1.7).
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 0 (G) > (G) se G um grafo regular no-vazio com nmero
mpar de vrtices.
E 5.8 Mostre que 0 (G) > (G) se n(G) mpar e m(G) > 12 (G) n(G) 1 .
1
Essa delimitao pode ser vista como conseqncia da proposio 3.4 aliada ao exerccio 2.23.
2
Dnes Knig ( ), matemtico hngaro.
50 CAP. 5 COLORAO DE ARESTAS
Teorema 5.2 (Knig) Para todo grafo bipartido G tem-se 0 (G) (G).
y no est em C .
Exerccios
E 5.9 Exiba coloraes mnimas das arestas dos grafos representados nas figuras 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
X Y := (X r Y ) (Y r X) (X Y ) r (X Y ) . Esta a diferena simtrica entre os
conjuntos X 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 suficientes para
cumprir o programa de aulas?4
Isso produz uma colorao de G xyj . Agora, aplique a cor E0 aresta xyj , ou seja,
troque E0 por E0 {xyj }. Isso produz a colorao de G desejada.
C ASO 2: toda cor ausente em yj est presente em x. Seja Ei uma cor ausente Ei
4
Este o problema da grade de horrios (timetabling problem).
5
Vadim G. Vizing (), matemtico russo.
6
Ram Prakash Gupta.
7
Convm no confundir a desigualdade 0 + 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
(4)
y3 y3
(5) r (3) r
y4 r r y2 y4 r r y2
0
(6) (2)
y5 rb T 1"r y1 y5 rb T 2"r y1
3
T T
4
5b T "" 5b T "
r s r (1) r s r
b b " 1
(4)
y6 6
bT
"
y0 y6 6
bT
"
y0
x x
(0)
F0 := E0 A(C) e Fi := Ei A(C)
Exerccios
E 5.11 Para todo n > 1, mostre que 0 (Kn ) = n se n mpar e 0 (Kn ) = n 1 se n
par.
DD 5.12 Mostre que 0 (G) = 3 para todo grafo 3-regular G planar (veja exem-
plo 1.14). 8
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
Veja os livros de GareyJohnson [GJ79], Harel [Har92] e Sipser [Sip97].
Apndice A
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 floresta
graph grafo
grid grade
independence number ndice de estabilidade
independent set conjunto estvel
induced induzido
isomorphic isomorfo
isomorphism isomorfismo
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 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 fi
K kapa X qui
lambda psi
M m mega
56
Bibliografia
[AZ98] M. Aigner and G.M. Ziegler. Proofs from THE BOOK. Springer, 1998. 24,
30
[BLW76] N.L. Biggs, E.K. Lloyd, and R.J. Wilson. Graph Theory 17361936. Claredon
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. Macmil-
lan/Elsevier, 1976. Internet: 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, 1998. 5
[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
[Luc79] C.L. Lucchesi. Introduo Teoria dos Grafos. 12o. Colquio Brasileiro de
Matemtica. IMPA (Instituto de Matemtica Pura e Aplicada), 1979. 5
57
58 BIBLIOGRAFIA
[Wil79] R.J. Wilson. Introduction to Graph Theory. Academic Press, second edition,
1979. 5
ndice Remissivo
V (2) , 8 aleatrio, 19
V (G), 9 aresta, 8
A(G), 9 arestas
n(G), 9 adjacentes, 12, 37
m(G), 9 independentes, 37
Kn , 9 paralelas, 8
Kp,q , 11 rvore, 18
(X), 14 automorfismo, 13
(v), 14 autovalor, 30
G(n), 19
(X), 14 , 27
(X), 14 Bell, 36
g(v), 14 Berge, 46
(G), 14 bicolorao, 33
(G), 14 bicolorvel, 33
G, 9 bipartio
G[X], 17 de grafo, 34
G v , 17 bipartido, 34
G X , 17 completo, 11
G a, 17 bispo do xadrez, 9
G + uv , 17 boa caracterizao, 34, 41, 45, 50
, 20 Bollobs, 36
0 , 37 Brooks, 31
, 27
caminho, 16
, 45
mpar, 16
, 26
par, 16
, 29
Catlin, 32
0 , 48
cavalo do xadrez, 9
i(G), 44
certificado, 28, 34, 36, 44
bxc, 18
ciclo, 16
dxe, 22
circuito, 16
X Y , 50
mpar, 16, 33
A, 6 par, 16
, 20 clique, 26
0 , 37 mxima, 26, 32
adjacentes cobertura, 27
arestas, 12, 37 mnima, 27, 39
vrtices, 8 cociclo, 14
alcanos, 11 cofronteira, 14
59
60 NDICE REMISSIVO
colorao extremos
de arestas, 48 de caminho, 16
de vrtices, 29
mnima, 29, 48 F, 6
colorvel, 29 floresta, 17
comparabilidade, 12
g(v), 14
complemento, 9
(X), 14
completo, 9
(v), 14
componente, 18
G(n), 19
conexo, 18
grade, 10
mpar, 44
grafo, 8
comprimento
aleatrio, 19
de caminho, 16
bicolorvel, 33
de circuito, 16
bipartido, 34
conexo, 17
bipartido completo, 11
conjunto
complementar, 9
completo, 26
completo, 9
estvel, 20
da dama, 9
maximal, 20
da torre, 9
mximo, 20
das arestas, 12
independente, 20
das palavras, 10
cor, 29, 48
de Catlin, 32
ausente, 51
de comparabilidade, 12
presente, 51
de Grtzsch, 33
corte, 14
de intervalos, 12
cubo, 10
de matriz simtrica, 10
D, 6 de Mycielski, 33
DD, 6 de Petersen, 11
(G), 14 de Turn, 23
(G), 14 do bispo, 9
dama do xadrez, 9 do cavalo, 9
diferena simtrica, 50 do rei, 9
Dilworth, 33 dos estados, 10
grade, 10
Egervry, 42 planar, 12
emparelhamento, 37 regular, 14
que satura, 38 simples, 8
maximal, 37 vazio, 9
mximo, 37 grau, 14
perfeito, 38 mximo, 14
espao mnimo, 14
dos ciclos, 17 Grtzsch, 33
dos cociclos, 15 grupo, 13
dos cortes, 15
estvel, 20 Hall, 40
maximal, 20 hexgono, 16
mximo, 20 hidrocarbonetos, 11
NDICE REMISSIVO 61
m(G), 9 teorema
matriz da dualidade, 42
de adjacncias, 15 das 4 cores, 30, 53
positiva semidefinida, 24 de Berge, 46
maximal, 20, 37 de Bollobs, 36
mximo, 20, 37 de Brooks, 31
min-max, 42 de Dilworth, 33
mnima, 29, 48 de Hall, 40
Mycielski, 33 de Knig, 41, 50
de KnigEgervry, 42
n(G), 9 de Turn, 23
nabla (), 14 de Tutte, 44
nmero de TutteBerge, 46
cromtico (), 29 de Vizing, 51
de Bell, 36 torre do xadrez, 9
de cores, 29 tringulo, 16
de Ramsey, 27 Turn, 23
Tutte, 44
, 26
ordem parcial, 12 vazio, 9
vrtice, 8
palavras, 10
saturado, 38
par no-ordenado, 8
vrtices adjacentes, 8
partio, 29
Vizing, 51
pentgono, 16
vizinhana, 14
Petersen, 11
vizinho, 8
planar, 12
ponta de aresta, 8 , 29
posto de matriz, 24 0 , 48
programao linear, 42 xadrez, 9
quadrado, 16