Você está na página 1de 166

Exerccios de

Teoria dos Grafos


http://www.ime.usp.br/~pf/grafos-exercicios/
Paulo Feoloff
Departamento de Cincia da Computao
Instituto de Matemtica e Estatstica
Universidade de So Paulo
julho de 2012
FEOFILOFF 2
Sumrio
1 Conceitos bsicos 7
1.1 Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Grafos bipartidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3 Vizinhanas e graus de vrtices . . . . . . . . . . . . . . . . . . . . . . . 17
1.4 Caminhos e circuitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5 Unio e interseo de grafos . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.6 Grafos planares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.7 Subgrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.8 Cortes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.9 Caminhos e circuitos em grafos . . . . . . . . . . . . . . . . . . . . . . . 32
1.10 Grafos conexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.11 Componentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.12 Pontes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.13 Grafos aresta-biconexos . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.14 Articulaes e grafos biconexos . . . . . . . . . . . . . . . . . . . . . . . 45
1.15 Florestas e rvores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.16 Menores de grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.17 Mapas planos e suas faces . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.18 Grafos aleatrios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2 Isomorsmo 61
3 Sntese de grafos com graus dados 67
4 Grafos bicolorveis 69
5 Conjuntos estveis 73
6 Cliques 79
7 Cobertura por vrtices 83
3
FEOFILOFF 4
8 Colorao de vrtices 85
9 Emparelhamentos 97
10 Emparelhamentos em grafos bipartidos 103
11 Emparelhamentos em grafos arbitrrios 109
12 Colorao de arestas 113
13 Conectores e conjuntos acclicos 119
14 Caminhos e circuitos mnimos 123
15 Fluxo 127
16 Fluxo internamente disjunto 131
17 Circuitos e caminhos hamiltonianos 135
18 Coberturas por circuitos 141
19 Caracterizao da planaridade 147
A Algumas dicas 151
B O alfabeto grego 157
Bibliograa 159
ndice Remissivo 161
Prefcio
A teoria dos grafos estuda objetos combinatrios os grafos que so um
bom modelo para muitos problemas de matemtica, de computao, e de
engenharia. A teoria dos grafos no propriamente uma teoria mas uma
coleo de problemas. Muitos desses problemas so um interessante desao
intelectual e tm importantes aplicaes prticas.
O presente texto uma coleo de exerccios de teoria dos grafos. A mai-
oria dos exerccios foi extrada dos livros de Bondy e Murty [BM08, BM76],
Wilson [Wil79], Diestel [Die00, Die05], Bollobs [Bol98], Lovsz [Lov93], Mel-
nikov et alii [MST
+
98], Lucchesi [Luc79] e Lovsz e Plummer [LP86]. Alguns
outros so subproduto de projetos de pesquisa. Autros ainda nasceram de
conversas com professores, colegas e alunos.
O texto tem muitos links que levam de uma parte do texto a outra e
apontam para material complementar. Para tirar proveito desses links
preciso ler o texto na tela do seu computador (e no impresso em papel).
O stio www.ime.usp.br/~pf/grafos-exercicios/ tem informaes adicionais,
alm de uma verso atualizada do texto.
Organizao. O captulo 1 trata de conceitos bsicos. Cada um dos outros
captulos aborda umproblema clssico. Muitos desses problemas tmcarter
computacional: procura-se um algoritmo eciente que receba um grafo e
extraia dele uma certa informao. Alguns dos problemas so fceis, outros
so difceis; alguns j foram resolvidos, outros no.
1
Em que ordem os captulos devem ser examinados? Depois de estudar a
primeira seo do captulo 1, sugiro que o leitor avance imediatamente para o
captulo 2 e os seguintes, voltando ao captulo 1 somente quando isso se zer
necessrio. H um bom ndice remissivo que ajuda a localizar as denies
dos vrios conceitos.
1
Para vrios desses problemas no se conhece (ainda?) um algoritmo rpido, ou seja,
no se conhece um algoritmo substancialmente melhor que examinar, pacientemente, uma
enorme lista de candidatos a soluo. Em termos tcnicos, um problema desse tipo NP-
completo ou NP-difcil. Veja os livros de GareyJohnson [GJ79], Harel [Har92] e Sipser [Sip97].
5
FEOFILOFF 6
Classicao dos exerccios. A maioria dos exerccios tem um prexo ge-
nrico E. Alguns tm prexos mais especcos:
E . . . particularmente fcil ou rotineiro
! E . . . difcil
!! E . . . muito difcil
E . . . importante
! E . . . importante e difcil
E . . . importante mas fcil
E . . . til como ferramenta tcnica
E . . . particularmente bom
D . . . desao, problema em aberto
Mas esta classicao no muito convel e no foi feita de maneira muito
sistemtica.
Terminologia tcnica em ingls. Boa parte da literatura da teoria dos gra-
fos est escrita em ingls. Por isso, a denio de cada termo tcnico em
portugus acompanhada, entre parnteses, do correspondente termo em
ingls. O termo em ingls tambm listado no ndice remissivo.
O idioma ingls determinou a escolha de muitos smbolos. Assim, por
exemplo, o conjunto das arestas (= edges) de um grafo denotado por E e
no por A, como seria mais natural em portugus.
Agradecimentos. Agradeo a Rogrio Brito por resolver vrias diculda-
des tipogrcas.
IMEUSP, So Paulo, julho de 2012
P. F.
Captulo 1
Conceitos bsicos
Este captulo formaliza a noo de grafo e introduz alguns conceitos bsicos,
como grau de vrtice, corte, subgrafo, conexo, componente, ponte, arti-
culao, unio, interseo, complemento, menor, etc. O captulo tambm
introduz alguns tipos importantes de grafos, como
caminhos,
circuitos,
rvores,
grafos bipartidos,
grafos aresta-biconexos,
grafos biconexos,
grafos planares,
grafos de intervalos,
grafos aleatrios, etc.
Vrios exemplos de grafos encontrados na natureza tambm so apresenta-
dos. o caso
das grades,
dos cubos,
do grafo de Petersen,
dos grafos de diversas peas do jogo de xadrez,
dos grafos de compostos qumicos, etc.
Estes exemplos sero teis nos demais captulos do texto.
Sugiro que o leitor estude a primeira seo deste captulo e logo avance
para os captulos seguintes (a comear pelo captulo 2, que trata de isomor-
smo). Quando necessrio, o leitor poder voltar a este captulo 1 para
aprender novos conceitos e rever denies. O ndice remissivo pode ser
muito til nesse processo.
7
FEOFILOFF Grafos 8
1.1 Grafos
Um grafo (= graph)
1
uma estrutura formada por dois tipos de objetos:
vrtices (= vertices) e arestas (= edges). Cada aresta um par no ordenado
de vrtices, ou seja, um conjunto com exatamente dois vrtices.
2
Uma aresta
como v, w ser denota simplesmente por vw ou wv; diremos que a aresta n
incide em v e em w; diremos tambm que v e w so as pontas da aresta;
diremos, ainda, que os vrtices v e w so vizinhos (= neighbors), ou adjacentes
(= adjacent).
EXEMPLO: os vrtices do grafo so t, u, v, w, x, y, z e as arestas
so vw, uv, xw, xu, xy e yz. A gura abaixo uma representao
grca desse grafo.
v
u
w
y
x
z
t
De acordo com nossa denio, um grafo no pode ter duas arestas dife-
rentes como mesmo par de pontas (ou seja, no pode ter arestas paralelas).
Alm disso, as duas pontas de qualquer aresta so diferentes (ou seja, no h
laos). Alguns livros gostamde enfatizar esse aspecto da denio dizendo
que o grafo simples; ns no usaremos este adjetivo. simples
Um grafo com conjunto de vrtices V e conjunto de arestas E denotado
por (V, E). Muitas vezes conveniente dar um nome ao grafo como um todo. (\, 1)
Se o nome do grafo G, o conjunto dos seus vrtices denotado por V
G
e o
\
G
, 1
G
conjunto das suas arestas por E
G
. O nmero de vrtices de G denotado por
n(G)
n(G) e o nmero de arestas por m(G); portanto,
:(G)
n(G) := [V
G
[ e m(G) := [E
G
[ .
O complemento de um grafo (V, E) o grafo (V, V
(2)
E), onde V
(2)
\
(2)
o conjunto de todos os pares no ordenados
3
de elementos de V . O
complemento de G usualmente denotado por G. G
Um grafo G completo se E
G
= V
(2)
G
. A expresso G um K
n
uma 1
n
abreviatura de G um grafo completo com n vrtices. Um grafo G vazio
se E
G
= . A expresso G um K
n
uma abreviatura de G um grafo 1
n
vazio com n vrtices.
1
O termo foi usado pela primeira vez (no sentido que nos interessa aqui) por James
Joseph Sylvester (181 18). (Veja verbete na Wikipedia.)
2
Suporemos sempre que os conjuntos de vrtices e de arestas de qualquer grafo so
nitos e mutuamente disjuntos. Suporemos tambm que o conjunto de vrtices no vazio.
3
Diestel [Die05] escreve [\ ]
2
. H quem escreva
_
V
2
_
.
FEOFILOFF Grafos 9
Exerccios
E 1.1 Faa uma lista de todos os grafos que tenham a, b, c por conjunto
de vrtices.
4
Faa a lista de modo que cada grafo aparea ao lado do seu
complemento.
E 1.2 Faa uma gura de um K
5
e outra de um K
5
. Quantas arestas tem
um K
n
? E um K
n
?
E 1.3 A matriz de adjacncias de um grafo G a matriz A denida da
seguinte maneira: para quaisquer dois vrtices u e v, matriz de
adjacncias
A[u, v] =
1 se uv E
G
,
0 em caso contrrio.
claro que a matriz indexada por V
G
V
G
. (A matriz de adjacncia uma
espcie de gura do grafo. Ela tem certas vantagens sobre a gura pontos-
e-linhas que usamos acima.)
Escreva a matriz de adjacncias do grafo denido no exemplo que apa-
rece na pgina 8. Escreva a matriz de adjacncias de um K
4
. Qual a relao
entre a matriz de adjacncias de um grafo e matriz de adjacncias do seu
complemento?
E 1.4 A matriz de incidncias de um grafo G a matriz M denida da
seguinte maneira: para todo vrtice u e toda aresta e, matriz de
incidncias
M[u, e] =
1 se u uma das pontas de e ,
0 em caso contrrio.
claro que a matriz indexada por V
G
E
G
. (A matriz de incidncia uma
espcie de gura do grafo. Ela tem certas vantagens sobre a gura pontos-
e-linhas que usamos acima.)
Escreva a matriz de incidncias do grafo denido no exemplo que apa-
rece na pgina 8. Escreva a matriz de incidncias de um K
4
. Quanto vale a
soma de todos os elementos da matriz de incidncias de um grafo? Qual a
relao entre a matriz de incidncias de um grafo e matriz de incidncias do
seu complemento?
E 1.5 Os hidrocarbonetos conhecidos como alcanos tm frmula qumica alcanos
C
p
H
2p+2
, onde C e H representam molculas de carbono e hidrognio res-
pectivamente. As molculas de alcanos podem ser representadas por grafos
como os da gura 1.1.
4
Num conjunto, a ordem em que os elementos so apresentados irrelevante. Assim,
o, /, c = /, c, o = c, /, o.
FEOFILOFF Grafos 10
Faa uma gura de uma molcula de metano C
1
H
4
. Quantas molculas
diferentes de C
3
H
8
existem?
Figura 1.1: Etano (C
2
H
6
), butano (C
4
H
10
) e isobutano (C
4
H
10
). Os vrti-
ces em que incide uma s aresta representam tomos de hidrognio (H);
os demais representam tomos de carbono (C). (Veja o exerccio 1.5.)
E 1.6 Seja V o produto cartesiano 1, 2, . . . , p1, 2, . . . , q, isto , o conjunto
de todos os pares ordenados
5
(i, j) com i em 1, . . . , p e j em 1, . . . , q.
Digamos que dois elementos (i, j) e (i

, 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

um subgrafo induzido de H. Mostre que 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

) para todo isolador 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

dois caminhos de comprimento mximo em um grafo


conexo G. Mostre que P

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

cujos pontos esto todos em A.


FEOFILOFF Mapas planos e suas faces 55
topologicamente homeomorfa a um disco e cada linha pertence fronteira
de duas faces diferentes. Se G biconexo, as faces de Mso ainda mais bem
comportadas: a fronteira de cada face corresponde a um circuito de G.
O grafo das faces, ou grafo dual, de um mapa plano M denido da
seguinte maneira: os vrtices do grafo so as faces do mapa e duas faces so
adjacentes se suas fronteiras tm pelo menos uma linha em comum.
49
(Note
que o grafo dual denido a partir de um mapa e no a partir do grafo
do mapa. Um grafo planar pode ser representado por vrios mapas planos
diferentes,
50
e cada um desses mapas tem o seu grafo dual.)
Um exemplo: o grafo dos estados do Brasil que examinamos no exerc-
cio 1.17 o grafo dual do mapa do Brasil.
Exerccios
E 1.258 Seja M um mapa plano e suponha que o grafo do mapa um cami-
nho. Mostre que Mtem apenas uma face.
Seja M um mapa plano e suponha que o grafo do mapa um circuito.
Mostre que M tem exatamente duas faces (e as duas faces tm a mesma
fronteira).
E 1.259 Mostre que um mapa plano tem uma e uma s face se e somente se
o grafo do mapa uma oresta.
E 1.260 Considere um mapa plano que representa uma grade p-por-q. Quan-
tas faces tem o mapa?
E 1.261 Seja Mum mapa plano que representa uma grade 3-por-4. Faa uma
gura do grafo das faces (ou seja, do grafo dual) de M.
E 1.262 Quantas faces tem um mapa plano que representa o cubo Q
3
?
E 1.263 Faa uma gura dos grafos das faces de cada um dos mapas planos
desenhados nas guras 1.12 e 1.13.
49
O estudo da dualidade planar ca mais limpo se a denio de grafo liberalizada
para permitir arestas paralelas (ou seja, duas ou mais arestas diferentes com o mesmo par
de pontas) e laos (ou seja, uma aresta com duas pontas iguais). claro que a denio de
mapa plano deve ser liberalizada de acordo. Prero no adotar essa liberalizao no presente
texto. Para compensar, ser necessrio evitar ocasionalmente grafos que tm articulaes ou
vrtices de grau 2.
50
Mas veja o exerccio 1.282.
FEOFILOFF Mapas planos e suas faces 56
Figura 1.12: Faa uma gura do grafo dual de cada um
dos mapas planos da gura.
Figura 1.13: Faa uma gura do grafo dual de cada um
dos mapas planos da gura.
E 1.264 Seja G um K
5
e e uma aresta de G. Seja M um mapa plano que
representa G e. Seja G

o grafo das faces (ou seja, o grafo dual) de M.


Faa uma gura de G

. Verique que G

planar. Exiba uma representao


plana, digamos M

, de G

. Faa uma gura do grafo das faces de M

.
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

o grafo das faces


(isto , o grafo dual) do mapa M. Mostre que G

planar.
Seja M

um mapa plano que representa G

. Seja G

o grafo das faces


de M

. 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

o grafo das faces (isto , o


grafo dual) de M. Mostre que 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

e (2) para todo / em 1 existe o em tal que / = )(o).


61
FEOFILOFF Isomorsmo 62
Figura 2.1: Os grafos da gura so isomorfos?
E 2.4 Mostre que dois caminhos so isomorfos se e somente se tm o mesmo
comprimento. Mostre que dois circuitos so isomorfos se e somente se tm o
mesmo comprimento.
E 2.5 Faa uma lista de todos os grafos sobre o conjunto de vrtices 1, 2, 3, 4
que sejam dois a dois no isomorfos. (Em outras palavras, faa a lista modo
que todo grafo com 4 vrtices seja isomorfo a um e apenas um dos grafos da
lista.)
E 2.6 Para n = 1, 2, 3, . . . , faa uma lista de todas as rvores sobre o conjunto
de vrtices 1, 2, 3, . . . , n que sejam duas a duas no isomorfas.
E 2.7 Os grafos da gura 2.2 so isomorfos dois a dois?
Figura 2.2: Esses grafos so dois a dois isomorfos?
E 2.8 Os grafos da gura 2.3 so isomorfos? Justique.
Figura 2.3: Os grafos da gura so isomorfos?
FEOFILOFF Isomorsmo 63
E 2.9 Os grafos da gura 2.4 so isomorfos? Justique.
. .
Figura 2.4: Esses grafos so isomorfos?
E 2.10 Seja G a grade 3-por-4 e H a grade 4-por-3 (veja exerccio 1.6). Os
grafos G e H so iguais? so isomorfos?
E 2.11 Mostre que a grade p-por-q e o grafo denido no exerccio 1.7 so
isomorfos.
E 2.12 Mostre que o cubo Q
3
isomorfo a algum subgrafo do Q
4
.
E 2.13 Mostre que o cubo Q
4
tem um subgrafo isomorfo grade 4-por-4.
E 2.14 Para quais valores de t os dois componentes do grafo do bispo t-por-t
so isomorfos?
D 2.15 Caracterize os grafos que so isomorfos a um subgrafo do Q
k
.
E 2.16 Suponha que os grafos G e H so isomorfos. Mostre que n(G) = n(H)
e m(G) = m(H). Mostre que para qualquer isomorsmo f de G em H tem-se
d
G
(v) = d
H
(f(v)) para todo v em V
G
. Mostre que se G tem um circuito de
comprimento k ento H tambm tem um circuito de comprimento k.
E 2.17 (ALGORITMO) O seguinte algoritmo se prope a decidir se dois gra-
fos, G e H, so isomorfos:
examine todas as bijees de V
G
em V
H
;
se alguma delas for um isomorsmo, ento G isomorfo a H;
caso contrrio, G e H no so isomorfos.
Discuta o algoritmo.
E 2.18 (ALGORITMO) O seguinte algoritmo se prope a decidir se dois gra-
fos, G e H, so isomorfos:
se n(G) ,= n(H) ento G e H no so isomorfos;
se :(G) ,= :(H) ento G e H no so isomorfos;
se [ \
G
: d
G
() = i [ , = [ \
H
: d
H
() = i [ para algum i
FEOFILOFF Isomorsmo 64
ento G e H no so isomorfos;
em todos os demais casos, G isomorfo a H.
Discuta o algoritmo.
E 2.19 Sejam G e H dois grafos e f uma bijeo de V
G
em V
H
tal que d
G
(v) =
d
H
(f(v)) para todo v em V
G
. verdade que G

= H?
E 2.20 Certo ou errado? Para mostrar que dois grafos G e H com mesmo
nmero de vrtices no so isomorfos basta exibir uma bijeo f de V
G
em
V
H
e um par de vrtices u e v em V
G
tal que (1) uv E
G
mas f(u)f(v) / E
H
ou (2) uv / E
G
mas f(u)f(v) E
H
.
E 2.21 Seja /o conjunto de todos grafos que representamos alcanos que tm
frmula C
4
H
10
. (Veja exerccio 1.5.) Cada um desses alcanos tem 4 vrtices
de grau 4 e 10 vrtices de grau 1. Quantos grafos dois-a-dois no isomorfos
h em/?
E 2.22 Mostre que o grafo das arestas (veja o exerccio 1.24) de um K
5

isomorfo ao complemento do grafo de Petersen.
E 2.23 verdade que todo grafo isomorfo ao grafo das arestas (veja exerc-
cio 1.24) de algum outro grafo?
E 2.24 Seja X um conjunto de vrtices de um grafo G. Suponha que o sub-
grafo induzido G[X] uma estrela (veja a seo 1.2) com 4 vrtices. Mostre
que Gno isomorfo ao grafo das arestas (veja exerccio 1.24) de outro grafo,
ou seja, que no existe grafo H tal que G

= L(H).
E 2.25 Seja G o grafo de Petersen. Dados quaisquer dois vrtices u e v de G,
mostre que existe um isomorsmo de G em G (isomorsmos desse tipo so
conhecidos como automorsmos) que leva u em v. Dadas quaisquer duas
arestas uv e xy de G, mostre que existe um isomorsmo de G em G que leva
uv em xy (ou seja, leva u em x e v em y ou leva u em y e v em x).
E 2.26 Um grafo auto-complementar se for isomorfo ao seu complemento.
Mostre que se G um grafo auto-complementar ento n(G) := 0 (mod 4) ou
n(G) := 1 (mod 4).
2
2
A expresso r := i (mod 4) signica que o resto da diviso de r por 4 e o resto da
diviso de i por 4 so iguais, ou seja, que r mod 4 = i mod 4. Em outras palavras, r i
divisvel por 4.
FEOFILOFF Isomorsmo 65
D 2.27 Encontre uma caracterizao eciente de grafos no isomorfos. Em
outras palavras, encontre uma propriedade A que seja fcil de vericar e que
torne verdadeira a seguinte armao: Dois grafos G e H no so isomorfos
se e somente se A.
D 2.28 (ALGORITMO) Esboce um algoritmo rpido que resolva o problema
do isomorsmo (isto , decida se dois grafos dados so isomorfos).
FEOFILOFF Isomorsmo 66
Captulo 3
Sntese de grafos com graus dados
Um grafo G realiza uma sequncia (g
1
, g
2
, . . . , g
n
) de nmeros naturais
1
se os
vrtices do grafo so 1, 2, . . . , n e d(i) = g
i
para todo i.
Uma sequncia (g
1
, g
2
, . . . , g
n
) de nmeros naturais grca se existe um sequncia
grca
grafo que a realize.
PROBLEMA DA SNTESE: Dada uma sequncia de nmeros naturais,
decidir se ela ou no grca.
Esse problema s vezes chamado de graph design problem.
Exerccios
E 3.1 Considere as sequncias (2, 2, 0), (1, 1, 2, 2), (0, 3, 1, 0), (0, 1, 2, 2, 3),
(3, 3, 2, 2, 1), (6, 6, 5, 4, 3, 3, 1) e (7, 6, 5, 4, 3, 3, 2). Quais delas so grcas?
E 3.2 Suponha que (g
1
, g
2
, . . . , g
n
) uma sequncia grca. Mostre que g
i

n 1 para todo i e que

g
i
par. Formule a recproca; ela verdadeira?
E 3.3 Mostre que uma sequncia (g
1
, g
2
, . . . , g
n
) grca se e somente se
a sequncia (ng
1
1, ng
2
1, . . . , ng
n
1) grca. (Este fato pode ser
usado como base de um algoritmo que reconhece sequncias grcas.)
E 3.4 Prove que para cada n 5 existe um grafo 4-regular com n vrtices.
E 3.5 verdade que para cada nmero r existe um grafo r-regular?
verdade que para cada par (r, n) de nmeros tal que r < n existe um grafo
r-regular com n vrtices?
1
O conjunto dos nmeros naturais 0, 1, 2, . . ..
67
FEOFILOFF Sntese de grafos com graus dados 68
E 3.6 Suponha que (g
1
, g
2
, . . . , g
n
) uma sequncia grca e k um nmero
natural n. Mostre que a sequncia
(k, g
1
+1, g
2
+1, . . . , g
k
+1, g
k+1
, . . . , g
n
)
tambm grca. Formule a recproca deste fato; ela verdadeira?
E 3.7 (TEOREMA DE HAVEL E HAKIMI
2
) Seja (k, g
1
, g
2
, . . . , g
n
) uma
sequncia de nmeros naturais tal que k g
1
g
2
. . . g
n
. Suponha que
a sequncia
(g
1
1, g
2
1, . . . , g
k
1, g
k+1
, . . . , g
n
)
grca. Mostre que a primeira sequncia tambm grca.
E 3.8 (TEOREMA DE ERD

OS
3
E GALLAI
4
) Mostre que uma sequncia
(g
1
, g
2
, . . . , g
n
) de nmeros naturais grca se e somente se

i
g
i
par e
k

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

mximo se no existe conjunto estvel X tal mximo


que [X[ > [X

[. Em outras palavras, X

mximo se [X

[ [X[ para todo


conjunto estvel X.
PROBLEMA DO CONJUNTO ESTVEL MXIMO: Encontrar um con-
junto estvel mximo num grafo dado.
importante no confundir mximo com maximal. Um conjunto estvel
X

maximal se no faz parte de um conjunto estvel maior, ou seja, se no maximal


existe conjunto estvel X tal que X 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 partio de W. Suponha que N(X) Y . (Veja


denio de N(X) no exerccio 1.108.) Mostre que Y X

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

-colorao para todo 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

mximo se no existe umemparelhamento M


tal que [M[ > [M

[. A cardinalidade de um emparelhamento mximo num


grafo G denotada por

(G) .
A propsito, um emparelhamento M

maximal se no faz parte de um


emparelhamento maior, ou seja, se no existe um emparelhamento M tal que
M 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

. Mostre que o complemento de (G M) 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

dois emparelhamentos num grafo G. Descreva o


grafo (V
G
, M 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

(G) (G) para todo grafo G.


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

um emparelhamento mximo em um grafo. evidente que


[M[ [M

[. Mostre que [M[


1
2
[M

[. verdade que [M[ >


1
2
[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

uma cobertura mnima de um grafo bicolorvel. Mostre que


[M

[ = [K

[. (Segue de 9.30 e 10.6.)


E 10.8 Mostre que

(G) = (G) em todo grafo bicolorvel G.


E 10.9 Encontre um emparelhamento mximo e uma cobertura mnima no
grafo da gura 10.1.
E 10.10 Seja G um grafo bicolorvel. Prove que (G) = (G).
1
Publicado em 1988.
2
Publicado em 1931 por Dnes K onig (188 1). O teorema tambm atribudo a
Eugene Egervry (11).
FEOFILOFF Emparelhamentos em grafos bipartidos 105
E 10.11 D uma condio necessria e suciente para que umgrafo bipartido
tenha um emparelhamento com k arestas.
E 10.12 Seja G um grafo U, W-bipartido. Suponha que [U[ = [W[ e
m(G) > (k 1) [U[ para algum k inteiro positivo. Prove que G tem um
emparelhamento de cardinalidade k.
Algoritmos
E 10.13 Seja G um grafo U, W-bipartido. Seja U

, U

uma partio de U
e W

, W

uma partio de W. Mostre que N(U

) W

se e somente se
N(W

) U

. Mostre que se N(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

[ > [M[ ou (2) uma cobertura K tal que [K[ = [M[.


(Veja o exerccio 10.14.)
E 10.16 (ALGORITMO HNGARO
3
) Construa um algoritmo eciente que
receba um grafo bipartido G e devolva um emparelhamento M e uma co-
bertura K de mesmo tamanho. (Veja o exerccio 10.15.) (Esta a verso
algortmica do exerccio 10.6.)
E 10.17 (ALGORITMO) Seja M um emparelhamento em um grafo U, W-
bipartido G. Seja V (M) o conjunto dos vrtices saturados por M. Seja a um
vrtice em U V (M) e b um vrtice em W V (M). Escreva um algoritmo
que encontre um caminho alternante com origem a e trmino b (ou constate
que um tal caminho no existe).
E 10.18 Use o algoritmo hngaro (exerccio 10.16) para provar o teorema de
K onigEgervry (exerccio 10.7).
3
Referncia aos hngaros K onig, Egervry e outros.
FEOFILOFF Emparelhamentos em grafos bipartidos 106
E 10.19 (ALGORITMO) Mostre como encontrar umconjunto estvel mximo
num grafo bipartido.
Emparelhamentos semi-perfeitos
Um emparelhamento num grafo bipartido semi-perfeito se satura um dos
lados do grafo. claro que todo emparelhamento semi-perfeito mximo,
mas nem todo emparelhamento mximo semi-perfeito.
PROBLEMA: Dado um grafo U, W-bipartido, encontrar um empa-
relhamento que sature U.
E 10.20 Seja G um grafo U, W-bipartido. Seja M um emparelhamento
que satura U. Prove que M um emparelhamento mximo. Prove que U
uma cobertura mnima.
E 10.21 Seja G um grafo U, W-bipartido. Suponha que [N(Z)[ < [Z[ para
algum subconjunto Z de U. Mostre que G no tem um emparelhamento que
satura U.
E 10.22 Seja G um grafo U, W-bipartido. Suponha que
[N(Z)[ [Z[
para todo subconjunto Z de U. Mostre que G tem um emparelhamento que
satura U.
E 10.23 (TEOREMA DE HALL
4
) Mostre que umgrafo U, W-bipartido tem
um emparelhamento que satura U se e somente se [N(Z)[ [Z[ para todo
subconjunto Z de U. (Segue de 10.21 e 10.22.)
E 10.24 Quais das armaes a seguir valem para todo grafo U, W-
bipartido G? (1) Se G tem um emparelhamento que satura U ento [N(Z)[
[Z[ para todo subconjunto Z de U. (2) Se G tem um emparelhamento que sa-
tura U ento [N(Z)[ [Z[ para algumsubconjunto Z de U. (3) Se [N(Z)[ < [Z[
para algum subconjunto Z de U ento G no tem um emparelhamento que
satura U. (4) Se [N(Z)[ [Z[ para todo subconjunto Z de U ento G tem um
emparelhamento que satura U. (5) Se [N(Z)[ < [Z[ para todo subconjunto Z
de U ento G no tem um emparelhamento que satura U. (6) Se [N(Z)[ [Z[
para algum subconjunto Z de U ento G tem um emparelhamento que
satura U.
4
Publicado em 1935 por Philip Hall (1o 18:). (Veja verbete na Wikipedia.)
FEOFILOFF Emparelhamentos em grafos bipartidos 107
E 10.25 (ALGORITMO) Construa um algoritmo eciente que receba um
grafo bipartido e sua bicolorao U, W e devolva (1) um emparelhamento
que satura U ou (2) um subconjunto Z de U tal que [N(Z)[ > [Z[. (Esta a
verso algortmica do teorema de Hall, exerccio 10.23.)
E 10.26 Deduza o teorema de K onigEgervry (exerccio 10.7) do teorema de
Hall (exerccio 10.23).
E 10.27 Seja H um conjunto de homens, M um conjunto de mulheres e k um
inteiro positivo. Suponha que cada homem conhece no mximo k mulheres e
cada mulher conhece no mnimo k homens. Prove que possvel casar cada
mulher com um homem que ela conhece.
E 10.28 Seja G um grafo U, W-bipartido com pelo menos uma aresta. Su-
ponha que d(u) d(w) para todo u em U e w em W. Prove que existe em G
um emparelhamento que cobre U.
E 10.29 Seja G um grafo bipartido r-regular com r > 0. Mostre que G tem
um emparelhamento perfeito.
E 10.30 Prove que um grafo bicolorvel G tem um emparelhamento perfeito
se e somente se [N

(Z)[ [Z[ para todo subconjunto Z de V


G
, sendo N

(Z) o
conjunto

zZ
N(z). ( claro que N

(Z) contm N(Z).)


D um exemplo de um grafo (no bicolorvel) que no tem emparelha-
mento perfeito mas satisfaz a desigualdade [N

(Z)[ [Z[ para todo conjunto


Z de vrtices.
E 10.31 Seja Gumgrafo U, W-bipartido e X umsubconjunto de U. D uma
condio necessria e suciente para que exista um emparelhamento em G
que satura X.
E 10.32 Seja G um grafo U, W-bipartido, X um subconjunto de U e Y
um subconjunto de W. Seja M um emparelhamento que satura X e N um
emparelhamento que satura Y . Mostre que existe um emparelhamento que
satura X Y .
E 10.33 Seja G um grafo U, W-bipartido com pelo menos uma aresta. Seja
X o conjunto dos vrtices em U que tm grau (G). Mostre que G tem um
emparelhamento que satura X.
E 10.34 Seja G um grafo bicolorvel com pelo menos uma aresta. Mostre
que existe um emparelhamento que satura todos os vrtices de grau (G).
(Veja exerccios 10.32 e 10.33.)
FEOFILOFF Emparelhamentos em grafos bipartidos 108
E 10.35 Seja K um grafo U, W-bipartido completo com [U[ = [W[. Seja G
um subgrafo de K e ponha r = (G). Mostre que existe um grafo r-regular
H tal que G H K.
E 10.36 Seja G um grafo bicolorvel e ponha r = (G). Mostre que G
subgrafo de algum grafo bicolorvel r-regular.
E 10.37 (GENERALIZAO DO TEOREMA DE HALL) Seja G um grafo
U, W-bipartido. Prove que todo emparelhamento mximo em G tem
cardinalidade
min
ZU
[U[ [Z[ +[N(Z)[ .
E 10.38 Seja Gum grafo (no necessariamente bicolorvel) e seja A, B uma
partio de V
G
. Suponha ainda que h menos que k arestas com uma ponta
em A e outra em B (ou seja, d(A) < k). Suponha que os grafos G[A] e G[B]
admitem coloraes de vrtices (veja captulo 8) com k cores. Mostre que G
admite uma colorao de vrtices com k cores.
Captulo 11
Emparelhamentos em grafos
arbitrrios
Um componente de um grafo mpar (= odd component) se tem um nmero
mpar de vrtices. O nmero de componentes mpares de um grafo G ser
denotado nesta seo por o(G). o(G)
Exerccios
E 11.1 Seja T uma rvore e suponha que o(T v) = 1 para cada vrtice v
de T. Mostre que T tem emparelhamento perfeito. (Veja antes exerccio 9.36.)
E 11.2 Suponha que um grafo G tem um emparelhamento perfeito. Mostre
que o(GS) [S[ para todo conjunto S de vrtices.
E 11.3 Suponha que um grafo G satisfaz a condio o(G S) [S[ para
todo conjunto S de vrtices. Prove que n(G) par.
! E 11.4 Suponha que um grafo G tem a seguinte propriedade:
o(GS) [S[
para todo conjunto S de vrtices. Mostre que G tem um emparelhamento
perfeito.
E 11.5 (TEOREMA DE TUTTE
1
) Mostre que um grafo G tem um empare-
lhamento perfeito se e somente se o(G S) [S[ para todo conjunto S de
vrtices. (Segue dos exerccios 11.2 e 11.4.)
1
Publicado em 1947 por William T. Tutte (11 :oo:). (Veja verbete na Wikipedia.)
109
FEOFILOFF Emparelhamentos em grafos arbitrrios 110
! E 11.6 (ALGORITMO) Esboce um algoritmo eciente que decida se um
grafo tem ou no tem um emparelhamento perfeito.
E 11.7 Deduza o teorema de Hall (exerccio 10.23) do teorema de Tutte (exer-
ccio 11.4).
E 11.8 Seja M um emparelhamento e S um conjunto de vrtices de um
grafo G. Prove que o nmero de vrtices no saturados por M pelo menos
o(GS) [S[. Deduza da que
[M[ (G, S) ,
sendo (G, S) o nmero
1
2
n(G)
1
2
_
o(GS) [S[
_
. ( )
E 11.9 Seja M um emparelhamento e S um conjunto de vrtices de um
grafo G. Suponha que [M[ = (G, S), sendo (G, S) o nmero denido no
exerccio 11.8. Mostre que o emparelhamento M mximo.
2
! E 11.10 Mostre que em qualquer grafo G existe um emparelhamento M e
um subconjunto S de V
G
tais que M deixa de saturar apenas o(G S) [S[
vrtices, ou seja, tais que
[M[ (G, S) ,
sendo (G, S) o nmero denido no exerccio 11.8.
! E 11.11 (TEOREMA DE TUTTEBERGE
3
) Prove que, em qualquer grafo G,

(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

[ = n(G) c(G[D]) +[A[ ,


onde c(H) denota o nmero de componentes do grafo H.
! E 11.15 (ALGORITMO DE EDMONDS
5
) Esboce um algoritmo eciente que
encontre um emparelhamento mximo em qualquer grafo dado.
! E 11.16 Uma cobertura por arestas (= edge cover)
6
de um grafo um con-
junto F de arestas tal que todo vrtice do grafo ponta de algum elemento
de F. (No confunda com o conceito de cobertura por vrtices.) Invente um
algoritmo eciente que produza uma cobertura por arestas mnima.
! E 11.17 (ALGORITMO DO EMPARELHAMENTO DE PESO MXIMO) Seja K
um grafo completo e uma funo de E
K
em N := 0, 1, 2, 3, . . .. Para
cada aresta e do grafo, diremos que (e) o peso de e. O peso de um
subconjunto F de E
K


eF
(e). Esboce um algoritmo para encontrar um
emparelhamento de peso mximo em K.
4
Publicada em 1963 e 1964 por Tibor Gallai (11: 1:) e em 1965 por Jack Edmonds.
5
Jack Edmonds.
6
Quem sabe eu deveria dizer cobertura de vrtices por arestas.
FEOFILOFF Emparelhamentos em grafos arbitrrios 112
Captulo 12
Colorao de arestas
Uma colorao das arestas, ou recobrimento por emparelhamentos, de um
grafo uma coleo de emparelhamentos que cobre o conjunto de arestas.
Mais precisamente, uma colorao das arestas de um grafo G uma coleo
M
1
, M
2
, . . . , M
k
de emparelhamentos tal que M
1
M
2
M
k
= E
G
.
(Podemos exigir que os emparelhamentos sejam disjuntos dois a dois; essa
disjuno cmoda mas no essencial.)
Se imaginarmos que cada emparelhamento M
i
corresponde a uma cor,
poderemos dizer que uma colorao das arestas de um grafo uma atribui-
o de cores s arestas que tem a seguinte propriedade: arestas adjacentes
recebem cores diferentes.
Se M
1
, . . . , M
k
uma colorao de arestas, dizemos que k o nmero de
cores da colorao (mesmo que algum M
i
seja vazio). Dizemos tambm que
esta uma k-colorao. Uma colorao de arestas mnima se o seu nmero
de cores o menor possvel, ou seja, se no existe outra que use menos cores.
PROBLEMA DA COLORAO DE ARESTAS: Encontrar uma colorao
mnima das arestas de um grafo dado.
Ondice cromtico (= chromatic index) de umgrafo G o nmero mnimo
de cores necessrio para colorir as arestas de G. Este nmero denotado por

(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) para todo grafo G.


E 12.11 Mostre que qualquer colorao das arestas de um grafo G usa pelo
menos (G) cores. Em outras palavras, mostre que

(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. (Veja o exerccio 9.18.)


E 12.14 Seja G um grafo r-regular, r 1. Suponha que G tem uma articula-
o. Mostre que

(G) > r.
E 12.15 Suponha que n(G) mpar e m(G) > (G) (n(G) 1)/2. Mostre que

(G) > (G).


E 12.16 Seja G um grafo r-regular, r 1, com um nmero mpar de vrtices.
Seja H umsubgrafo obtido pela remoo de no mximo (r1)/2 arestas de G.
Mostre que

(H) > (H).


E 12.17 Mostre que o conjunto das arestas de toda rvore T pode ser colorido
com (apenas) (T) cores. (Compare com o exerccio 12.11.)
E 12.18 Mostre que

(G) 2(G)1 para todo grafo G. (Sugesto: induo


no nmero de arestas de G).
E 12.19 (ALGORITMO DE COLORAO MINIMAL) Considere o seguinte al-
goritmo guloso de colorao das arestas de um grafo G. Cada iterao do
algoritmo comea com uma coleo M
1
, . . . , M
j
de emparelhamentos. Em
cada iterao,
escolha uma aresta e que no esteja em M
1
M
j
; se existe i tal
que M
i
e um emparelhamento ento comece nova iterao com
M
1
, . . . , M
i1
, M
i
e, M
i+1
, . . . , M
j
; seno, comece nova iterao
com a coleo M
1
, . . . , M
j
, e.
Mostre que o algoritmo usa no mximo 2(G) 1 emparelhamentos. Mostre
que o algoritmo usa no mximo 2

(G) 1 emparelhamentos. O algoritmo


produz uma colorao mnima?
E 12.20 (ALGORITMO DE COLORAO MINIMAL) Considere o seguinte al-
goritmo guloso de colorao das arestas de um grafo G:
a j-sima iterao comea com uma coleo M
1
, M
2
, . . . , M
j1
de
emparelhamentos e calcula um emparelhamento maximal M
j
no
grafo G(M
1
M
2
M
j1
).
Mostre que o algoritmo usa no mximo 2(G) 1 cores. Mostre que o algo-
ritmo usa no mximo 2

(G) 1 cores. O algoritmo produz uma colorao


mnima?
FEOFILOFF Colorao de arestas 116
E 12.21 (ALGORITMO) Considere o seguinte algoritmo de colorao das
arestas de um grafo G:
a j-sima iterao comea com uma coleo M
1
, M
2
, . . . , M
j1
de
emparelhamentos e calcula um emparelhamento mximo M
j
no
grafo G(M
1
M
2
M
j1
).
Esse algoritmo produz uma colorao mnima?
E 12.22 (HEURSTICA DA TROCA DE CORES) Considere a seguinte heurs-
tica
2
da troca de cores em caminhos alternantes, que tenta resolver o
problema da colorao de arestas:
No comeo de cada iterao tem-se uma colorao parcial, ou seja,
uma coleo M
1
, M
2
, . . . , M
k
de emparelhamentos disjuntos dois a
dois. Seja vw uma aresta ainda no colorida, isto , uma aresta que
no est em M
1
M
k
. Seja M
i
uma cor ausente em v e seja M
j
uma cor ausente emw. Seja P o componente do grafo (V
G
, M
i
M
j
)
que contm v. Troque M
i
por M
i
E
P
. Em seguida, troque M
j
por
M
j
vw e comece nova iterao.
Complete os detalhes e discuta a heurstica. Ela resolve o problema da
colorao de arestas?
E 12.23 Mostre que todo grafo bipartido r-regular admite uma colorao das
arestas com apenas r cores. (Veja o exerccio 10.29.)
E 12.24 Escolha 16 casas em um tabuleiro de xadrez 8-por-8 de forma que
cada linha e cada coluna do tabuleiro contenha exatamente duas das casas
escolhidas. Prove que possvel colocar 8 pees brancos e 8 pretos nas 16
casas escolhidas de tal forma que cada linha e cada coluna contenha contenha
exatamente um peo branco e um preto.
E 12.25 Seja G um grafo bicolorvel. Mostre que o conjunto de arestas de
G pode ser colorido com (apenas) (G) cores. (Veja a heurstica 12.22 ou o
exerccio 10.34.)
E 12.26 (TEOREMA DE K

ONIG
3
) Mostre que

(G) = (G) para todo


grafo bicolorvel G. (Segue dos exerccios 12.11 e 12.25.)
E 12.27 Exiba coloraes mnimas das arestas dos grafos das guras 10.1
e 10.2.
2
Wilf diz (em Algorithms and Complexity, Prentice-Hall, 1986) que heursticas so methods
that seem to work well in practice, for reasons nobody understands.
3
Dnes K onig (188 1). (Veja verbete na Wikipedia.)
FEOFILOFF Colorao de arestas 117
E 12.28 Sejam M e N dois emparelhamentos de um grafo G. Suponha que

[M[ [N[

2. Mostre que existem emparelhamentos M

e N

tais que
M N = M

[M

[ [N

<

[M[ [N[

.
E 12.29 Seja G um grafo e ponha k =

(G). Mostre que existe uma k-


colorao M
1
, M
2
, . . . , M
k
das arestas tal que

[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

+ 1 para todo grafo.)


E 12.31 Mostre que a heurstica de troca de pares de cores sugerido no
exerccio 12.22 no suciente para demonstrar o teorema de Vizing (exerc-
cio 12.30).
E 12.32 (TEOREMA DE ERD

OS AND WILSON) Seja (
1
(n) a coleo de todos
os grafos em((n) (veja seo 1.18) para os quais

= . 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

(G) = 3 para todo grafo planar 3-regular aresta-


biconexo G. (Compare com o exerccio 12.13.) (Este teorema equivalente
ao teorema das Quatro Cores, exerccio 8.63.)
Captulo 13
Conectores e conjuntos acclicos
Uma conector
1
de umgrafo G qualquer subconjunto C de E
G
tal que o grafo
(V
G
, C) conexo. Um conector C

mnimo se no existe outro conector C


tal que [C[ < [C

[.
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

mnimo se nenhumcaminho mais curto


tem os mesmos extremos que 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

[ para todo uxo 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 uxo mximo dentre os que ligam a a b. Seja C

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

(G). Assim, um grafo aresta-1-conexo o mesmo que um grafo conexo


e um grafo aresta-2-conexo o mesmo que um grafo aresta-biconexo (veja
seo 1.13).
E 15.11 Calcule a aresta-conexidade de um caminho. Calcule a aresta-
conexidade de um circuito.
E 15.12 Calcule a aresta-conexidade de um grafo completo com n 2 vrti-
ces.
E 15.13 Seja G um grafo aresta-k-conexo, com k > 0. Seja C um conjunto de
k arestas. Mostre que GC tem no mximo 2 componentes.
E 15.14 Seja G um grafo com dois ou mais vrtices e k um nmero natural.
Mostre que G aresta-k-conexo se e somente se G C conexo para todo
subconjunto C de E
G
tal que [C[ < k.
E 15.15 Seja G um grafo com dois ou mais vrtices e k um nmero natural.
Mostre que G aresta-k-conexo se e somente se d(X) k para todo conjunto
X de vrtices tal que X V
G
. (Veja o exerccio 15.4.)
E 15.16 Seja B
t
um dos componentes do grafo do bispo num tabuleiro t-por-
t. Calcule

(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) para todo grafo G com dois ou mais


vrtices. Mostre que a desigualdade pode ser estrita.
E 15.21 Seja G um grafo com dois ou mais vrtices tal que (G) (n(G)
1)/2. 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

a terceira casa da primeira linha.


E 16.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
internamente disjunto mximo ligando a a b.
131
FEOFILOFF Fluxo internamente disjunto 132
E 16.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
internamente disjunto mximo ligando a a b.
E 16.4 Seja v uma articulao em um grafo G e sejam a e b vrtices em
componentes distintos de Gv. Verique que v separa a de b.
E 16.5 Critique a seguinte denio alternativa de separador: Um separa-
dor de (a, b) um conjunto S de vrtices tal que todo caminho com extremos
a e b tem pelo menos um vrtice em S.
E 16.6 Sejam a e b dois vrtices no adjacentes de um grafo. Suponha que
um uxo internamente disjunto de a a b tem k caminhos. Mostre que todo
separador de (a, b) tem pelo menos k vrtices.
1
(Que acontece se a e b forem
adjacentes?)
E 16.7 (FLUXO VERSUS SEPARADOR) Sejama e b dois vrtices no adjacen-
tes de um grafo G. Suponha que todo separador de (a, b) tem pelo menos k
vrtices. Mostre que G tem um uxo internamente disjunto de tamanho k
ligando a a b. (Compare com os exerccios 16.6 e 1.218.)
E 16.8 (TEOREMA DE MENGER
2
) Sejam a e b dois vrtices no adjacentes
de um grafo. Seja T

um uxo internamente disjunto mximo dentre todos


os que ligam a a b. Seja S

um separador mnimo de (a, b). Mostre que


[T

[ = [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) para todo grafo G com dois ou mais


vrtices. Mostre que a desigualdade pode ser estrita.
E 16.23 Mostre que (G) =

(G) para todo grafo 3-regular G.


E 16.24 Seja k um nmero natural maior que 1 e G um grafo k-conexo com
n(G) 2k. Mostre que G tem um circuito com 2k ou mais vrtices.
E 16.25 (TEOREMA DE DIRAC
3
) Seja k um nmero natural maior que 1 e G
um grafo k-conexo. Seja Z um conjunto de k vrtices de G. Mostre que existe
um circuito em G que contm todos os vrtices de Z.
3
Publicado em 1952 por Gabriel Andrew Dirac (1: 18).
Captulo 17
Circuitos e caminhos
hamiltonianos
Um circuito num grafo mximo se o grafo no contm um circuito mais
comprido. A circunferncia de um grafo o comprimento de um circuito de
comprimento mximo no grafo.
PROBLEMA DO CIRCUITO MXIMO: Encontrar um circuito mximo
num grafo dado.
O problema de encontrar um caminho mximo formulado de maneira
anloga. Um caminho num grafo mximo se o grafo no contm um
caminho mais comprido.
Um circuito hamiltoniano
1
se contm todos os vrtices do grafo.
evidente que todo circuito hamiltoniano um circuito mximo. O problema
do circuito mximo tem a seguinte especializao bvia:
PROBLEMA DO CIRCUITO HAMILTONIANO: Decidir se um dado
grafo tem um circuito hamiltoniano.
O conceito de caminho hamiltoniano e o problema do caminho hamilto-
niano so denidos de maneira anloga.
Alguns dos exerccios abaixo envolvem a condio (G) k. Convm
lembrar que esta condio equivale a [N(v)[ k para todo vrtice v, uma
vez que [N(v)[ = d(v) para todo vrtice v.
1
Referncia a WilliamRowan Hamilton (18o 186). (Veja verbete na Wikipedia.) Teria
sido mais justo homenagear o ingls Thomas P. Kirkman (18o6 18). (Veja verbete na
Wikipedia.)
135
FEOFILOFF Circuitos e caminhos hamiltonianos 136
Exerccios
E 17.1 verdade que todo grafo completo tem um circuito hamiltoniano?
E 17.2 D condies necessrias e sucientes para que um grafo bipartido
completo tenha um circuito hamiltoniano.
E 17.3 Encontre um circuito mximo em cada um dos grafos da gura 17.1.
Figura 17.1: Encontre um circuito mximo. Veja exerccio 17.3.
E 17.4 Encontre um circuito mximo no grafo de Petersen. Encontre um
caminho mximo no grafo de Petersen.
E 17.5 Prove que para todo k 2 o grafo Q
k
tem um circuito hamiltoniano.
(Sugesto: Use induo em k.)
E 17.6 D uma condio necessria e suciente para que uma grade tenha
um circuito hamiltoniano.
E 17.7 Encontre um circuito hamiltoniano no grafo do cavalo t-por-t. (Veja
verbete na Wikipedia e artigo no Wolfram MathWorld.)
E 17.8 Seja G um grafo 3-regular dotado de um circuito hamiltoniano.
Mostre que

(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

dois caminhos mximos em um grafo conexo G.


Mostre que P

e Q

tm um vrtice em comum. (Veja o exerccio 1.170.)


E 17.14 Seja G um grafo dotado de circuito hamiltoniano. Mostre G no
tem pontes. Mostre que G no tem articulaes.
E 17.15 Seja G um grafo dotado de circuito hamiltoniano. Mostre que toda
aresta de G pertence a um circuito.
E 17.16 Seja Gumgrafo U, W-bipartido tal que [U[ , = [W[. Prove que Gno
tem circuito hamiltoniano. (Outra maneira de formular a questo: para todo
grafo U, W-bipartido dotado de circuito hamiltoniano tem-se [U[ = [W[.)
E 17.17 Suponha que um grafo G tem um conjunto estvel com mais que
n(G)/2 vrtices. Mostre que G no tem circuito hamiltoniano.
verdade que todo grafo G com (G) n(G)/2 tem um circuito hamil-
toniano?
E 17.18 (CONDIO NECESSRIA) Seja S um conjunto de vrtices de um
grafo G. Suponha que [S[ < n(G) e
c(GS) > [S[ + 1 ,
sendo c(G S) o nmero de componentes de G S. Mostre que G no tem
caminho hamiltoniano. (Veja exerccio 1.174.)
E 17.19 (CONDIO NECESSRIA) Seja S um conjunto de vrtices de um
grafo G. Suponha que 0 < [S[ < n(G) e
c(GS) > [S[ ,
sendo c(G S) o nmero de componentes de G S. Mostre que G no tem
circuito hamiltoniano. (Veja exerccio 1.175.) Outra maneira de formular a
questo: Se G tem um circuito hamiltoniano ento c(G S) [S[ para todo
subconjunto prprio e no vazio S de V
G
.
Mostre que a condio c(GS) > [S[ uma generalizao dos exerc-
cios 17.14, 17.16 e 17.17.
FEOFILOFF Circuitos e caminhos hamiltonianos 138
E 17.20 Suponha que um grafo Gsatisfaz a desigualdade c(GS) [S[ para
todo conjunto S de vrtices tal que 0 < [S[ < n(G). verdade que G tem um
circuito hamiltoniano?
D 17.21 (CONDIO SUFICIENTE: CONJECTURA DE CHVTAL
2
) Seja G um
grafo tal que c(G S) [S[/2 para todo subconjunto S de V
G
tal que 2
[S[ < n(G). Prove que G tem um circuito hamiltoniano. (Compare com o
exerccio 17.19.)
E 17.22 verdade que existe um nmero natural k tal que todo grafo k-
conexo (veja pgina 133) tem um circuito hamiltoniano? (Compare com os
exerccios 17.19 e 17.35.)
E 17.23 Seja G um grafo conexo e O um circuito em G tal que, para todo
aresta e de O, o grafo O e um caminho mximo em G. Prove que G tem
um circuito hamiltoniano.
E 17.24 Seja G um grafo com 4 ou mais vrtices tal que (G) n(G) 2.
Mostre que G tem um circuito hamiltoniano.
E 17.25 Seja G um grafo com n vrtices e m arestas. Suponha que m 2 +
1
2
(n 1)(n 2). Prove que G tem um circuito hamiltoniano.
E 17.26 (CONDIO SUFICIENTE: TEOREMA DE DIRAC
3
) Seja G um grafo
com 3 ou mais vrtices que satisfaz a condio
(G) n(G)/2 .
Mostre que G tem um circuito hamiltoniano. (Sugesto: Use o exerccio
1.129.)
E 17.27 (GENERALIZAO DO TEOREMA DE DIRAC) Seja G um grafo com
3 ou mais vrtices que satisfaz a condio
d
G
(u) + d
G
(v) n(G)
para todo par (u, v) de vrtices distintos no adjacentes. Mostre que G tem
um circuito hamiltoniano. (Sugesto: Use o exerccio 1.129.)
2
Proposta por Vaek Chvtal em 1971.
3
Publicado em 1952 por Gabriel Andrew Dirac (1: 18).
FEOFILOFF Circuitos e caminhos hamiltonianos 139
E 17.28 Seja G um grafo e V
1
, V
2
, V
3
uma partio de V
G
em partes no
vazias. Suponha que (1) cada vrtice em V
1
adjacente a todos os vrtices de
V
2
V
3
e (2) cada vrtice de V
2
adjacente a todos os vrtices de V
3
.
Prove que se [V
2
[ = 2[V
1
[ e [V
3
[ = 3[V
1
[ ento G tem um circuito hamilto-
niano. Prove que se [V
2
[ = 2[V
1
[ e [V
3
[ = 3[V
1
[ + 1 ento G no tem circuito
hamiltoniano.
E 17.29 Seja / um algoritmo que decide se um grafo dado tem um circuito
hamiltoniano. Use / para formular um algoritmo que decide se um grafo
dado tem um caminho hamiltoniano.
Seja B um algoritmo que decide se um grafo dado tem um caminho
hamiltoniano. Use B para formular um algoritmo que decide se um grafo
dado tem um circuito hamiltoniano.
D 17.30 (CONDIO NECESSRIA E SUFICIENTE?) Descubra uma condio
necessria e suciente para que um grafo tenha um circuito hamiltoniano.
Descubra uma condio necessria e suciente para que um grafo tenha um
caminho hamiltoniano.
D 17.31 (ALGORITMO) Invente um algoritmo rpido que receba um grafo e
devolva um circuito hamiltoniano no grafo (ou constate que o grafo no tem
um tal circuito).
D 17.32 (ALGORITMO) Invente um algoritmo rpido que encontre um cir-
cuito mximo em qualquer grafo que no seja uma oresta.
4
D 17.33 (ALGORITMO) Invente um algoritmo rpido que receba um grafo
e devolva um caminho hamiltoniano no grafo (ou constate que o grafo no
tem um tal caminho).
5
D 17.34 (PROBLEMA DO CAIXEIRO VIAJANTE
6
) Seja K um grafo completo
e uma funo de E
K
em0, 1, 2, 3, . . .. Para cada aresta e do grafo, diremos
que (e) o custo de e. Ocusto de umsubgrafo H de K

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

o grafo das faces (ou seja, grafo


dual) do mapa M. Mostre que G

bicolorvel se e somente se G tem uma


decomposio em circuitos.
E 18.13 (ALGORITMO) Construa um algoritmo que receba um grafo G e de-
volva uma decomposio em circuitos de G ou prove que tal decomposio
no existe.
Ciclos e trilhas eulerianas
Como j dissemos no m da seo 1.9, um passeio (= walk) em um grafo
qualquer sequncia (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. Dizemos que o passeio vai de v
0
a v
k
. O
comprimento do passeio o nmero k.
Uma trilha (= trail) um passeio sem arestas repetidas, isto , um passeio
cujas arestas so distintas duas a duas. Uma trilha (v
0
, . . . , v
k
) fechada
(= closed) se v
0
= v
k
.
Uma trilha euleriana
5
se passa por todas as arestas do grafo.
6
Assim,
uma trilha (v
0
, v
1
, . . . , v
k1
, v
k
) euleriana se e somente se v
0
v
1
, v
1
v
2
, . . . ,
v
k1
v
k
o conjunto de (todas as) arestas do grafo.
Um ciclo (= cycle) uma trilha fechada.
7
Um ciclo euleriano se e
somente se passa por todas as arestas do grafo.
E 18.14 Encontre um ciclo euleriano no grafo da gura 18.2.
c
d
g
e
a h
b
f
Figura 18.2: Encontre um ciclo euleriano. Veja exerccio 18.14.
5
Referncia a Leonhard Euler (1o 18). Veja verbete na Wikipedia.
6
Alguns autores tambm exigem que a trilha passe por todos os vrtices do grafo. A
diferena entre as duas denies supercial.
7
De acordo com essa denio, um ciclo pode ter comprimento 0. J um circuito, por
denio, tem comprimento pelo menos 3.
FEOFILOFF Coberturas por circuitos 144
E 18.15 Considere as 21 peas do jogo de domin que no so duplas. Cada
uma dessas peas corresponde a um subconjunto de cardinalidade 2 do con-
junto 0, 1, 2, . . . , 6. permitido encostar uma pea i, j numa pea j, k
de forma a produzir a sequncia (i, j, j, k). Pergunta: possvel formar um
roda que contenha todas as 21 peas? E se eliminarmos todas as peas que
contm 6?
E 18.16 (CICLOS EULERIANOS) Mostre que todo grafo dotado de um ciclo
euleriano tem uma decomposio em circuitos.
Mostre que todo grafo conexo dotado de uma decomposio emcircuitos
tem um ciclo euleriano.
E 18.17 D uma condio necessria e suciente para que um grafo tenha
uma trilha euleriana no fechada.
E 18.18 (ALGORITMO) Construa um algoritmo que encontre uma trilha eu-
leriana (fechada ou no) em qualquer um grafo conexo dado.
! E 18.19 (PROBLEMA DO CARTEIRO CHINS
8
) Dado um grafo, encontrar
um passeio de comprimento mnimo dentre os que so fechados e passam
por todas as arestas do grafo.
E 18.20 Suponha que umgrafo Gtemumciclo euleriano. Mostre que o grafo
das arestas L(G) tem um circuito hamiltoniano (veja exerccio 1.24).
Mostre que a recproca no verdadeira: L(G) pode ter um circuito
hamiltoniano sem que G tenha um ciclo euleriano.
E 18.21 Sejam xy e yz duas arestas de um grafo conexo G sem vrtices de
grau mpar. verdade que G tem um ciclo euleriano na qual xy e yz
aparecem consecutivamente?
E 18.22 Seja G um grafo conexo cada um de cujos vrtices tem grau par.
Suponha ainda que m(G) par. Prove que E
G
admite uma partio F
1
, F
2

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 `

um emparelhamento mximo e suponha por um mo-


mento que [`

[ < /. De acordo com o teorema de K onig, G tem uma cobertura 1

tal que [1

[ < /. Logo, :(G) [l[ [1

[ [l[ (/ 1). Contradio.


Exerccio 10.22. Seja ` um emparelhamento e 1 uma cobertura tais que [`[ =
[1[ (veja exerccio 10.6). Mostre que [l[ [1[ e veja o exerccio 9.30.
Exerccio 10.22. A prova uma induo na cardinalidade de l. O passo da
induo tem dois casos. No primeiro, [N
G
(7)[ [7[ para todo subconjunto prprio
e no vazio 7 de l. No segundo, [N
G
(Y )[ = [Y [ para algum subconjunto prprio e
no vazio Y de l. No primeiro caso, tome qualquer aresta nn com n l e aplique
a hiptese de induo a G n, n. No segundo, aplique a hiptese de induo a
G(Y N
G
(Y )) e a G[(l Y ) (\ N(Y ))].
Exerccio 10.32. Considere o grafo (\
G
, ` ). Veja exerccio 9.17.
Exerccio 12.2. Cada operrio um vrtice do meu grafo; cada mquina tambm
um vrtice; cada aresta uma tarefa, que associa um operrio com uma mquina;
cada cor um dia de trabalho.
Exerccio 12.15. G no tem emparelhamento perfeito.
Exerccio 12.16. G no tem emparelhamento perfeito. Segue do exerccio 12.15.
Exerccio 12.23. Faa induo em :. Veja exerccio 10.29.
Exerccio 12.25. Veja o exerccio 10.34.
Exerccio 13.4. Basta provar que cada aresta de C uma ponte no grafo (\
G
, C).
(Veja tambm os exerccios 1.149 e 1.157.)
Exerccio 13.8. Veja o exerccio 1.226.
Exerccio 14.9. Sejam r e . dois vrtices no adjacentes de uma rvore. Seja 1 o
nico caminho de r a .. Mostre que se exc(r) = exc(.) ento exc(j) < exc(r) para
todo vrtice interno j de 1.
Exerccio 14.14. Veja o exerccio 14.13.
Exerccio 14.18. Para cada vrtice :, analise a rvore das distncia (exerccio 14.7)
centrada em :. Veja exerccios 14.13, 14.5, 1.123, e 14.3.
FEOFILOFF 154
Exerccio 14.19. Para cada vrtice :, analise a rvore das distncia 14.7 centrada
em :.
Exerccio 14.20. Encontre um emparelhamento perfeito de peso mnimo (veja
exerccio 11.17) num grafo apropriado construdo a partir de (G, n, ).
Exerccio 14.21. Encontre um emparelhamento perfeito de peso mnimo (veja
exerccio 11.17) num grafo apropriado construdo a partir de (G, n, ).
Exerccio 15.6. Faa a prova por induo em /. Adote as seguintes denies:
Para qualquer subconjunto 1 de 1
G
, seja \ (1) o conjunto dos vrtices que incidem
em elementos de 1 e seja G(1) o grafo (\ (1) :, 1). Um subconjunto 1 de 1
G
bom se G(1) conexo e d
GB
(Y ) / 1 para todo Y que contm : mas no
contm :.
Comece por provar o seguinte lema: Para qualquer conjunto bom 1, se : no
est em G(1) ento existe uma aresta c em 1
G
1 tal que 1 c bom. Use o
exerccio 1.115.
Exerccio 16.10. Acrescente a G um novo vrtice j e novas arestas ligando j a
cada um dos vrtices em o. Mostre que o novo grafo /-conexo.
Exerccio 16.25. Faa induo em /, comeando com / = 2. No passo da induo,
use o lema do leque, exerccio 16.10.
Exerccio 17.10. Tome um caminho maximal. (Veja a seo 1.7.)
Exerccio 17.19. Veja os exerccios 1.174 e 1.175.
Exerccio 17.26. Sejam n e os extremos de um caminho mximo 1. Mostre que
o grafo (\
P
, 1
P
(n) ()) contm um circuito hamiltoniano.
Exerccio 18.6. Veja os exerccios 1.110 e 18.8.
Exerccio 18.7. Veja os exerccios 1.110, 1.199 e 18.6.
Exerccio 18.16. Veja o exerccio 1.126.
Exerccio 18.19. Se no h vrtices de grau mpar, basta encontrar um ciclo eu-
leriano. Se h apenas dois vrtices de grau mpar, basta tomar um caminho de
comprimento mnimo entre esses vrtice e. . . Se h mais que dois vrtices de grau
mpar, use o algoritmo do emparelhamento de peso mnimo (exerccio 11.17) para
escolher caminhos ligando vrtices mpares aos pares.
FEOFILOFF Algumas dicas 155
Exerccio 19.6. Segue de 19.7 e 1.250.
Exerccio 19.7. Isto uma generalizao do exerccio 19.6. Veja os exerccios 1.250
e 1.251.
Exerccio 19.14. Segue de 19.15 e 1.250.
Exerccio 19.15. Segue de 19.14 e 1.251.
FEOFILOFF 156
Apndice B
O alfabeto grego
A teoria dos grafos, tal como outras reas da matemtica, considera o alfabeto latino
insuciente e recorre muitas vezes ao alfabeto grego:
A alfa N n
B beta ksi
gama o O micron
delta pi
E epsilon P r
Z zeta sigma
H eta T tau
teta upsilon
I iota
K kapa X qui
lambda psi
j M m mega
O smbolo no pertence ao alfabeto grego. Este texto usa o smbolo para
denotar cortes (veja a seo 1.8).
157
FEOFILOFF 158
Bibliograa
[BM76] J.A. Bondy and U.S.R. Murty. Graph Theory with Applications.
Macmillan/Elsevier, 1976. Internet: http://www.ecp6.jussieu.fr/
pageperso/bondy/books/gtwa/gtwa.html. 5
[BM08] J.A. Bondy and U.S.R. Murty. Graph Theory. Graduate Texts in
Mathematics 244. Springer, 2008. Internet: http://blogs.springer.
com/bondyandmurty. 5, 17
[Bol98] B. Bollobs. Modern Graph Theory. Springer, 1998. 5
[Car11] D.M. Cardoso. Teoria dos Grafos e Aplicaes. Internet: http:
//arquivoescolar.org/handle/arquivo-e/78, 2011.
[Die00] R. Diestel. Graph Theory. Springer, 2nd edition, 2000. Inter-
net: http://www.math.uni-hamburg.de/home/diestel/books/
graph.theory/index.html. 5
[Die05] R. Diestel. Graph Theory. Springer, 3rd edition, 2005. 5, 8, 17
[GJ79] M.R. Garey and D.S. Johnson. Computers and Intractability: a Guide
to the Theory of NP-Completeness. W.H. Freeman, 1979. 5, 139
[Har92] D. Harel. Algorithmics: The Spirit of Computing. Addison-Wesley,
2nd edition, 1992. 5, 139
[JNC10] D. Joyner, M.V. Nguyen, and N. Cohen. Algorithmic Graph Theory.
Google Code, 2010. [eBook].
[Knu93] D.E. Knuth. The Stanford GraphBase: A Platform for Combinatorial
Computing. ACM Press and Addison-Wesley, 1993. 12
[Lov93] L. Lovsz. Combinatorial Problems and Exercises. North-Holland,
second edition, 1993. 5
[LP86] L. Lovsz and M.D. Plummer. Matching Theory, volume 29 of
Annals of Discrete Mathematics. North-Holland, 1986. 5
159
FEOFILOFF BIBLIOGRAFIA 160
[Luc79] C.L. Lucchesi. Introduo Teoria dos Grafos. 12o. Colquio
Brasileiro de Matemtica. IMPA (Instituto de Matemtica Pura e
Aplicada), 1979. 5
[MST
+
98] O. Melnikov, V. Sarvanov, R. Tyshkevich, V. Yemelichev, and
I. Zverovich. Exercises in Graph Theory, volume 19 of Kluwer Texts
in the Mathematical Sciences. Kluwer, 1998. 5
[OPG] Open Problem Garden. Internet: http://garden.irmacs.sfu.ca/.
Hosted by Simon Fraser University.
[Per09] J.M.S. Simes Pereira. Matemtica Discreta: Grafos, Redes, Aplica-
es. Luz da Vida, Coimbra, Portugal, 2009. 14, 21, 26
[Sip97] M. Sipser. Introduction to the Theory of Computation. PWS Pu-
blishing, 1997. Internet: http://www-math.mit.edu/~sipser/
book.html. 5, 139
[vL90] J. van Leeuwen. Graph algorithms. In J. van Leeuwen, editor,
Algorithms and Complexity, volume A of Handbook of Theoretical
Computer Science, pages 527631. Elsevier and MIT Press, 1990.
[Wil79] R.J. Wilson. Introduction to Graph Theory. Academic Press, 2nd
edition, 1979. 5
[Zha97] C.-Q. Zhang. Integer Flows and Cycle Covers of Graphs. Marcel
Dekker, 1997.
ndice Remissivo
r|, 10, 38
,r|, 76
\
(2)
, 8
Adj , 17
\
G
, 8
1
G
, 8
n(G), 8
:(G), 8
c(G), 39
d(), 17
d(A), 29
G, 8
1
n
, 8
1
p,q
, 15
Q
k
, 12
1(G), 14
N(), 17
N(A), 30
A Y , 26
Y A, 26
1, 30
G H, 26
G H, 24
G H, 24
G[A], 26
G

= H, 61
((n), 59
G, 26
GA, 26
Gc, 26
G, 26
(G), 73

(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