Professional Documents
Culture Documents
, j
) de V so adjacentes se
i = i
e [j j
[ = 1 ou j = j
e [i i
[ = 1 .
Essa relao de adjacncia dene um grafo sobre o conjunto V de vrtices.
Esse grafo conhecido como grade (= grid) p-por-q. grade
Quantas arestas tem a grade p-por-q? Escreva as matrizes de adjacncia
e incidncia de uma grade 4-por-5.
Figura 1.2: Uma grade 3-por-4 (veja exerccio 1.6).
E 1.7 Dados nmeros inteiros p e q, seja V o conjunto 1, 2, 3, . . . , pq2, pq1,
pq. Digamos que dois elementos k e k
de V , com k < k
, so adjacentes se
k
= k +q ou
6
k mod q ,= 0 e k
= k + 1.
Essa relao de adjacncia dene um grafo com conjunto de vrtices V .
Faa uma gura do grafo com parmetros p = 3 e q = 4. Faa uma gura
do grafo com parmetros p = 4 e q = 3. Qual a relao entre esses grafos e a
grade denida no exerccio 1.6?
E 1.8 O grafo dos movimentos da dama, ou simplesmente grafo da dama, dama
5
Um par ordenado uma sequncia de comprimento 2. Numa sequncia, a ordem dos
elementos essencial. Assim, (1, 2) ,= (2, 1) e (1, 2, 1) ,= (1, 1, 2).
6
A expresso / mod denota o resto da diviso de / por , ou seja, /, /,|.
FEOFILOFF Grafos 11
denido assim: os vrtices do grafo so as casas de um tabuleiro de xadrez
com t linhas e t colunas (no tabuleiro usual temos t = 8) e dois vrtices so
adjacentes se uma dama (= queen) do jogo de xadrez pode saltar de um deles
para o outro em um s movimento. Para deixar claro o nmero de linhas e
colunas do tabuleiro, podemos dizer que esse o grafo da dama t-por-t. (Veja
gura 1.3.)
Faa uma gura do grafo da dama 4-por-4. Escreva as matrizes de
adjacncia e incidncia do grafo da dama 4-por-4. Quantas arestas tem o
grafo da dama 8-por-8? Quantas arestas tem o grafo da dama t-por-t?
E 1.9 O grafo do cavalo t-por-t denido assim: os vrtices do grafo so as cavalo
casas de um tabuleiro de xadrez com t linhas e t colunas; dois vrtices so
adjacentes se um cavalo (= knight) do jogo de xadrez pode saltar de um deles
para o outro em um s movimento. (Veja gura 1.3.)
Faa uma gura do grafo do cavalo 3-por-3. Escreva as matrizes de
adjacncia e incidncia do grafo do cavalo 3-por-3. Quantas arestas tem o
grafo do cavalo 8-por-8? Quantas arestas tem o grafo do cavalo t-por-t?
Figura 1.3: Tabuleiros de xadrez 8-por-8. A gura esquerda indica todos
os vizinhos do vrtice no grafo da dama (veja exerccio 1.8). A da direita
indica todos os vizinhos do vrtice no grafo do cavalo (veja exerccio 1.9).
E 1.10 O grafo do bispo t-por-t denido assim: os vrtices do grafo so as bispo
casas de um tabuleiro de xadrez com t linhas e t colunas; dois vrtices so
adjacentes se um bispo (= bishop) do jogo de xadrez pode saltar de um deles
para o outro em um s movimento.
Faa uma gura do grafo do bispo 4-por-4. Escreva as matrizes de
adjacncia e incidncia do grafo do bispo 4-por-4. Quantas arestas tem o
grafo do bispo 8-por-8? Quantas arestas tem o grafo do bispo t-por-t?
E 1.11 O grafo da torre t-por-t denido assim: os vrtices do grafo so as torre
casas de um tabuleiro de xadrez com t linhas e t colunas; dois vrtices so
adjacentes se um torre (= rook) do jogo de xadrez pode saltar de um deles
para o outro em um s movimento.
Faa uma gura do grafo da torre 4-por-4. Escreva as matrizes de adja-
cncia e incidncia do grafo da torre 4-por-4. Quantas arestas tem o grafo da
torre 8-por-8? Quantas arestas tem o grafo da torre t-por-t?
FEOFILOFF Grafos 12
E 1.12 O grafo do rei t-por-t denido assim: os vrtices do grafo so as rei
casas de um tabuleiro de xadrez com t linhas e t colunas; dois vrtices so
adjacentes se um rei (= king) do jogo de xadrez pode saltar de um deles para
o outro em um s movimento.
Faa uma gura do grafo do rei 4-por-4. Escreva as matrizes de adjacn-
cia e incidncia do grafo do rei 4-por-4. Quantas arestas tem o grafo do rei
8-por-8? Quantas arestas tem o grafo do rei t-por-t?
E 1.13 O grafo das palavras denido assim: cada vrtices uma palavra da palavras
lngua portuguesa e duas palavras so adjacentes se diferem em exatamente
uma posio. (Esse grafo uma adaptao do ladders do Stanford Graph-
Base [Knu93].) 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
Escreva as matrizes de adjacncia e incidncia do grafo.
E 1.14 Para qualquer inteiro positivo k, um cubo de dimenso k (ou k-cubo) cubo
o grafo denido da seguinte maneira: os vrtices do grafo so todas as
sequncias
7
b
1
b
2
b
k
de bits
8
; dois vrtices so adjacentes se e somente se
diferem em exatamente uma posio. Por exemplo, os vrtices do cubo de
dimenso 3 so 000, 001, 010, 011, 100, 101, 110, 111; o vrtice 000 adjacente
aos vrtices 001, 010, 100 e a nenhum outro; e assim por diante. O cubo de
dimenso k ser denotado por Q
k
. Q
k
Faa guras dos cubos Q
1
, Q
2
e Q
3
. Escreva as matrizes de adjacncia e
incidncia de Q
3
. Quantos vrtices tem Q
k
? Quantas arestas tem Q
k
?
E 1.15 Seja X o conjunto 1, 2, 3, 4, 5 e V o conjunto X
(2)
(portanto, V o
conjunto de todos os subconjuntos de X que tm exatamente 2 elementos).
Digamos que dois elementos v e w de V so adjacentes se v w = . Essa
relao de adjacncia sobre V dene o grafo de Petersen.
9
Faa uma gura Petersen
do grafo. Escreva as matrizes de adjacncia e incidncia do grafo. Quantos
vrtices e quantas arestas tem o grafo?
E 1.16 Seja V o conjunto de todos os subconjuntos de 1, 2, . . . , n que tm
exatamente k elementos, sendo k n/2. Digamos que dois elementos v e w
de V so adjacentes se v w = . Essa relao de adjacncia sobre V dene o
grafo de Kneser K(n, k).
10
Em particular, K(5, 2) o grafo de Petersen. Faa Kneser
7
A expresso /
1
/
2
/
k
uma abreviatura de (/
1
, /
2
, . . . , /
k
).
8
Portanto, cada /
i
pertence ao conjunto 0, 1.
9
Referncia ao dinamarqus Julius Petersen (18 11o). (Veja verbete na Wikipedia.)
FEOFILOFF Grafos 13
guras de K(n, 1), K(n, n), K(n, n1), K(4, 2), K(5, 3), K(6, 2) e K(6, 3).
E 1.17 O grafo dos estados do Brasil denido assim: cada vrtice um dos estados
estados da Repblica Federativa do Brasil; dois estados so adjacentes se tm
uma fronteira comum. Faa um desenho do grafo. Quantos vrtices tem o
grafo? Quantas arestas?
E 1.18 Considere as grandes cidades e as grandes estradas do estado de
So Paulo. Digamos que uma cidade grande se tem pelo menos 300 mil
habitantes. Digamos que uma estrada grande se tiver pista dupla (como a
SP300, por exemplo). Digamos que duas grandes cidades so adjacentes se
uma grande estrada ou uma concatenao de grandes estradas liga as duas
cidades diretamente (ou seja, sem passar por uma terceira grande cidade). cidades
Faa uma gura do grafo das grandes cidades denido pela relao de
adjacncia que acabamos de descrever.
E 1.19 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 adjacncia dene o grafo dos pontos no plano (sobre o conjunto V ). Faa pontos
no plano
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)
Escreva as matrizes de adjacncia e incidncia do grafo.
E 1.20 Dado um conjunto V , seja E o conjunto denido da seguinte maneira:
para cada par no ordenado de elementos de V , jogue uma moeda; se o
resultado for cara, acrescente o par a E. O grafo (V, E) assim denido
aleatrio (= random). aleatrio
Pegue sua moeda favorita e faa uma gura do grafo aleatrio com
vrtices 1, . . . , 6. Agora repita o exerccio com uma moeda viciada que d
cara com probabilidade 1/3 e coroa com probabilidade 2/3.
E 1.21 Seja S uma matriz de nmeros inteiros. Suponha que as linhas de S
so indexadas por umconjunto V e que as colunas so indexadas pelo mesmo
conjunto V . O grafo da matriz S denido da seguinte maneira: o conjunto matriz
de vrtices do grafo V e dois vrtices i e j so adjacentes se S[i, j] ,= 0.
O grafo de S est bem denido? Que condies preciso impor sobre a
matriz para que o grafo esteja bem denido?
10
Lsl Lovsz usou esse grafo em1978 para provar uma conjectura proposta por M. Kne-
ser em 1955.
FEOFILOFF Grafos 14
E 1.22 Suponha dados k intervalos de comprimento nito, digamos I
1
, I
2
,
. . . , I
k
, na reta real. Digamos que dois intervalos I
i
e I
j
so adjacentes se
I
i
I
j
,= . Essa relao de adjacncia dene um grafo com conjunto de
vrtices I
1
, I
2
, . . . , I
k
. Esse um grafo de intervalos. intervalos
Faa uma gura do grafo denido pelos intervalos [0, 2], [1, 4], [3, 6], [5, 6]
e [1, 6]. Escreva as matrizes de adjacncia e incidncia do grafo.
E 1.23 Seja _ uma relao de ordem parcial sobre um conjunto nito V .
Portanto, a relao transitiva (se x _ y e y _ z ento x _ z), antissimtrica
(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 _. compara-
bilidade Faa uma gura do grafo de comparabilidade da relao usual de inclu-
so entre os subconjuntos de 1, 2, 3.
E 1.24 Duas arestas de umgrafo Gso adjacentes se tmuma ponta comum.
Essa relao de adjacncia dene o grafo das arestas de G. De modo mais
formal, o grafo das arestas (= line graph) de um grafo G o grafo (E
G
, A) em das arestas
que A o conjunto de todos os pares de arestas adjacentes de G. (H quem
diga [Per09] grafo lineal no lugar de grafo das arestas.) O grafo das arestas de
G ser denotado por L(G). (Veja a gura 1.4.) 1(G)
Faa uma gura de L(K
3
). Faa uma gura de L(K
4
). Escreva as
matrizes de adjacncia e incidncia de L(K
4
). Quantos vrtices e quantas
arestas tem L(K
n
)? Faa uma gura do grafo L(P), sendo P o grafo de
Petersen (veja exerccio 1.15).
v
u
w
y
x
z
t
vu
yz
vw wx
ux
xy
Figura 1.4: Um grafo (esquerda) e o seu grafo das arestas (direita).
FEOFILOFF Grafos bipartidos 15
1.2 Grafos bipartidos
Um grafo G bipartido (= bipartite) se existe uma bipartio
11
U, W de V
G
tal que toda aresta de G tem uma ponta em U e outra em W. Para explicitar
a partio, podemos dizer que o grafo U, W-bipartido.
Se G um grafo U, W-bipartido, podemos dizer, informalmente, que
os elementos de U so os vrtices brancos e os de W so os vrtices pretos
do grafo.
Umgrafo U, W-bipartido completo se todo vrtice branco adjacente
a todos os vrtices pretos. Um K
p,q
um grafo bipartido completo com p 1
p,q
vrtices breancos e q pretos.
Todo K
1,q
uma estrela (= star). Se q 2, o centro da estrela o nico estrela
vrtice que incide em duas ou mais arestas. (Se q < 2, a estrela no tem
centro.)
Figura 1.5: Um grafo bipartido completo.
Exerccios
E 1.25 Uma pequena fbrica tem cinco mquinas 1, 2, 3, 4 e 5 e seis
operrios A, B, C, D, E e F. A tabela especica as mquinas que cada
operrio sabe operar:
A 2, 3 B 1, 2, 3, 4, 5
C 3 D
E 2, 4, 5 F 2, 5
Faa uma gura do grafo bipartido que representa a relao entre operrios
e mquinas.
E 1.26 Quantas arestas pode ter um grafo U, W-bipartido?
11
Uma bipartio de um conjunto \ um par l, \ de conjuntos no vazios tal que
l \ = \ e l \ = . De modo mais geral, uma partio de um conjunto \ uma
coleo A
1
, A
2
, . . . , A
k
de conjuntos no vazios, disjuntos dois a dois (ou seja, A
i
A
j
=
para cada i ,= ,), cuja unio \ (ou seja, A
1
A
2
A
k
= \ ). No faz sentido dizer
A
1
uma das parties de \ ; isso equivale a confundir boi com boiada ou terno com
palet. Diga A
1
um dos elementos da partio ou A
1
uma das partes da partio.
FEOFILOFF Grafos bipartidos 16
E 1.27 Quantas arestas tem um K
p,q
? Quantas arestas tem um K
p,q
?
E 1.28 Faa uma gura de um K
3,4
. Escreva as matrizes de adjacncia e
incidncia de um K
3,4
. Faa uma gura de uma estrela com 6 vrtices.
E 1.29 verdade que o grafo do cavalo no tabuleiro t-por-t bipartido?
E 1.30 Que aparncia tem a matriz de adjacncias de um grafo bipartido?
E 1.31 A matriz da bipartio de um grafo U, W-bipartido denida as-
sim: cada linha da matriz um elemento de U, cada coluna da matriz um
elemento de W e no cruzamento da linha u com a coluna w temos um 1 se uw
uma aresta e temos um 0 em caso contrrio.
Escreva a matriz da bipartio do grafo do exerccio 1.25. Adote a
bipartio bvia: U = A, . . . , F e W = 1, . . . , 5.
FEOFILOFF Vizinhanas e graus de vrtices 17
1.3 Vizinhanas e graus de vrtices
A vizinhana (= neighborhood) de um vrtice v em um grafo G o conjunto
de todos os vizinhos de v. Este conjunto ser denotado por
N
G
(v)
ou simplesmente por N(v).
12
O grau (= degree) de um vrtice v em um grafo N()
G o nmero de arestas que incidem em v. O grau de v ser denotado por
d
G
(v)
ou simplesmente por d(v). evidente que d(v) = [N(v)[ para todo vrtice v. d()
Um vrtice v isolado se d(v) = 0.
O grau mnimo e o grau mximo dos vrtices de um grafo
13
G so os
nmeros (G)
(G)
(G) := min
vV
G
d
G
(v) e (G) := max
vV
G
d
G
(v)
respectivamente. A mdia dos graus de G, ou seja,
1
|V |
vV
d(v), ser deno-
tada por (G).
14
Como veremos no exerccio 1.43, j(G)
(G) = 2m(G)/n(G) .
Um grafo regular se todos os seus vrtices tm o mesmo grau, ou seja, se
= . Um grafo r-regular se d(v) = r para todo vrtice v. Um grafo cbico
o mesmo que um grafo 3-regular.
Exerccios
E 1.32 Quais so os graus dos vrtices de uma estrela (veja a seo 1.2)?
E 1.33 Se G um K
n
, quanto valem (G) e (G)? Quanto valem os par-
metros e de um K
p,q
(veja a seo 1.2)?
E 1.34 Para r = 1, 2, 3, faa uma gura de um grafo r-regular com 12
vrtices.
E 1.35 Quais so os graus dos vrtices de uma molcula de alcano (veja
exerccio 1.5)?
12
Alguns autores escrevem Adj () em lugar de N(). Outros escrevem ().
13
A expresso grau mnimo de um grafo no muito gramatical, uma vez que grau
de um grafo no faz sentido.
14
Ao contrrio de e , a notao j no uma unanimidade. Diestel [Die05] e Bondy e
Murty [BM08], por exemplo, escrevem d no lugar do meu j.
FEOFILOFF Vizinhanas e graus de vrtices 18
E 1.36 Calcule os valores dos parmetros , e no k-cubo (veja exerc-
cio 1.14) e no grafo de Petersen (veja exerccio 1.15 ou gura 1.6).
Figura 1.6: Grafo de Petersen. Veja exerccios 1.15 e 1.36.
E 1.37 Calcule os valores dos parmetros e no grafo dos estados do Brasil
(veja exerccio 1.17).
E 1.38 Calcule os valores dos parmetros , e no grafo da dama (veja
exerccio 1.8) e no grafo do cavalo (veja exerccio 1.9).
E 1.39 Seja A a matriz de adjacncias (veja exerccio 1.3) e M a matriz de
incidncias (veja exerccio 1.4) de um grafo G. Quanto vale a soma dos
elementos da linha v de A? Quanto vale a soma dos elementos da linha v
de M?
E 1.40 Seja G um grafo U, W-bipartido. Suponha que G r-regular, com
r > 0. Mostre que [U[ = [W[.
E 1.41 verdade que todo grafo com pelo menos dois vrtices tem dois
vrtices com o mesmo nmero de vizinhos? Em outras palavras, se um grafo
tem mais de um vrtice, verdade que tem dois vrtices distintos v e w tais
que [N(v)[ = [N(w)[? (Uma maneira informal de dizer isso: verdade que em
toda cidade com pelo menos dois habitantes residem duas pessoas que tm
exatamente o mesmo nmero de amigos na cidade?)
E 1.42 Mostre
15
que, em todo grafo, a soma dos graus dos vrtices igual
ao dobro do nmero de arestas. Ou seja, todo grafo (V, E) satisfaz a identi-
dade
vV
d(v) = 2[E[ . (1.1)
E 1.43 Mostre que a (G) = 2m(G)/n(G) para todo grafo G.
15
Mostre = prove.
FEOFILOFF Vizinhanas e graus de vrtices 19
E 1.44 Mostre que todo grafo G tem um vrtice v tal que d(v)
2m(G)/n(G) e um vrtice w tal que d(w) 2m(G)/n(G). verdade
que todo grafo G tem um vrtice x tal que d(x) < 2m(G)/n(G)?
E 1.45 Mostre que em qualquer grafo tem-se 2m/n .
E 1.46 Mostre que todo grafo com n vrtices tem no mximo n(n 1)/2
arestas.
E 1.47 Mostre que em qualquer grafo o nmero de vrtices de grau mpar
necessariamente par.
E 1.48 Quantas arestas tem o grafo da dama 8-por-8 (veja exerccio 1.8)?
Quantas arestas tem o grafo da dama t-por-t?
E 1.49 Quantas arestas tem o grafo do cavalo 4-por-4 (veja exerccio 1.9)?
Quantas arestas tem o grafo do cavalo t-por-t?
E 1.50 Quantas arestas tem um grafo r-regular com n vrtices?
E 1.51 Quantas arestas tem o cubo de dimenso k?
E 1.52 Quantas arestas tem o grafo das arestas (veja exerccio 1.24) de um
grafo G?
E 1.53 Seja G o complemento de um grafo G. Calcule (G) e (G) em funo
de (G) e (G).
E 1.54 Seja G um grafo tal que m(G) > n(G). Mostre que (G) 3.
E 1.55 Suponha que um grafo G tem menos arestas que vrtices, ou seja, que
m(G) < n(G). Mostre que G tem (pelo menos) um vrtice de grau 0 ou (pelo
menos) dois vrtices de grau 1.
! E 1.56 Escolha dois nmeros naturais n e k e considere o seguinte jogo para
dois jogadores, A e B. Cada iterao do jogo comea com um grafo G que
tem n vrtices (no incio da primeira iterao tem-se E
G
= ). Em cada
iterao mpar (primeira, terceira, etc.), o jogador A escolhe dois vrtices no
adjacentes u e v e acrescenta uv ao conjunto de arestas do grafo. Em cada
iterao par (segunda, quarta, etc.), o jogador B faz um movimento anlogo:
escolhe dois vrtices no adjacentes u e v e acrescenta uv ao conjunto de
arestas do grafo. O primeiro jogador a produzir um grafo G tal que (G) k
FEOFILOFF Vizinhanas e graus de vrtices 20
perde o jogo. Problema: determinar uma estratgia vencedora para A e uma
estratgia vencedora para B.
FEOFILOFF Caminhos e circuitos 21
1.4 Caminhos e circuitos
Esta seo introduz dois tipos muito simples mas muito importantes de
grafos: os caminhos e os circuitos.
16
Um grafo G um caminho (= path) se V
G
admite uma permutao
17
(v
1
, v
2
, . . . , v
n
) tal que
E
G
= v
i
v
i+1
: 1 i < n .
Os vrtices v
1
e v
n
so os extremos do caminho; os demais vrtices so
internos.
18
Diremos que esse caminho liga v
1
a v
n
.
O caminho que acabamos de descrever pode ser denotado simplesmente
por v
1
v
2
v
n
. Por exemplo, se dissermos o caminho xywz estaremos nos
1
2
n
referindo ao grafo cujos vrtices so x, y, w, z e cujas arestas so xy, yw e wz.
Um grafo G um circuito (= circuit = polygon)
19
se V
G
tem 3 ou mais
elementos e admite uma permutao (v
1
, v
2
, . . . , v
n
) tal que
E
G
= v
i
v
i+1
: 1 i < n v
n
v
1
.
Este circuito pode ser denotado simplesmente por v
1
v
2
v
n
v
1
. Assim, se
2
n
1
dissermos o circuito xywzx, estaremos nos referindo ao grafo cujos vrtices
so x, y, w, z e cujas arestas so xy, yw, wz e zx.
Figura 1.7: Um caminho e um circuito.
O comprimento de um caminho
20
ou circuito G o nmero m(G).
claro que um caminho de comprimento m tem m + 1 vrtices e um circuito
comprimento m tem m vrtices.
Um tringulo, quadrado, pentgono e hexgono o mesmo que um
circuito de comprimento 3, 4, 5 e 6 respectivamente.
16
Convm insistir que, para ns, caminhos e circuitos so grafos. Em alguns livros,
caminhos e circuitos so tratados como sequncias de vrtices e no como grafos.
17
Uma permutao de um conjunto A uma sequncia em que cada elemento de A
aparece uma e uma s vez.
18
Alguns autores [Per09] dizemque umcaminho s caminho se tiver 2 ou mais vrtices.
Para ns, entretanto, o grafo (, ) umcaminho. Esse detalhe no to irrelevante quanto
pode parecer.
19
Alguns autores dizem ciclo (= cycle) no lugar de circuito.
20
A expresso tamanho de um caminho ambgua: no se sabe se estamos falando do
nmero de vrtices ou do nmero de arestas do caminho.
FEOFILOFF Caminhos e circuitos 22
Exerccios
E 1.57 Faa uma gura de um caminho de comprimento 0, de um caminho
de comprimento 1 e de um caminho de comprimento 2. Faa uma gura de
um circuito de comprimento 3 e de um circuito de comprimento 4. Por que a
denio de circuito tem a restrio n 3?
E 1.58 Seja V o conjunto a, b, c, d, e e E o conjunto de, bc, ca, be. Verique
que o grafo (V, E) um caminho. Agora suponha que F o conjunto
bc, bd, ea, ed, ac e verique que o grafo (V, F) um circuito.
E 1.59 Faa um gura do caminho 1 2 4 3 5. Faa um gura do caminho
1 3 2 4 3 5. Faa um gura do circuito 1 2 4 3 5 1.
E 1.60 Verique que o caminho u v wxy z tambm pode ser denotado por
z y xwv u. Verique que essas duas expresses representam o mesmo cami-
nho.
E 1.61 Considere o circuito u v wxy z u. Mostre que z y xwv uz tambm
um circuito. Mostre que qualquer permutao cclica como wxy z u v w,
por exemplo tambm um circuito. Mostre que todas essas expresses
representam o mesmo circuito.
E 1.62 Exiba as matrizes de adjacncias e incidncias de um caminho de
comprimento 4. Exiba as matrizes de adjacncias e incidncias de umcircuito
de comprimento 5.
E 1.63 verdade que o grafo do cavalo 3-por-3 um circuito?
E 1.64 Verique que a grade 1-por-n um caminho de comprimento n 1.
Quais grades so circuitos?
E 1.65 Suponha que P umcaminho de comprimento n1 e O umcircuito
de comprimento n. Quanto valem (P), (P), (O) e (O)?
E 1.66 Faa uma gura do complemento de um caminho de compri-
mento 3. Faa uma gura do complemento de um caminho de compri-
mento 4. Faa uma gura do complemento de umcircuito de comprimento 5.
Faa uma gura do complemento de um circuito de comprimento 6.
E 1.67 Quantos caminhos diferentes existem com conjunto de vrtices
1, 2, 3? Quantos circuitos diferentes existem com conjunto de vrtices
1, 2, 3? Quantos circuitos diferentes existem com conjunto de vrtices
1, 2, 3, 4?
FEOFILOFF Caminhos e circuitos 23
E 1.68 verdade que todo grafo 2-regular um circuito?
E 1.69 Seja G um grafo com n(G) 3, (G) = 2 e (G) = 1. Se G tem
exatamente dois vrtices de grau 1, verdade que G um caminho?
FEOFILOFF Unio e interseo de grafos 24
1.5 Unio e interseo de grafos
A unio de dois grafos G e H o grafo (V
G
V
H
, E
G
E
H
). natural denotar
esse grafo por G H. G H
A interseo de dois grafos G e H o grafo (V
G
V
H
, E
G
E
H
). natural
denotar esse grafo por G H. Para evitar grafos sem vrtices, s trataremos G H
da interao G H se V
G
V
H
no for vazio.
Dois grafos G e H so disjuntos se os conjuntos V
G
e V
H
so disjuntos,
ou seja, se V
G
V
H
= . evidente que E
G
e E
H
tambm so disjuntos nesse
caso.
Exerccios
E 1.70 Seja G um grafo completo com conjunto de vrtices 1, 2, 3, 4, 5 e H
um grafo completo com conjunto de vrtices 4, 5, 6, 7, 8. Faa guras dos
grafos G H e G H.
E 1.71 Seja Go grafo do bispo e H o grafo da torre (veja exerccios 1.10 e 1.11).
Mostre que G H o grafo da dama.
E 1.72 Seja G o circuito 1 2 3 4 5 6 1 e H o caminho 4 7 8 5. Faa guras dos
grafos G H e G H.
E 1.73 Seja P umcaminho comextremos u a v e Qumcaminho comextremos
v e w. Mostre que se V
P
V
Q
= v ento o grafo P Q um caminho.
E 1.74 Suponha que os caminhos P e Q tm os mesmos extremos, digamos u
e v. Suponha ainda que V
P
V
Q
= u, v. Em que condies o grafo P Q
um circuito?
E 1.75 Sejam A, B e C os conjuntos 1, 2, 3, 4, 5, 6, 7 e 9, 10, 11. Seja G o
grafo A, B-bipartido completo. Seja H o grafo B, C-bipartido completo.
Faa guras dos grafos G H e G H.
E 1.76 Uma roda (= wheel) qualquer grafo da forma G H, onde G um
circuito e H uma estrela (veja a seo 1.2) comcentro v tal que V
H
v = V
G
.
Faa guras de rodas com 4, 5 e 6 vrtices. Quanto valem os parmetros m,
e de uma roda com n vrtices?
FEOFILOFF Grafos planares 25
1.6 Grafos planares
Um grafo planar se pode ser desenhado no plano sem que as linhas que
representam arestas se cruzem. Esta denio imprecisa, mas suciente
por enquanto. Daremos um denio melhor na seo 1.17.
Exerccios
E 1.77 Verique que todo caminho planar. Verique que todo circuito
planar.
E 1.78 Mostre que toda grade (veja exerccio 1.6) planar.
E 1.79 Mostre que o grafo dos estados do Brasil (veja exerccio 1.17) planar.
E 1.80 O grafo dos pontos no plano descrito no exerccio 1.19 planar?
E 1.81 Mostre que todo K
4
planar. verdade que todo K
5
planar?
E 1.82 Mostre que todo K
2,3
planar. verdade que todo K
3,3
planar?
E 1.83 Mostre que o grafo Q
3
(veja exerccio 1.14) planar. O grafo Q
4
tambm planar? O grafo Q
5
planar?
E 1.84 O grafo do bispo t-por-t (veja exerccio 1.10) planar?
E 1.85 O grafo da dama t-por-t (veja exerccio 1.8) planar? O grafo do
cavalo t-por-t (veja exerccio 1.9) planar?
E 1.86 Mostre que o complemento de umcircuito de comprimento 6 planar.
FEOFILOFF Subgrafos 26
1.7 Subgrafos
Um subgrafo de um grafo G qualquer grafo H tal que V
H
V
G
e E
H
E
G
.
conveniente escrever H G para dizer que H subgrafo de G. H G
Um subgrafo H de G gerador (= spanning) se V
H
= V
G
. (H quem diga
abrangente no lugar de gerador [Per09].)
Um subgrafo H de G prprio se V
H
,= V
G
ou E
H
,= E
G
. s vezes
conveniente escrever H G para dizer que H subgrafo prprio de G.
21
H G
O subgrafo de G induzido por um subconjunto X de V
G
o grafo (X, F)
onde F o conjunto E
G
X
(2)
. Esse subgrafo denotado por G[A]
G[X] .
Para qualquer subconjunto X de V
G
, denotaremos por G X o sub- GA
grafo G[V
G
X]. Em particular, para qualquer vrtice v,
Gv
uma abreviatura de Gv. Para qualquer aresta e de G,
Ge
o grafo (V
G
, E
G
e). De modo mais geral, se A um subconjunto de E
G
ento GA o grafo (V
G
, E
G
A). claro que GA um subgrafo gerador G
de G.
Exerccios
E 1.87 Suponha que H um subgrafo de G. Se V
H
= V
G
, verdade que
H = G? Se E
H
= E
G
, verdade que H = G?
E 1.88 Seja G um grafo, V
um subconjunto de V
G
e E
um subconjunto
de E
G
. verdade que (V
, E
) um subgrafo de G?
E 1.89 Repita o exerccio 1.42: Use induo
22
no nmero de arestas do grafo
para provar que todo grafo (V, E) satisfaz a identidade
vV
d(v) = 2[E[ .
E 1.90 Seja v um vrtice e e uma aresta de um circuito O. Mostre que o
grafo O v um caminho. Mostre que o grafo O e um caminho.
21
De modo geral, escreveremos A Y ou Y A para dizer que o conjunto A
subconjunto prprio de Y , ou seja, que A Y mas A ,= Y .
22
Induo a arte de reduzir um problema a uma verso menor dele mesmo.
FEOFILOFF Subgrafos 27
E 1.91 Mostre que todo subgrafo de um grafo planar planar. Em outras
palavras, se um grafo G tem um subgrafo no planar ento G no planar.
E 1.92 Sejam v e w dois vrtices de um grafo G. Suponha que d(v) = (G) e
d(w) = (G). verdade que (Gv) = (G) 1? verdade que (Gw) =
(G) 1?
E 1.93 Verique que o grafo do bispo t-por-t um subgrafo do grafo da
dama t-por-t. Verique que o grafo da torre t-por-t um subgrafo do grafo
da dama t-por-t.
E 1.94 O grafo Q
3
subgrafo de Q
4
?
E 1.95 Seja G um grafo U, W-bipartido. Mostre que os subgrafos induzi-
dos G[U] e G[W] so vazios.
E 1.96 Mostre que todo subgrafo induzido de um grafo completo com-
pleto. verdade que todo subgrafo induzido de umcaminho um caminho?
verdade que todo subgrafo induzido de um circuito um caminho?
E 1.97 Seja G o grafo representado na gura 1.8 e X o conjunto a, b, f, e,
g, l. Faa uma gura de G[X].
/ d
) p /
/ |
o
c
i ,
c
Figura 1.8: Veja exerccios 1.97, 1.116 e 1.117.
E 1.98 Seja H o grafo das arestas (veja exerccio 1.24) de um grafo G (por-
tanto, H = L(G)). Mostre que H no contm K
1,3
como subgrafo induzido,
ou seja, mostre que no existe subconjunto X de V
H
tal que H[X] um K
1,3
.
Mostre que a recproca no verdadeira.
E 1.99 Seja H o grafo das arestas (veja exerccio 1.24) de um grafo G (por-
tanto, H = L(G)). Seja H
o
grafo das arestas de algum grafo G
.
E 1.100 Dado grafo G e inteiro k, encontrar um subconjunto mximo X de
V
G
tal que (G[X]) k. (Ou seja, dentre os subconjuntos X de V
G
que tm a
propriedade (G[X]) k, encontrar um de cardinalidade mxima.)
FEOFILOFF Subgrafos 28
E 1.101 Seja G um grafo tal que n(G) > 1 e (G)
1
2
(G). Mostre que G tem
um vrtice x tal que
(Gx) (G) .
Em outras palavras, mostre que possvel retirar um vrtice sem com isso
reduzir a mdia dos graus do grafo.
E 1.102 Mostre que todo grafo G com pelo menos uma aresta tem um sub-
grafo H tal que
(H) > (H)/2 mas (H) (G) .
FEOFILOFF Cortes 29
1.8 Cortes
Suponha que X um conjunto de vrtices de um grafo G. O corte associado
a X (ou franja de X) o conjunto de todas as arestas que tm uma ponta em
X e outra em V
G
X. O corte associado a X ser denotado por (A)
G
(X)
ou simplesmente por (X).
23
(Alguns autores preferem escrever (X) ou
at (X).)
Dizemos que os cortes () e (V
G
) so triviais. evidente que os cortes
triviais so vazios.
claro que [(v)[ = d(v) para todo vrtice v. Para qualquer conjunto
X de vrtices, diremos que [(X)[ o grau de X e denotaremos esse nmero
por d(X): d(A)
d(X) := [(X)[ .
Um corte (= cut = coboundary) em um grafo G qualquer conjunto da
forma (X), onde X um subconjunto de V
G
. (Um corte , portanto, um
conjunto de arestas e no de vrtices.)
Exerccios
E 1.103 Seja X um conjunto de vrtices de um grafo G. Mostre que
(V
G
, (X)) um subgrafo gerador bipartido de G.
E 1.104 Seja G o grafo representado na gura 1.8. verdade que o conjunto
ae, ef, fj, jk, cd, dh um corte?
/ d
) p /
/ |
o
c
i ,
c
Figura 1.9: Veja o exerccio 1.104.
E 1.105 Encontre o menor corte no trivial que puder no grafo da dama
8-por-8. Encontre o maior corte no trivial que puder no grafo da dama.
E 1.106 Encontre o menor corte no trivial que puder no grafo do bispo
t-por-t.
23
No confunda com a letra grega .
FEOFILOFF Cortes 30
E 1.107 Encontre o menor corte que puder no grafo de Petersen. Encontre o
maior corte que puder no grafo de Petersen.
E 1.108 Para qualquer conjunto X de vrtices, denotamos por N(X), o N(A)
conjunto dos vrtices em V
G
X que tm um ou mais vizinhos em X.
verdade que d(X) = [N(X)[ para todo X?
claro que N(X)
xX
N(x).
24
verdade que os dois conjuntos so
iguais?
E 1.109 Mostre que para qualquer grafo Ge qualquer subconjunto X de V
G
tem-se
xX
d
G
(x) = 2m(G[X]) + d
G
(X) . (1.2)
(Isso uma generalizao do exerccio 1.42.)
E 1.110 Suponha que todos os vrtices de um grafo G tm grau par.
verdade d(X) par para todo subconjunto X de V
G
?
Suponha que todos os vrtices de umgrafo Gtmgrau mpar. verdade
d(X) mpar para todo subconjunto prprio e no vazio X de V
G
?
E 1.111 (CORTE GRANDE) Mostre que em todo grafo existe um corte que
contm pelo menos a metade das arestas do grafo. Em outras palavras, mos-
tre que todo grafo G tem um conjunto X de vrtices tal que d(X)
1
2
m(G).
E 1.112 Mostre que todo grafo G tem um subgrafo gerador bipartido H que
satisfaz a condio d
H
(v) d
G
(v)/2 para todo vrtice v.
Operaes sobre cortes
E 1.113 (DIFERENA SIMTRICA) Mostre que (XY ) = (X) (Y ) para
quaisquer conjuntos X e Y de vrtices de um grafo. Aqui, A B denota a 1
diferena simtrica
25
dos conjuntos A e B.
E 1.114 (SUBMODULARIDADE) Mostre que em qualquer grafo G, para
quaisquer subconjuntos X e Y de V
G
,
d(X Y ) + d(X Y ) d(X) + d(Y ) .
24
Se A = r
1
, r
2
, . . . , r
k
ento
xX
N(r) o conjunto N(r
1
)N(r
2
) N(r
k
), sendo
N(r
i
) o conjunto de vizinhos de r
i
, conforme a seo 1.3.
25
A diferena simtrica de dois conjuntos e 1 o conjunto ( 1) (1 ). fcil
vericar que 1 = ( 1) ( 1).
FEOFILOFF Cortes 31
E 1.115 (Consequncia de 1.114) Sejam v e w dois vrtices de um grafo G.
Um isolador
26
qualquer subconjunto de V
G
que contm v mas no con-
tm w. Um isolador X mnimo se d(X) d(X
.
Mostre que se X e Y so isoladores mnimos ento X Y e X Y tambm
so isoladores mnimos.
26
O termo isolador no padro. Ela est sendo usada aqui (e no captulo 15) por falta
de uma palavra melhor.
FEOFILOFF Caminhos e circuitos em grafos 32
1.9 Caminhos e circuitos em grafos
Se um caminho v
1
v
p
subgrafo de G, dizemos simplesmente que v
1
v
p
um caminho em G ou que G contm o caminho v
1
v
p
. Por exem-
plo, se dissermos que u v wz 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.
27
Se v e w so os dois extremos de um caminho em G, cmodo dizer que
o caminho vai de v a w ou que comea em v e termina em w. Mas preciso
usar estas expresses com cautela pois caminhos so objetos estticos e no
tm orientao.
Um caminho P em um grafo G mximo se G no contm um caminho mximo
de comprimento maior que o de P. Um caminho P em G maximal se no maximal
existe caminho P
em G tal que P P
.
Exerccios
E 1.116 Seja Go grafo representado na gura 1.8. verdade que e a b f g k
um caminho em G? verdade que e a b f c d um caminho em G? verdade
que e a b f g k j i e um circuito em G?
E 1.117 Seja G o grafo da gura 1.8. verdade que G contm um circuito
de comprimento 6? verdade que G contm um circuito induzido de
comprimento 6? (Ou seja, verdade que existe um subconjunto X de V
G
tal
que G[X] um circuito de comprimento 6?) Exiba um caminho induzido de
comprimento 3 emG. (Ou seja, exiba um conjunto X de vrtices tal que G[X]
um caminho de comprimento 3.) Exiba um caminho de comprimento 3 em
G que no seja induzido.
E 1.118 Sejam P um caminho com extremos x e x
e seja Q um caminho
com extremos y e y
. Suponha que V
P
V
Q
,= . Mostre existe um caminho
com extremos x e y no grafo P Q (veja seo 1.5).
Pergunta adicional: Se z um vrtice em V
P
V
Q
, verdade que existe,
no grafo P Q, um caminho de x a y que passa por z?
E 1.119 Encontre um circuito de comprimento mnimo no grafo de Petersen
(veja exerccio 1.15 ou gura 1.6). Encontre um circuito de comprimento m-
ximo no grafo de Petersen. Encontre um caminho de comprimento mximo
no grafo de Petersen.
27
Eu gostaria de dizer subcaminho de G e subcircuito de G. Infelizmente, essas
expresses no so usadas na literatura.
FEOFILOFF Caminhos e circuitos em grafos 33
E 1.120 Verique que o grafo do cavalo 3-por-3 contmumcircuito. Encon-
tre o circuito mais longo que puder no grafo do cavalo 4-por-4.
E 1.121 Encontre o mais longo caminho que puder no grafo da dama. En-
contre o mais longo circuito que puder no grafo da dama.
E 1.122 O grafo de Heawood
28
tem conjunto de vrtices 0, 1, 2, . . . , 13.
Cada vrtice i vizinho de (i + 1) mod 14 e de (i + 13) mod 14.
29
Alm
disso, cada i vizinho de um terceiro vrtice, que depende da paridade de i:
se i par ento ele vizinho de (i + 5) mod 14 e se i mpar ento ele
vizinho de (i +9) mod 14. Faa uma gura do grafo. Encontre um circuito de
comprimento mnimo no grafo de Heawood.
E 1.123 Suponha que um grafo G tem um circuito mpar. Mostre que G
tambm tem um circuito mpar induzido, ou seja, que existe um conjunto X
de vrtices tal que G[X] umcircuito mpar. Algo anlogo vale para circuitos
pares?
E 1.124 D umexemplo de umgrafo Ge umcaminho emGque seja maximal
mas no seja mximo.
E 1.125 Suponha que d(v) k para todo vrtice v de um grafo. Mostre
que o grafo temumcaminho de comprimento pelo menos k. (Sugesto: tome
um caminho maximal.)
30
O problema poderia ter sido formulado assim: mostre que todo grafo G
contm um caminho com pelo menos (G) + 1 vrtices.
E 1.126 Seja G um grafo tal que (G) 2. Prove que G tem um circuito.
E 1.127 Seja G um grafo tal que (G) 3. Prove que G tem um circuito de
comprimento par.
E 1.128 Seja k um nmero natural maior que 1. Suponha que d(v) k para
todo vrtice v de um grafo G. Mostre que Gtem um circuito de comprimento
pelo menos k + 1. Em outras palavras, mostre que G tem um circuito com
pelo menos (G) + 1 vrtices, desde que (G) > 1. (Veja exerccio 1.125.)
28
Percy John Heawood (1861 1). (Veja verbete na Wikipedia.)
29
A expresso i mod , denota o resto da diviso de i por ,.
30
O captulo 17 discute o importante mas difcil problema de encontrar um caminho de
comprimento mximo em um grafo.
FEOFILOFF Caminhos e circuitos em grafos 34
E 1.129 Seja P umcaminho maximal numgrafo G. Sejamu e w os extremos
de P e suponha que d(u) + d(w) [V
P
[ 3. Mostre que G tem um circuito
cujo conjunto de vrtices V
P
.
E 1.130 Seja G um grafo com n > 1 vrtices e pelo menos 2n arestas. Mostre
que G tem um circuito de comprimento 2 log
2
n.
E 1.131 Seja G um grafo sem circuitos de comprimento menor que 5. Mostre
que n(G) (G)
2
+ 1.
E 1.132 Mostre que todo grafo G com pelo menos k n(G) arestas contm um
caminho de comprimento k. (Combine os exerccios 1.102 e 1.125.)
Caminhos e circuitos versus cortes
Dizemos que um corte (X) separa um vrtice x de um vrtice y X contm x
mas no contm y. ( claro que se (X) separa x de y ento X separa y de x.)
E 1.133 Seja P um caminho num grafo G. Seja X um conjunto de vrtices
que contm um e apenas um dos extremos de P. Mostre que E
P
(X) ,= .
E 1.134 Prove que, para qualquer par (x, y) de vrtices de qualquer grafo,
vale uma e apenas uma das seguintes armaes: (1) um caminho liga x a y
ou (2) um corte vazio separa x de y. (Outra maneira de formular a mesma
questo: prove que existe um caminho de x a y se e somente se nenhum corte
vazio separa x de y.)
E 1.135 (ALGORITMO) Construa um algoritmo eciente que receba vrtices
v e w de um grafo G e encontre um caminho que vaqi de v a w ou mostre que
tal caminho no existe.
Passeios, trilhas e ciclos
Um passeio (= walk) em um grafo qualquer sequncia nita (v
0
, v
1
, v
2
, . . . ,
v
k1
, v
k
) de vrtices tal que v
i
adjacente a v
i1
para todo i entre 1 e k. (Os
vrtices do passeio podem no ser distintos dois a dois.) Dizemos que o
vrtice v
0
a origem do passeio e que v
k
o trmino do passeio. Dizemos
tambm que o passeio vai de v
0
a v
k
e que o passeio liga v
0
a v
k
.
As arestas do passeio so v
0
v
1
, v
1
v
2
, . . . , v
k1
v
k
. O comprimento do
passeio o nmero k.
FEOFILOFF Caminhos e circuitos em grafos 35
Uma trilha (= trail) um passeio sem arestas repetidas, isto , um passeio
cujas arestas so distintas duas a duas. claro que o comprimento de uma
trilha igual cardinalidade do seu conjunto de arestas.
Um passeio simples se os seus vrtices so distintos dois a dois, ou
seja, se no tem vrtices repetidos. evidente que todo passeio simples ,
em particular, uma trilha.
Um passeio (v
0
, . . . , v
k
) fechado (= closed) se sua origem coincide com o
trmino, ou seja, se v
0
= v
k
.
Um ciclo (= cycle) uma trilha fechada, ou seja, um passeio fechado sem
arestas repetidas.
31
E 1.136 Seja (v
0
, v
1
, v
2
, . . . , v
k
) um passeio com origem r e trmino s em
um grafo G. Mostre que G tem um caminho com extremos r e s. Mais
especicamente, mostre h um caminho com extremos r e s no subgrafo
(v
0
, v
1
, v
2
, . . . , v
k
, v
0
v
1
, v
1
v
2
, . . . , v
k1
v
k
) de G.
E 1.137 Suponha que (v
0
, . . . , v
k
) uma passeio fechado em um grafo G.
verdade que G tem um circuito?
E 1.138 Seja (v
0
, v
1
, v
2
, . . . , v
k
) um ciclo em um grafo G. Mostre que h um
circuito no subgrafo (v
1
, v
2
, . . . , v
k
, v
0
v
1
, v
1
v
2
, . . . , v
k1
v
k
) de G.
E 1.139 Sejam v
0
, . . . , v
5
alguns vrtices (no necessariamente distintos dois
a dois) de um grafo G. Quais das seguintes armaes so verdadeiras:
(1) se v
0
v
1
v
2
v
3
v
4
v
5
um caminho emGento (v
0
, v
1
, v
2
, v
3
, v
4
, v
5
) um passeio
simples; (2) se v
0
v
1
v
2
v
3
v
4
v
5
v
0
um circuito em G ento (v
0
, v
1
, v
2
, v
3
, v
4
, v
5
, v
0
)
um ciclo; (3) se (v
0
, v
1
, v
2
, v
3
, v
4
, v
5
) uma trilha ento v
0
v
1
v
2
v
3
v
4
v
5
um
caminho; (4) se (v
0
, v
1
, v
2
, v
3
, v
4
, v
5
, v
0
) um ciclo ento v
0
v
1
v
2
v
3
v
4
v
5
v
0
um
circuito.
31
De acordo com essa denio, um ciclo pode ter comprimento 0. J um circuito, por
denio, tem comprimento pelo menos 3.
FEOFILOFF Grafos conexos 36
1.10 Grafos conexos
Em qualquer grafo G, dizemos um vrtice v est ligado a um vrtice w se G
contmumcaminho comextremos v e w. evidente que a relao simtrica:
se v est ligado a w ento tambm w est ligado a v.
Um grafo conexo (= connected) se seus vrtices so ligados dois a dois.
Em outras palavras, um grafo conexo se v ligado a w para cada par (v, w)
de seus vrtices.
Um grafo G conexo se e somente se (X) ,= para todo subconjunto
prprio e no vazio X de V
G
. (Veja exerccio 1.148.)
Exerccios
E 1.140 O grafo do cavalo 3-por-3 conexo? O grafo do bispo t-por-t
conexo?
E 1.141 Mostre que o grafo Q
k
conexo (qualquer que seja k).
E 1.142 Mostre que todo caminho um grafo conexo. Mostre que todo
circuito um grafo conexo.
E 1.143 Sejam P e Q dois caminhos tais que V
P
V
Q
,= . Mostre que o
grafo P Q (veja seo 1.5) conexo.
E 1.144 Sejam G e H dois grafos conexos tais que V
G
V
H
,= . Mostre que
o grafo G H (veja seo 1.5) conexo.
E 1.145 Sejam G e H dois grafos. Quais das seguinte implicaes so
verdadeiras? 1. Se V
G
V
H
= ento G H no conexo. 2. Se G H
conexo ento V
G
V
H
,= . 3. Se G H no conexo ento V
G
V
H
= .
E 1.146 Suponha que um certo vrtice x de um grafo G ligado a cada
um dos demais vrtice. Mostre que G conexo.
E 1.147 Suponha que um subgrafo gerador H de um grafo G conexo.
Mostre que G conexo.
E 1.148 Mostre que um grafo G conexo se e somente se (X) ,= para
todo X tal que X V
G
.
E 1.149 Seja G um grafo e X um subconjunto prprio e no vazio de V
G
(isto , X V
G
). Mostre que o grafo G(X) no conexo.
FEOFILOFF Grafos conexos 37
E 1.150 Quais das seguintes armaes so verdadeiras para qualquer
grafo G? 1. Se G conexo ento (X) ,= para todo X tal que X V
G
.
2. Se G conexo ento (X) ,= para algum X tal que X V
G
. 3. Se
(X) ,= para todo X tal que X V
G
ento G conexo. 4. Se (X) ,=
para algum X tal que X V
G
ento G conexo.
E 1.151 Prove que se um grafo G no conexo ento seu complemento G
conexo.
E 1.152 (ALGORITMO) Construa um algoritmo eciente que decida se um
grafo conexo. O que o seu algoritmo devolve (ou seja, qual a sada do
algoritmo)?
E 1.153 Sejam x, y e z trs vrtices de um grafo conexo G. verdade que G
tem um caminho que contm x, y e z?
E 1.154 Seja X um conjunto de vrtices de um grafo conexo G. verdade
que G[X] conexo?
E 1.155 Seja e uma aresta e v um vrtice de um circuito O. Mostre que o
grafo O e conexo. Mostre que O v conexo.
E 1.156 Seja e uma aresta e v um vrtice de um caminho P. Em que
condies P e conexo? Em que condies P v conexo?
E 1.157 Seja O um circuito em um grafo conexo G. Mostre que G e
conexo para toda aresta e de O.
E 1.158 Seja v um vrtice de grau 1 num grafo conexo G. Mostre que o grafo
Gv conexo.
E 1.159 Suponha que G um grafo conexo com pelo menos uma aresta.
verdade que existe uma aresta a tal que Ga conexo?
E 1.160 Seja G um grafo conexo e seja v um dos extremos de um caminho
maximal (veja pgina 32) em G. verdade que G[N(v)] conexo?
E 1.161 Mostre que todo grafo conexo Gcomdois ou mais vrtices temum
vrtice v tal que Gv conexo.
FEOFILOFF Grafos conexos 38
E 1.162 Prove que todo grafo conexo com n vrtices tem pelo menos n 1
arestas. Em outras palavras, mostre que em todo grafo conexo G tem-se
m(G) n(G) 1 .
E 1.163 Seja k um nmero natural no nulo e G um grafo U, W-bipartido.
Suponha que [U[ k e [W[ k. Mostre que se (G) > k/2 ento G conexo.
E 1.164 Seja G um grafo tal que (G) n(G)/2. Mostre que G conexo.
E 1.165 Seja G um grafo tal que (G) n(G)/2|.
32
Mostre que G conexo.
(Mostre que o resultado o melhor possvel no seguinte sentido: existem
grafos desconexos com d(v) n/2| 1 para todo vrtice v.)
E 1.166 Suponha que d(v) + d(w) n 1 para todo par (v, w) de vrtices
no adjacentes de um grafo G. Mostre que G conexo.
E 1.167 Mostre que todo grafo com n vrtices e mais que
1
2
(n 1)(n 2)
arestas conexo.
E 1.168 Seja G um grafo e k um nmero natural. Mostre que d(X) k
para todo X tal que X V
G
se e somente se G F conexo para todo
subconjunto F de E
G
tal que [F[ < k.
E 1.169 Prove que se um grafo G conexo ento o grafo das arestas L(G)
tambm conexo.
E 1.170 Sejam P
e Q
e Q
tm um vrtice em comum.
32
Por denio, r| o nico inteiro i tal que i r < i + 1.
FEOFILOFF Componentes 39
1.11 Componentes
Umsubgrafo conexo H de umgrafo G maximal (comrelao propriedade
de ser conexo) se no faz parte de um subgrafo conexo maior, ou seja, se no
existe grafo conexo H
tal que H H
G.
Um componente de um grafo G qualquer subgrafo conexo maximal
de G. O nmero de componentes de um grafo G ser denotado por c(G)
c(G) .
claro que um grafo G conexo se e somente se c(G) = 1.
O nmero de componentes de qualquer pelo menos to grande quanto
n(G) m(G). (Veja exerccio 1.192.)
Exerccios
E 1.171 Quantos componentes tem o grafo do cavalo 3-por-3? Quantos com-
ponentes tem o grafo do bispo t-por-t?
E 1.172 Seja a uma aresta e v um vrtice de um caminho P. Mostre que
P a tem exatamente dois componentes. Mostre que P v tem um ou dois
componentes.
E 1.173 Seja a uma aresta e v um vrtice de um circuito O. Mostre que O a
tem um s componente. Mostre que O v tem um s componente.
E 1.174 Seja P um caminho e S um subconjunto prprio de V
P
. Prove que
c(P S) [S[ + 1.
E 1.175 Seja O um circuito e S um subconjunto de V
O
tal que 0 < [S[ < n(O).
Prove que c(O S) [S[.
E 1.176 Suponha que um grafo G tem exatamente dois vrtices, digamos u
e v, de grau mpar. Mostre que existe um caminho em G cujos extremos so
u e v.
E 1.177 Seja G um grafo tal que (G) 2. Descreva os componentes de G.
E 1.178 Seja G um grafo 2-regular. Mostre que cada componente de G um
circuito.
FEOFILOFF Componentes 40
E 1.179 Mostre que, em qualquer grafo, todo vrtice pertence a um e ape-
nas umcomponente. Emoutras palavras, mostre que emqualquer grafo Gos
conjuntos de vrtices de todos os componentes formam uma partio de V
G
.
E 1.180 Seja H um componente de um grafo G. Mostre que
G
(V
H
) = .
E 1.181 Seja X um conjunto de vrtices de um grafo G. Prove ou desprove
a seguinte armao: Se X V
G
e
G
(X) = ento G[X] um
componente de G.
E 1.182 Seja X umconjunto no vazio de vrtices de umgrafo G. Mostre que
G[X] um componente de G se e somente se G[X] conexo e
G
(X) = .
E 1.183 Seja x um vrtice de um grafo G. Seja X o conjunto de todos os
vrtices ligados a x. Mostre que G[X] um componente de G.
E 1.184 (ALGORITMO) Construa um algoritmo eciente que receba um vr-
tice x de um grafo G e calcule o conjunto de vrtices do componente de G
que contm x.
E 1.185 (ALGORITMO) Construa um algoritmo eciente que calcule o n-
mero de componentes de qualquer grafo dado.
E 1.186 Seja H umsubgrafo gerador de umgrafo G. Mostre que c(H) c(G).
E 1.187 Seja e uma aresta de um grafo G. Mostre que c(G) c(G e)
c(G) + 1 para qualquer aresta e de G.
E 1.188 Seja X um conjunto de vrtices de um grafo G. Suponha que
c(GX) > [X[ + 1. verdade que G no conexo?
E 1.189 Seja v um vrtice de um grafo conexo G. Mostre que o nmero de
componentes de Gv no passa de d(v).
E 1.190 Seja G um grafo conexo e suponha que d(v) par para todo vrtice v
de G. Mostre que, para qualquer vrtice v, o nmero de componentes de
Gv no passa de
1
2
d(v).
E 1.191 (ALGORITMO) Construa umalgoritmo eciente para o seguinte pro-
blema: Dado um grafo G e um nmero natural k, encontrar um conjunto X
de no mais que k vrtices que maximize o nmero de componentes de GX.
FEOFILOFF Componentes 41
E 1.192 Mostre que em todo grafo G tem-se
m(G) n(G) c(G) .
E 1.193 Sejam n, m e c os nmeros de vrtices, de arestas e de componentes,
respectivamente, de um grafo G. Mostre que
m
1
2
(n c)(n c + 1) .
FEOFILOFF Pontes 42
1.12 Pontes
Uma ponte (= bridge) ou istmo (= isthmus) ou aresta de corte (= cut edge) em
um grafo G qualquer aresta e tal que c(G e) > c(G), ou seja, G e tem
mais componentes que G.
Uma aresta e ponte se e somente se o conjunto e um corte do um
grafo. (Veja exerccio 1.197.)
H uma interessante dicotomia entre pontes e circuitos: em qualquer
grafo, toda aresta uma ponte ou pertence a um circuito, mas no ambos.
(Veja o exerccio 1.199.)
Exerccios
E 1.194 O grafo do bispo t-por-t tem pontes?
E 1.195 Suponha que um grafo G tem uma ponte uv. Que aparncia tem a
matriz de adjacncias de G? Que aparncia tema matriz de incidncias de G?
E 1.196 Seja uv uma aresta de um grafo G. Mostre que uv uma ponte se e
somente se u v o nico caminho em G que tem extremos u e v.
E 1.197 Seja e uma aresta de um grafo G. Mostre que e uma ponte se e
somente se e um corte, ou seja, e = (X) para algum conjunto X de
vrtices. (Veja tambm o exerccio 1.187.)
E 1.198 Seja G o grafo que tem vrtices a, b, . . . , g e arestas ab, bc, cd, de,
ec, bf, gb, ag. Quais das arestas pertencem a circuitos? Quais das arestas so
pontes?
E 1.199 (DICOTOMIA PONTES/CIRCUITOS) Prove que, em qualquer grafo,
toda aresta de um e apenas um de dois tipos: ou ela pertence a um circuito
do grafo ou uma ponte.
E 1.200 Que aparncia tem um grafo se todas as suas arestas so pontes?
Que aparncia tem um grafo se cada uma de suas arestas pertence a um
circuito?
E 1.201 Suponha que todos os vrtices de um grafo G tm grau par. Mostre
que G no tem pontes.
E 1.202 Seja r um nmero natural maior que 1 e G um grafo bipartido r-
regular. Prove que G no tem pontes.
FEOFILOFF Pontes 43
E 1.203 Seja G um grafo conexo e X um subconjunto de V
G
tal que d(X) = 1.
Mostre que os grafos induzidos G[X] e G[X] so ambos conexos.
E 1.204 (ALGORITMO) Construa um algoritmo que encontre as pontes de
um grafo.
FEOFILOFF Grafos aresta-biconexos 44
1.13 Grafos aresta-biconexos
Um grafo aresta-biconexo (= edge-biconnected) se for conexo, tiver trs ou
mais vrtices, e no tiver pontes.
33
Um grafo com trs ou mais vrtices aresta-biconexo se e somente se
cada par de seus vrtices ligado por dois caminhos sem arestas em comum.
(Veja exerccio 1.208.) Esta propriedade explica o nome aresta-biconexo.
Exerccios
E 1.205 Mostre que todo circuito aresta-biconexo. Mostre que caminhos
no so aresta-biconexos.
E 1.206 Mostre que cada umdos dois componentes do grafo do bispo 3-por-3
aresta-biconexo.
E 1.207 Seja G um grafo aresta-biconexo. Mostre que d(X) 2 para todo
subconjunto no vazio e prprio X de V
G
.
E 1.208 (DOIS CAMINHOS SEM ARESTAS EM COMUM) Seja Gumgrafo com
trs ou mais vrtices dotado da seguinte propriedade: todo par de vrtices de
G ligado por dois caminhos sem arestas em comum. Em outras palavras,
suponha que para cada par (r, s) de vrtices de G existem caminhos P e Q,
ambos com extremos r e s, tais que E
P
E
Q
= . Mostre que G aresta-
biconexo.
Seja G um grafo aresta-biconexo. Mostre que todo par de vrtices de
G ligado por dois caminhos sem arestas em comum.
34
(Compare com o
exerccio 1.134.)
E 1.209 Mostre que m(G) n(G) para todo grafo aresta-biconexo G.
33
Em algumas reas da Computao, diz-se que um tal grafo tolerante a falhas.
34
Veja generalizao no captulo 15, exerccio 15.7.
FEOFILOFF Articulaes e grafos biconexos 45
1.14 Articulaes e grafos biconexos
Uma articulao (= articulation) ou vrtice de corte (= cut vertex) numgrafo G
um vrtice v tal que c(Gv) > c(G), ou seja, Gv tem mais componentes
que G.
Um grafo biconexo (= biconnected) se for conexo, sem articulaes, e
tiver trs ou mais vrtices.
35
Um grafo com trs ou mais vrtices biconexo se e somente se cada par
de seus vrtices estiver ligado por dois caminhos internamente disjuntos (ou
seja, dois caminhos sem vrtices internos em comum). (Veja exerccio 1.218.)
Essa propriedade explica o nome biconexo.
Segue da que um grafo biconexo se e somente se cada par de seus
vrtices pertence a um circuito. (Veja o exerccio 1.219.)
Exerccios
E 1.210 Seja v um vrtice de um grafo G. Mostre que v uma articulao se e
somente se existemdois vrtices x e y emV
G
v tais que (1) algumcaminho
em G vai de x a y e (2) todo caminho de x a y contm v.
E 1.211 Seja v uma articulao de um grafo G. Que aparncia tem a matriz
de adjacncias de G? Que aparncia tem a matriz de incidncias de G?
E 1.212 verdade que todo grafo sem articulaes no tem pontes?
verdade que todo grafo sem pontes no tem articulaes?
E 1.213 Seja T uma rvore e v um vrtice de T tal que d(v) 2. verdade
que v uma articulao?
E 1.214 (ALGORITMO) Construa um algoritmo que encontre as articulaes
de um grafo.
E 1.215 Mostre que todo circuito biconexo.
E 1.216 O grafo do bispo 3-por-3 tem dois componentes. Mostre que apenas
um deles biconexo.
E 1.217 Mostre que nemtodo grafo aresta-biconexo biconexo. Mostre que
todo grafo biconexo aresta-biconexo.
35
Em algumas reas da Computao, diz-se que um tal grafo tolerante a falhas.
FEOFILOFF Articulaes e grafos biconexos 46
E 1.218 (DOIS CAMINHOS INTERNAMENTE DISJUNTOS) Seja G um grafo
com trs ou mais vrtices dotado da seguinte propriedade: todo par de
vrtices de G ligado por dois caminhos internamente disjuntos. Em outras
palavras, suponha que para cada par (r, s) de vrtices de Gexistemcaminhos
P e Q, ambos com extremos r e s, tais que V
P
V
Q
= r, s. Mostre que G
biconexo.
Seja G um grafo biconexo. Mostre que cada par de vrtices de G ligado
por dois caminhos internamente disjuntos.
36
E 1.219 (ARTICULAES VERSUS CIRCUITOS) Suponha que todo par de vr-
tices de um grafo G pertence a um circuito. Mostre que G no tem articula-
es.
Seja Gumgrafo biconexo. Mostre que todo par de vrtices de Gpertence
a um circuito. (Veja exerccio 1.218.)
E 1.220 Exiba um grafo dotado da seguinte propriedade: quaisquer 2 vr-
tices do grafo pertencem a um mesmo circuito mas h 3 vrtices que no
pertencem a um mesmo circuito.
E 1.221 Seja G um grafo conexo sem articulaes. Mostre que se (G) 3
ento G tem um vrtice v tal que G v conexo e no tem articulaes.
(Compare com o exerccio 1.161 na seo 1.10.)
36
Veja generalizao no captulo 16, exerccio 16.8.
FEOFILOFF Florestas e rvores 47
1.15 Florestas e rvores
Esta seo trata de duas espcies importantes de grafos: as orestas e as r-
vores. rvores podem ser entendidas como uma generalizao de caminhos
(veja os exerccios 1.224 e 1.225).
Uma oresta (= forest), ou grafo acclico, um grafo sem circuitos. Essa
denio pode ser reformulada assim: um grafo uma oresta se cada uma
de suas arestas uma ponte (veja exerccio 1.223).
Uma rvore (= tree) uma oresta conexa. claro que cada componente
de uma oresta uma rvore.
37
Uma folha (= leaf ) de uma oresta qualquer vrtice da oresta que
tenha grau 1.
Um grafo G uma oresta se e somente se m(G) = n(G) c(G). (Veja
exerccio 1.231.)
Quaisquer duas das seguintes propriedades implicama terceira: G o-
resta, G conexo e m(G) = n(G) 1. (Veja exerccios 1.228, 1.229
e 1.230.)
Exerccios
E 1.222 Mostre que todo caminho uma rvore. Mostre que toda estrela
(veja a seo 1.2) uma rvore.
E 1.223 Mostre que um grafo uma oresta se e somente se cada uma de
suas arestas uma ponte. (Veja o exerccio 1.199.)
E 1.224 Seja (v
1
, v
2
, v
3
, . . . , v
n
) uma sequncia de objetos distintos dois a dois.
Para cada j, seja i(j) um ndice em1, . . . , j1. Mostre que o grafo
_
v
1
, v
2
,
v
3
, . . . , v
n
, v
2
v
i(2)
, v
3
v
i(3)
, . . . , v
n
v
i(n)
_
uma rvore. (Compare a maneira
como o grafo foi denido com a denio de caminho na seo 1.4.) (Com-
pare com o exerccio 1.225.)
E 1.225 Seja T uma rvore. Mostre que existe uma permutao (v
1
, v
2
, . . . , v
n
)
de V
T
dotada da seguinte propriedade: para j = 2, . . . , n, o vrtice v
j
adjacente a exatamente umdos vrtices do conjunto v
1
, . . . , v
j1
. (Compare
com o exerccio 1.224.)
37
Em algumas disciplinas, a palavra rvore traz mente as ideias de pai e lho. No
presente contexto, entretanto, as expresses pai de um vrtice e lho de um vrtice no
fazem sentido. (Eles s adquirem sentido se um dos vrtices da rvore for escolhido para
fazer o papel de raiz. Se : a raiz da rvore ento o pai de qualquer outro vrtice o
vrtice adjacente a no nico caminho (veja exerccio 1.226) que liga a :. Todo vizinho de
que no seja o pai de lho de .)
FEOFILOFF Florestas e rvores 48
E 1.226 Mostre que um grafo uma oresta se e somente se tem a seguinte
propriedade: para todo par (x, y) de seus vrtices, existe no mximo um
caminho com extremos x e y no grafo.
E 1.227 (ALGORITMO) Construa um algoritmo eciente que decida se um
grafo dado uma rvore.
E 1.228 Prove que em toda rvore T tem-se m(T) = n(T) 1. (Compare
com o exerccio 1.162.)
E 1.229 Seja G um grafo conexo G tal que m(G) = n(G) 1. Prove que G
uma rvore.
E 1.230 Seja F uma oresta tal que m(F) = n(F) 1. Prove que F uma
rvore.
E 1.231 Mostre que um grafo G uma oresta se e somente se
m(G) = n(G) c(G) .
(Compare com o exerccio 1.192.)
E 1.232 Mostre que toda rvore com pelo menos uma aresta tem pelo me-
nos duas folhas.
E 1.233 Mostre que toda oresta F tem pelo menos (F) folhas.
E 1.234 Seja T uma rvore com dois ou mais vrtices. Seja X o conjunto dos
vrtices de T cujo grau maior que 2. Mostre que T tem 2 +
xX
(d(x) 2)
folhas.
E 1.235 Seja T uma rvore com vrtices 1, . . . , n. Suponha que os graus
dos vrtices 1, 2, 3, 4, 5, 6 so 7, 6, 5, 4, 3, 2 respectivamente e que os vrtices
7, . . . , n so folhas. Determine n (e portanto o nmero de folhas da rvore).
E 1.236 Seja T uma rvore com p + q vrtices. Suponha que p dos vrtices
tm grau 4 e q so folhas. Mostre que q = 2p + 2.
38
E 1.237 Seja T uma rvore com pelo menos trs vrtices. verdade que o
complemento T de T conexo a menos que T seja um estrela?
38
Imagine que os vrtices de grau 4 so tomos de carbono e os de grau 1 so tomos
de hidrognio. O grafo representa ento a molcula do hidrocarboneto C
p
H
q
. Veja o
exerccio 1.5.
FEOFILOFF Florestas e rvores 49
E 1.238 Sejam T uma rvore e U um subconjunto de V
T
. Supondo que [U[
par, mostre que existe um subconjunto X de E
T
tal que d
TX
(u) mpar para
todo u em U e d
TX
(v) par para todo v em V
T
U.
E 1.239 (PROPRIEDADE DE HELLY
39
) Sejam P, Q, R trs caminhos em uma
rvore e T. Suponha que V
P
V
Q
,= , V
Q
V
R
,= e V
P
V
R
,= . Prove que
V
P
V
Q
V
R
,= .
E 1.240 Mostre que toda oresta planar.
39
Referncia ao matemtico Eduard Helly (188 1).
FEOFILOFF Menores de grafos 50
1.16 Menores de grafos
Esta seo introduz uma generalizao do conceito de subgrafo conhecida
como menor. Pode-se dizer que um menor descreve a estrutura grossa do
grafo, enquanto um subgrafo descreve a estrutura na. Menores tm um
papel importante no estudo da planaridade (captulo 19), da colorao de
vrtices (captulo 8) e de diversos outros problemas.
Um grafo H um menor
40
(= minor), ou subcontrao, de um grafo G se
V
H
uma subpartio
41
V
1
, . . . , V
p
de V
G
tal que
cada subgrafo G[V
i
] conexo e
se V
i
adjacente a V
j
em H ento h uma aresta de V
i
a V
j
em G
(mas pode existir uma aresta de V
i
a V
j
em G sem que V
i
seja adjacente a V
j
em H). A expresso H um menor de G tambm usada, num sentido
mais amplo, para dizer que H isomorfo a um menor de G.
De maneira muito informal, podemos dizer que H um menor de G se
H pode ser obtido a partir de um subgrafo de G por sucessivas operaes
de contrao de arestas. (A contrao de uma aresta uv faz coincidir os
vrtices u e v.)
Figura 1.10: O grafo direita, H, um menor do grafo esquerda, G.
(Trata-se de um menor muito especial, pois \
1
\
p
= \
G
.)
Um grafo H um menor topolgico (= topological minor) de um grafo G
se V
H
V
G
e existe uma funo P que associa um caminho em G a cada
aresta de H de tal modo que
para cada aresta xy de H, o caminho P(xy) tem extremos x e y e no
tem vrtices internos em V
H
e
se xy e uv so duas arestas distintas de H ento P(xy) e P(uv) no
tm vrtices internos em comum.
40
s vezes digo minor, pois no me habituo a usar a palavra menor como substantivo.
41
Uma subpartio de um conjunto \ uma coleo \
1
, . . . , \
p
de subconjuntos no
vazios de \ tal que \
i
\
j
= sempre que i ,= ,.
FEOFILOFF Menores de grafos 51
A expresso H um menor topolgico de G tambm usada, num sentido
mais amplo, para dizer que H isomorfo a algum menor topolgico de G.
Um menor topolgico um tipo especial de menor, embora isso no seja
imediatamente aparente. (Veja o exerccio 1.250.)
Se H um menor topolgico de G, diz-se tambm que G contm uma
subdiviso de H porque possvel obter um subgrafo de G a partir de H
por meio de sucessivas operaes de subdiviso de arestas. (Cada sub-
diviso de uma aresta introduz um novo vrtice de grau 2 no interior da
aresta.)
Exerccios
E 1.241 Seja H um subgrafo de um grafo G. Mostre que H um menor
topolgico de G.
E 1.242 Seja H um subgrafo de um grafo G. Mostre que H isomorfo a um
menor de G.
E 1.243 Mostre que um grafo G tem um menor topolgico isomorfo a K
3
se
e somente se G contm um circuito.
E 1.244 Mostre que um grafo G tem um menor isomorfo a K
3
se e somente
se G contm um circuito.
E 1.245 Seja G o grafo do rei num tabuleiro 4-por-4. Seja u o vrtice de
coordenadas (2, 2) e v o vrtice de coordenadas (3, 3). Mostre que G + uv
no tem subgrafo isomorfo a K
4
mas tem um menor topolgico isomorfo
a K
4
.
E 1.246 Seja G o grafo do rei num tabuleiro 5-por-5. Seja u o vrtice de
coordenadas (2, 2) e v o vrtice de coordenadas (4, 4). Mostre que G + uv
no tem subgrafo isomorfo a K
4
mas tem um menor isomorfo a K
4
.
Seja x o vrtice de coordenadas (2, 4) e y o vrtice de coordenadas (4, 2).
Mostre que G+uv +xy tem um menor isomorfo a K
4
.
E 1.247 Mostre que o grafo de Petersen tem um menor isomorfo a K
5
(mas
no tem subgrafo isomorfo a K
5
nem menor topolgico isomorfo a K
5
).
E 1.248 Mostre que o grafo de Petersen tem um menor topolgico isomorfo
a K
3,3
. Mostre que o grafo de Petersen tem um menor isomorfo a K
3,3
.
FEOFILOFF Menores de grafos 52
E 1.249 Mostre que K
3,3
isomorfo a um menor topolgico do cubo Q
4
.
Mostre que K
5
um menor topolgico de Q
4
.
E 1.250 Seja H um menor topolgico de G. Mostre que H isomorfo a um
menor de G. Mostre que a recproca no verdadeira.
E 1.251 Seja H um menor de um grafo G. Suponha que (H) 3. Prove
que H isomorfo a um menor topolgico de G. D um bom exemplo para
mostrar que a condio (H) 3 essencial.
E 1.252 Se H (isomorfo a) um menor de G, escrevemos H _ G. Mostre que H _ G
_ uma relao de ordem. Mais precisamente, mostre que
1. G _ G,
2. se H _ G e G _ H ento H
= G,
3. se H _ G e G _ F ento H _ F.
Mostre tambm que a relao -menor-topolgico-de uma relao de or-
dem.
FEOFILOFF Mapas planos e suas faces 53
1.17 Mapas planos e suas faces
J dissemos na seo 1.6 que, grosso modo, um grafo planar se pode
ser desenhado no plano
42
sem que as arestas se cruzem. A denio exata
envolve os conceitos de linha e mapa plano, que passamos a discutir.
Uma linha qualquer unio nita de segmentos de reta no plano R
2
que seja topologicamente homeomorfa ao intervalo fechado [0, 1] da reta. Em
outras palavras, uma unio nita c de segmentos de reta uma linha se existe
uma bijeo topologicamente contnua do intervalo [0, 1] em c. As imagens
de 0 e 1 sob essa bijeo contnua so os extremos da linha.
43
Um mapa plano
44
um par (V, E) de conjuntos nitos, sendo V um V
E conjunto de pontos do plano R
2
e E um conjunto de linhas tal que
os extremos de cada linha so elementos de V,
o interior de cada linha disjunto de V,
o interior de cada linha disjunto de todas os demais linhas,
duas linhas diferentes tm no mximo um extremo em comum.
Os elementos de V so os pontos
45
do mapa e os de E so as linhas
46
do pontos
linhas
mapa.
Figura 1.11: O mapa da esquerda no plano. O mapa
plano da direita representa um 1
4
.
O grafo de um mapa plano (V, E) denido da maneira bvia: o con- grafo de
mapa
junto de vrtices do grafo V e dois vrtices v e w so adjacentes no grafo se
existe uma linha em E com extremos v e w. (Ser necessrio tomar cuidado
com a notao, uma vez que a letra V est sendo usada para designar
tanto o conjunto de pontos de um mapa plano quanto o conjunto de vrtices
do correspondente grafo. Analogamente, a letra E est sendo usada para
designar tanto o conjunto de linhas de um mapa plano quanto o conjunto de
arestas do correspondente grafo.)
42
Do ponto de vista tcnico, seria mais cmodo usar a superfcie da esfera no lugar do
plano. Mas os resultados so equivalentes.
43
Por denio, os dois extremos so distintos.
44
Alguns autores dizemgrafo plano. No confunda esta expresso comgrafo planar.
45
Prero no dizer vrtices para evitar confuso com os vrtices de um grafo.
46
Prero no dizer arestas para evitar confuso com as arestas de um grafo.
FEOFILOFF Mapas planos e suas faces 54
Dizemos que um mapa plano Mrepresenta um grafo G se o grafo de M mapa
representa
grafo
isomorfo (veja captulo 2) a G. Em geral, um grafo pode ser representado
por muitos mapas planos diferentes.
Um grafo G planar se for representvel por um mapa plano, ou seja, se
existir um mapa plano cujo grafo isomorfo a G. Esta a verso precisa da
denio vaga que demos na seo 1.6.
Exerccios
E 1.253 Veja o jogo de planaridade em www.planarity.net.
E 1.254 O grafo de Petersen (veja gura 1.6) planar?
E 1.255 Seja G um K
5
(isto , um grafo completo com 5 vrtices). Mostre que
Ge planar qualquer que seja a aresta e de G. Repita o exerccio com K
3,3
(veja gura 19.1) no lugar de K
5
.
E 1.256 Mostre que um grafo planar se e somente se cada uma de suas
componentes planar.
E 1.257 Seja e uma ponte de um grafo G. Mostre que G planar se e somente
se Ge planar.
Seja v uma articulao de G. Mostre que G planar se e somente se Gv
planar.
Faces e dualidade planar
O suporte de um mapa plano (V, E) o conjunto V
E (trata-se, obvia-
mente, de um subconjunto de R
2
).
47
Em outras palavras, o suporte do mapa
o conjunto de todos os pontos de R
2
que so pontos do mapa ou pertencem
a linhas do mapa.
Uma face (= face) de um mapa plano (V, E) qualquer regio do com-
plemento do suporte do mapa, ou seja, qualquer componente conexo no
sentido topolgico
48
do conjunto R
2
_
V
E). A fronteira de cada
face formada por linhas do mapa; o nmero de linhas na fronteira de uma
face F o grau de F.
Seja G o grafo de um mapa plano M com 3 ou mais pontos. Se G
aresta-biconexo ento as faces de M so bem comportadas: cada face
47
Se A = A
1
, A
2
, . . . , A
k
ento
A denota o conjunto A
1
A
2
A
k
.
48
O conceito topolgico de conexo formalmente anlogo ao conceito de conexo da
teoria dos grafos: um subconjunto A do plano conexo se, para quaisquer pontos r e r
em
A, existe uma linha com extremos em r e r
. Verique que G
, de G
.
E 1.265 D um exemplo de um grafo conexo planar que possa ser represen-
tado por dois mapas planos com diferentes nmeros de faces.
E 1.266 (FRMULA DE EULER
51
) Seja (V, E) um mapa plano cujo grafo
conexo. Mostre que
[V[ [E[ +[F[ = 2 , (1.3)
onde F o conjunto de faces do mapa. (Verique que a frmula falsa em
mapas cujos grafos no so conexos.) (Compare com o exerccio 1.228.)
E 1.267 Seja G um grafo planar aresta-biconexo. Seja (V, E) um mapa plano
que representa G e seja F o conjunto das faces do mapa. Mostre que
FF
d(F) = 2[E[, sendo d(F) o grau da face F. (Compare com o exerc-
cio 1.42.)
51
Leonhard Euler (1o 18). Veja verbete na Wikipedia.
FEOFILOFF Mapas planos e suas faces 57
E 1.268 Seja G um grafo planar conexo com trs ou mais vrtices. Mostre
que
m(G) 3n(G) 6 . (1.4)
(Sugesto: Faa uma induo no nmero de pontes.) Deduza da que a de-
sigualdade vale para qualquer grafo planar que tenha trs ou mais vrtices.
Como so as faces de um mapa plano com n pontos e exatamente 3n 6
linhas?
E 1.269 verdade que todo grafo G com m(G) 3n(G) 6 planar?
E 1.270 Deduza da desigualdade (1.4) que K
5
no planar.
E 1.271 Seja G um grafo aresta-biconexo planar. Suponha que a cintura (veja
captulo 14) de G no inferior a 4. Mostre que m(G) 2n(G) 4. (Compare
com o exerccio 1.268.) Deduza da que K
3,3
no planar. Deduza da que Q
4
no planar.
E 1.272 Seja G um grafo bipartido com trs ou mais vrtices. Mostre que se
G planar ento m(G) 2n(G) 4. (Veja o exerccio 1.271.)
E 1.273 Seja G um grafo U, W-bipartido. Mostre que se G planar ento
m(G) 2[U[ + 2[W[ 4.
E 1.274 Seja Gumgrafo e k umnmero natural no inferior a 3. Suponha que
Gtem pelo menos
1
2
(k+2) vrtices e cintura no inferior a k. Mostre que se G
planar ento m(G) (n(G) 2)k/(k 2). (Compare com o exerccio 1.271.)
E 1.275 Mostre que todo grafo planar tem pelo menos um vrtice de grau
no superior a 5. Em outras palavras, mostre que (G) 5 para todo grafo
planar G.
D exemplo de um grafo planar que no contm vrtices de grau menor
que 5.
E 1.276 Seja G um grafo bipartido planar. Mostre que (G) 3.
E 1.277 Um mapa plano do tipo (n, m, d, g) um mapa plano com n pon-
tos e m linhas cujos pontos tm grau d e cujas faces tm grau g. Exiba um
mapa plano do tipo (4, 6, 3, 3). Exiba um mapa plano do tipo (6, 12, 4, 3).
Exiba um mapa plano do tipo (8, 12, 3, 4).
E 1.278 Seja G um grafo 3-regular biconexo com 10 vrtices. Mostre que G
no pode ser representado por um mapa plano cujas faces tenham todas o
mesmo grau.
FEOFILOFF Mapas planos e suas faces 58
E 1.279 Seja G um grafo com 11 ou mais vrtices. Mostre que G e o seu
complemento G no podem ser ambos planares.
E 1.280 Um mapa plano auto-dual (= self-dual) se o seu grafo for isomorfo
ao seu grafo dual. Mostre que se (V, E) auto-dual ento 2[V[ = [E[ + 2.
Mostre que nem todo mapa plano (V, E) tal que 2[V[ = [E[ + 2 auto-dual.
E 1.281 Seja G o grafo de um mapa plano M. Suponha que G biconexo
e no tem vrtices de grau 2 (ou seja, (G) 3). Seja G
planar.
Seja M
. Seja G
. Mostre que G
= G, ou seja, que G
isomorfo a G.
! E 1.282 (TEOREMA DE WHITNEY) Todo grafo planar 3-conexo (veja p-
gina 133) tem essencialmente um nico mapa plano. O essencialmente
signica que todos os mapas planos so equivalentes. Dois mapas de um
mesmo grafo so equivalentes se o conjunto de arestas das fronteiras de faces
correspondentes so iguais.
E 1.283 (EXOPLANAR) Um mapa plano M exoplano se seus pontos es-
tiverem todos na fronteira de uma mesma face. Um grafo G exoplanar
(= outerplanar) se for representvel por um mapa exoplano.
Mostre que K
4
no exoplanar. Mostre que K
2,3
no exoplanar.
E 1.284 Mostre que o grafo dual de um mapa exoplano (veja exerccio 1.283)
pode no ser planar.
E 1.285 Seja Mum mapa exoplano (veja o exerccio 1.283). Seja F a face cuja
fronteira contm todos os pontos de M. Seja G
F uma rvore.
E 1.286 Seja e uma aresta de um grafo exoplanar G (veja exerccio 1.283).
verdade que existe um mapa exoplano de G em que a representao de e
pertence fronteira da face que contm todos os vrtices?
FEOFILOFF Grafos aleatrios 59
1.18 Grafos aleatrios
Seja V o conjunto 1, . . . , n e seja ((n) a coleo
52
de todos os grafos com \
((n) conjunto de vrtices V . claro que
[((n)[ = 2
N
, com N :=
_
n
2
_
.
Qualquer propriedade de grafos (como, por exemplo, a propriedade de ser
conexo)
53
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 maneira de estudar o conjunto ((n) baseada na introduo de uma
medida de probabilidade nesse conjunto. Seja p um nmero no intervalo
(0, 1) e escolha cada elemento de V
(2)
, independentemente, com probabili-
dade p. (Veja exerccio 1.20.) Se A o conjunto dos pares escolhidos, ento
(V, A) um grafo aleatrio em ((n). A probabilidade de que o grafo (V, A)
assimconstrudo seja idntico a umdeterminado 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
.
Exerccios
E 1.287 Mostre que quase todo grafo em((n) tem mais que 10000 arestas.
E 1.288 Prove que quase todo grafo G em((n) conexo. (Veja a seo 1.18.)
52
Coleo o mesmo que conjunto.
53
Naturalmente, s estamos interessados em propriedades invariantes sob isomorsmo
(veja o captulo 2).
FEOFILOFF Grafos aleatrios 60
Captulo 2
Isomorsmo
Dois grafos so isomorfos se tm a mesma estrutura. A denio exata do
conceito um pouco trabalhosa, como veremos a seguir.
Um isomorsmo (= isomorphism) entre dois grafos G e H uma bijeo
1
f de V
G
em V
H
tal que, para todo par (v, w) de elementos de V
G
, v e w so
adjacentes em G se e somente se f(v) e f(w) so adjacentes em H.
Dois grafos G e H so isomorfos (= isomorphic) se existe um isomorsmo
entre eles. A expresso G
= H uma abreviatura de G isomorfo a H.
=
Em outras palavras, dois grafos so isomorfos se possvel alterar os nomes
dos vrtices de um deles de tal modo que os dois grafos quem iguais.
PROBLEMA DO ISOMORFISMO: Decidir se dois grafos dados so
isomorfos.
Exerccios
E 2.1 Um grafo G tem conjunto de vrtices a, b, c, d e conjunto de arestas
ab, bc, cd, da. Um grafo H tem conjunto de vrtices a, b, c, d e conjunto de
arestas ab, bd, dc, ca. Os grafos G e H so iguais?
E 2.2 Os grafos G e H descritos a seguir so isomorfos?
V
G
= a, b, c, d, e, f, g E
G
= ab, bc, cd, cf, fe, gf, ga, gb
V
H
= h, i, j, k, l, m, n E
H
= hk, nj, jk, lk, lm, li, ij, in
E se trocarmos hk por hn em E
H
?
E 2.3 Os grafos da gura 2.1 so isomorfos?
1
Uma bijeo uma funo ) de um conjunto em um conjunto 1 tal que (1) )(o) ,=
)(o
) sempre que o ,= o
i=1
g
i
k(k 1) +
n
i=k+1
min (k, g
i
)
para cada k tal que 1 k n.
E 3.9 (ALGORITMO) Esboce um algoritmo eciente que resolva o problema
de sntese enunciado acima, ou seja, decida se uma dada sequncia de n-
meros naturais grca. Busque inspirao nos exerccios 3.6 e 3.7 ou no
exerccio 3.8.
E 3.10 Sejam g
1
, . . . , g
n
nmeros inteiros positivos. Suponha que
n
i=1
g
i
=
2(n 1). Mostre que existe uma rvore (veja seo 1.15) T com vrtices 1,
. . . , n tal que d(i) = g
i
para cada i.
2
Publicado em 1955 por Vclav Havel e em 1962 por S. Louis Hakimi.
3
Paul Erd os (11 16). (Veja verbete na Wikipedia.)
4
Tibor Gallai (11: 1:).
Captulo 4
Grafos bicolorveis
Uma bicolorao de um grafo G uma bipartio
1
U, W de V
G
tal que toda
aresta de G tem uma ponta em U e outra em W. (Voc pode imaginar que
todos os vrtices emU so vermelhos e todos os vrtices emW so azuis.) Por
exemplo, todo grafo bipartido (veja seo 1.2) tem uma bicolorao bvia.
PROBLEMA DA BICOLORAO: Encontrar uma bicolorao de um
grafo dado.
Faz parte do problema decidir se o grafo dado admite
2
bicolorao.
3
Diremos que um grafo bicolorvel se admite bicolorao. Portanto, um
grafo bicolorvel o mesmo que um grafo bipartido.
4
Como veremos adiante (exerccio 4.15), um grafo bicolorvel se e so-
mente se no contm circuito mpar. Dizemos que um circuito mpar se seu
comprimento um nmero mpar.
Exerccios
E 4.1 Mostre que um grafo G bicolorvel se e somente se E
G
um corte.
E 4.2 Mostre que o grafo do cavalo t-por-t bicolorvel.
1
Uma bipartio de um conjunto \ um par l, \ de subconjuntos no vazios de \
tal que l \ = \ e l \ = . A bipartio o par l, \. No faz sentido dizer l
uma das biparties de \ . Diga l um dos elementos da bipartio.
2
A expresso admite bicolorao signica o mesmo que tem uma bicolorao.
3
Muitos problemas na teoria dos grafos so do tipo mostre que este grafo no tem a
propriedade A. No presente caso, a questo mostre que este grafo grafo no admite
bicolorao. A resposta Tente todas as possveis biparties de \
G
no satisfatria,
pois o nmero de biparties enorme: um conjunto de tamanho n tem 2
n1
diferentes
biparties.
4
Na verdade, h uma sutil distino entre os dois conceitos: um grafo bicolorvel s se
torna bipartido depois que uma de suas bicoloraes for explicitamente dada.
69
FEOFILOFF Grafos bicolorveis 70
E 4.3 verdade que o grafo do bispo t-por-t bicolorvel?
E 4.4 Mostre que todo cubo Q
k
bicolorvel.
E 4.5 Mostre que toda grade bicolorvel.
E 4.6 Mostre que todo caminho bicolorvel. Mostre que todo circuito de
comprimento par bicolorvel.
E 4.7 Mostre que um grafo pode ter duas ou mais bicoloraes diferentes.
Mostre que grafos conexos tm no mximo uma bicolorao.
E 4.8 Mostre que toda oresta bicolorvel.
E 4.9 Seja U, W uma bicolorao de uma oresta tal que [U[ = [W[. Mostre
que a oresta tem pelo menos uma folha em U e uma em W.
E 4.10 Suponha que umgrafo G bicolorvel. verdade que todo subgrafo
de G bicolorvel? verdade que todo subgrafo induzido de G bicolor-
vel?
E 4.11 Os grafos da gura 4.1 so bicolorveis?
Figura 4.1: Exerccio 4.11. Esses grafos so bicolorveis?
E 4.12 Quantas arestas pode ter um grafo bicolorvel com n vrtices?
E 4.13 Suponha que um grafo G tem um circuito mpar. Mostre que G no
bicolorvel.
E 4.14 Mostre que todo grafo sem circuitos mpares bicolorvel.
5
5
Portanto, um circuito mpar um certicado da inexistncia de bicolorao do grafo.
Reciprocamente, uma bicolorao do grafo um certicado da ausncia de circuitos mpa-
res.
FEOFILOFF Grafos bicolorveis 71
E 4.15 (SOLUO DO PROBLEMA DA BICOLORAO) Deduza de 4.13
e 4.14 que um grafo bicolorvel se e somente se no tem circuitos mpares.
E 4.16 Dizemos que um grafo G tem um circuito induzido se existe X V
G
tal que G[X] um circuito. Mostre que um grafo bicolorvel se e somente
se no tem circuitos mpares induzidos.
E 4.17 (ALGORITMO) Construa um algoritmo eciente que decida se um
grafo dado bicolorvel. O algoritmo deve devolver uma bicolorao do
grafo ou um circuito mpar.
E 4.18 (CAMINHO PAR/MPAR) Seja G um grafo biconexo. Sejam r e s dois
vrtices de G. Existe umcaminho de comprimento par de r a s e umcaminho
de comprimento mpar de r a s (os dois caminhos no so necessariamente
disjuntos) se e somente se G no bicolorvel.
E 4.19 (CIRCUITO MPAR) Seja G um grafo biconexo. Suponha que G tem
um circuito de comprimento mpar. Mostre que todo vrtice de G faz parte
de um circuito de comprimento mpar.
Caracterizao de cortes
E 4.20 Caracterize os conjuntos de arestas de um grafo que so cortes, ou
seja, estabelea as condies em que um conjunto de arestas de um grafo
um corte.
E 4.21 (ALGORITMO) Esboce um algoritmo eciente que execute a seguinte
tarefa: Dado um grafo G e um subconjunto C de E
G
, o algoritmo decide se
C ou no um corte. Em caso armativo, o algoritmo deve devolver um
conjunto X de vrtices tal que (X) = C. Que coisa o seu algoritmo deve
devolver em caso negativo?
E 4.22 Seja D um corte e O um circuito em um grafo G. Mostre que [D E
O
[
par.
E 4.23 (Recproca de 4.22.) Seja D um conjunto de arestas de um grafo G.
Suponha que [D E
O
[ par para todo circuito O em G. Mostre que D um
corte.
E 4.24 Seja D um corte e P um caminho em um grafo G. O que se pode dizer
sobre a paridade de [D E
P
[?
FEOFILOFF Grafos bicolorveis 72
E 4.25 Digamos que um grafo-com-sinais um terno (G, P, N) em que G um
grafo e (P, N) uma partio do conjunto E
G
. As arestas em P so positivas
e as outras so negativas. Um grafo-com-sinais (G, P, N) equilibrado se todo
circuito em G tem um nmero par de arestas negativas. Prove que um grafo-
com-sinais (G, P, N) equilibrado se e somente se existe uma bipartio
U, W de V
G
tal que (U) = N.
Captulo 5
Conjuntos estveis
Um conjunto X de vrtices de um grafo estvel (= stable = independent) se
seus elementos so dois a dois no adjacentes. Emoutras palavras X estvel
se nenhuma aresta do grafo tem ambas as pontas em X, ou seja, se o grafo
induzido G[X] vazio. Por exemplo, se U, W uma bicolorao do grafo
ento os conjuntos U e W so estveis.
Um conjunto estvel X
[. Em outras palavras, X
mximo se [X
.
1
Eis uma variante do problema: Dado um grafo e um nmero natural k,
encontrar um conjunto estvel com k ou mais vrtices. ( claro que essa
variante nem sempre tem soluo.)
O tamanho de um conjunto estvel mximo em um grafo G denotado
por
(G) .
Em ingls, esse parmetro conhecido como stability number ou independence
number. Quem sabe deveramos chamar de ndice de estabilidade do
grafo.
1
A expresso 1 signica 1 subconjunto prprio de , ou seja, 1 mas
1 ,= .
73
FEOFILOFF Conjuntos estveis 74
Exerccios
E 5.1 Mostre que o ndice de estabilidade invariante sob isomorsmo. Em
outras palavras, se G e H so grafos isomorfos ento (G) = (H).
E 5.2 Encontre um conjunto estvel mximo em um K
n
. Encontre um
conjunto estvel mximo em um K
n
.
E 5.3 No grafo da gura 5.1, exiba umconjunto estvel maximal que no seja
mximo.
Figura 5.1: Veja exerccio 5.3.
E 5.4 Suponha que X e Y so conjuntos estveis maximais de um grafo.
verdade que X e Y so disjuntos (ou seja, que X Y = )?
E 5.5 Calcule um conjunto estvel mximo em um caminho. Calcule um
conjunto estvel mximo em um circuito.
E 5.6 Encontre um conjunto estvel mximo na grade p-por-q.
E 5.7 Exiba um conjunto estvel mximo no cubo Q
k
.
E 5.8 Encontre um conjunto estvel mximo no grafo do cavalo.
E 5.9 Encontre um conjunto estvel mximo no grafo do bispo.
E 5.10 Encontre um conjunto estvel mximo no grafo da dama. (Em outras
palavras, disponha o maior nmero possvel de damas no tabuleiro de modo
que elas no se ataquem mutuamente.)
E 5.11 Encontre um conjunto estvel mximo no grafo de Petersen.
E 5.12 Encontre um conjunto estvel mximo no grafo de Kneser K(n, k)
(veja exerccio 1.16).
E 5.13 Encontre um conjunto estvel mximo no grafo dos estados do Brasil
(veja exerccio 1.17).
FEOFILOFF Conjuntos estveis 75
E 5.14 Seja G um grafo bicolorvel com bicolorao U, W e suponha que
[U[ [W[. verdade que U um conjunto estvel mximo?
E 5.15 Suponha que um grafo G admite bicolorao. verdade que todo
conjunto estvel maximal de G mximo? E se G for uma rvore?
E 5.16 Seja H um subgrafo de um grafo G. Qual a relao entre (H)
e (G)?
E 5.17 SejamGe H dois grafos tais que V
G
V
H
= . Mostre que (GH) =
(G) +(H).
E 5.18 Seja Aa matriz de adjacncias de umgrafo G(veja exerccio 1.3). Seja
X um conjunto estvel de G. Que aparncia tem a restrio de A a X X?
E 5.19 (ALGORITMO) Discuta o seguinte algoritmo para o problema do con-
junto estvel mximo:
dado um grafo G, examine cada um dos subconjuntos de \
G
;
descarte os subconjuntos que no forem estveis;
escolha o maior dos que sobrarem.
D 5.20 (ALGORITMO) Invente um algoritmo rpido que resolva o problema
do conjunto estvel mximo. Invente, pelo menos, um algoritmo que pro-
duza um conjunto estvel grande.
E 5.21 (ALGORITMO) Construa um algoritmo que encontre um conjunto
estvel maximal em qualquer grafo dado. (Sugesto: use uma estratgia
gulosa: em cada iterao, escolha qualquer vrtice que seja razovel.
2
)
E 5.22 (ALGORITMO) O seguinte algoritmo guloso (= greedy) recebe um
grafo G e devolve um conjunto estvel X:
A
H G
enquanto \
H
,= faa
escolha em \
H
de modo que [N
H
()[ seja mnimo
A A
7 N
H
()
H H 7
devolva A
2
De um modo geral, algoritmos gulosos abocanham o objeto que lhes parece mais
saboroso na iterao corrente, sem medir as consequncias que essa escolha ter a longo
prazo.
FEOFILOFF Conjuntos estveis 76
verdade que esse algoritmo devolve um conjunto estvel mximo para
qualquer grafo G dado? E se G for bipartido? E se G for uma rvore?
E 5.23 Prove que todo conjunto estvel maximal de qualquer grafo G tem
pelo menos
_
n(G)
(G) + 1
_
vrtices.
3
Deduza da que (G)
n(G)
(G)+1
para todo grafo G.
E 5.24 Prove que todo grafo G satisfaz a desigualdade
(G)
vV
G
1
d(v) + 1
.
Ou seja, prove que G tem um conjunto estvel com
_
1
d(v)+1
_
vrtices.
E 5.25 Seja G
t
o grafo da dama t-por-t. Use o exerccio 5.24 para esti-
mar (G
t
).
E 5.26 Seja X o conjunto estvel produzido pelo algoritmo do exerccio 5.22.
Mostre que [X[
vV
G
1/(d(v) + 1).
E 5.27 Prove que todo grafo G satisfaz a desigualdade
(G)
n
+ 1
,
sendo n o nmero de vrtices, m o nmero de arestas, e a mdia dos graus
dos vrtices de G.
E 5.28 Digamos que uma cobertura-por-caminhos de umgrafo G uma coleo
P
1
, . . . , P
k
de caminhos emGtal que V
P
1
V
P
k
= V
G
. Suponha que toda
cobertura-por-caminhos de um grafo G tem pelo menos k caminhos. Mostre
que (G) k. Em outras palavras, mostre que G tem um conjunto estvel
com pelo menos k vrtices.
E 5.29 (ALGORITMO) Esboce um algoritmo eciente que receba um grafo
bipartido e devolva um conjunto estvel mximo.
4
E 5.30 Seja G um grafo sem vrtices isolados. Mostre que
3
Por denio, ,r| o nico inteiro , tal que , 1 < r ,.
4
Discutiremos esse algoritmo em detalhe no captulo 10.
FEOFILOFF Conjuntos estveis 77
(G) m(G)/(G) .
Em outras palavras, mostre que G no tem conjuntos estveis com mais que
m(G)/(G)| vrtices.
5
E 5.31 Sejam n e a dois inteiros positivos. Seja k := n/a| e r := n ka.
Seja H o grafo que resulta da unio de r cpias do K
k+1
e a r cpias do K
k
(os conjuntos de vrtices das cpias so dois a dois disjuntos). Observe que
n(H) = n, m(H) = r
_
k+1
2
_
+ (a r)
_
k
2
_
e (H) = a .
Mostre que (G) > (H) para qualquer grafo G tal que n(G) = n e m(G) <
m(H).
6
Grafos aleatrios
E 5.32 Mostre que o ndice de estabilidade da maioria dos grafos no passa
de pouco mais que 2 log
2
n(G). Mais precisamente, mostre que para qualquer
nmero real positivo tem-se
(G) < (2 +) log
2
n
para quase todo grafo G em((n). (Veja a seo 1.18.)
E 5.33 Prove que, por menor que seja o nmero positivo , temos (G) <
n/(2 log
2
n + 1 + ) para quase todo grafo G em ((n). (Veja o exerccio 5.32,
com = (1 +)/ log
2
n.)
5
Por denio, r| o nico inteiro i tal que i r < i + 1.
6
Pode-se provar que H o nico grafo (a menos de isomorsmo) com n vrtices,
:(H) arestas e ndice de estabilidade o. Este fato um conhecido teorema de Paul Turn
(11o 16). (Veja verbete na Wikipedia.) O complemento de H conhecido como grafo
de Turn.
FEOFILOFF Conjuntos estveis 78
Captulo 6
Cliques
Uma clique
1
(= clique) 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.
PROBLEMA DA CLIQUE MXIMA: Encontrar uma clique mxima
num grafo dado.
Eis uma variante do problema: dado um grafo e um nmero natural k,
encontrar uma clique com k ou mais vrtices.
O tamanho de uma clique mxima de um grafo G denotado por
(G) .
Em ingls, esse parmetro conhecido como clique number.
Exerccios
E 6.1 Encontre uma clique mxima em um K
n
. Encontre uma clique m-
xima em um K
n
.
E 6.2 Encontre uma clique mxima em um caminho. Encontre uma clique
mxima em um circuito.
E 6.3 Seja G um circuito de comprimento 6. Encontre uma clique mxima no
grafo G.
1
A palavra clique um neologismo importado do ingls. A palavra denota uma
panelinha ou um grupo fechado de pessoas que se conhecem entre si. Nesse contexto,
a palavra no tem qualquer relao com estalido e com expresses como d um clique
com o boto esquerdo do mouse.
79
FEOFILOFF Cliques 80
E 6.4 Exiba um grafo e uma clique que seja maximal mas no mxima.
E 6.5 Encontre uma clique mxima no grafo do cavalo.
E 6.6 Exiba uma clique mxima no cubo Q
k
.
E 6.7 Suponha que G um grafo bipartido. Quantos vrtices tem uma
clique mxima em G?
E 6.8 Encontre uma clique mxima no grafo do bispo.
E 6.9 Encontre uma clique mxima no grafo da dama.
E 6.10 Mostre que toda clique maximal do grafo de Kneser K(n, k) (veja
exerccio 1.16) temn/k| vrtices. Exiba uma clique mxima em K(n, k).
E 6.11 Qual a relao entre o problema da clique mxima e o problema
do conjunto estvel mximo (veja captulo 5)? Como possvel usar um
algoritmo que resolve um dos problemas para resolver o outro?
E 6.12 Prove que (G) (G) + 1 para todo grafo G.
E 6.13 Prove a seguinte relao, vlida para qualquer conjunto X de vrtices
de um grafo G: X uma clique em G se e somente se X um conjunto
estvel em G. Deduza da que (G) = (G).
E 6.14 Suponha que um grafo G tem a seguinte propriedade: para cada
vrtice v, o conjunto N(v) uma clique. Mostre que cada componente de
G uma clique.
E 6.15 Mostre que (G) 3 para todo grafo Gcommais que n(G)
2
/4 arestas.
(Veja exerccio 4.12.)
E 6.16 Suponha que (G) k. Quantas arestas G pode ter no mximo (em
relao ao nmero de vrtices)?
E 6.17 verdade que toda clique maximal em uma rvore mxima?
E 6.18 (ALGORITMO) Construa um algoritmo que encontre uma clique
maximal em qualquer grafo dado.
FEOFILOFF Cliques 81
D 6.19 (ALGORITMO) Invente um algoritmo rpido que resolva o problema
da clique mxima. Invente, pelo menos, um algoritmo que produza uma
clique grande em qualquer grafo dado.
E 6.20 Seja L(G) o grafo das arestas (veja exerccio 1.24) de um grafo G.
Mostre que para cada vrtice v de G, o conjunto
G
(v) uma clique em L(G).
Mostre que o conjunto das arestas de qualquer tringulo em G uma clique
em L(G). Mostre que qualquer clique de cardinalidade diferente de 3 em
L(G) subconjunto de algum conjunto da forma
G
(v).
E 6.21 Dado um grafo G, calcule uma clique mxima no grafo das ares-
tas L(G). (Veja exerccio 6.20.)
E 6.22 Mostre que um grafo H isomorfo ao grafo das arestas (veja exerc-
cio 1.24) de um outro grafo G se e somente se existe uma coleo de cliques
de H tal que cada aresta de H tem ambas as pontas em uma e apenas uma
das cliques e todo vrtice de H pertence a no mximo duas das cliques.
E 6.23 Seja G um grafo planar (veja seo 1.6). Mostre que (G) 4.
FEOFILOFF Cliques 82
Captulo 7
Cobertura por vrtices
Uma cobertura por vrtices
1
(= vertex cover), ou simplesmente cobertura, de
um grafo qualquer conjunto de vrtices que contenha pelo menos uma das
pontas de cada aresta. Em outras palavras, um conjunto X de vrtices uma
cobertura se toda aresta tem pelo menos uma de suas pontas em X.
PROBLEMA DA COBERTURA MNIMA: Encontrar uma cobertura m-
nima num grafo dado.
Acardinalidade de uma cobertura mnima de umgrafo G denotada por
(G) .
H uma relao simples e ntima entre coberturas por vrtices e conjuntos
estveis (veja o exerccio 7.6). Essa relao torna o problema da cobertura
mnima equivalente ao problema do conjunto estvel mximo.
Exerccios
E 7.1 Uma galeria de arte consiste emumgrande nmero de corredores retos
que interligam pequenas praas. Um guarda postado numa praa capaz de
vigiar todos os corredores que saem da praa. Qual o nmero mnimo de
guardas necessrio para vigiar a galeria toda?
E 7.2 Encontre uma cobertura mnima no grafo do cavalo. Encontre uma
cobertura mnima no grafo do bispo.
E 7.3 Encontre uma cobertura mnima no cubo Q
k
.
1
Quem sabe seria melhor dizer cobertura das arestas por vrtices.
83
FEOFILOFF Cobertura por vrtices 84
E 7.4 Mostre que um grafo G bicolorvel se e somente se V
G
tem um
subconjunto U que , ao mesmo tempo, um conjunto independente e uma
cobertura.
E 7.5 O que uma cobertura minimal? Use o grafo da gura 5.1 para
dar um exemplo de uma cobertura minimal. verdade que toda cobertura
minima minimal? verdade que toda cobertura minimal minima?
E 7.6 Prove a seguinte relao entre coberturas e conjuntos estveis: em
qualquer grafo G, um conjunto X de vrtices uma cobertura se e somente
se V
G
X estvel. Deduza da que (G) = n(G) (G).
E 7.7 Mostre que o problema da cobertura mnima equivalente ao pro-
blema do conjunto estvel mximo. (Em outras palavras, mostre que qual-
quer algoritmo para um dos problemas pode ser convertido num algoritmo
para o outro.)
E 7.8 Suponha que T uma rvore. verdade que toda cobertura minimal
de T mnima?
E 7.9 Seja U, W uma bicolorao de um grafo G. Seja X, X
uma par-
tio de U e Y, Y
uma cobertura.
E 7.10 (SOLUO APROXIMADA) Especique um algoritmo que d uma
soluo aproximada do problema da cobertura mnima: ao receber um
grafo G, o algoritmo deve devolver uma cobertura X tal que [X[ 2(G).
E 7.11 Considere a equivalncia discutida no exerccio 7.7 e a soluo aproxi-
mada discutida no exerccio 7.10. possvel obter uma soluo aproximada
semelhante para o problema do conjunto estvel mximo (veja captulo 5)?
Captulo 8
Colorao de vrtices
Uma colorao dos vrtices, ou recobrimento por conjuntos estveis, de um
grafo uma coleo de conjuntos estveis que cobre o conjunto de vrtices.
Mais precisamente, uma colorao dos vrtices de um grafo G uma coleo
X
1
, X
2
, . . . , X
k
de conjuntos estveis tal que X
1
X
2
X
k
= V
G
.
Embora isso no seja essencial, cmodo supor que os conjuntos X
1
,
. . . , X
k
so disjuntos dois a dois. Podemos dizer ento que uma colorao
dos vrtices de G uma partio de V
G
em conjuntos estveis. Cada vrtice
do grafo estar em um e apenas um desses conjuntos. ( claro que o conceito
de colorao de vrtices uma generalizao do conceito de bicolorao
discutido no captulo 4.)
Se imaginarmos que cada conjunto estvel X
i
corresponde a uma cor,
podemos dizer que uma colorao de vrtices uma atribuio de cores aos
vrtices tal que vrtices adjacentes recebem cores diferentes.
Dizemos que uma colorao X
1
, X
2
, . . . , X
k
usa k cores.
1
Dizemos
tambm que esta uma k-colorao. Se um grafo tem uma k-colorao ento
tambm tem uma k
> k.
Uma colorao de vrtices mnima se o seu nmero de cores o menor
possvel, ou seja, se no existe outra que use menos cores.
PROBLEMA DA COLORAO DE VRTICES: Encontrar uma colora-
o mnima dos vrtices de um grafo dado.
O nmero cromtico (= chromatic number) de um grafo G o nmero de
cores em uma colorao mnima dos vrtices de G. Esse nmero denotado
por
(G) .
Um grafo G k-colorvel (= k-colorable) se (G) k. Em particular, 2-
colorvel o mesmo que bicolorvel, conforme o captulo 4.
1
Mesmo que algum A
i
seja vazio.
85
FEOFILOFF Colorao de vrtices 86
Veja o stio WWW Graph Coloring Page de Joseph Culberson na Universi-
dade de Alberta, Canad.
Uma cobertura de G por cliques qualquer partio X
1
, . . . , X
k
de V
G
tal que cada X
i
uma clique. claro que uma cobertura de G por cliques o
mesmo que uma colorao dos vrtices de G. O correspondente PROBLEMA
DA COBERTURA POR CLIQUES consiste emencontrar a menor cobertura de V
G
por cliques.
Exerccios
E 8.1 Uma indstria precisa armazenar um certo conjunto de reagentes qu-
micos. Por razes de segurana, certos pares de reagentes no devem car
num mesmo compartimento do armazm. Quantos compartimentos o arma-
zm deve ter no mnimo?
E 8.2 Mostre que o nmero cromtico invariante sob isomorsmo. Em
outras palavras, se G e H so grafos isomorfos ento (G) = (H).
E 8.3 Seja X
1
, . . . , X
k
uma colorao dos vrtices de um grafo G. Mostre
que existe uma colorao Y
1
, . . . , Y
k
tal que os conjuntos Y
1
, . . . , Y
k
so
disjuntos dois a dois.
E 8.4 Encontre uma colorao mnima dos vrtices de um caminho. Repita
com um circuito no lugar do caminho. Repita com uma grade no lugar do
caminho.
E 8.5 Seja T
t
o grafo da torre t-por-t. Encontre uma colorao mnima dos
vrtices de T
t
.
E 8.6 Seja B
t
o grafo do bispo t-por-t. Encontre uma colorao mnima dos
vrtices de B
t
.
E 8.7 Seja B
t
o grafo do bispo t-por-t. Encontre uma cobertura por cliques
mnima do grafo B
t
.
E 8.8 Seja C
t
o grafo do cavalo t-por-t. Encontre uma colorao mnima dos
vrtices de C
t
. Encontre uma cobertura mnima de C
t
por cliques. Considere
inicialmente os casos t = 2, . . . , 6.
E 8.9 Seja D
t
o grafo da dama t-por-t. Encontre uma colorao mnima dos
vrtices de D
t
. Trate inicialmente dos casos t = 2, . . . , 6.
FEOFILOFF Colorao de vrtices 87
E 8.10 Seja R
t
o grafo do rei t-por-t. Encontre uma colorao mnima dos
vrtices de R
t
.
E 8.11 Encontre uma colorao mnima do grafo dos estados do Brasil (veja
exerccio 1.17).
E 8.12 Encontre uma colorao mnima dos vrtices do cubo Q
k
. Encontre
uma cobertura por cliques mnima do cubo Q
k
.
E 8.13 Encontre uma colorao mnima dos vrtices do grafo de Petersen.
E 8.14 Encontre uma colorao mnima dos vrtices do grafo G denido da
seguinte maneira: comece com cinco cpias mutuamente disjuntas, digamos
B
1
, . . . , B
5
, de um grafo completo com 3 vrtices; para cada i, acrescente
arestas ligando todos os vrtices de B
i
a todos os de B
i+1
; nalmente, acres-
cente arestas ligando todos os vrtices de B
5
a todos os de B
1
. (Este grafo
foi usado por Catlin
2
como contraexemplo para a conjectura de Hajs. Veja
exerccio 8.70.)
E 8.15 So dadas mquinas 1, . . . , n e intervalos de tempo I
1
, . . . , I
n
. Para
cada i, um operador deve cuidar da mquina i durante o intervalo I
i
. Se
I
i
I
j
,= , um mesmo operador no pode cuidar de i e j. Qual o nmero
mnimo de operadores suciente para operar as mquinas? (Veja o exerc-
cio 1.22.)
E 8.16 Exiba um grafo G com duas coloraes mnimas diferentes dos vr-
tices de G.
E 8.17 Suponha que umgrafo Gtemuma colorao de vrtices comk cores.
verdade que G tem uma colorao X
1
, . . . , X
k
tal que X
1
um conjunto
independente mximo?
E 8.18 Seja G um grafo com pelo menos uma aresta. Prove que existe uma
partio A, B de V
G
tal que (G[A]) +(G[B]) = (G).
E 8.19 SejamGe H dois grafos tais que V
G
V
H
= . Mostre que (GH) =
max(G), (H).
E 8.20 Seja H um subgrafo de um grafo G. Qual a relao entre (H)
e (G)?
2
P. A. Catlin, 1979.
FEOFILOFF Colorao de vrtices 88
E 8.21 Seja e uma ponte de um grafo G com duas ou mais arestas. Mostre
que (Ge) = (G).
E 8.22 Seja v uma articulao de um grafo G. verdade que (G) =
(Gv)?
E 8.23 Seja v umvrtice de umgrafo G. Suponha que d(v) < (G)1. Mostre
que (G) = (Gv).
E 8.24 Mostre que, para qualquer grafo G, toda colorao dos vrtices de G
usa pelo menos ,n(G)/(G)| cores. Em outras palavras, mostre que (G)
n(G)/(G).
E 8.25 (GENERALIZAO DE 8.24) Para cada vrtice v de um grafo G, seja
v
a cardinalidade de um conjunto estvel mximo dentre os que contm v.
Mostre que (G)
v
1/
v
.
E 8.26 Mostre que todo grafo com n vrtices e nmero cromtico k tem no
mximo
1
2
(n
2
n
2
/k) arestas. Deduza da que (G) n
2
/(n
2
2m), para
todo grafo G com n vrtices e m arestas.
3
Deduza da que (G) n/(n r)
se G r-regular.
4
E 8.27 Mostre que (G)
1
2
+
_
2m(G) +
1
4
para todo grafo G.
E 8.28 (ALGORITMO) O algoritmo que descreveremos a seguir resolve o
problema da colorao de vrtices? Ao receber um grafo G, o algoritmo faz
o seguinte:
Escolhe um conjunto estvel mximo, digamos A
1
, em G. Em seguida,
escolhe um conjunto estvel mximo A
2
em G A
1
. Depois, escolhe um
conjunto estvel mximo A
3
em (GA
1
) A
2
. E assim por diante, at que
no haja mais vrtices a escolher.
E 8.29 (ALGORITMO) O seguinte algoritmo guloso (= greedy) recebe um
grafo G e devolve uma colorao dos vrtices X
1
, . . . , X
k
. Cada iterao
comea com um coleo X
1
, . . . , X
k
de conjuntos estveis; a primeira pode
comear com a coleo vazia, isto , com k = 0. Cada iterao consiste no
seguinte:
3
Alguns exemplos: se : 0 ento 1, se : n
2
,4 ento 2, se : 4n
2
,9
ento 9.
4
Exemplos: se : 0 ento 0, se : n,2 ento 2, se : 2n,3 ento 3.
FEOFILOFF Colorao de vrtices 89
CASO 1: A
1
. . . A
k
= \
G
.
Devolva A
1
, . . . , A
k
e pare.
CASO 2: A
1
. . . A
k
,= \
G
.
Escolha um vrtice em \
G
(A
1
. . . A
k
).
Se A
i
estvel para algum i entre 1 e /
ento comece nova iterao com A
i
no papel de A
i
.
Caso contrrio, faa A
k+1
= e
comece nova iterao com / + 1 no papel de /.
Este algoritmo resolve o problema da colorao de vrtices?
E 8.30 Prove que todo grafo G admite uma colorao de vrtices com
apenas (G) + 1 cores. Em outras palavras, prove que (G) (G) + 1
para todo grafo G.
E 8.31 verdade que (G) (G) para todo grafo G? Em outras palavras,
verdade que toda colorao dos vrtices de G usa pelo menos (G) cores?
E 8.32 Prove que todo grafo Gadmite uma cobertura por cliques de tamanho
no mximo n(G)(G). Emoutras palavras, mostre que (G) n(G)(G).
E 8.33 Seja G um grafo conexo no regular. Mostre que (G) (G).
(Compare com o exerccio 8.30.)
E 8.34 (TEOREMA DE BROOKS
5
) Seja G um grafo conexo no completo di-
ferente de um circuito mpar. Mostre que (G) (G). (Compare com o
exerccio 8.33.)
E 8.35 Mostre que a diferena (G) (G) pode ser arbitrariamente grande.
Mostre que o quociente (G)/(G) pode ser arbitrariamente grande. (Com-
pare com o exerccio 8.30.)
E 8.36 (GENERALIZAO DE 8.30) Sejam v
1
, v
2
, . . . , v
n
os vrtices de um
grafo G e suponha que d(v
1
) d(v
2
) d(v
n
). Mostre que (G)
max
n
i=1
mini, d(v
i
) + 1. (Sugesto: o lado direito da desigualdade igual a
max i : d(v
i
) + 1 i .)
E 8.37 Seja G um grafo dotado da seguinte propriedade: todo par de circui-
tos mpares tem (pelo menos) um vrtice em comum. Prove que G admite
uma 5-colorao dos vrtices.
5
Publicado por R. L. Brooks em 1941.
FEOFILOFF Colorao de vrtices 90
E 8.38 Suponha que umgrafo Gtemuma clique comk vrtices. Mostre que
toda colorao de vrtices de G usa pelo menos k cores. Em outras palavras,
mostre que
(G) (G)
para todo grafo G. (Veja exerccios 6.8 e 6.9.)
E 8.39 Suponha que um grafo G tem uma clique com k vrtices e uma colo-
rao dos vrtices em k cores. Prove que a clique mxima e que a colorao
mnima.
6
E 8.40 Prove que (G) = (G) para todo grafo bipartido G.
E 8.41 (ALGORITMO
7
) Sejam v
1
, v
2
, . . . , v
n
os vrtices de um grafo G.
Suponha que, para i = 2, . . . , n, o conjunto
v
1
, . . . , v
i1
N(v
i
)
uma clique. Mostre que (G) = (G). (Sugesto: Escreva um algoritmo
que calcule uma colorao de vrtices mnima e uma clique mxima.)
E 8.42 Mostre que, para todo k, existe um grafo sem cliques de tamanho
k que no admite colorao com k (ou menos) cores. Em outras palavras,
mostre que existem grafos G tais que (G) > (G). Mostre que para cada k
existe um grafo G tal que (G) = k e (G) = 2.
E 8.43 Suponha que um grafo G tem um conjunto estvel com k vrtices.
Mostre que toda cobertura de V
G
por cliques usa pelo menos k cliques.
Deduza da que (G) (G).
E 8.44 Suponha que um grafo G no tem subgrafo induzido isomorfo a um
caminho com 4 vrtices. Mostre que (G) = (G).
E 8.45 Suponha que um grafo G no tem subgrafo induzido isomorfo a K
1,3
nem a K
4
e. Mostre (G) (G) + 1.
E 8.46 Seja G um grafo (no necessariamente bicolorvel) e seja R, S uma
partio de V
G
. Suponha ainda que d(R) < k (ou seja, h menos que k arestas
com uma ponta em R e outra em S). Suponha que os grafos G[R] e G[S]
admitem coloraes de vrtices com k cores apenas. Mostre que G admite
uma colorao de vrtices com k cores.
6
Uma tal clique pode ser usada como certicado da minimalidade de uma colorao.
Reciprocamente, uma tal colorao pode ser usada como certicado da maximalidade da
clique.
7
Perfect Elimination Scheme.
FEOFILOFF Colorao de vrtices 91
E 8.47 Seja P um caminho de comprimento mximo em um grafo G. Mostre
que (G) n(P). (Em outras palavras, se um grafo no tem caminho com
mais que k vrtices ento pode ser colorido com apenas k cores.)
E 8.48 (TEOREMA DE GALLAI E ROY
8
) Para qualquer orientao acclica
9
D
de um grafo G, seja l(D) o comprimento de um caminho orientado
10
mximo
em D. Ento
(G) = 1 + min
D
l(D) .
D 8.49 (ALGORITMO) Invente um algoritmo rpido que resolva o problema
da colorao de vrtices.
Colorao com nmero dado de cores
Se o nmero de cores disponveis estiver xo, temos a seguinte variante do
problema da colorao:
PROBLEMA DA COLORAO COM NMERO DADO DE CORES: Dado
umnmero natural k e umgrafo G, encontrar uma k-colorao de G.
evidente que o problema nem sempre tem soluo. O problema da 2-
colorao, por exemplo, equivale ao problema de decidir se um dado grafo
bicolorvel (veja exerccio 4.15).
E 8.50 O seguinte algoritmo recebe um grafo G e promete devolver uma
bicolorao de G. Cada iterao comea com um par (X
1
, X
2
) de conjuntos
estveis; a primeira pode comear com X
1
= X
2
= . Cada iterao consiste
no seguinte:
CASO 1: A
1
A
2
= \
G
.
Devolva A
1
, A
2
e pare.
CASO 2: A
1
A
2
,= \
G
.
Escolha um vrtice em \
G
(A
1
A
2
).
Escolha i em1, 2 tal que A
i
estvel.
Comece nova iterao com A
i
no papel de A
i
.
O algoritmo cumpre a promessa (ou seja, produz uma 2-colorao dos vrti-
ces do grafo)?
8
Publicado em 1966 por Tibor Gallai e em 1967, independentemente, por Bernard Roy.
9
Uma orientao de um grafo consiste na substituio de cada aresta n pelo par orde-
nado (, n) ou pelo par ordenado (n, ). Um tal par ordenado chamado arco. O resultado
um grafo dirigido. Um grafo dirigido 1 acclico se no tem circuitos orientados. Um
circuito orientado se todos os seus arcos so dirigidas no mesmo sentido.
10
Um caminho orientado se todos os seus arcos so dirigidas no mesmo sentido.
FEOFILOFF Colorao de vrtices 92
E 8.51 O seguinte algoritmo guloso recebe um grafo G e promete devolver
uma 3-colorao de G. Cada iterao comea com conjuntos estveis X
1
, X
2
e X
3
; a primeira pode comear com X
1
= X
2
= X
3
= . Cada iterao
consiste no seguinte:
CASO 1: A
1
A
2
A
3
= \
G
.
Devolva A
1
, A
2
, A
3
e pare.
CASO 2: A
1
A
2
A
3
,= \
G
.
Escolha um vrtice em \
G
(A
1
A
2
A
3
).
Escolha i em1, 2, 3 tal que e A
i
estvel.
Comece nova iterao com A
i
no papel de A
i
.
O algoritmo cumpre o prometido?
E 8.52 Considere o seguinte algoritmo guloso, que recebe um grafo G e
promete devolver uma 3-colorao de G:
\ \
G
enquanto \ ,= faa
escolha n em \
i 1
enquanto N(n) A
i
,= faa i i + 1
A
i
A
i
n
\ \ A
i
devolva A
1
, A
2
, A
3
O algoritmo cumpre o que prometeu?
E 8.53 Quantas arestas no mximo pode ter um grafo com n vrtices que
admite uma 3-colorao dos vrtices?
E 8.54 Imagine uma grade em que todos os vrtices exceto um esto colo-
ridos. Cada vrtice colorido tem uma de 3 possveis cores. Invente uma
heurstica da troca de cores em componentes bicoloridas (compare com o
exerccio 12.22) para obter, a partir da colorao parcial dada, uma colorao
de todos os vrtices com apenas 3 cores.
E 8.55 Sejam I e J conjuntos estveis num grafo G e suponha I J = . Seja
X o conjunto dos vrtices de um componente do grafo bipartido G[I J].
Mostre que o conjunto I X estvel no grafo G.
E 8.56 (ALGORITMO) Descreva uma heurstica
11
de colorao de vrtices
baseada no exerccio 8.55. (No incio de cada iterao temos uma colorao
11
Segundo Wilf (em Algorithms and Complexity, Prentice-Hall, 1986), heursticas so
methods that seem to work well in practice, for reasons nobody understands.
FEOFILOFF Colorao de vrtices 93
parcial dos vrtices; cada iterao escolhe um vrtice no colorido e procura
atribuir a ele uma das cores j usadas.)
D 8.57 Como se sabe, grafos 2-colorveis so caracterizados pela ausncia de
circuitos mpares. Invente uma boa caracterizao dos grafos 3-colorveis.
Invente uma boa caracterizao dos grafos k-colorveis.
D 8.58 (ALGORITMO) Invente um algoritmo rpido que resolva o problema
da 3-colorao de vrtices.
12
D 8.59 (ALGORITMO) Seja k um nmero natural maior que 3. Invente um
algoritmo rpido que resolva o problema da k-colorao de vrtices.
Colorao de grafos planares
Grafos planares podem ser coloridos com poucas cores.
E 8.60 Mostre que (G) 6 para todo grafo planar G. (Veja os exerc-
cios 1.275 e 8.30.)
E 8.61 (TEOREMA DE HEAWOOD
13
) Mostre que (G) 5 para todo grafo
planar G. (Veja exerccios 1.275, 8.54 e 8.56.)
E 8.62 (ALGORITMO) Construa umalgoritmo que produza uma 5-colorao
dos vrtices de qualquer grafo planar dado.
!! E 8.63 (TEOREMA DAS QUATRO CORES
14
) Mostre que todo grafo planar
admite uma colorao de vrtices com 4 ou menos cores. Em outras palavras,
mostre que
(G) 4
para todo grafo planar G.
E 8.64 Mostre que existem grafos planares que no admitem colorao de
vrtices com 3 cores apenas.
12
No se conhece um algoritmo rpido que decida se um grafo 3-colorvel. Em termos
tcnicos, esse problema de deciso NP-completo. Veja observao na pgina 5.
13
Percy John Heawood (1861 1).
14
Demonstrado em 1976 por Kenneth Appel e Wolfgang Haken. Demonstrao simpli-
cada em 1997 por Neil Robertson, Daniel P. Sanders, Paul D. Seymour e Robin Thomas. Veja
as pginas The four color theorem e Four-Color Theorem.
FEOFILOFF Colorao de vrtices 94
E 8.65 verdade que (G) = (G) para todo grafo planar G? (Veja exerc-
cios 8.38 e 8.39.)
E 8.66 Seja G o grafo dos estados do Brasil (veja exerccio 1.17). Mostre que
(G) = 4.
!! E 8.67 (ALGORITMO) Construa um algoritmo que produza uma 4-
colorao dos vrtices de qualquer grafo planar dado.
E 8.68 Mostre que (G)
1
4
n(G) para todo grafo planar G. (Seria muito
interessante ter uma prova desse fato que no dependesse do teorema das
quatro cores, exerccio 8.63.)
E 8.69 Mostre que o conjunto das faces de todo grafo exoplanar (veja o
exerccio 1.283) 3-colorvel.
Colorao versus menores
Estude antes o captulo 19 (Planaridade).
! E 8.70 Prove que a seguinte conjectura de Hajs
15
falsa: Para todo grafo G,
se (G) k ento G tem um menor topolgico (veja seo 1.16) isomorfo
a K
k
.
E 8.71 Seja G um grafo tal que (G) 3. Mostre que G tem um menor (veja
seo 1.16) isomorfo a K
3
. (Compare com o exerccio 8.38.)
E 8.72 Seja G um grafo tal que (G) 4. Mostre que G tem um menor
isomorfo a K
4
.
!! E 8.73 Seja G um grafo tal que (G) 5. Mostre que G tem um menor iso-
morfo a K
5
. (Isto equivalente ao teorema da Quatro Cores, exerccio 8.63.)
D 8.74 (CONJECTURA DE HADWIGER
16
) Para todo nmero natural k 2 e
todo grafo G, se (G) k ento G tem um menor isomorfo a K
k
. (Esta uma
profunda generalizao do teorema da Quatro Cores, exerccio 8.63.)
15
A conjectura foi proposta por G. Hajs, em 1961.
16
A conjectura foi proposta por H. Hadwiger, em 1943.
FEOFILOFF Colorao de vrtices 95
Colorao de grafos aleatrios
E 8.75 Seja um nmero real positivo. Mostre que
(G) >
1
2 +
n
log
2
n
para quase todo grafo G em((n). (Veja a seo 1.18.)
! E 8.76 Seja um nmero real positivo menor que 2. Mostre que
(G) <
1
2
n
log
2
n
para quase todo grafo G em((n). (Compare com o exerccio 8.75.)
Grafos perfeitos
Um grafo perfeito (= perfect) se (G[X]) = (G[X]) para todo subconjunto
X de V
G
. (Veja o exerccio 8.38.)
E 8.77 Exiba um grafo no perfeito G tal que (G) = (G).
E 8.78 Mostre que todo grafo bicolorvel perfeito.
! E 8.79 (TEOREMA DE LOVSZ
17
) Mostre que o complemento de todo grafo
perfeito perfeito.
!! E 8.80 (TEOREMA FORTE DO GRAFO PERFEITO
18
) Um buraco mpar
(= odd hole) um circuito induzido com um nmero mpar 5 de vrtices.
Prove que um grafo G perfeito se e somente se nem G nem G contm
um buraco mpar.
19
(Esta caracterizao de grafos perfeitos havia sido con-
jecturada por Claude Berge em 1960.)
17
Publicado por Lsl Lovsz em 1972.
18
Strong Perfect Graph Theorem.
19
Este teorema foi provado em 2002 por Maria Chudnovsky e Paul D. Seymour com base
em trabalho prvio de Neil Robertson e Robin Thomas.
FEOFILOFF Colorao de vrtices 96
Captulo 9
Emparelhamentos
Duas arestas de um grafo so adjacentes se tm uma ponta comum. Um
emparelhamento (= matching) um conjunto de arestas duas a duas no
adjacentes.
Em outras palavras, um emparelhamento num grafo um conjunto M
de arestas tal que [M (v)[ 1 para cada vrtice v.
PROBLEMA DO EMPARELHAMENTO MXIMO: Encontrar um empa-
relhamento mximo num grafo dado.
Umemparelhamento M
(G) .
A propsito, um emparelhamento M
.
O problema do emparelhamento um caso particular do problema do
conjunto estvel (veja o exerccio 9.15). Embora no saibamos como resolver
este ltimo de maneira eciente, sabemos como resolver o primeiro.
Um emparelhamento M perfeito (= perfect matching) se cada vrtice
do grafo ponta de algum elemento de M. Eis uma especializao inte-
ressante do problema acima: Encontrar um emparelhamento perfeito num
grafo dado. claro que nem todo grafo tem um emparelhamento perfeito; a
diculdade do problema est em decidir se o grafo dado tem ou no tem um
emparelhamento perfeito.
Os seguintes conceitos so importantes no estudo de emparelhamentos:
1. Um emparelhamento M satura um vrtice v se (v) M ,= , ou seja,
se alguma aresta de M incide em v.
2. Um emparelhamento M satura um conjunto X de vrtices se M
97
FEOFILOFF Emparelhamentos 98
satura cada vrtice em X.
3. Um caminho alternante (= alternating) em relao a um emparelha-
mento M se suas arestas esto alternadamente em M e fora de M.
s vezes mais cmodo dizer M-alternante que alternante em
relao a M.
4. Um caminho de aumento (= augmenting path) para um emparelha-
mento M umcaminho M-alternante de comprimento no nulo cujos
extremos no esto saturados por M.
Exerccios
E 9.1 Seja M umconjunto de arestas de umgrafo G. Seja H o grafo (V
G
, M).
Mostre que M um emparelhamento em G se e somente se d
H
(v) 1 para
todo vrtice v de H.
E 9.2 Quantas arestas tem um emparelhamento mximo num grafo com-
pleto com n vrtices?
E 9.3 Quantas arestas tem um emparelhamento mximo em um grafo bi-
partido completo?
E 9.4 Calcule um emparelhamento mximo em um caminho. Calcule um
emparelhamento mximo em um circuito.
E 9.5 Suponha que um grafo G tem um emparelhamento perfeito. Mostre
que n(G) par.
E 9.6 Seja G um K
6
e M um emparelhamento perfeito em G. Mostre que
G M planar. Mostre que G M tem um emparelhamento perfeito,
digamos M
um circuito
de comprimento 6.
E 9.7 Calcule um emparelhamento mximo em um grafo 3-regular dotado
de circuito hamiltoniano (veja captulo 17).
E 9.8 verdade que todo grafo regular tem um emparelhamento perfeito?
E 9.9 Encontre um emparelhamento mximo no grafo da dama t-por-t.
E 9.10 Encontre um emparelhamento mximo no grafo do bispo t-por-t.
FEOFILOFF Emparelhamentos 99
E 9.11 Encontre um emparelhamento mximo no grafo do cavalo t-por-t.
E 9.12 Quantas arestas tem um emparelhamento mximo no cubo Q
k
?
E 9.13 Exiba um grafo G e um emparelhamento em G que seja maximal mas
no seja mximo.
E 9.14 verdade que em qualquer rvore todo emparelhamento maximal
mximo?
E 9.15 Mostre que o problema do emparelhamento mximo um caso parti-
cular do problema do conjunto estvel mximo.
E 9.16 verdade que, emqualquer grafo, todo vrtice no isolado saturado
por algum emparelhamento mximo? verdade que toda aresta pertence a
algum emparelhamento perfeito?
E 9.17 Sejam M e M
). Descreva o grafo (V
G
, M M
).
1
Que acontece se os ` `
emparelhamentos M e M
so perfeitos?
E 9.18 Suponha que um grafo G tem uma ponte a. Mostre que ou todos
os emparelhamentos perfeitos de G contm a ou nenhum emparelhamento
perfeito de G contm a.
E 9.19 Prove que toda oresta tem no mximo um emparelhamento perfeito.
E 9.20 Seja M um emparelhamento em um grafo e seja P um caminho M-
alternante. Mostre que todo caminho em P tambm M-alternante.
E 9.21 Seja M um emparelhamento em um grafo e seja P um caminho M-
alternante maximal. Suponha que as duas arestas extremas de P no esto
em M. verdade que P um caminho de aumento?
E 9.22 (CAMINHO DE AUMENTO) Suponha que P um caminho de au-
mento para um emparelhamento M. Prove que
M E
P
um emparelhamento. Prove que [M E
P
[ > [M[.
1
Para quaisquer conjuntos e 1, denota-se por 1 o conjunto ( 1) (1 ).
fcil vericar que 1 = ( 1) ( 1).
FEOFILOFF Emparelhamentos 100
E 9.23 Seja M um emparelhamento num grafo G. Suponha que M no
mximo. Prove que existe um caminho de aumento para M.
E 9.24 (TEOREMA DE BERGE
2
) Prove que um emparelhamento M m-
ximo se e somente se no existe caminho de aumento para M. (Segue dos
exerccios 9.22 e 9.23.)
! E 9.25 (ALGORITMO) Seja M um emparelhamento em um grafo G. Sejam
a e b dois vrtices no saturados por M. Escreva um algoritmo que encontre
um caminho alternante com origem a e trmino b (ou constate que um tal
caminho no existe).
E 9.26 Seja M um emparelhamento. Seja (v
0
, v
1
, . . . , v
k
) um passeio (veja
m da seo 1.9) cujas arestas esto alternadamente em M e fora de M e
suponha que v
0
e v
k
no esto saturados por M. Seja A o conjunto das
arestas do passeio. Mostre que o conjunto M A no necessariamente
um emparelhamento. (Compare com o exerccio 9.22.)
E 9.27 (SLITHER) Dois jogadores, digamos A e B, se alternam escolhendo
vrtices num grafo 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 adjacente
a v
1
mas diferente de v
0
e de v
1
. E assim por diante.
Eis uma maneira mais limpa de descrever o jogo: Os vrtices escolhidos
formam um caminho v
0
v
1
v
2
v
k
. Se k mpar, A escolhe um vrtice v
k+1
distinto dos demais mas adjacente a v
k
. Se k par, B faz um jogada anloga.
O ltimo jogador que puder fazer um movimento vence o jogo.
Prove que B tem uma estratgia vencedora se G tem um emparelha-
mento perfeito. Prove que A tem uma estratgia vencedora em caso contr-
rio.
E 9.28 Seja M umemparelhamento e X umconjunto de vrtices de umgrafo.
Mostre que se X saturado por M ento X tambm saturado por algum
emparelhamento mximo. (Compare com o exerccio 9.16.)
E 9.29 Sejam X e Y dois conjuntos de vrtices de um grafo G. Suponha
que X saturado por algum emparelhamento e Y saturado por algum
emparelhamento (no necessariamente o mesmo).
Se y um elemento de Y X, verdade que X y saturado por
algum emprelhamento?
Se [Y [ > [X[, verdade que existe y emY X, tal que Xy saturado
por algum emprelhamento?
2
Publicado em 1957 por Claude Berge (1:6 :oo:).
FEOFILOFF Emparelhamentos 101
E 9.30 (EMPARELHAMENTOS VERSUS COBERTURAS) Mostre que, em qual-
quer grafo, para qualquer emparelhamento M e qualquer cobertura K (veja
captulo 7),
[M[ [K[ .
Deduza da que se [M[ = [K[ ento M um emparelhamento mximo e K
uma cobertura mnima.
3
D um exemplo de um grafo que no possui um
par (M, K) tal que [M[ = [K[. (Veja tambm o exerccio 9.33.)
E 9.31 Mostre que
E 9.32 Seja K uma cobertura minimal de um grafo (veja o captulo 7).
verdade que toda aresta de qualquer emparelhamento tem apenas uma das
pontas em K?
E 9.33 Seja M um emparelhamento e K uma cobertura (veja o captulo 7)
tais que [M[ = [K[. Mostre que M satura K e que cada elemento de M tem
apenas uma das pontas em K. (Veja o exerccio 9.30.)
E 9.34 Suponha que M um emparelhamento maximal num grafo. Seja
V (M) o conjunto dos vrtices saturados por M. Mostre que V (M) uma
cobertura (veja o captulo 7).
Escolha uma das pontas de cada aresta em M. Seja W o conjunto
resultante. verdade que W uma cobertura?
E 9.35 (EMPARELHAMENTO QUASE MXIMO) Seja M um emparelhamento
maximal e M
[ qualquer
que seja o grafo?
E 9.36 Suponha que um grafo G tem um emparelhamento perfeito. Mostre
que, para todo vrtice v, o grafo Gv tem exatamente um componente com
nmero mpar de vrtices.
E 9.37 Seja G um grafo com n(G) 2k e (G) k. Mostre que G tem um
emparelhamento com pelo menos k arestas.
3
Assim, se uma cobertura tem o mesmo tamanho que um emparelhamento, ela serve de
certicado da maximalidade do emparelhamento.
FEOFILOFF Emparelhamentos 102
Captulo 10
Emparelhamentos em grafos
bipartidos
Quando restrito a grafos bipartidos, o problema do emparelhamento mximo
(veja captulo 9) tem uma soluo muito elegante e eciente. Dois teoremas
(veja exerccios 10.7 e 10.23) resumem a soluo:
1. Num grafo bipartido, um emparelhamento mximo tem o mesmo
tamanho que uma cobertura mnima.
2. Umgrafo combipartio U, W temumemparelhamento que satura
U se e somente se [N(Z)[ [Z[ para todo subconjunto Z de U.
A expresso N(Z) denota o conjunto de todos os vrtices que esto fora de Z N(A)
mas tm algum vizinho em Z. (Veja exerccio 1.108.)
Exerccios
E 10.1 Exiba um emparelhamento mximo no grafo da gura 10.1.
Figura 10.1: Encontre um emparelhamento mximo.
E 10.2 Encontre um emparelhamento mximo no cubo Q
k
.
E 10.3 Exiba um emparelhamento mximo no grafo da gura 10.2.
103
FEOFILOFF Emparelhamentos em grafos bipartidos 104
Figura 10.2: Encontre um emparelhamento mximo.
E 10.4 (LEMA DE DE CAEN
1
) Seja G um grafo bipartido com pelo menos
uma aresta. Mostre que algum vrtice de G saturado por todos os empare-
lhamentos mximos. (Usado na resoluo indutiva do exerccio 10.6.)
E 10.5 verdade que todo grafo bipartido tem uma aresta que pertence
a todos os emparelhamentos mximos? (Compare com o exerccio 10.4.)
verdade que todo grafo bipartido temuma aresta que no pertence a nenhum
emparelhamento mximo?
E 10.6 Mostre que todo grafo bipartido tem um emparelhamento M e uma
cobertura K tais que
[M[ = [K[ .
(Compare com o exerccio 9.30. Veja o exerccio 10.4.)
W
U
Figura 10.3: Os crculos cinzentos indicam uma cobertura. As
linhas cinzentas indicam um emparelhamento. (Exerccio 10.6.)
E 10.7 (TEOREMA DE K
ONIGEGERVRY
2
) Seja M
um emparelhamento
mximo e K
[ = [K
, U
uma partio de U
e W
, W
) W
se e somente se
N(W
) U
) W
ento W
uma cobertura.
Mostre que para toda cobertura K de G tem-se N(U K) W K e
N(W K) U K.
E 10.14 Seja G um grafo U, W-bipartido e M um emparelhamento em G.
Seja V (M) o conjunto dos vrtices que M satura. Seja X o conjunto dos
vrtices de todos os caminhos M-alternantes que tm um dos extremos em
U V (M). Prove que
(W X) (U X)
uma cobertura de G. (Usado na resoluo do exerccio 10.15.)
E 10.15 (ALGORITMO) Construa um algoritmo eciente que receba um
grafo U, W-bipartido e um emparelhamento M e devolva (1) um empare-
lhamento M
tal que [M
(Z) o
conjunto
zZ
N(z). ( claro que N
(G) = (G) ,
sendo (G) o valor mnimo de (G, S) para todos os subconjuntos S de V
G
,
onde (G, S) a expresso denida no exerccio 11.8. (Veja o exerccio 11.10.)
E 11.12 Deduza o exerccio 9.30 do exerccio 11.8. Deduza o teorema de
K onigEgervry (exerccio 10.7) do teorema de TutteBerge (exerccio 11.11).
E 11.13 Seja G um grafo 3-regular sem pontes. Mostre que G tem um
emparelhamento perfeito. Mostre que nem todo grafo 3-regular tem um
emparelhamento perfeito.
2
O conjunto o serve de certicado da maximalidade do emparelhamento.
3
Combinao do teorema de Tutte (exerccio 11.4) com um teorema de Claude Berge
(1:6 :oo:) publicado em 1958.
FEOFILOFF Emparelhamentos em grafos arbitrrios 111
! E 11.14 (DECOMPOSIO DE GALLAIEDMONDS
4
) Seja G um grafo e
D o conjunto dos vrtices de G que no so saturados por algum empa-
relhamento mximo. Seja A o conjunto N(D). (Veja denio de N no
exerccio 1.108.) Seja C o conjunto V
G
(D A). Mostre que para todo
emparelhamento mximo M
em G tem-se
2[M
(G) .
(No confunda com o nmero cromtico (G) denido no captulo 8.)
Exerccios
E 12.1 Seja M
1
, . . . , M
k
uma colorao das arestas de um grafo. Mostre que
existe uma colorao M
1
, . . . , M
k
tal que os emparelhamentos M
1
, . . . , M
k
so
disjuntos dois a dois.
113
FEOFILOFF Colorao de arestas 114
E 12.2 Um processo industrial consiste em um certo conjunto de tarefas.
Cada tarefa executada por um operrio em uma mquina e cada tarefa tem
durao de 1 dia. Cada operrio est qualicado para operar apenas algumas
das mquinas. Quantos dias so necessrios para completar o processo?
E 12.3 Uma escola pode ser representada por um grafo U, W-bipartido:
cada vrtice 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 perodo representado por uma cor. Uma
colorao das arestas do grafo uma programao das aulas da semana.
Quantos perodos so necessrios e sucientes para cumprir o programa de
aulas?
1
E 12.4 Mostre que o problema da colorao mnima das arestas um caso
particular do problema da colorao mnima de vrtices (veja captulo 8).
E 12.5 Exiba um grafo com duas coloraes mnimas diferentes.
E 12.6 Calcule uma colorao mnima das arestas de um grafo completo.
Calcule uma colorao mnima das arestas de um grafo bipartido completo.
E 12.7 Calcule o ndice cromtico de um caminho e de um circuito. Calcule
o ndice cromtico de grafos com = 0, com = 1, e com = 2.
E 12.8 Calcule o ndice cromtico do grafo de Petersen.
E 12.9 Seja G um grafo 3-regular dotado de circuito hamiltoniano. (Um
circuito C em G hamiltoniano se V
C
= V
G
. Veja o captulo 17.) Prove que
(G) = 3.
E 12.10 Mostre que
(G) m(G)/
(G) (G)
para todo grafo G. Mostre que esta desigualdade um caso particular da
desigualdade do exerccio 8.38.
1
Este o problema da grade de horrios (timetabling problem).
FEOFILOFF Colorao de arestas 115
E 12.12 Seja G um grafo r-regular com um nmero mpar de vrtices.
Mostre que
(G) > r.
E 12.13 Seja Gumgrafo r-regular comr 2. Suponha que Gtemuma ponte.
Mostre que
(G) > r.
E 12.15 Suponha que n(G) mpar e m(G) > (G) (n(G) 1)/2. Mostre que
ONIG
3
) Mostre que
[M[ [N[
e N
tais que
M N = M
[M
[ [N
<
[M[ [N[
.
E 12.29 Seja G um grafo e ponha k =
[M
i
[ [M
j
[
1 para todo
par i,j de cores. Escreva uma frmula para [M
i
[ em termos de m(G). (Veja
exerccio 12.28.)
E 12.30 (TEOREMA DE VIZING
4
) Mostre que
(G) (G) + 1
para todo grafo G.
5
(Se combinarmos isso com o exerccio 12.11, poderemos
dizer que
= . Mostre que
lim
n
[(
1
(n)[
[((n)[
= 1.
D 12.33 (ALGORITMO) Invente um algoritmo rpido que calcule
(G) para
qualquer grafo G dado.
D 12.34 (ALGORITMO) Invente um algoritmo rpido que resolva o pro-
blema da colorao de arestas.
E 12.35 Seja X o conjunto dos vrtices de um grafo G que tm grau (G).
Mostre o seguinte: se G[X] uma oresta ento
(G) = (G).
4
Publicado em 19641965 por Vadim G. Vizing (1). O fato tambm foi descoberto,
independentemente, por Ram Prakash Gupta em 1966.
5
tentador comparar essa desigualdade coma desigualdade +1 do exerccio 8.30.
Mas as razes para as duas desigualdades so muito diferentes.
FEOFILOFF Colorao de arestas 118
Grafos planares
!! E 12.36 Mostre que
[.
PROBLEMA DO CONECTOR MNIMO: Encontrar um conector m-
nimo de um grafo dado.
Um conector
C minimal se no existe conector C tal que C
C.
evidente que todo conector mnimo tambm minimal. um tanto surpre-
endente (diante do que acontece com coberturas por vrtices, por exemplo)
que a recproca seja verdadeira (veja exerccio 13.5). Por isso, o problema do
conector mnimo muito fcil.
Um conjunto F de arestas de um grafo G acclico se o grafo (V
G
, F) no
tem circuitos, ou seja, se (V
G
, F) uma oresta. Um subconjunto acclico F
de E
G
mximo se no existe subconjunto acclico F tal que [F[ > [F
[.
PROBLEMA DO CONJUNTO ACCLICO MXIMO: Dado um grafo G,
encontrar um subconjunto acclico mximo de E
G
.
Uma subconjunto acclico
F de E
G
maximal se no existe subconjunto
acclico F de E
G
tal que F
F. evidente que todo subconjunto acclico
mximo tambm maximal. um tanto surpreendente que a recproca seja
verdadeira (veja exerccio 13.6). Por isso, o problema do subconjunto acclico
mximo muito fcil.
Uma rvore geradora, ou rvore abrangente (= spanning tree), de um
grafo G qualquer subgrafo gerador de G que seja uma rvore.
2
Uma rvore
1
Cuidado! A maioria dos livros de teoria dos grafos no usa o termo conector.
2
Uma rvore geradora de um grafo poderia ser chamada esqueleto do grafo. Em alemo,
por exemplo, diz-se Gerst (= andaime).
119
FEOFILOFF Conectores e conjuntos acclicos 120
geradora essencialmente o mesmo que umconector minimal e umconjunto
acclico minimal (veja o exerccio 13.4).
Exerccios
E 13.1 Mostre que umgrafo Gtemumconector se e somente se G conexo.
Mostre que todo grafo tem um conjunto acclico.
E 13.2 Seja C um conector minimal de um grafo G. Mostre que C acclico
maximal.
E 13.3 Seja G um grafo conexo e F um subconjunto acclico maximal de E
G
.
Mostre que F um conector minimal. (Veja o exerccio 1.199.)
E 13.4 Seja C um conector minimal e F um conjunto acclico maximal de um
grafo conexo G. Mostre que os grafos (V
G
, C) e (V
G
, F) so rvores geradoras
de G.
Seja T uma rvore geradora de G. Mostre que E
T
um conector minimal
e tambm um conjunto acclico maximal de G.
E 13.5 Mostre que todo conector minimal de um grafo G tem exatamente
n(G) 1 arestas. (Veja exerccio 1.228.) Deduza da que todo conector
minimal mnimo.
E 13.6 Mostre que todo conjunto acclico maximal de um grafo G tem
exatamente n(G) c(G) arestas, sendo c(G) o nmero de componentes de G.
(Veja exerccio 1.231.) Deduza da que todo conjunto acclico maximal
mximo.
E 13.7 (ALGORITMO) Construa um algoritmo eciente que receba um grafo
G e devolva um conector mnimo de G (ou uma prova de que G no
conexo).
Construa um algoritmo eciente que receba um grafo G e devolva um
subconjunto acclico mximo de E
G
.
E 13.8 (TROCA DE ARESTAS) Seja C um conector minimal de um grafo G
e b um elemento de E
G
C. Mostre que existe a em C tal que
(C b) a
um conector minimal de G.
FEOFILOFF Conectores e conjuntos acclicos 121
E 13.9 Seja a uma aresta em um conector minimal C de um grafo G. D uma
condio necessria e suciente para que exista uma aresta b em E
G
C tal
que (C a) b seja um conector. (Compare com o exerccio 13.8.)
E 13.10 (ALGORITMO) Suponha que cada aresta e de um grafo G tem um
peso numrico (e) 0. Por denio, o peso de qualquer conjunto A de
arestas o nmero
eA
(e).
Construa um algoritmo que encontre um conector de G que tenha peso
mnimo.
3
3
Os clebres algoritmos de J.B. Kruskal e R.C. Prim resolvem os problemas. Esses
algoritmos tem um carter guloso. Eles esto entre os mais antigos e mais conhecidos
algoritmos gulosos da teoria dos grafos. A prova da correo desses algoritmos depende do
exerccio 13.8.
FEOFILOFF Conectores e conjuntos acclicos 122
Captulo 14
Caminhos e circuitos mnimos
Um caminho mais curto que outro se o comprimento do primeiro menor
que o do segundo. Umcaminho P
.
PROBLEMA DO CAMINHO MNIMO: Dados vrtices v e w de um
grafo, encontrar um caminho mnimo com extremos v e w.
A distncia entre dois vrtices v e w o comprimento de um caminho
mnimo com extremos v e w.
1
(Se no existe caminho algum com esses
extremos, a distncia no est denida.) A distncia entre dois vrtices v
e w de um grafo G ser denotada por
dist
G
(v, w) .
Se G estiver subentendido, diremos simplesmente dist(v, w).
Um circuito mnimo se o grafo no contm outro circuito mais curto.
A cintura (= girth) de um grafo o comprimento de um circuito mnimo no
grafo. (Se um grafo no tem circuito algum, sua cintura no est denida.)
Exerccios
E 14.1 No grafo da gura 14.1, calcule a distncia entre o vrtice x e cada um
dos outros vrtices. Em seguida, exiba um caminho mnimo entre x e y.
E 14.2 Seja k a distncia entre dois vrtices v e w num grafo. Mostre que
(1) existe um caminho de comprimento k de v a w e (2) no existe caminho
de comprimento menor que k de v a w. Mostre a recproca: se (1) e (2) valem
ento a distncia entre v e w k.
1
A expresso distncia mnima redundante e deve ser evitada.
123
FEOFILOFF Caminhos e circuitos mnimos 124
x
y
Figura 14.1: Encontre um caminho mnimo en-
tre r e j. Veja o exerccio 14.1.
E 14.3 Suponha que v
0
v
1
v
k
um caminho mnimo (dentre os que tm
extremos v
0
a v
k
). Prove que
dist(v
0
, v
j
) = j
para todo ndice j.
E 14.4 (DESIGUALDADE TRIANGULAR) Seja (x, y, z) um terno de vrtices
de um grafo conexo. Prove que
dist(x, y) + dist(y, z) dist(x, z) .
E 14.5 Seja r um vrtice e uv uma aresta de um grafo conexo. Mostre que
[dist(r, u) dist(r, v)[ 1 .
E 14.6 (ALGORITMO DA BUSCA EM LARGURA
2
) Construa um algoritmo e-
ciente que receba dois vrtices v e w de um grafo e calcule a distncia entre
v e w. Construa um algoritmo eciente que encontre um caminho mnimo
entre dois vrtices dados.
E 14.7 (RVORE DAS DISTNCIAS) Seja r um vrtice de um grafo conexo G.
Mostre que G tem uma rvore geradora T tal que
dist
G
(r, x) = dist
T
(r, x)
para todo vrtice x (ou seja, a distncia entre r e x em G igual distncia
entre r e x em T).
E 14.8 verdade que todo grafo conexo G tem uma rvore geradora T tal
que dist
G
(u, v) = dist
T
(u, v) para todo par u,v de vrtices?
2
Breadth-First Search Algorithm.
FEOFILOFF Caminhos e circuitos mnimos 125
E 14.9 A excentricidade de um vrtice v num grafo o nmero exc(v) :=
max
wV
dist(v, w). Um centro um vrtice de excentricidade mnima. O raio
do grafo a excentricidade de um centro.
Mostre que toda rvore tem no mximo dois centros e se tiver dois ento
eles so adjacentes.
E 14.10 Ografo de Heawood
3
temconjunto de vrtices 0, 1, 2, . . . , 13. Cada
vrtice i vizinho de (i + 1) mod 14 e de (i + 13) mod 14.
4
Alm disso, cada
i vizinho de um terceiro vrtice, que depende da paridade de i: se i par
ento ele vizinho de (i + 5) mod 14 e se i mpar ento ele vizinho de
(i + 9) mod 14.
Faa uma gura do grafo de Heawood. Encontre um circuito de compri-
mento mnimo no grafo.
E 14.11 Mostre que todo grafo conexo com m 3n/2 tem um circuito de
comprimento c log n para alguma constante c.
E 14.12 (ALGORITMO) Construa um algoritmo que calcule a cintura de
qualquer grafo dado. Construa um algoritmo que encontre um circuito
mnimo em qualquer grafo dado. (Veja o exerccio 14.6.)
Restries de paridade
Dizemos que um circuito ou caminho mpar se o seu comprimento
um nmero mpar. Analogamente, um circuito ou caminho par se o seu
comprimento um nmero par.
A cintura mpar de um grafo o comprimento de um circuito mpar
mnimo no grafo. A cintura par denida analogamente.
E 14.13 Seja r um vrtice de um grafo conexo G. Sejam u e v dois vrtices
adjacentes tais que dist(r, u) = dist(r, v). Mostre que Gtemumcircuito mpar
de comprimento no superior a dist(r, u)+dist(r, v)+1. (Veja o exerccio 14.3.)
E 14.14 Seja r um vrtice de um grafo conexo G. Sejam x e y dois vrtices
adjacentes tais que dist(r, x) e dist(r, y) tma mesma paridade (ou seja, ambos
so pares ou ambos mpares). Mostre que G tem um circuito mpar.
3
Percy John Heawood (1861 1).
4
A expresso i mod , denota o resto da diviso de i por ,.
FEOFILOFF Caminhos e circuitos mnimos 126
E 14.15 (Recproca de 14.13) Seja r um vrtice de um grafo conexo G. Seja O
umcircuito mpar emG. Mostre que Otemuma aresta xy tal que dist
G
(r, x) =
dist
G
(r, y). (Veja exerccio 14.5.)
E 14.16 Seja r um vrtice de um grafo conexo G. Mostre que G bicolorvel
se e somente se dist(r, u) ,= dist(r, v) para toda aresta uv. (Veja os exerc-
cios 14.13 e 14.15.)
E 14.17 Use o conceito de distncia para mostrar que um grafo bicolorvel
se e somente se no tem circuitos mpares. (Compare com o exerccio 4.15.
Veja o exerccio 14.14.)
E 14.18 (ALGORITMO) Construa um algoritmo que calcule a cintura mpar
de qualquer grafo dado. Construa um algoritmo que encontre um circuito
mpar mnimo emqualquer grafo dado. (Veja os exerccios 14.13, 14.15 e 14.6.
Compare com o exerccio 1.123.)
! E 14.19 (ALGORITMO) Construa umalgoritmo que calcule a cintura par de
qualquer grafo dado. Construa um algoritmo que encontre um circuito par
mnimo em qualquer grafo dado.
! E 14.20 (ALGORITMO) Dados dois vrtices u e v de um grafo G, encontre
um caminho de comprimento mnimo na coleo de todos os caminhos de
comprimento par que tm extremos u e v.
! E 14.21 (ALGORITMO) Dados dois vrtices u e v de um grafo G, encontre
um caminho de comprimento mnimo na coleo de todos os caminhos de
comprimento mpar que tm extremos u e v.
Grafos aleatrios
E 14.22 O dimetro de um grafo G o nmero max
(u,v)
dist(u, v), sendo o
mximo tomado sobre todos os pares u,v de vrtices. Prove que o dimetro
de quase todo grafo G em((n) (veja a seo 1.18) no passa de 2.
Captulo 15
Fluxo
Um uxo (= ow) em um grafo uma coleo de caminhos sem arestas em
comum.
1
Mais precisamente, um uxo uma coleo T de caminhos tal que
E
P
E
Q
=
para cada par (P, Q) de elementos distintos de T. (Acho que macarronada
seria um boa alternativa para uxo!)
Dado um grafo G e dois vrtices a e b, diremos que um uxo T liga a a b
se cada caminho em T tem um extremo em a e outro em b Podemos dizer
tambm, nessas circunstncias, que T um uxo entre a e b ou de a a b. (
claro que um uxo de a a b exatamente o mesmo que um uxo de b a a.)
Um uxo T de a a b mximo se [T[ [T
de a a b.
PROBLEMA DO FLUXO MXIMO: Dados dois vrtices a e b de um
grafo G, encontrar um uxo mximo de a a b.
Um conjunto C de arestas separa a de b se todo caminho de a a b tem
pelo menos uma aresta em C. Conforme o exerccio 15.4, todo conjunto que
separa a de b , essencialmente, um corte (X) tal que X contm a mas no
contm b.
Exerccios
E 15.1 Considere o grafo do bispo num tabuleiro 3-por-3. Seja a a casa no
canto superior esquerdo e b a casa no canto superior direito. Encontre um
uxo mximo de a a b.
1
Este uso da palavra uxo no ortodoxo. Em muitos livros, a palavra usada de
maneira um pouco diferente.
127
FEOFILOFF Fluxo 128
E 15.2 Considere o grafo da dama num tabuleiro 3-por-3. Seja a a casa no
canto superior esquerdo e b a casa no meio do tabuleiro. Encontre um uxo
mximo de a a b.
E 15.3 Considere o grafo do cavalo num tabuleiro 3-por-3. Seja a a primeira
casa da primeira linha e b a ltima casa da segunda linha. Encontre um uxo
mximo de a a b.
E 15.4 (SEPARADORES VERSUS CORTES) Seja Gumgrafo e sejama e b dois de
seus vrtices. Seja X um subconjunto de V
G
que contm a mas no contm b.
Mostre que (X) separa a de b.
Seja C um conjunto de arestas que separa a de b. Mostre que existe um
subconjunto X de V
G
tal que a X, b / X e (X) C.
E 15.5 Sejam a e b dois vrtices de um grafo. Suponha que existe um uxo
de cardinalidade k entre a e b. Mostre que todo conjunto de arestas que separa
a de b tem pelo menos k arestas.
2
E 15.6 (FLUXO VERSUS CORTE) Sejam a e b dois vrtices de um grafo G.
Suponha que todo corte que separa a de b tem pelo menos k arestas. Mostre
que um uxo de cardinalidade k liga a a b em G. (Compare com os exerc-
cios 15.5 e 1.208.)
E 15.7 (TEOREMA DE MENGER
3
) Sejam a e b dois vrtices de um grafo.
Seja T
um conjunto
mnimo de arestas dentre os que separam a de b. Mostre que
[T
[ = [C
[ .
(Esta uma combinao de 15.5 e 15.6.
4
)
E 15.8 Sejam a e b dois vrtices de um grafo G. Suponha que todo conjunto
que separa a de b tem pelo menos 2 arestas. Seja P um caminho em G com
extremos a e b. verdade que GE
P
tem um caminho com extremos a e b?
E 15.9 (ALGORITMO) Construa um algoritmo que receba dois vrtices a e b
de um grafo G e devolva um uxo T de a a b e um conjunto X que contm a
mas no contm b tais que [T[ = d(X).
2
Assim, um corte com / arestas um certicado de que no existe uxo de tamanho
maior que /.
3
Karl Menger (1o: 18). O g tem som de gato e no de gente.
4
Trata-se tambm de um caso especial do Teorema do Fluxo Mximo e Corte Mnimo de
Ford, Fulkerson, Elias, Feinstein e Shannon.
FEOFILOFF Fluxo 129
E 15.10 Seja G um grafo e sejam A e B dois subconjuntos no vazios de V
G
tais que A B = . Uma barreira qualquer subconjunto F de E
G
tal que
todo caminho de A a B tem uma aresta em F.
Suponha que toda barreira tem pelo menos k arestas. Mostre que existe
uma coleo de k caminhos de A a B sem arestas em comum.
Grafos aresta-k-conexos
A aresta-conexidade de um grafo G a cardinalidade do menor subconjunto
C de E
G
tal que GC desconexo (ou seja, tem dois ou mais componentes).
A aresta-conexidade de G denotada por
(G) .
Esta denio de conexidade no se aplica ao caso em que G tem um s
vrtice, pois nesse caso no existe C tal que GC desconexo. (Poderamos,
talvez, dizer que
(K
1
) = .) Convenciona-se, ento, que
(K
1
) = 1.
Dizemos que umgrafo G aresta-k-conexo (= k-edge-connected) para todo
k
(B
t
) para t = 2, 3, 4.
FEOFILOFF Fluxo 130
E 15.17 Seja D
t
o grafo da dama num tabuleiro t-por-t. Calcule
(D
t
) para
t = 2, 3, 4.
E 15.18 Seja C
4
o grafo do cavalo num tabuleiro 4-por-4. Calcule
(C
4
).
E 15.19 Seja G um grafo com dois ou mais vrtices. Mostre (a partir do
teorema de Menger, exerccio 15.7) que G aresta-k-conexo se e somente se
cada par de seus vrtices ligado por um uxo de cardinalidade k.
E 15.20 Mostre que
(G) = (G).
E 15.22 Seja G um grafo aresta-k-conexo. Mostre que m(G) k n(G)/2.
E 15.23 Seja G um grafo aresta-k-conexo. Sejam A e B dois subconjuntos
no vazios de V
G
tais que A B = . Mostre que existe um uxo T de
cardinalidade k em G tal que cada caminho em T tem um extremo em A e
outro em B.
E 15.24 Seja G um grafo aresta-(2k1)-conexo. Mostre que G tem um sub-
grafo bipartido gerador H que aresta-k-conexo.
Captulo 16
Fluxo internamente disjunto
Sejam a e b dois vrtices de um grafo G. Um uxo internamente disjunto
uma coleo de caminhos de a a b semvrtices internos emcomum. Portanto,
V
P
V
Q
= a, b
para cada par (P, Q) de caminhos da coleo. Diremos que uma tal coleo
liga a a b.
PROBLEMA DO FLUXO INTERNAMENTE DISJUNTO MXIMO: Dados
dois vrtices a e b de um grafo, encontrar um uxo internamente
disjunto mximo ligando a a b.
(Para evitar discusses inteis, melhor restringir o problema ao caso em
a e b no so adjacentes.)
Um separador do par (a, b) qualquer conjunto S de vrtices tal que a e b
esto em componentes distintas de GS. Em outras palavras, um separador
de (a, b) qualquer subconjunto S de V
G
a, b tal que todo caminho com
extremos a e b tem pelo menos um vrtice em S. ( claro que se a e b so
adjacentes ento no existe separador de (a, b).)
Exerccios
E 16.1 Considere o grafo do bispo num tabuleiro 4-por-4. Seja a a primeira
casa da primeira linha e b a ltima casa da ltima linha. Encontre um uxo
internamente disjunto mximo ligando a a b. Repita o exerccio com a e b
,
sendo b
[ = [S
[ ,
(Esta uma combinao de 16.6 e 16.7.)
E 16.9 Deduza o teorema de K onigEgervry (exerccio 10.7) do teorema
de Menger (exerccio 16.8).
E 16.10 (LEMA DO LEQUE) Seja a um vrtice de um grafo G e seja B um
subconjunto no vazio de V
G
a. Um leque uma coleo de caminhos
de a a B tal que V
P
V
Q
= a para cada par (P, Q) de caminhos da coleo.
Uma barreira qualquer subconjunto S de V
G
a tal que todo caminho de
a a B tem um vrtice em S.
Suponha que todo barreira tem k ou mais vrtices. Mostre que existe um
leque com k caminhos.
1
Assim, um separador com / vrtices um certicado de que no existe uxo interna-
mente disjunto de tamanho maior que /.
2
Karl Menger (1o: 18). Pronuncie o g como gato e no como gente.
FEOFILOFF Fluxo internamente disjunto 133
E 16.11 Seja G um grafo e sejam A e B dois subconjuntos no vazios de V
G
.
Uma coleo de caminhos disjunta se V
P
V
Q
= para cada par (P, Q) de
caminhos da coleo. Uma barreira qualquer subconjunto S de V
G
tal que
todo caminho de A a B tem um vrtice em S.
Suponha que toda barreira tem pelo menos k vrtices. Mostre que existe
uma coleo disjunta de k caminhos de A a B.
Conexidade
A conexidade de um grafo G a cardinalidade do menor subconjunto S de
V
G
tal que G S desconexo (ou seja, tem dois ou mais componentes). A
conexidade de um grafo G denotada por
(G) .
Esta denio de conexidade no se aplica ao caso emque G completo, pois
nesse caso no existe S tal que GS desconexo. (Poderamos, talvez, dizer
que (K
n
) = .) Convenciona-se, ento, que (K
n
) = n 1 para todo n 2
e (K
1
) = 1.
Dizemos que um grafo G k-conexo (= k-connected) para todo k (G).
Assim, um grafo 1-conexo o mesmo que um grafo conexo e um grafo 2-
conexo o mesmo que um grafo biconexo (veja seo 1.14).
E 16.12 Calcule a conexidade de um caminho. Calcule a conexidade de um
circuito.
E 16.13 Seja G um grafo completo com n 2 vrtices e e uma de suas
arestas. Calcule a conexidade de Ge.
E 16.14 Seja G um grafo no completo e k um nmero natural. Mostre que G
k-conexo se e somente se GS conexo para todo subconjunto S de V
G
tal
que [S[ < k.
E 16.15 Seja B
t
um dos componentes do grafo do bispo num tabuleiro t-por-
t. Calcule (B
t
) para t = 2, 3, 4.
E 16.16 Seja D
t
o grafo da dama num tabuleiro t-por-t. Calcule (D
t
) para
t = 2, 3, 4.
E 16.17 Seja C
4
o grafo do cavalo num tabuleiro 4-por-4. Calcule (C
4
).
FEOFILOFF Fluxo internamente disjunto 134
E 16.18 Seja G um circuito de comprimento 6. Calcule a conexidade do
grafo G.
E 16.19 Calcule a conexidade do grafo de Petersen.
E 16.20 Seja G um grafo no completo. Mostre (a partir do teorema de
Menger, exerccio 16.8) que G k-conexo se e somente se cada par de
vrtices no adjacentes de G ligado por um uxo internamente disjunto
de tamanho k.
E 16.21 Mostre que todo grafo k-conexo com dois ou mais vrtices aresta-
k-conexo. Mostre que a recproca no verdadeira, ou seja, que nem todo
grafo aresta-k-conexo com dois ou mais vrtices k-conexo.
E 16.22 Mostre que (G)
(G) = 3.
E 17.9 (ALGORITMO) Discuta o seguinte algoritmo para o problema do cir-
cuito hamiltoniano: Ao receber um grafo G, gere uma lista de todas as per-
mutaes de V
G
; descarte as permutaes que no correspondem a circuitos
hamiltonianos; devolva qualquer uma das permutaes restantes.
E 17.10 Mostre que todo grafo G tem um caminho de comprimento (G).
(Veja exerccio 1.125.)
FEOFILOFF Circuitos e caminhos hamiltonianos 137
E 17.11 Mostre que todo grafo G tem um circuito com (G) + 1 ou mais
vrtices, desde que (G) > 1. (Veja exerccio 1.128 na seo 1.9.)
E 17.12 Mostre que todo grafo G tem um caminho com pelo menos (G)
vrtices, sendo (G) o nmero cromtico (veja captulo 8) de G. (Veja o
exerccio 8.47).
E 17.13 Sejam P
e Q
e Q
eE
H
(e). Invente
um algoritmo para encontrar um circuito hamiltoniano de custo mnimo
em K.
7
(Veja o stio The Traveling Salesman Problem, mantido por Bill Cook na
Georgia Tech University.)
4
Um tal algoritmo ainda no foi encontrado. O problema de encontrar um circuito
mximo NP-difcil. Veja os livros de GareyJohnson [GJ79], Harel [Har92] e Sipser [Sip97].
5
Um tal algoritmo ainda no foi encontrado. O problema de decidir se um grafo
tem um caminho hamiltoniano NP-completo. Veja os livros de GareyJohnson [GJ79],
Harel [Har92] e Sipser [Sip97].
6
Traveling Salesman Problem ou TSP.
7
O problema NP-difcil. Veja os livros de GareyJohnson [GJ79], Harel [Har92] e
Sipser [Sip97].
FEOFILOFF Circuitos e caminhos hamiltonianos 140
Grafos hamiltonianos planares
! E 17.35 (TEOREMA DE TUTTE
8
) Mostre que todo grafo planar 4-conexo
(veja pgina 133) tem um circuito hamiltoniano. (Compare com o exerc-
cio 17.22.)
E 17.36 Mostre que nem todo grafo planar 3-conexo (veja pgina 133) tem
circuito hamiltoniano.
D 17.37 (CONJECTURA DE BARNETTE) Prove ou desprove a seguinte con-
jectura: Todo grafo planar bicolorvel 3-regular 3-conexo (veja pgina 133)
tem um circuito hamiltoniano.
9
8
William T. Tutte (11 :oo:). (Veja verbete na Wikipedia.)
9
D. Barnette props a conjectura em 1970.
Captulo 18
Coberturas por circuitos
Uma cobertura por circuitos (= circuit cover) de um grafo G qualquer
coleo O de circuitos de G tal que
OO
E
O
= E
G
. Em outras palavras,
uma cobertura por circuitos uma coleo de circuitos tal que cada aresta do
grafo pertence a pelo menos um dos circuitos do coleo.
1
Seria natural dedicar este captulo ao problema da cobertura mnima
por circuitos. Mas este problema muito difcil. (Veja m do captulo.)
Trataremos ento do problema da decomposio em circuitos, que bem
mais simples.
Uma decomposio em circuitos, ou cobertura simples por circuitos, de
umgrafo uma cobertura por circuitos que cobre cada aresta do grafo apenas
uma vez.
PROBLEMA DA DECOMPOSIO EM CIRCUITOS: Encontrar uma de-
composio em circuitos de um grafo dado.
Por conta do exerccio 18.16, este problema tambm conhecido como
problema dos ciclos eulerianos.
Exerccios
E 18.1 Exiba uma decomposio em circuitos de cada um dos grafos da
gura 18.1.
E 18.2 Para que valores de p e q uma grade p-por-q tem uma decomposio
em circuitos?
1
Coberturas por circuitos so muito diferente de coberturas por emparelhamentos, por
exmeplo, porque uma parte de um circuito no um circuito enquanto toda parte de um
emparelhamento um emparelhamento.
141
FEOFILOFF Coberturas por circuitos 142
Figura 18.1: Encontre uma decomposio em circuitos. Veja exerccio 18.1.
E 18.3 Encontre uma decomposio em circuitos do grafo do cavalo.
E 18.4 Para que valores de k o cubo Q
k
tem uma decomposio em circuitos?
E 18.5 D uma condio necessria e suciente para que um grafo completo
tenha uma decomposio em circuitos.
E 18.6 Suponha que um grafo G tem uma ponte. Mostre que G no tem
decomposio em circuitos. (Veja exerccio 1.199.)
E 18.7 Seja F um conjunto de arestas de um grafo G com trs ou mais
vrtices. Suponha que o grafo (V
G
, F) conexo e tem uma decomposio
em circuitos. Mostre que G aresta-biconexo. A recproca verdadeira?
E 18.8 Suponha que um grafo G tem um vrtice de grau mpar. Mostre que
G no tem decomposio em circuitos.
2
(Outra maneira de dizer a mesma
coisa: se um grafo G tem uma decomposio em circuitos ento todos os
vrtices de G tm grau par.)
E 18.9 (TEOREMA DE VEBLEN
3
E EULER
4
) Mostre que um grafo tem uma
decomposio em circuitos se e somente se o grau de cada um de seus
vrtices par. (Compare com o exerccio 18.8.) Em outras palavras, mostre
que a ausncia de vrtices de grau mpar condio necessria e suciente
para que um grafo tenha uma decomposio em circuitos.
E 18.10 Mostre que um grafo tem uma decomposio em circuitos se e so-
mente se todos os seus cortes so pares.
E 18.11 Grafos que tmdecomposio emcircuitos no tmvrtices mpares.
Por outro lado, grafos bicolorveis no tm circuitos mpares. H algo por
trs desse paralelo?
2
Portanto, um vrtice de grau mpar um certicado da inexistncia de decomposio
em circuitos.
3
Oswald Veblen (188o 16o). Veja verbete na Wikipedia.
4
Leonhard Euler (1o 18). Veja verbete na Wikipedia.
FEOFILOFF Coberturas por circuitos 143
E 18.12 Seja G o grafo de um mapa plano M. Suponha que G biconexo
e no tem vrtices de grau 2. Seja G
tal que [F
1
v[ = [F
2
v[ para cada vrtice v, ou seja, v incide no
mesmo nmero de arestas de F
1
e F
2
.
Coberturas por circuitos
Como j dissemos no incio do captulo, uma cobertura por circuitos de um
grafo G qualquer coleo O de circuitos de G tal que
OO
E
O
= E
G
.
8
Chinese Postman Problem. Proposto em 1962 pelo matemtico chins Mei-Ko Kwan.
FEOFILOFF Coberturas por circuitos 145
Uma cobertura por circuitos O mnima se no existe cobertura por
circuitos O
tal que [O
[ < [O[.
O comprimento total de uma cobertura por circuitos O a soma
OO
[E
O
[. claro que toda decomposio em circuitos uma cobertura
de comprimento total mnimo.
A espessura de uma cobertura por circuitos O de um grafo G o nmero
max
eE
G
[ O O : E
O
e [. Assim, se uma cobertura por circuitos tem
espessura k ento toda aresta do grafo pertence a no mximo k dos circuitos.
Reciprocamente, se cada aresta do grafo pertence a k circuitos da cobertura
ento a cobertura tem espessura k.
claro que uma decomposio em circuitos o mesmo que uma cober-
tura de espessura 1.
Exerccios
E 18.23 Mostre que um grafo tem uma cobertura por circuitos se e somente
se no tem pontes. (Veja o exerccio 1.199.)
D 18.24 (COBERTURA MNIMA POR CIRCUITOS) Resolva o seguinte pro-
blema: Encontrar uma cobertura por circuitos mnima de um grafo sem
pontes.
! E 18.25 Mostre que, para todo k par, o cubo Q
k
pode ser coberto por apenas
k/2 circuitos.
E 18.26 Encontre uma cobertura por circuitos mnima do grafo de Petersen.
E 18.27 Encontre uma cobertura por circuitos mnima do primeiro grafo da
gura 18.1. (Esse grafo pode ser descrito como K
6
M, sendo M um
emparelhamento perfeito.)
D 18.28 (COBERTURA DE COMPRIMENTO TOTAL MNIMO) Resolva o se-
guinte problema: Dado um grafo G sem pontes, encontrar uma cobertura
por circuitos de G que tenha comprimento total mnimo.
9
E 18.29 Encontre uma cobertura por circuitos do grafo de Petersen que tenha
comprimento total mnimo.
E 18.30 Mostre que todo grafo planar aresta-biconexo G tem uma cober-
tura por circuitos de comprimento total 2m(G).
9
No se conhece um algoritmo eciente para o problema. Em termos tcnicos, o pro-
blema NP-difcil.
FEOFILOFF Coberturas por circuitos 146
D 18.31 (COBERTURA DE ESPESSURA MNIMA) Resolva o seguinte pro-
blema: Dado um grafo G sem pontes, encontre uma cobertura por circuitos
de G que tenha espessura mnima.
(Segundo a clebre conjectura da Cobertura Dupla por Circuitos,
10
todo
grafo sem pontes tem uma cobertura de espessura 2.)
E 18.32 Mostre que todo grafo planar aresta-biconexo tem uma cobertura
por circuitos de espessura 2.
E 18.33 Encontre uma cobertura por circuitos do grafo de Petersen que tenha
espessura mnima.
E 18.34 Encontre uma cobertura por circuitos de K
5
que tenha espessura
mnima.
E 18.35 Encontre uma cobertura por circuitos de K
3,3
que tenha espessura
mnima.
! E 18.36 (TEOREMA DE KILPATRICK E JAEGER
11
) Mostre que todo grafo
aresta-4-conexo (veja pgina 129) tem uma cobertura por circuitos de espes-
sura 2.
E 18.37 Mostre (atravs de exemplos) que os conceitos de cobertura mnima,
cobertura de comprimento total mnimo, e cobertura de espessura mnima
so distintos dois a dois.
E 18.38 Por que o problema do carteiro chins (exerccio 18.19) no resolve
o problema da cobertura por circuitos de espessura mnima (veja exerc-
cio 18.31)? Por que no resolve o problema da cobertura por circuitos de
comprimento total mnimo (veja exerccio 18.28)?
10
Circuit Double Cover Conjecture. A conjectura de George Szekeres e Paul Seymour.
11
Publicado por Kilpatrick em 1975 e F. Jaeger em 1976.
Captulo 19
Caracterizao da planaridade
Como dissemos na seo 1.17, um grafo planar se for representvel por um
mapa plano, ou seja, se for isomorfo ao grafo de algum mapa plano.
PROBLEMA DA PLANARIDADE: Decidir se um dado grafo planar
ou no.
Se um grafo no planar, como possvel tornar isso evidente? Uma
resposta muito bonita envolve o conceito de menores proibidos (veja a se-
o 1.16): todo grafo no planar temummenor que obviamente no planar.
Exerccios
E 19.1 Mostre que K
3,3
no planar. (Veja, por exemplo, o exerccio 1.271.)
E 19.2 Mostre que K
5
no planar. (Veja, por exemplo, o exerccio 1.270.)
Figura 19.1: 1
3,3
e 1
5
no so planares. Veja exerccios 19.1 e 19.2.
E 19.3 Mostre que todo subgrafo de um grafo planar planar. Em outras
palavras, se um grafo G tem um subgrafo no planar ento G no planar.
E 19.4 Suponha que todos os subgrafos prprios de um grafo G so plana-
res. verdade que G planar?
147
FEOFILOFF Caracterizao da planaridade 148
E 19.5 Suponha que um grafo G no tem subgrafo isomorfo a K
5
nem sub-
grafo isomorfo a K
3,3
. verdade que G planar?
E 19.6 Mostre que todo menor topolgico (veja seo 1.16) de um grafo
planar planar. Emoutras palavras, se umgrafo Gtemummenor topolgico
no planar ento G no planar. (Em particular, se G contm uma uma
subdiviso de K
5
ou K
3,3
ento G no planar.)
E 19.7 Mostre que todo menor (veja seo 1.16) de um grafo planar
planar. Em outras palavras, se um grafo G tem um menor no planar ento
G no planar. (Em particular, se G tem uma subcontrao isomorfa a K
5
ou a K
3,3
ento G no planar.)
E 19.8 Mostre que todo menor prprio de K
5
planar. Mostre que todo
menor prprio de K
3,3
planar.
E 19.9 Mostre que K
3,3
no um menor de K
5
. Mostre que K
5
no um
menor de K
3,3
.
E 19.10 Para que valores de t o grafo do bispo t-por-t planar?
E 19.11 Para que valores de t o grafo do cavalo t-por-t planar?
E 19.12 Mostre que o grafo de Petersen no planar. (Veja os exerccios 1.247
e 1.248.)
E 19.13 Mostre que o cubo Q
4
no planar. (Veja o exerccio 1.249.)
! E 19.14 (TEOREMA DE WAGNER
1
) Mostre que um grafo planar se e
somente se no tem um menor isomorfo a K
5
nem um menor isomorfo a K
3,3
.
(Compare com o exerccio 19.7.)
! E 19.15 (TEOREMA DE KURATOWSKI
2
) Mostre que um grafo planar se
e somente se no tem um menor topolgico isomorfo a K
5
nem um menor
topolgico isomorfo a K
3,3
. (Compare com o exerccio 19.6.)
E 19.16 Discuta a seguinte armao: Como K
5
no bicolorvel, pode-
mos concluir que todo grafo bicolorvel no planar tem um minor topol-
gico K
3,3
.
1
Publicado em 1937 por Klaus W. Wagner (11o :ooo).
2
Publicado em 1930 por Kazimierz Kuratowski (186 18o).
FEOFILOFF Caracterizao da planaridade 149
! E 19.17 (ALGORITMO) Construa um algoritmo que decida se um dado
grafo planar.
! E 19.18 Mostre que todo grafo no planar 4-conexo tem um menor K
5
.
Mostre que todo grafo no planar 3-conexo com 6 ou mais vrtices tem um
menor K
3,3
.
D 19.19 Prove a seguinte conjectura de Dirac:
3
Se um grafo G no tem um
menor topolgico K
5
ento m(G) 3n(G) 6. (Compare com o exerc-
cio 1.268.)
E 19.20 Mostre que umgrafo exoplanar (veja o exerccio 1.283) se e somente
se no tem menor K
4
nem menor K
2,3
. Mostre que um grafo exoplanar se e
somente se no tem menor topolgico K
4
nem menor topolgico K
2,3
.
3
A conjectura foi proposta por G. A. Dirac em 1964.
FEOFILOFF Caracterizao da planaridade 150
Apndice A
Algumas dicas
Exerccio 1.208. Prova por induo na distncia entre : e :. Ela cuida primeiro
do caso em que : e : so vizinhos, depois do caso em que existe um caminho de
comprimento 2 de : a :, etc.
Seja
0
1
. . .
k
um caminho de : a :. Por hiptese de induo, existem dois
caminhos, 1 e Q, de
0
a
k1
tais que 1
P
1
Q
= . Seja C um circuito que contm
a aresta
k1
k
. O grafo 1 Q C contm dois caminhos de
0
a
k
sem arestas em
comum.
Exerccio 1.226. Suponha que h dois caminhos diferentes, digamos 1 e Q, com
extremos r e j. Encontre um circuito no grafo 1 Q.
Exerccio 1.233. Seja um vrtice tal que d() = . Para cada vizinho n de ,
tome um caminho maximal dentre os que tm como primeiro vrtice e n como
segundo vrtice.
Exerccio 1.228. Faa a prova por induo em :(G). Passo da induo: Seja o
uma aresta de T e sejam T
1
e T
2
os dois componentes de T o. Por hiptese de
induo, :(T
1
) = n(T
1
) 1 e :(T
2
) = n(T
2
) 1.
Exerccio 1.229. Induo em n(G). Passo da induo: Suponha :(G) = n(G) 1.
Seja umvrtice tal que d() = 1. Ografo G conexo e :(G) = n(G)1.
Por hiptese de induo, G no tem circuitos. Portanto, G no tem circuitos.
Exerccio 1.266. Faa induo no nmero de faces. A base da induo usa a
igualdade : = n 1 vlida para rvores (veja exerccio 1.228).
Exerccio 1.268. Comece tratando do caso em que G aresta-biconexo. Veja os
exerccios 1.266 e 1.267.
151
FEOFILOFF 152
Exerccio 1.275. Veja o exerccio 1.268.
Exerccio 4.23. Digamos que as aresta em 1 so vermelhas e as outras so pretas.
Um caminho par se tem um nmero par de arestas vermelhas e mpar se tem um
nmero mpar de arestas vermelhas.
Fato fundamental: se dois caminhos tm os mesmos extremos, ento tm a
mesma paridade. Prove este fato por induo no nmero de vrtices comuns.
Exerccio 5.27. Mostre que o algoritmo do exerccio 5.22 produz um conjunto
estvel o tal que [o[ n,(j + 1).
Exerccio 6.15. Suponha 2. Construa umgrafo bicolorvel H tal que \
H
= \
G
e d
G
() d
H
() para todo vrtice . Use o exerccio 4.12.
Exerccio 8.47. Seja A
1
, . . . , A
k
uma colorao mnima que maximiza o nmero
k
i=1
i [A
i
[. Ento existe um caminho da forma r
1
r
2
. . . r
k
com r
i
A
i
.
Outra possibilidade: veja algoritmos nos exerccios 8.28 e 8.29.
Outra possibilidade: remova o ltimo vrtice de um caminho de comprimento
mximo e aplique induo.
Exerccio 8.41. No incio de cada iterao os vrtices
1
, . . . ,
j
j foram coloridos
com / cores e G[
1
, . . . ,
j
] tem uma clique com / vrtices.
Exerccio 9.23. Veja o exerccio 9.17.
Exerccio 9.36. Mostre que G tem pelo menos um componente mpar. Depois,
mostre que G no pode ter mais que um componente mpar.
Exerccio 10.4. Prove que uma das pontas de cada aresta saturada por todos os
emparelhamentos mximos. Prova por contradio: suponha que existe uma aresta
nn e emparelhamentos mximos ` e tais que ` no satura n e no satura n.
Estude o componente de (\
G
, ` ) que contm n.
Exerccio 10.6. Prova por induo no nmero de vrtices. Tome um vrtice n
que seja saturado por todos os emparelhamentos mximos. Aplique a hiptese de
induo a Gn.
Exerccio 10.18. Seja ` umemparelhamento mximo. Digamos que umcaminho
bom se tiver um extremo em l \ (`) e for `-alternante Seja A o conjunto dos
vrtices de todos os caminhos bons. Seja 1 := (\ A) (l A). Mostre que 1
uma cobertura. Mostre que [1[ = [`[.
FEOFILOFF Algumas dicas 153
Exerccio 10.12. Seja `
tal que [1
(G), 97
(G), 83
(G, o), 110
(G), 17
(A), 29
(G), 17
(G), 133
(G), 129
j(G), 17
o(G), 109
(G), 85
(G), 113
(G), 79
(A), 29
(A), 29
(G), 73
(G), 97
abrangente (subgrafo), 26
acclico, 119
adjacent, 8
adjacentes
arestas, 14, 97
vrtices, 8
alcanos, 9
aleatrio, 59
algoritmo
de aproximao, 84, 101
de Kruskal, 121
de Prim, 121
uxo mximo e corte mnimo, 128
guloso, 75, 88, 92, 115
hngaro, 105
alternating, 98
Appel, 93
aresta, 8
de corte, 42
aresta-biconexo, 44, 129
aresta-conexidade, 129
aresta-/-conexo, 129
arestas
161
FEOFILOFF NDICE REMISSIVO 162
adjacentes, 14, 97
mltiplas, 8, 55
paralelas, 8, 55
articulao, 45
articulation, 45
rvore, 47
abrangente, 119
das distncias, 124
geradora, 119
augmenting path, 98
auto-complementar, 64
(G), 83
Barnette, 140
Berge, 95
BFS, 124
bicolorao, 69
bicolorvel, 69
biconexo, 45, 133
aresta-biconexo, 44
biconnected, 45
bipartio
de conjunto, 69
de grafo, 15
bipartido, 15
completo, 15
bipartite, 15
bishop, 11
bispo, 11
Bollobs, 5
breadth-rst search, 124
bridge, 42
buraco mpar, 95
busca em largura, 124
c(G), 39
caixeiro viajante, 139
caminho, 21
alternante, 98
de aumento, 98
hamiltoniano, 135
mpar, 71
mpar mnimo, 126
maximal, 32
mximo, 32, 135
mnimo, 123
par, 71
par mnimo, 126
carteiro chins, 144
Catlin, 87
cavalo, 11
centro, 125
certicado, 71, 90, 101, 110, 128, 132, 142
chinese postman, 144
chromatic
index, 113
number, 85
Chudnovsky, 95
Chvtal, 138
ciclo, 35, 143
euleriano, 143
cintura, 123
mpar, 125
par, 125
circuit cover, 141
circuit decomposition, 141
circuit double cover, 146
circuito, 21
hamiltoniano, 135
mpar, 69, 71
mpar mnimo, 125
mximo, 135
mnimo, 123
par, 71
par mnimo, 125
circunferncia, 135
clique, 79
clique cover, 86
clique number, 79
closed, 35, 143
cobertura, 83
dupla por circuitos, 146
por arestas, 111
por circuitos, 141
por cliques, 86
por vrtices, 83
coboundary, 29
coleo, 59
colorable, 85
/-colorao, 85
colorao
de arestas, 113
de vrtices, 85
FEOFILOFF NDICE REMISSIVO 163
mnima, 85, 113
colorvel, 85
/-colorvel, 85
comparabilidade, 14
complemento, 8
completo, 8
componente, 39
mpar, 109
comprimento
de caminho, 21
de circuito, 21
de passeio, 34, 143
de trilha, 35
conector, 119
conexidade, 129, 133
conexo, 36
/-conexo, 133
conjectura
Barnette, 140
Berge, 95
Chvtal, 138
cobertura dupla por circuitos, 146
Hadwiger, 94
conjunto
acclico, 119
completo, 79
estvel, 73
independente, 73
connected, 36
corte, 29
trivial, 29
cubo, 12
/-cubo, 12
cut, 29
cut edge, 42
cut vertex, 45
cycle, 35, 143
D, 6
(G), 17
(A), 29
(G), 17
d(), 17
d(A), 29
(A), 29
dama, 10
decomposio
em circuitos, 141
degree, 17
desigualdade triangular, 124
dimetro, 126
diferena simtrica, 30, 99
Dirac, 134, 138, 149
disjuntos internamente, 45
dist( ), 123
distncia, 123
dual de mapa plano, 55
E, 6
E, 6
! E, 6
!! E, 6
E, 6
! E, 6
E, 6
> E, 6
E , 6
1
G
, 8
edge, 8
edge cover, 111
edge-biconnected, 44
Edmonds, 111
Egervry, 104
emparelhamento, 97
de peso mximo, 111
perfeito, 97
Erd os, 68, 117
estvel, 73
estrela, 15
Euler, 56, 143
euleriana, 143
excentricidade, 125
exoplanar, 58
extremos de caminho, 21
face, 54
face, 54
fechado (passeio, trilha), 35, 143
lho de vrtice, 47
oresta, 47
ow, 127
uxo, 127
internamente disjunto, 131
uxo mximo, 127
FEOFILOFF NDICE REMISSIVO 164
folha, 47
forest, 47
frmula de Euler, 56
franja, 29
fronteira de face, 54
(G, o), 110
((n), 59
Gallai, 68, 91, 111
gerador (subgrafo), 26
girth, 123
grade, 10
grca (sequncia), 67
grafo, 8
-linha, 14
acclico, 47
aleatrio, 59
aresta-biconexo, 44, 129
bicolorvel, 69
biconexo, 45, 133
bipartido, 15
bipartido completo, 15
/-colorvel, 85
complementar, 8
completo, 8
cbico, 17
da dama, 10
da torre, 11
das arestas, 14
das faces, 55
das palavras, 12
de Catlin, 87
de comparabilidade, 14
de Heawood, 33, 125
de intervalos, 14
de Kneser, 12
de mapa plano, 53
de matriz simtrica, 13
de Petersen, 12
de Turn, 77
do bispo, 11
do cavalo, 11
do rei, 12
dos estados, 13
dual, 55
exoplanar, 58
grade, 10
lineal, 14
perfeito, 95
planar, 25, 54
plano, 53
regular, 17
simples, 8
vazio, 8
grafos disjuntos, 24
graph, 8
graph design, 67
grau
de conjunto de vertices, 29
de face, 54
de vrtice, 17
mximo, 17
mdio, 17
mnimo, 17
greedy, 75, 88
grid, 10
guloso, 75
Hadwiger, 94
Hajs, 94
Haken, 93
Hall, 106
Hamilton, 135
hamiltoniano, 135
Heawood, 33, 125
heurstica
da troca de cores, 116
hexgono, 21
hidrocarbonetos, 9
incide, 8
independence number, 73
independent, 73
ndice de estabilidade, 73
induo, 26, 136
internamente disjunto, 131
interseo de grafos, 24
intervalos, 14
isolado (vrtice), 17
isolador, 31
isomorsmo, 61
isomorphism, 61
isthmus, 42
istmo, 42
FEOFILOFF NDICE REMISSIVO 165
1
n
, 8
1
p,q
, 15
1
n
, 8
(G), 133
(G), 129
king, 12
Kirkman, 135
Kneser, 12
knight, 11
K onig, 104, 116
Kruskal, 121
Kuratowski, 148
1(G), 14
lao, 8, 55
leaf, 47
liga n a , 21
ligado, 36
line graph, 14
lineal (grafo), 14
linhas (de mapa plano), 53
loop, 8, 55
Lovsz, 5, 13, 95
:(G), 8
j(G), 17
minor, 50
mapa plano, 53
matching, 97
maximum weight, 111
matriz
de adjacncias, 9
de incidncias, 9
maximal, 73, 97
maximal vs mximo, 32, 73, 97, 119
mximo, 27, 73, 97
Menger, 128, 132
menor, 50
menor topolgico, 50
minimal vs mnimo, 119
minor, 50
multiple edges, 8, 55
n(G), 8
N(), 17
N(A), 30
no ordenado, 8
neighbor, 8
neighborhood, 17
NP-completo, 5
NP-difcil, 5
nmero cromtico, 85
nmero de cores, 85, 113
o(G), 109
(G), 79
odd component, 109
odd hole, 95
ordem parcial, 14
origem de passeio, 34
outerplanar, 58
pai de vrtice, 47
palavras, 12
par no ordenado, 8
parallel edges, 8, 55
paridade, 71
partio, 15
passeio, 34, 143
de a n, 34, 143
fechado, 35
simples, 35
pentgono, 21
perfect
elimination scheme, 90
graph, 95
matching, 97
perfeito
emparelhamento, 97
grafo, 95
permutao, 21, 47
peso de aresta, 111, 121
Petersen, 12
planar, 25, 54, 147
ponta de aresta, 8
ponte, 42
pontos (de mapa plano), 53
Prim, 121
problema
do caixeiro viajante, 139
do carteiro chins, 144
Q
k
, 12
quadrado, 21
FEOFILOFF NDICE REMISSIVO 166
quase todo, 59
queen, 11
raiz de rvore, 47
random, 13
regular, 17
rei, 12
Robertson, 93, 95
roda, 24
rook, 11
Roy, 91
separa, 34, 127, 131
separador, 131
sequncia grca, 67
Seymour, 93, 95, 146
slither, 100
spanning, 26, 119
stability number, 73
stable, 73
star, 15
subcontrao, 50
subdiviso, 51
subgrafo, 26
abrangente, 26
gerador, 26
induzido, 26
maximal, 39
prprio, 26
subpartio, 50
suporte de mapa plano, 54
Szekeres, 146
tabuleiro, 11
teorema das
Quatro Cores, 93
teorema de
Berge, 100
Brooks, 89
Dirac, 134, 138
Erd os e Gallai, 68
Euler, 142
Gallai e Roy, 91
Hall, 106
Havel e Hakimi, 68
K onig, 116
K onigEgervry, 104
Kuratowski, 148
Menger, 128, 132
Turn, 77
Tutte, 109, 140
TutteBerge, 110
Veblen, 142
Vizing, 117
Wagner, 148
trmino de passeio, 34
Thomas, 93, 95
topological minor, 50
torre, 11
trail, 35, 143
traveling salesman, 139
tree, 47
tringulo, 21
trilha, 35, 143
euleriana, 143
fechada, 143
TSP, 139
Turn, 77
Tutte, 109, 140
unio de grafos, 24
usa / cores, 85
\
G
, 8
vai de a n, 32
vazio, 8
vertex cover, 83
vrtice, 8
de corte, 45
interno, 21, 131
isolado, 17
saturado, 97
vrtices
brancos, 15
pretos, 15
vrtices adjacentes, 8
vizinho, 8
Wagner, 148
walk, 34, 143
wheel, 24
Wilson, 117
(G), 85
(G), 113