Curso de Grafos e Digrafos

Digrafos:
roteiro de curso
http://www.ime.usp.br/~pf/digraphs
Paulo Feofiloff
2 de agosto de 2007
Prefcio
Este o meu roteiro para um curso de grafos dirigidos baseado no livro de Bang-Jensen e
Gutin [BJG02]. O livro no , propriamente, um texto didtico; mais um livro de referncia.
Por isso, no uma boa idia ler o livro linearmente: pgina 1, pgina 2, etc. No restante
desse meu roteiro, procurei colocar os vrios tpicos numa ordem mais razovel que a do
livro.
Vou usar as seguintes abreviaturas para me referir aos teoremas, lemas, etc. do livro:
T.1.2.3
L.1.2.3
C.1.2.3
P.1.2.3
Cnj.1.2.3
E.1.2
1
1.2
1.2.3
Theorem 1.2.3
Lemma 1.2.3
Corollary 1.2.3
Proposition 1.2.3
Conjecture 1.2.3
Exercise 1.2.3
Chapter 1
Section 1.2
Subsection 1.2.3
P.F.
FEOFILOFF
www.ime.usp.br/~pf/digraphs/
Sumrio
1
Introduo
1.1
Digrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Alguns tipos de digrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3
Algumas operaes sobre digrafos . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4
Generalizaes de digrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Caminhos, rvores e subdigrafos
14
2.1
Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2
rvores divergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3
Subdigrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.4
Caminhos em digrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.5
rvores divergentes em digrafos . . . . . . . . . . . . . . . . . . . . . . . . . 16
Digrafos acclicos e digrafos fortes
17
3.1
Ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2
Digrafos acclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.3
Digrafos fortes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.4
Decomposio em orelhas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.5
Digrafo das componentes fortes . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Digrafos transitivos
21
4.1
Digrafos transitivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2
Reduo transitiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Cortes e separadores
23
5.1
Cortes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.2
Separadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
FEOFILOFF
Conexidade
25
6.1
Arco-conexidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
6.2
Conexidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
6.3
Digrafos k-fortes e arco-k-fortes . . . . . . . . . . . . . . . . . . . . . . . . . . 26
6.4
Conexidade local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
6.5
Conexidade fraca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Fluxo em redes
29
7.1
Fluxo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
7.2
Redes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
7.3
O problema da circulao vivel . . . . . . . . . . . . . . . . . . . . . . . . . 30
7.4
O problema do fluxo mximo . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
7.5
O problema do b-fluxo vivel . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
7.6
O problema do b-fluxo vivel de custo mnimo . . . . . . . . . . . . . . . . . 32
7.7
Algoritmos para fluxos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Fluxo e os teoremas de Menger
33
8.1
Teorema de Menger para arcos . . . . . . . . . . . . . . . . . . . . . . . . . . 33
8.2
Teorema de Menger para vrtices . . . . . . . . . . . . . . . . . . . . . . . . . 33
8.3
Algoritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Outras aplicaes de fluxo
36
9.1
Emparelhamentos em digrafos bipartidos . . . . . . . . . . . . . . . . . . . . 36
9.2
O problema do carteiro chins em digrafos . . . . . . . . . . . . . . . . . . . 37
9.3
Subdigrafo gerador com graus especificados . . . . . . . . . . . . . . . . . . 37
9.4
Cobertura disjunta por caminhos e ciclos . . . . . . . . . . . . . . . . . . . . 38
9.5
Cobertura disjunta por ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
9.6
Coleo disjunta de ciclos que cobre muitos vrtices . . . . . . . . . . . . . . 39
10 Digrafos hamiltonianos: introduo
41
10.1 Condies necessrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

10.2 Digrafos semicompletos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
11 Digrafos hamiltonianos localmente semicompletos
43
11.1 Digrafos localmente semicompletos . . . . . . . . . . . . . . . . . . . . . . . 43

11.2 Ciclos hamiltonianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
11.3 Caminhos hamiltonianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
12 Digrafos hamiltonianos: intercalao de caminhos
45
12.1 Intercalao de caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

13 Digrafos hamiltonianos com graus elevados
FEOFILOFF
47
13.1 Resultados antigos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

13.2 Resultados novos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
14 Digrafos hamiltonianos multipartidos semicompletos
49

15 Digrafos hamiltonianos: generalizaes
51
15.1 Caminhos mximos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

15.2 Cobertura disjunta por caminhos . . . . . . . . . . . . . . . . . . . . . . . . . 52
15.3 Subdigrafo gerador forte mnimo . . . . . . . . . . . . . . . . . . . . . . . . . 53
16 Submodularidade e laminaridade
55
16.1 Interceptaes e cruzamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

16.2 Colees laminares e livres de cruzamentos . . . . . . . . . . . . . . . . . . . 56
16.3 Submodularidade e supermodularidade . . . . . . . . . . . . . . . . . . . . . 56
16.4 Aplicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
17 rvores geradoras divergentes disjuntas
58
17.1 O teorema de Edmonds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58

18 rvores geradoras divergentes de custo mnimo
60
18.1 O problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
18.2 Soluo do problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
18.3 Generalizao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
19 Dijunes mnimas
62
19.1 Dicortes e dijunes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

19.2 Dijuno mnima . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
19.3 Reorientaes fortes mnimas . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
19.4 A minimax polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
20 Aumento da arco-conexidade
66
20.1 O problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
20.2 Primeiro passo da soluo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
20.3 Segundo passo: operao splitting off . . . . . . . . . . . . . . . . . . . . . . 69
20.4 Soluo do problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
21 Aumento da conexidade
72
21.1 O problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
21.2 Barreiras e o teorema de FrankJordn . . . . . . . . . . . . . . . . . . . . . . 73
FEOFILOFF
22 Orientaes versus nmero cromtico
75
22.1 O problema min lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75

22.2 Caminhos longos e nmero cromtico . . . . . . . . . . . . . . . . . . . . . . 76
23 Orientaes e reorientaes fortes
78
23.1 O problema bsico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

23.2 Orientaes e reorientaes arco-k-fortes . . . . . . . . . . . . . . . . . . . . . 79
24 Orientaes com restries dos graus de vrtices
81
24.1 Restrio dos graus de vrtices . . . . . . . . . . . . . . . . . . . . . . . . . . 81

24.2 Orientaes fortes com restrio dos graus . . . . . . . . . . . . . . . . . . . 83
25 Orientaes com restries dos graus de conjuntos
85
25.1 O problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
25.2 Restries leves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
25.3 Restries mais pesadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
25.4 Restries ainda mais pesadas . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
26 Fluxos submodulares
90
26.1 Fluxos com reteno restrita . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90

26.2 Relaxao do problema: condies necessrias . . . . . . . . . . . . . . . . . 92
26.3 Fluxos submodulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
26.4 O teorema de EdmondsGiles . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
26.5 Condies de existncia para fluxos submodulares . . . . . . . . . . . . . . . 95
26.6 Fluxo submodular de custo mnimo . . . . . . . . . . . . . . . . . . . . . . . 96
27 Fluxo inteiro nenhures nulo
97
27.1 k -Fluxo nenhures nulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98

27.2 5-Fluxo nenhures nulo e a conjetura de Tutte . . . . . . . . . . . . . . . . . . 99
28 Ciclos disjuntos e realimentao
101
28.1 Ciclos disjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101

28.2 Realimentao de vrtices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
28.3 Ciclos arco-disjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
28.4 Realimentao de arcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
28.5 Prova da conjetura de Younger . . . . . . . . . . . . . . . . . . . . . . . . . . 103
A Colees e famlias
104
A.1 Colees disjuntas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

A.2 Famlias disjuntas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
B Algumas provas
FEOFILOFF
107
B.1 Prova do Teorema T.9.5.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

C Solues de alguns exerccios
109
C.1 Exerccio 26.6.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109

Bibliografia
111
ndice Remissivo
112
Captulo 1
Introduo
Veja verbete Directed Graph no Wolfram Math World. Veja verbetes Graph e Graph theory na
Wikipedia.
1.1
Digrafos
Vou denotar por V 2 o conjunto de todos os pares ordenados de elementos distintos de V .

Portanto, V 2 := V 2 r {(v, v) : v V }.
Um digrafo (= digraph) um par (V, A) onde V um conjunto finito e A uma parte1 de V 2 .
Os elementos de V so vrtices e os de A so arcos. Um arco (u, v) pode tambm ser denotado por uv.
V 2
uv
Um vrtice u domina (= dominates) um vrtice v se o par uv um arco do digrafo. A expresso u v uma abreviatura de u domina v. Dois vrtices u e v so adjacentes se u v
ou u v.
Para qualquer conjunto X de vrtices, o grau de sada (= out-degree) de X o nmero de
arcos com ponta inicial em X e ponta final em X . Esse nmero denotado por d+ (X). O
grau de entrada (= in-degree) de X definido de maneira anloga e denotado por d (X).
Dado qualquer conjunto X de vrtices, denotaremos por N + (X) o conjunto dos vrtices em
X dominados por algum elemento de X :
y N + (X) se e somente se y X e y x para algum x em X .
Analogamente, N (X) o conjunto dos vrtices em X que dominam elementos de X .
Diremos que um subconjunto X de V trivial se X = ou X = V . Portanto, X no-trivial
se X 6= e X 6= V .
Uma fonte (= source) um vrtice v tal que d (v) = 0. Um sorvedouro (= sink) um vrtice
v tal que d+ (v) = 0. Um conjunto-fonte (= source set) uma parte no-trivial X de V tal
1
Veja apndice A.
X
d+ (X)
d (X)
N + (X)
10
FEOFILOFF
que d (X) = 0. Um conjunto-sorvedouro (= sink set) uma parte no-trivial X de V tal que
d+ (X) = 0.
Denota-se por + (D) o grau de sada mnimo no digrafo D, ou seja, + (D) := minv d (v). O
parmetro (D) definido analogamente.
Se uv e vu so arcos de um digrafo, diremos que o par {uv, vu} uma aresta (= edge). Diz-se
que os dois arcos de uma aresta so anti-paralelos.
Minha notao essencialmente a mesma do livro (a notao para os inteiros e racionais
positivos e no-negativos, por exemplo, um pouco diferente):
Z
Z
Z>
Q
Q
Q>
V (D)
A(D)
V
A
n
m
uv
u9v
X
d+ (X)
d (X)
+ (D)
(D)
inteiros
inteiros no-negativos
inteiros estritamente positivos
racionais
racionais no-negativos
racionais estritamente positivos
conjunto dos vrtices do digrafo D
conjunto dos arcos do digrafo D
conjunto dos vrtices do digrafo em discusso
conjunto dos arcos do digrafo em discusso
|V |
|A|
u domina v
u no domina v
V rX
grau de sada de X
grau de entrada de X
grau se sada mnimo em D
grau se entrada mnimo em D
Exerccios
1.1.1 (E.1.5 ) Seja D um digrafo e I o conjunto dos vrtices v tais que d (v) + d+ (v)
mpar. Mostre que |I| par.
1.1.2 P
Seja D um digrafo e X uma parte de V (D). Qual a relao entre d (X) e
xX d (x)?
FEOFILOFF
1.2
11
Alguns tipos de digrafos
Um digrafo D simtrico se, para cada par (u, v) de vrtices, u domina v se e somente
se v domina u.2 Em todo digrafo simtrico, d (v) = d+ (v) para todo vrtice v.
Um digrafo D anti-simtrico se no existe um par (u, v) de vrtices tal que u v e
v u.
Um digrafo completo (= complete) se, para cada par (u, v) de vrtices distintos, tanto
uv quanto vu arco. claro que todo digrafo completo simtrico.
Um digrafo semicompleto (= semicomplete) se, para cada par (u, v) de vrtices distintos, uv ou vu (ou ambos) so arcos.
Um torneio (= tournament) um digrafo semicompleto anti-simtrico.
Um digrafo D euleriano3 se d (v) = d+ (v) para todo vrtice v.
Um digrafo regular se existe k tal que se d+ (v) = d (v) = k para todo vrtice v. Dizemos tambm, nesse caso, que o digrafo k-regular. claro que todo digrafo regular
euleriano.
Um digrafo (V, A) bipartido se existe uma bipartio (U, W ) de V tal que todo arco
tem uma ponta em U e outra em W .
Um digrafo (V, A) bipartido semicompleto se existe uma bipartio (U, W ) de V tal
que (1) todo arco tem uma ponta em U e outra em W e (2) para cada u em U e cada w
em W tem-se u w ou u w (ou ambos).
Um digrafo D fracamente conexo (= weakly connected = connected) se d (X)+d+ (X) 6=
0 para toda parte no trivial X de V . Todo digrafo fracamente conexo (V, A) tem pelo
menos |V | 1 arcos.
Uma rvore um digrafo simtrico fracamente conexo (V, A) tal que |A| = 2|V | 2.4
Uma rvore orientada um digrafo anti-simtrico fracamente conexo (V, A) tal que
|A| = |V | 1.
Exerccios
1.2.1 Seja D um digrafo tal que d (v) = d+ (v) para todo vrtice v. verdade que D
simtrico?
1.2.2 (E.1.6) Prove que, para todo n 2, existe um torneio com n vrtices sem dois vrtices com o mesmo grau de sada. Mostre que esse torneio nico a menos de isomorfismo.
2
Um digrafo simtrico essencialmente o mesmo que um grafo (= graph). Tanto assim que a letra G ser
freqentemente usada para designar um digrafo simtrico.
3
Ateno: Ao contrrio de muitos livros, no vamos supor que digrafos eulerianos so fracamente conexos.
4
Note que todo arco de uma rvore pertence a um ciclo de comprimento 2.
12
FEOFILOFF
1.2.3 Sejam T e T 0 dois torneios com conjunto de vrtices {1, 2, . . . , n}. Suponha que
+
0
d+
T (v) = dT 0 (v) para todo vrtice v. verdade que T e T so isomorfos?
1.2.4 (E.1.7 ) Prove que todo torneio com n vrtices tem um vrtice v tal que d+ (v)
bn/2c.
1.2.5 Mostre que todo digrafo simtrico regular.
1.2.6 Mostre que o nmero de vrtices de todo torneio regular mpar.
1.2.7 Suponha que todo vrtice de um digrafo D uma fonte ou um sorvedouro. Mostre
que D bipartido. (A recproca verdadeira?)
1.3
B 1
DD
Algumas operaes sobre digrafos
Dado qualquer conjunto B de arcos de digrafo, denotaremos por B 1 o conjunto

{(v, u) : (u, v) B}.
O digrafo (V, A1 ) o transposto (= converse) do digrafo (V, A). O transposto de um
digrafo D ser denotado por D1 .
A simetrizao de um digrafo (V, A) o digrafo simtrico (V, A A1 ). A simetrizao
de um digrafo D ser denotada por D D1 .
Uma orientao (ou anti-simetrizao) de um digrafo (V, A) qualquer digrafo antisimtrico (V, A0 ) tal que A0 A e (A r A0 )1 A0 (ou seja, vu A0 para todo uv em
A r A0 ).5
Uma reorientao de um digrafo (V, A) qualquer digrafo da forma (V, (ArB)B 1 ),
sendo B uma parte de A.
Exerccios
1.3.1 Verifique que todo torneio uma orientao de um digrafo semi-completo. Reciprocamente, toda orientao de um digrafo semi-completo um torneio.
1.3.2 Verifique que toda orientao de uma rvore uma rvore orientada.
1.3.3 Seja T uma rvore orientada. Mostre que T T 1 uma rvore.
1.3.4 (E.1.44) Seja G um digrafo simtrico tal que d (v) par para todo vrtice v. Mostre
que G tem uma orientao D que euleriana, ou seja, tal que d+

D (v) = dD (v) para
todo vrtice v.
1.3.5 Mostre que toda reorientao de um digrafo anti-simtrico um digrafo antisimtrico.
5
Em outras palavras, uma orientao de um digrafo D o digrafo que se obtm quando removemos de D
um e apenas um dos arcos de cada aresta.
FEOFILOFF
1.4
13
Generalizaes de digrafos
Um multi-digrafo (= directed multigraph) um terno (V, A, ) onde (V, A) um digrafo

e (A, ) uma famlia.6 Se (a) = 2, por exemplo, diremos que a representa dois arcos
paralelos.
P
O nmero de arcos de um multi-digrafo (V, A, ) |(A, )|, ou seja, aA (a).
Veja apndice A.
Captulo 2
Caminhos, rvores e subdigrafos

2.1
Caminhos
Definio: Um caminho (= path) qualquer digrafo da forma

{v1 , v2 , v3 . . . , vn } , {v1 v2 , v2 v3 , . . . , vn1 vn } .
Em outras palavras, um caminho um digrafo cujos vrtices admitem uma permutao
(v1 , v2 , v3 , . . . , vn ) tal que cada vrtice domina o vrtice seguinte e apenas o seguinte.
Definio: O comprimento de um caminho o nmero de arcos (e no o nmero de vrtices)
do caminho.
2.2
rvores divergentes
Definio: Uma rvore divergente um digrafo fracamente conexo tal que d (v) 1 para
cada vrtice v e d (s) = 0 para exatamente um vrtice s. O vrtice s a raiz da rvore.
claro que toda rvore divergente uma rvore orientada.
Fato bsico: Se T uma rvore divergente com raiz s ento, para todo vrtice v, existe um e
um s caminho em T com origem s e trmino v.
Fato bsico: Se T uma rvore divergente com raiz s ento d
T (X) 6= 0 para todo subconjunto
no-vazio X de V r {s}.
Exerccios
2.2.1 Toda rvore divergente com n vrtices tem exatamente n 1 arcos.
2.2.2 Seja s um vrtice de um digrafo D = (V, A). Suponha que d
D (X) 6= 0 para todo
subconjunto no-vazio X de V r {s}. Suponha ainda que A minimal com relao
a essa propriedade, ou seja, suponha que para todo subconjunto prprio A0 de A
14
FEOFILOFF
15
0
0
existe um subconjunto X de V r {s} tal que d
D0 (X) = 0, sendo D o digrafo (V, A ).
Mostre que (V, A) uma rvore divergente com raiz s.
2.3
Subdigrafos
Definio: Um digrafo D0 subdigrafo (= subdigraph) de um digrafo D se V (D0 ) V (D) e

A(D0 ) A(D). Se D0 subdigrafo de D, dizemos que D contm D0 .
Definio: Um subdigrafo D0 de um digrafo D gerador (= spanning subdigraph = factor) se
V (D0 ) = V (D). Em particular, uma rvore geradora (= spanning tree) de um digrafo D uma
sub-rvore T de D tal que V (T ) = V (D). Todo digrafo simtrico fracamente conexo tem
uma rvore geradora.
Definio: Dado um conjunto X de vrtices de um digrafo D = (V, A), o subdigrafo de D
induzido por X (V, AhXi), sendo AhXi o conjunto dos arcos que tm ambas as pontas
em X . O subdigrafo de D induzido por X denotado por DhXi.
Definio: Uma componente fraca de um digrafo D qualquer subdigrafo fracamente conexo maximal de D.
2.4
Caminhos em digrafos
Problema: Dados vrtices s e t de um digrafo D, encontrar um caminho de s a t em D que

tenha comprimento mnimo.
Definio: A distncia de s a t o comprimento de um caminho de comprimento
mnimo dentre os que comeam em s e terminam em t.
Algoritmo de busca em largura (= breadth-first search = BFS).
Um k-rei (= k-king) um vrtice r tal que dist(r, v) k para todo vrtice v.
Teorema (Landau, 1953): Todo torneio tem um 2-rei.
Teorema T.2.10.1 (Moon, 1962): Todo torneio sem fontes tem pelo menos trs 2-reis.
Exerccios
2.4.1 (E.2.32 ) Para todo nmero mpar n 3, construa um torneio T com n vrtices no
qual todo vrtice um 2-rei.
2.4.2 (Teorema de Landau) Prove que todo torneio tem um 2-rei.
2.4.3 (E.2.34 ) Seja T um torneio com 4 vrtices. Mostre que T tem um vrtice que no
um 2-rei.
2.4.4 (E.2.35) Prove T.2.10.1.
DhXi
16
2.5
FEOFILOFF
rvores divergentes em digrafos
Definio: Uma rvore divergente (= out-arborescence) de um digrafo D uma rvore

divergente contida em D. Uma rvore s-divergente (= s-out-arborescence) uma rvore
divergente com raiz s.
Se T uma rvore divergente maximal de um digrafo D ento d+
D (V (T )) = 0.
Definio: Uma rvore divergente geradora (= out-branching) de um digrafo D uma
rvore divergente T contida em D tal que V (T ) = V (D). Uma rvore geradora sdivergente (= s-out-branching) uma rvore geradora divergente com raiz s.
Problema: Dado um vrtice s de um digrafo D, encontrar um out-branching de D com
raiz s.
Teorema T.2.2.2: Se D tem um s-out-branching ento tambm tem um s-out-branching
T tal que, para cada vrtice v, o nico caminho de s a v em T um caminho mnimo
de s a v em D.
Exerccios
2.5.1 (E.1.31 ) Encontre um out-branching com raiz a no digrafo da figura 1.21 do livro.
Captulo 3
Digrafos acclicos e digrafos fortes

3.1
Ciclos
Definio: Um ciclo (= cycle) qualquer digrafo (V, A) tal que

V = {v1 , v2 , v3 , . . . , vn } e
A = {v1 v2 , v2 v3 , . . . , vn1 vn } {vn v1 } ,
com n 2.
Um ciclo trivial se tem comprimento 2, ou seja, se tem a forma
({u, v}, {uv, vu}).
Exerccios
3.1.1 Qual o papel da condio n 2 na definio de ciclo?
3.1.2 (E.1.15 ) Sejam x e y dois vrtices de um digrafo D. Suponha que h uma seqncia
C1 , . . . , Ck de ciclos tal que x est em C1 , y est em Ck e Ci tem um vrtice em
comum com Ci+1 para i = 1, . . . , k 1. Prove que existe um (x, y)-caminho em D.
3.2
Digrafos acclicos
Definio: Um digrafo acclico (= acyclic) se no contm ciclos.

Definio: Uma ordem acclica (= acyclic order) dos vrtices de um digrafo D uma permutao v1 , . . . , vn dos vrtices tal que todo arco tem a forma vi vj com i < j .
Proposio P.1.4.2: Todo digrafo acclico tem pelo menos uma fonte e pelo menos um
sorvedouro.
Fato: Para todo vrtice v de um digrafo acclico D, existe um caminho que comea em
v e termina num sorvedouro e existe um caminho que comea numa fonte e termina
em v.
17
18
FEOFILOFF
Proposio P.1.4.3: Um digrafo acclico se e somente se admite uma ordem acclica

dos vrtices.
Existe algoritmo polinomial para decidir se um digrafo e acclico. (O algoritmo devolve
um ciclo ou uma ordem acclica.)
Proposio P.1.4.4: Um digrafo acclico tem uma nica fonte se e somente se tem um
out-branching.
Exerccios
3.2.1 (E.1.58 ) Seja D um digrafo bipartido semicompleto anti-simtrico. Mostre que se
D tem um ciclo ento tem um ciclo de comprimento 4.
3.3
Digrafos fortes
Definio: Um digrafo D forte1 (= strong) se d+ (X) 6= 0 e d (X) 6= 0 para cada parte

no-trivial X de V (D).
Fato: Um digrafo forte se e somente se, para cada par x, y de seus vrtices, existe um
caminho de x a y.
Fato: Existe um algoritmo polinomial (busca em profundidade = DFS) que reconhece
digrafos fortes.
Exerccios
3.3.1 Prove que um digrafo forte se e somente se, para cada par x, y de seus vrtices,
existe um caminho de x a y.
3.3.2 Mostre que todo digrafo simtrico fracamente conexo forte.
3.3.3 Mostre que um digrafo D fracamente conexo se e somente se a simetrizao D
D1 forte.
3.3.4 Seja D um digrafo com 2 ou mais vrtices. Suponha que d(x) + d(y) 2n 1 para
todo par x, y de vrtices no-adjacentes, sendo d(v) := d (v) + d+ (v) para cada v.
verdade que D forte?
3.3.5 (E.1.29) Todo torneio forte T com 4 ou mais vrtices tem dois vrtices x e y tais que
T x e T y so fortes.
3.3.6 (E.1.30) Um digrafo ciclicamente conexo se, para todo par x, y de vrtices, existe
uma seqncia C1 , . . . , Ck de ciclos tal que x est em C1 , y est em Ck e Ci tem
um vrtice em comum com Ci+1 para i = 1, . . . , k 1. Prove que um digrafo
ciclicamente conexo se e somente se forte.
1
Diz-se tambm que D fortemente conexo.
FEOFILOFF
19
3.3.7 (E.1.32 ) Um digrafo forte se e somente se tem um v-out-branching para cada

vrtice v.
3.3.8 Seja D um digrafo com 2 ou mais vrtices. Suponha que d+ (x) + d (y) n 1 para
todo par x, y tal que x 9 y. Mostre que D forte.
3.3.9 (E.1.36) Seja D um digrafo anti-simtrico. Mostre que se + (D) d(n 1)/4e e
(D) d(n 1)/4e ento D forte. Mostre que essa delimitao de + e justa.
3.3.10 (E.1.37) Prove que um digrafo fracamente conexo forte se e somente se cada um
de seus arcos pertence a um ciclo.
3.3.11 Teorema T.1.8.1 (HararyNormanCartwright, 1965): Um digrafo forte bipartido
se e somente se no contm ciclo mpar.
3.3.12 verdade que todo torneio regular forte?
3.3.13 Suponha que d+ (v) + d (v) > 3n/2 2 para todo vrtice v de um digrafo D. Mostre
que D forte.
3.4
Decomposio em orelhas
Definio: Uma orelha aberta de um digrafo D um caminho com dois ou mais vrtices que
tem origem e trmino em D mas todos os demais vrtices fora de D.2 Uma orelha fechada
de um digrafo D qualquer ciclo que tem exatamente um vrtice em comum com D. Uma
orelha trivial se tem apenas um arco (e portanto aberta).
Definio (D.7.2.1): Uma decomposio em orelhas (= ear decomposition) de um digrafo D
uma seqncia (P0 , P1 . . . , Pt ) de ciclos e caminhos tal que (1) P0 um ciclo, (2) para todo
i 1, Pi uma orelha do digrafo P0 Pi1 , (3) cada vrtice de D est em algum Pi e
(4) cada arco de D est em algum Pi .
Teorema T.7.2.2 (folclore): Um digrafo com 2 ou mais vrtices forte se e somente se
tem uma decomposio em orelhas.
Corolrio C.7.2.3 (folclore): Toda decomposio em orelhas de um digrafo forte tem
m n + 1 orelhas.
Corolrio C.7.2.5 (folclore): Existe um algoritmo linear para encontrar uma decomposio em orelhas de qualquer digrafo forte.
Fato: Seja D um digrafo forte D e sejam T uma orelha trivial de uma decomposio
em orelhas de D. Se a o nico arco de T ento D a forte.
Corolrio C.7.2.6: O problema de decidir se um digrafo tem uma decomposio em
orelhas com no mais que r orelhas no-triviais NP-completo. O problema de decidir
se um digrafo tem uma decomposio em orelhas com no mais que q arcos em orelhas
no-triviais NP-completo.
Ao contrrio do que acontece com as orelhas de muitos animais, uma orelha de D no faz parte de D.
20
FEOFILOFF
Exerccios
3.4.1 Seja D um digrafo forte e P um (u, w)-caminho em D. Suponha que P tem as
seguinte propriedades: (1) u 6= w, (2) d
D (v) = 1 para todo vrtice v distinto de u,
+
(3) d+
(v)
=
1
para
todo
v
distinto
de
w,
(4) d
D
D (u) 6= 1 e (5) dD (w) 6= 1. verdade
que existe uma decomposio em orelhas (P0 , . . . , Pt ) de D tal que Pt = P ?
3.4.2 (E.7.2) Prove C.7.2.3.
3.4.3 Seja D um digrafo forte. Se a o nico arco de uma orelha trivial em uma decomposio de D em orelhas ento D a forte.
3.5
Digrafo das componentes fortes
Todo digrafo uma poro de digrafos fortes sentados nos vrtices de um digrafo acclico.
Definio: Uma componente forte (= strong component) de um digrafo D um subdigrafo
forte maximal de D. Cada vrtice de D pertence a uma e uma s componente forte.
Definio: O digrafo das componentes fortes (= strong components digraph) de um digrafo D
(S, A), sendo S o conjunto das componentes fortes de D e A o conjunto de todos os pares
ordenados (S, T ) de componentes fortes tais que (s, t) A(D) para algum s em S e algum t
em T .
SC (D)
Notao: O digrafo das componentes fortes de D denotado por SC (D).

Fato: Para qualquer digrafo D, o digrafo SC (D) acclico.
Teorema T.4.4.6: Existem algoritmos polinomiais3 (busca em profundidade (= DFS))
para determinar as componentes fortes de um digrafo.
Proposio P.1.6.1: Um digrafo D tem um out-branching se e somente se SC (D) s tem
uma fonte.
Exerccios
3.5.1 Se D um digrafo acclico ento SC (D) isomorfo a D.
3.5.2 (E.1.50) Seja D o digrafo da figura 1.12 do livro. Faa uma lista de todas as ordens
acclicas de SC (D).
3.5.3 (E.1.84) Descreva um algoritmo linear que verifique se um dado digrafo acclico tem
mais que uma ordem acclica. (Sugesto: use E.1.18.)
O(n + m)
Captulo 4
4.1
Definio: Um digrafo transitivo (= transitive) se, para todo arco xy e todo arco yz tal que
x 6= z, o par xz tambm um arco. (Conseqncia imediata: se existe um caminho de u a w
ento uw um arco.)
Proposio P.4.3.1 (folclore): Sejam D1 , . . . , Dp as componentes fortes de um digrafo D.
O digrafo D transitivo se e somente se (1) cada Di completo, (2) SC (D) transitivo
e (3) para todo i 6= j , se Di Dj ento todo vrtice de Di domina todo vrtice de Dj
em D.
Definio: O fecho transitivo (= transitive closure) de um digrafo D um digrafo D0 tal
que V (D0 ) = V (D) e xy A(D0 ) se e somente se existe (x, y)-caminho em D.
O fecho transitivo de um digrafo D ser denotado por TC (D).
Problema (fcil): Encontrar o fecho transitivo de um digrafo.
Existe um algoritmo polinomial (multiplicao de matrizes, P.4.3.5) para o problema do
fecho transitivo.
Exerccios
4.1.1
4.1.2
4.1.3
4.1.4
Mostre que todo digrafo transitivo forte completo.

(E.4.2) Prove P.4.3.1.
(E.1.46 ) Prove que um torneio transitivo se e somente se acclico.
Mostre que todo digrafo transitivo anti-simtrico acclico.
21
TC (D)
22
4.2
FEOFILOFF
Reduo transitiva
Definio: Um arco uv de um digrafo D redundante se TC (D uv) = TC (D). Uma

reduo transitiva (= transitive reduction) de um digrafo D um subdigrafo gerador D0 de
D sem arcos redundantes. (Em outras palavras, uma reduo transitiva um subdigrafo
gerador D0 de D minimal em relao propriedade TC (D0 ) = TC (D).)
Um digrafo pode ter vrias redues transitivas diferentes.
Problema (fcil): Encontrar uma reduo transitiva de um digrafo.
Problema 4.3 (Minimum Equivalent Subdigraph Problem): Encontrar uma reduo transitiva mnima de um digrafo. Em outras palavras, dado um digrafo (V, A), encontrar
uma parte mnima A0 de A tal que, para todo par x, y de vrtices, existe um (x, y)caminho em (V, A) se e somente se existe um (x, y)-caminho em (V, A0 ).
O problema 4.3 NP-difcil (generalizao do problema do ciclo hamiltoniano).
Teorema T.4.3.2 (AhoGareyUllman, 1972): Todo digrafo acclico tem uma nica reduo transitiva.
Exerccios
4.2.1 Seja uv um arco de um digrafo D. Mostre que uv redundante se e somente se
existe um (u, v)-caminho em D que no usa uv.
4.2.2 Exiba um digrafo D e duas redues transitivas D0 e D00 de D tais que |A(D0 )| =
6
00
|A(D )|.
4.2.3 Prove T.4.3.2. D uma prova mais curta e mais direta que a do livro.
Captulo 5
Cortes e separadores
5.1
Cortes
Notao: Para qualquer par X, Y de conjuntos de vrtices de um digrafo, denota-se por

(X, Y ) o conjunto dos arcos que tm ponta inicial em X e ponta final em Y . Convm usar
essa notao somente quando X Y = .
Definio: Um corte em um digrafo qualquer conjunto da forma (X, X) , sendo X uma
parte no-trivial de V . Dizemos que X uma margem positiva e X a correspondente
margem negativa do corte.
Dizemos que um corte (X, X) separa um vrtice s de um vrtice t se s X e t X . Um
(s, t)-corte qualquer corte que separa s de t.
Exerccios
5.1.1 Seja X um conjunto de vrtices de um digrafo. Mostre que |(X, X)| = d+ (X) =
d (X).
5.1.2 Seja (X, X) um corte num digrafo D. Mostre que todo caminho em D que comea
em X e termina em X tem um arco no corte (X, X).
5.1.3 Um digrafo D fracamente conexo ento D no tem cortes vazios. Mostre que a
recproca no verdadeira.
5.1.4 Verifique que todo digrafo com n 2 tem um corte.
5.1.5 verdade que todo corte tem uma nica margem positiva?
5.2
Separadores
Definio: Um separador em um digrafo qualquer parte S de V dotada da seguinte propriedade: S admite uma partio (X, Y ) tal que X 6= , Y 6= e
N + (X) S N (Y ) .
23
(X, Y )
24
FEOFILOFF
Dizemos que X uma margem positiva e Y a correspondente margem negativa do separador.

Fato: Para qualquer parte no-vazia X de V , se X N + (X) 6= V ento N + (X) um separador.
Fato: Seja S um separador minimal. Se X uma margem positiva e Y a correspondente
margem negativa de S ento N + (X) = S = N (Y ).
Dizemos que um separador S separa um vrtice s de um vrtice t se s pertence a uma
margem positiva de S e t pertence correspondente margem negativa. Um (s, t)-separador
qualquer separador que separa s de t.
Exerccios
5.2.1 Mostre que S um separador se e somente se existe uma partio (X, Y ) de S tal
que (X, Y ) = .
5.2.2 Seja X um conjunto no-trivial de vrtices de um digrafo. Suponha que X N + (X)
no trivial. Mostre que N + (X) um separador.
5.2.3 Seja S um separador num digrafo D. Sejam X e Y as margens positiva e negativa
de S . Mostre que todo caminho em D que comea em X e termina em Y tem um
vrtice em S .
5.2.4 Verifique que digrafos completos no tm separadores. Mostre que todo digrafo
no-completo tem um separador.
5.2.5 Seja X uma margem positiva e Y a correspondente margem negativa de um separador S . Mostre que N + (X) S N (Y ) um separador.
5.2.6 verdade que todo separador S tem uma nica margem positiva (e portanto uma
nica margem negativa)?
Captulo 6
Conexidade
6.1
Arco-conexidade
Definio: A arco-conexidade1 (= arc-strong connectivity) de um digrafo o tamanho de um

corte mnimo. A arco-conexidade de um digrafo D denotada por (D). Portanto, (D) :=
min |C|, sendo o mnimo tomado sobre todos os cortes C . claro que
(D)
(D) = min d+ (X) ,

X
com mnimo tomado sobre todos os conjuntos no-triviais de vrtices. Esse mnimo est bem
definido desde que D tenha dois ou mais vrtices.
Para qualquer digrafo D com dois ou mais vrtices, (D) n 1. Se D tem apenas
um vrtice, tomaremos (D) := 1 por conveno.
Fato: Um digrafo D forte se e somente se (D) 1.
Exerccios
6.1.1 (E.7.51 ) D um algoritmo polinomial que receba um digrafo D e decida se (D) =
min{ + (D), (D)}.
6.2
Conexidade
Definio: A conexidade2 (= strong connectivity) de um digrafo o tamanho de um separador

mnimo. A conexidade de um digrafo D denotada por (D). Portanto, (D) := min |S|,
1
2
Diz-se tambm arco-conexidade forte. A propsito, no diga conectividade.

Diz-se tambm conexidade forte. A propsito, no diga conectividade.
25
(D)
26
FEOFILOFF
sendo o mnimo tomado sobre todos os separadores S . claro que

(D) = min |N + (X)| ,
X
sendo o mnimo tomado sobre todos os subconjuntos no-vazios X de V tais que X

N + (X) 6= V . Esse mnimo est bem definido desde que o digrafo no seja completo.
Para todo digrafo no-completo D, tem-se (D) n 2. Se D completo, tomaremos
(D) := n 1 por conveno.
Fato: Um digrafo D forte se e somente se (D) 1.
Fato: Para todo digrafo D, (D) (D).
Exerccios
6.2.1 Suponha que (D) = 0. Mostre que (D) = 0.
6.2.2 Mostre (D) (D) para todo digrafo D.
6.3
Digrafos k-fortes e arco-k-fortes
Definio: Um digrafo D arco-k-forte3 (= k-arc-strong) se (D) k. No existe

digrafo arco-k-forte com k > n. O nico digrafo arco-n-forte o que tem n = 1.
Definio: Um digrafo D k-forte4 (= k-strong) se (D) k. No existe digrafo k-forte
com k > n 1. O nico digrafo (n1)-forte o digrafo completo.
Fato: Um digrafo D forte se e somente se arco-1-forte. Um digrafo D forte se e
somente se 1-forte.
Exerccios
6.3.1 Se D arco-k-forte e n 2 ento + (D) k e (D) k.
6.3.2 Se D k-forte e no completo ento |N + (v)| k e |N (v)| k para todo vrtice
v e portanto tambm d+ (v) k e d (v) k para todo vrtice v.
6.3.3 (E.7.5) Mostre que todo torneio regular com dois ou mais vrtices arco- n1
2 -forte.
6.3.4 Uma ponte (= bridge) num digrafo simtrico uma aresta {uv, vu} dotada da seguinte propriedade: existe um conjunto X de vrtices tal que (X, X) = {uv} e
(X, X) = {vu}. Mostre que um digrafo simtrico G arco-2-forte se e somente
se G forte e no tem pontes.
3
4
Diz-se tambm fortemente arco-k-conexo.

Diz-se tambm fortemente k-conexo.
FEOFILOFF
27
6.3.5 (E.7.8 ) Mostre que no existe digrafo planar 6-forte. (Sugesto: Todo grafo planar
com n vrtices tem no mximo 3n 6 arestas.)
6.3.6 (E.7.9 ) Seja D um digrafo k-forte e a um arco de D. Mostre que D a (k1)forte.
6.3.7 (E.7.10 ) Seja D um digrafo k-forte e a um arco de D. Seja D0 o digrafo que se

obtm quando invertemos a. (Se D = (V, A) ento D0 = V, (A r {a}) {a1 } .
Mostre que D0 (k1)-forte.
6.3.8 (E.7.12 ) Para todo nmero natural k, d um digrafo k-forte D com a seguinte
propriedade: a inverso de qualquer arco de D produz um digrafo que no kforte. (Veja E.7.10.)
6.3.9 (E.7.50 ) Seja D um digrafo semicompleto arco-k-forte com pelo menos 2k + 2
vrtices. Prove que existe um arco a tal que D a arco-k-forte. Sugesto: Prove
que D no pode ser minimamente arco-k-forte.
6.3.10 (E.8.46) Seja D um digrafo arco-k-forte. Seja C um ciclo em D. Seja D0 o digrafo
que resulta da inverso de todos os arcos de C . Mostre que D0 arco-k-forte.
6.4
Conexidade local
Definio: Para qualquer par (s, t) de vrtices distintos, denota-se por (s, t) o nmero
min |C|, sendo o mnimo tomado sobre todos os (s, t)-cortes C .
(s, t)
claro que (D) = min (s, t), sendo o mnimo tomado sobre todos os pares (s, t) em
V 2 .
Definio: Para qualquer par (s, t) de vrtices distintos tal que s 9 t, seja (s, t) o
nmero min |S|, sendo o mnimo tomado sobre todos os (s, t)-separadores S .
claro que (D) = min (s, t), sendo o mnimo tomado sobre todos os pares (s, t) em
V 2 tais que s 9 t.
Exerccios
6.4.1 Sejam s e t dois vrtices de um digrafo. Mostre que (s, t) = min d+ (X), sendo o
mnimo tomado sobre todos os conjuntos X de vrtices tais que s X e t X .
6.4.2 Sejam s e t dois vrtices de um digrafo tais que s 9 t. Mostre que (s, t) =
min |N + (X)|, sendo o mnimo tomado sobre todos os conjuntos X de vrtices tais
que s X e t X N + (X).
6.5
Conexidade fraca
Fato: Um digrafo D fracamente conexo5 se e somente se D D1 forte.

5
Veja definio na seo 1.2 deste Roteiro.
(s, t)
28
FEOFILOFF
Definio: Um digrafo D fracamente arco-k-conexo se o digrafo D D1 arco-kforte.

Definio: Um digrafo D fracamente k-conexo se o digrafo D D1 k-forte.
Exerccios
6.5.1 D um exemplo de um digrafo forte que no seja fracamente 2-conexo.
6.5.2 Seja D um digrafo simtrico. Mostre que D fracamente arco-k-conexo se e somente
se D arco-k-forte. Mostre que D fracamente k-conexo se e somente se D k-forte.
6.5.3 Seja C um corte minimal de um digrafo D. Seja X uma margem positiva de C . Mostre o subdigrafo DhXi induzido por X fracamente conexo. Mostre o subdigrafo
DhXi induzido por X fracamente conexo.
6.5.4 Seja C um corte de um digrafo D. Seja X uma margem positiva de C . Suponha que
os subdigrafos induzidos DhXi e DhXi so fracamente conexos. verdade que o
corte C minimal?
Captulo 7
Fluxo em redes
Fluxo em redes um pr-requisito deste curso. Mesmo assim, convm fazer uma rpida
recordao do assunto. (Veja verbete Max-flow min-cut theorem na Wikipedia.)
7.1
Fluxo
Definio: Um fluxo num digrafo (V, A) qualquer funo x de A em1 Q. Um fluxo

inteiro qualquer funo x de A em Z .
P
+ (v) :=
Definio: O efluxo de um fluxo x num vrtice
v
o
nmero
x
vwA x(vw) e o
P
influxo de x em v o nmero x (v) := uvA x(uv). O excesso de x em v o nmero
x+ (v)x (v).2 O vetor de excessos (= balance vector) de x a funo x+
definida assim:
+
+
x (v) := x (v) x (v) para todo v em V .

P
Generalizao: Para qualquer conjunto S de vrtices, x+ (S) :=
a(S,S) x(a) e
P
+
x (S) := a(S,S) x(a). Ademais, x (S) := x (S) x (S).
Exerccios
7.1.1 (E.3.10) Calcule o vetor de excessos x+
para o fluxo x da Figura 3.22 do livro.
P
+
7.1.2 (Importante) Seja x um fluxo num digrafo D. Mostre que x+
(S) =
sS x (s) para
todo S V .
7.2
Redes
Definio: Uma rede um sistema (V, A, l, u) onde (V, A) um digrafo e l e u so

fluxos.
1
2
Note que um fluxo pode ter valores negativos.

A propsito, a reteno de um fluxo x no vrtice v o nmero x (v) x+ (v).
29
x+
(v)
x+
(S)
30
FEOFILOFF
Uma rede com demandas um sistema (V, A, l, u, b) onde (V, A, l, u) uma rede e b
uma funo de V em Z .
7.3
O problema da circulao vivel
Definio: Uma circulao um fluxo x tal que x+

= 0.
Definio: Dada uma rede (V, A, l, u), diremos que uma circulao x (no necessariamente inteira) vivel (= feasible) se l x u.
Fato: Se uma rede (V, A, l, u) tem uma circulao vivel ento l u e l (S) u+ (S)
para todo corte (S, S).
Problema da circulao vivel inteira: Encontrar uma circulao vivel inteira numa
rede (V, A, l, u).
Teorema T.3.8.2 (Hoffman, 1960): Se l e u so inteiros e 0 l u e l (S) u+ (S) para
todo corte (S, S) ento existe uma circulao vivel inteira na rede (V, A, l, u).
Exerccios
7.3.1 Seja (V, A) um digrafo e x um fluxo definido por x(a) = 1 para todo a em A. Mostre
que x uma circulao se e somente se o digrafo euleriano.3 (Veja 1.4 no livro.
Em particular, veja T.1.6.3.)
7.3.2 (E.1.44) Seja G um digrafo simtrico tal que d (v) par para todo vrtice v. Mostre
que G tem uma orientao euleriana (ou seja, uma orientao D tal que d+
D (v) =
(v)
para
todo
vrtice
v).
d
D
7.4
O problema do fluxo mximo
Definio: Para quaisquer dois vrtices s e t de um digrafo, um (s, t)-fluxo um fluxo x

+
+
tal que x+
(s) 0, x (t) 0 e x (v) = 0 para todo v distinto de s e t. O valor de um
+
(s, t)-fluxo x o nmero x (s).
Definio: Dada uma rede (V, A, 0, u) e dois vrtices s e t, diremos que um (s, t)-fluxo x
(no necessariamente inteiro) vivel (= feasible) se 0 x u.
Fato: Em qualquer rede (V, A, 0, u), para todo (s, t)-fluxo vivel x e todo (s, t)-corte
+
(S, S) tem-se x+
(s) u (S).
Problema do (s,t)-fluxo vivel inteiro mximo: Dada uma rede (V, A, 0, u) e dois vrtices s e t, encontrar um (s, t)-fluxo vivel inteiro de valor mximo.
3
De acordo com nossa definio, um digrafo euleriano pode no ser fracamente conexo.
FEOFILOFF
31
Teorema T.3.5.3 + T.3.5.5 (Max-flow Min-cut, FordFulkerson, 1962): Para quaisquer dois
vrtices s e t numa rede (V, A, 0, u), se u inteiro no-negativo ento existe um (s, t)+
fluxo vivel inteiro x e um (s, t)-corte (S, S) tais que x+
(s) = u (S).
Exerccios
7.4.1 (E.3.31) Mostre que uma circulao vivel numa rede (V, A, l, u) pode ser encontrada (se existir) por meio de um nico clculo de (s,t)-fluxo mximo numa rede
apropriada. (Sugesto: Transforme a rede numa rede de (s,t)-fluxo com limites inferiores nulos.)
7.5
O problema do b-fluxo vivel
Definio: Dado um vetor b de V em Z , um b-fluxo um fluxo x tal que x+

= b.
Definio: Dada uma rede com demandas (V, A, l, u, b), diremos que um b-fluxo x (no
necessariamente inteiro) vivel (= feasible) se l x u.
P
Notao: Se S uma parte de V ento b[S] := sS b(s).
Fato: Se uma rede com demandas (V, A, l, u, b) tem um b-fluxo vivel ento l u e
l+ (S) u (S) b[S] u+ (S) l (S) para todo corte (S, S).
Problema do b-fluxo vivel inteiro: Dada uma rede com demandas (V, A, l, u, b), encontrar um b-fluxo vivel inteiro.
(Este problema uma generalizao do problema da circulao vivel inteira.)
Teorema T.3.8.4 + T.3.8.3 (Gale, 1957): Se l, u e b so inteiros e 0 l u e l+ (S)
u (S) b[S] u+ (S) l (S) para cada corte (S, S) ento existe um b-fluxo vivel
inteiro na rede (V, A, l, u, b).4
Exerccios
7.5.1 (E.3.1) Encontre um b-fluxo inteiro na rede com demandas (V, A, 0, u, b) da Figura 3.21 do livro.
7.5.2 (E.3.47 ) Sejam s e t dois vrtices de uma rede (V, A, 0, u). Acrescente rede um
novo arco ts e defina u(ts) := .5 Seja (V, A0 , 0, u) a nova rede. Prove que existe
uma correspondncia biunvoca entre os (s, t)-fluxos viveis de valor mximo em
(V, A, 0, u) e as circulaes viveis x em (V, A0 , 0, u) que maximizam x(ts).
4
5
A condio l+ (S)u (S) b[S] u+ (S)l (S) equivalente condio b[V ] = 0 e b[S] u+ (S)l (S).
Na verdade, basta que u(ts) tenha valor superior a u (t).
b[X]
32
7.6
FEOFILOFF
O problema do b-fluxo vivel de custo mnimo
Definio:
O custo de um fluxo x em relao a um fluxo c,6 o nmero cx :=
P
aA c(a)x(a).
Problema do b-fluxo vivel inteiro de custo mnimo: Dado um fluxo c 0, encontrar
um b-fluxo vivel inteiro de custo mnimo na rede com demandas (V, A, l, u, b).
Teorema T.3.10.3: Seja c um fluxo no-negativo e suponha que u e b so inteiros. Um
b-fluxo vivel inteiro x na rede com demandas (V, A, 0, u, b) (note que l = 0) tem custo
mnimo se e somente se existe uma funo y de V em Z e uma funo w de A em Z
tais que cx = yb + wu e y(j) y(i) c(ij) + w(ij) para todo ij em A.
7.7
Algoritmos para fluxos
Teorema T.3.6.3 (EdmondsKarp, 1972): Existe um algoritmo polinomial para o problema do (s,t)-fluxo vivel inteiro mximo.
Teorema T.3.8.3: Existe um algoritmo polinomial7 para o problema do b-fluxo vivel
inteiro.
Prova: Reduo ao problema do (s,t)-fluxo vivel inteiro mximo.
Teorema T.3.10.4 (GoldbergTarjan, 1989): Existe um algoritmo polinomial8 para o problema do b-fluxo vivel inteiro de custo mnimo.
Prova: Reduo ao problema do (s,t)-fluxo vivel inteiro mximo.
6
7
8
Para cada arco a, o nmero c(a) interpretado como custo do arco a.

O(n3 )
O(n2 m3 log n)
Captulo 8
Fluxo e os teoremas de Menger

Este captulo trata de uma importante aplicao do fluxo em redes.
8.1
Teorema de Menger para arcos
Proposio: Para todo par (s, t) de vrtices distintos de um digrafo tem-se |P| |C| para
toda coleo1 P de (s, t)-caminhos disjuntos nos arcos e todo (s, t)-corte C .
Teorema T.7.3.1 a (Menger, 1927): Para todo par s, t de vrtices distintos de um digrafo,
existe uma coleo P de (s, t)-caminhos disjuntos nos arcos e existe um (s, t)-corte C
tais que |P| = |C|.
Prova: Reduo ao problema do (s, t)-fluxo.
Corolrio: Para todo par s, t de vrtices distintos de um digrafo, o nmero mximo de
(s, t)-caminhos disjuntos nos arcos (s, t).
Corolrio C.7.3.2 a : Um digrafo D com n 2 arco-k-forte se e somente se, para cada
par s, t de vrtices distintos, D tem k (s, t)-caminhos disjuntos nos arcos.
Exerccios
8.1.1 (E.7.16 +) Deduza o teorema T.3.5.3 (Max-flow Min-cut) do teorema T.7.3.1 a .
8.2
Teorema de Menger para vrtices
Definio: Dois caminhos x1 x2 . . . xp e y1 y2 . . . yq com x1 = y1 e xp = yq so internamente

disjuntos se {x2 , . . . , xp1 } {y2 , . . . , yq1 } = .
1
Veja apndice A.
33
34
FEOFILOFF
Proposio: Se s 9 t ento |P| |S| para toda coleo P de (s, t)-caminhos internamente
disjuntos e todo (s, t)-separador S .
Teorema T.7.3.1 b (Menger, 1927): Para todo digrafo D e todo par s, t de vrtices distintos tal que s 9 t, existe uma coleo P de (s, t)-caminhos internamente disjuntos e um
(s, t)-separador S tais que |P| = |S|.
Prova: Aplique o teorema do (s, t)-fluxo mximo representao bipartida estendida
de D (veja abaixo).
Corolrio: Para todo digrafo D e todo par s, t de vrtices distintos tal que s 9 t, o
nmero mximo de (s, t)-caminhos internamente disjuntos (s, t).
Corolrio C.7.3.2 b : Um digrafo no-completo D k-forte se e somente se, para cada par
s, t de vrtices distintos tais que s 9 t, o digrafo tem k (s, t)-caminhos internamente
disjuntos.
A prova do teorema T.7.3.1 b a partir do teorema do fluxo mximo usa a seguinte representao de digrafos:
Definio: A representao bipartida (= bipartite representation) de um digrafo D o
digrafo bipartido (V 0 V 00 , B) definido como segue.2 Os conjuntos V 0 e V 00 so cpias
mutuamente disjuntas de V (D). Para cada v em V (D), os elementos correspondentes
de V 0 e V 00 sero denotados por v 0 e v 00 respectivamente; podemos dizer ento que
V 0 = {v 0 : v V } e V 00 = {v 00 : v V }. O conjunto de arcos do novo digrafo
B := {u0 v 00 : uv A(D)}.
BG(D)
Notao: A representao bipartida de D ser denotada por BG(D).

Definio: A representao bipartida estendida de um digrafo D a representao
bipartida (V 0 V 00 , B) acrescida de todos os arcos da forma v 00 v 0 com v em V (D).
8.3
Algoritmos
Fato: Existe algoritmo polinomial3 para determinar (s, t) para quaisquer dois vrtices
s e t. Existe algoritmo polinomial para determinar (D) para qualquer digrafo D.
Corolrio C.7.4.1 (de P.7.4.1, Schnorr, 1979): possvel determinar (D) com apenas n
clculos de fluxo mximo.
Fato: Existe algoritmo polinomial4 para determinar (s, t) para quaisquer dois vrtices
s e t. Existe algoritmo polinomial para determinar (D) para qualquer digrafo D.
2
3
4
Veja 1.8 e figura 1.16 no livro.

O(n3 )
O(n3 )
FEOFILOFF
35
Exerccios
8.3.1 (E.1.49) Uma tripla transitiva um conjunto de trs vrtices x, y, z tal que x y z
e x z. Seja D um digrafo dotado de um tripla transitiva. Mostre que se D 2-forte
ento D tem dois ciclos cujos comprimentos diferem em uma unidade.
8.3.2 (E.7.7) Seja s um vrtice de um digrafo D. Seja k um nmero natural. Suponha que
(s, v) k e (v, s) k para cada vrtice v. Mostre que (D) k.
8.3.3 (E.7.11) A k-sima potncia de um ciclo C = v1 vn v1 o digrafo que tem vrtices
v1 , . . . , vn e conjunto de arcos {vi vj : i + 1 j i + k, i = 1, . . . , n}, sendo os ndices
j tomados mdulo k. Prove que a k-sima potncia de qualquer ciclo com mais que
k vrtices um digrafo k-forte.
8.3.4 (E.7.19) (Importante) Seja D = (V, A) um digrafo k-forte. Sejam X e Y dois subconjuntos de V . Mostre que existem caminhos P1 , . . . , Pk , dois a dois internamente
disjuntos, cada um com origem em X e trmino em Y .
8.3.5 (E.7.27) Seja D = (V, A) um multi-digrafo arco-k-forte e s um objeto fora de V . Seja
D0 o digrafo que se obtm se inserirmos no digrafo D + s uma famlia5 de k novos
arcos com origem em V e trmino s e uma famlia de k novos arcos com origem s e
trmino em V . Mostre que D0 arco-k-forte.
8.3.6 (E.7.26) Seja D = (V, A) um digrafo k-forte e s um objeto fora de V . Seja D0 o
digrafo que se obtm se acrescentarmos k novos arcos com origem em V e trmino
s e k novos arcos com origem s e trmino em V (os novos arcos so distintos dois a
dois) ao digrafo D + s. Mostre que D0 k-forte.
8.3.7 (E.7.17) Seja D um multi-digrafo arco-k-forte. Sejam x1 , . . . , xr , y1 , . . . , yP
s vrtices
distintos
de
D.
Sejam
a
,
.
.
.
,
a
,
b
,
.
.
.
,
b
nmeros
naturais
tais
que
1
r 1
s
i ai =
P
j bj = k. Mostre que D tem k caminhos arco-disjuntos tais que exatamente ai
comeam em xi e exatamente bj terminam em yj .
8.3.8 (E.7.17) Seja D um multi-digrafo k-forte. Sejam x1 , . . . , xr , y1 , . . P
. , ys vrtices
P distintos de D. Sejam a1 , . . . , ar , b1 , . . . , bs nmeros naturais tais que i ai = j bj = k.
Mostre que D tem k caminhos internamente disjuntos tais que exatamente ai comeam em xi e exatamente bj terminam em yj .
Veja definio de famlia no apndice A deste Roteiro.
Captulo 9
Outras aplicaes de fluxo

9.1
Emparelhamentos em digrafos bipartidos
Definio: Um emparelhamento (= matching) em um digrafo (V, A) um subconjunto M de

+
A tal que d
M (v) + dM (v) 1 para todo vrtice v, sendo dM (v) o grau do vrtice v no digrafo
+
(V, M ). Se d
M (v)+dM (v) = 1 para todo vrtice v, dizemos que o emparelhamento perfeito.
Problema: Encontrar um emparelhamento mximo num digrafo bipartido.
Teorema T.3.11.1: Existem algoritmos polinomiais1 para encontrar um emparelhamento
mximo num digrafo bipartido.
Prova: Reduo ao problema do (s,t)-fluxo de valor mximo (veja T.3.6.3).
Uma cobertura de um digrafo um conjunto de vrtices que contm pelo menos uma
das pontas de cada arco do digrafo.
Teorema T.3.11.2 (Knig, 1931): Num digrafo bipartido, um emparelhamento mximo
tem o mesmo tamanho que uma cobertura mnima.
Isso um corolrio do teorema Max-flow Min-cut (T.3.5.3 + T.3.5.5).
Teorema T.3.11.3 (Hall, 1935): Um digrafo bipartido (V, A) com bipartio (U, W ) tem
um emparelhamento que cobre U se e somente se |N (X)| |X| para toda parte X
de U .
Aqui, N (X) denota a unio N (X) N + (X).
N (X)
Isso um corolrio do teorema Max-flow Min-cut (T.3.5.3 + T.3.5.5).

Problema (Assignment Problem): Dado um digrafo bipartido com custos nas arcos, encontrar
um emparelhamento perfeito de custo mnimo.
Soluo: Reduo ao problema do (s,t)-fluxo de custo mnimo.
1
O(n1/2 m)
36
FEOFILOFF
9.2
37
O problema do carteiro chins em digrafos
Esta seo trata de redes (V, A, l, u) em que l = 1 e u = .2

Problema Dirigido do Carteiro Chins:3 Dado um digrafo (V, A) e umP
fluxo c,4 encontrar
uma circulao vivel inteira x na rede (V, A, 1, ) que minimize cx := aA c(a)x(a).
Quando c = 1, esse problema tem uma soluo de custo m se e somente se d (v) = d+ (v)
para cada vrtice v.
Teorema T.3.11.4: O problema dirigido do carteiro chins pode ser resolvido em tempo
polinomial.
Veja T.3.8.2.
Exerccios
9.2.1 (E.3.66) Encontre uma soluo do problema dirigido do carteiro chins no digrafo
da Figura 3.25 do livro.
9.2.2 Mostre que x = 1 uma circulao vivel na rede (V, A, 1, ) se e somente se (V, A)
euleriano. (Veja 1.4 no livro. Em particular, veja o Teorema de Euler, T.1.6.3.)
9.2.3 (E.3.54 +) Seja D um digrafo semicompleto regular. (a) Se n mpar, mostre que
D tem um torneio gerador regular. (Veja exerccio 1.2.6.) (b) Se n par, mostre
que D tem um torneio gerador quase regular, ou seja, um torneio gerador T tal que
+
|d
T (v) dT (v)| 1 para cada vrtice v. (Veja soluo no apndice ??.)
9.3
Subdigrafo gerador com graus especificados
Problema do do subdigrafo gerador com graus especificados: Dado um digrafo D com

V (D) = {v1 , . . . , vn } e inteiros a1 , . . . , an e b1 , . . . , bn , encontre uma parte B de A(D) tal que
+
d
B (vi ) = ai e dB (vi ) = bi para todo i.
Exemplos: Encontrar um subdigrafo gerador 1-regular de um digrafo dado (ou decidir que
um tal subdigrafo no existe).
Teorema T.3.11.5: Existe um algoritmo polinomial que resolve o problema do subdigrafo gerador com graus especificados.
Prova: Reduza a um problema de (s,t)-fluxo vivel mximo num superdigrafo apropriado de BG(D).
2
3
4
Para no lidar com , poderamos adotar u(ij) = m para cada arco ij .

A verso no-dirigida do problema mais difcil.
O fluxo c tratado como um custo.
38
9.4
CDCaCi
FEOFILOFF
Cobertura disjunta por caminhos e ciclos
Definio: Uma cobertura disjunta por caminhos e ciclos (= path-cycle factor), ou CDCaCi,
de um digrafo D uma coleo5 de caminhos e ciclos tal que cada vrtice de D pertence a
um e apenas um dos elementos da coleo. conveniente entender uma CDCaCi como um
subdigrafo de D cada uma de cujas componentes fracas um caminho ou um ciclo.
Problema minCDCaCi (Path-Cycle Factor Problem): Dado um digrafo D, encontrar uma CDCaCi de D que tenha o menor nmero possvel de caminhos.6
O path-cyle factor number, pcc (D), o nmero de caminhos numa soluo do problema.7
Proposio P.3.11.8 (folclore): Para todo digrafo D, pcc (D) = n (BG(D)), sendo
(B) a cardinalidade de um emparelhamento mximo no digrafo B.
Proposio P.3.11.8: Existe um algoritmo polinomial para o problema minCDCaCi.
A propsito, veja discusso de path covering na seo 15.2 deste Roteiro.
Exerccios
9.4.1 (E.3.68) Prove P.3.11.8. (Veja E.1.62. Veja esboo de soluo no apndice ??.)
9.4.2 (E.3.59 +) Encontre, em tempo polinomial, uma CDCaCi com k caminhos. Dica:
fluxo de valor mnimo.
9.4.3 (E.3.61) Seja k um inteiro positivo.
Mostre que um digrafo
uma CDCaCi com
S D tem
S
+
k caminhos se e somente se | xX N (x)| |X| k e | xX N (x)| |X| k para
toda parte X de V . (Veja P.3.11.6 abaixo.)
9.4.4 Seja (P0 , P1 , . . . , Pt ) uma decomposio em orelhas de um digrafo forte D. Seja k
o nmero de orelhas no-triviais da decomposio (P0 uma delas). Mostre que
pcc (D) k 1.
9.5
CDCi
Cobertura disjunta por ciclos
Uma cobertura disjunta por ciclos (= cycle factor), ou CDCi, de um digrafo D uma coleo
de ciclos tal que cada vrtice de D pertence a um e apenas um dos ciclos da coleo.
Problema CDCi (Cycle Factor Problem): Encontrar uma CDCi de um digrafo.8
5
6
7
8
Veja apndice A.
O nmero de ciclos irrelevante.
A sigla pcc uma abreviatura de path-cycle covering.
O nmero de ciclos da CDCi irrelevante.
FEOFILOFF
39
Esse problema o caso particular ai = bi = 1 do problema do subdigrafo gerador com graus

especificados (veja acima). Tambm um caso particular do problema minCDCaCi (pois
toda CDCi uma CDCaCi com 0 caminhos).
Proposio
P.3.11.6 (Ore,
S
S 1962): Um digrafo D tem uma CDCi se e somente se
| xX N + (x)| |X| e | xX N (x)| |X| para toda parte X de V .
Prova: Corolrio fcil de T.3.11.3.
Fato: Existe um algoritmo polinomial que encontra uma CDCi ou um conjunto X que
viola a condio de P.3.11.6.
A seguinte variante do problema NP-difcil: Dado um digrafo D, encontrar uma
CDCi de D que tenha o menor nmero possvel de ciclos. (Este o Minimum Cycle
Factor Problem.)
Exerccios
9.5.1 Se um digrafo tem uma CDCi com k ciclos ento, para j = 0, . . . , k, tem uma CDCaCi com j caminhos.
9.5.2 (E.1.62) Mostre que um digrafo D tem uma CDCi se e somente se BG(D) tem um
emparelhamento perfeito.
S
P
9.5.3 O nmero xX |N + (x)| igual ao nmero | xX N + (x)|?
9.5.4 (E.3.70) Prove que todo digrafo regular com pelo menos um arco tem uma CDCi.
9.5.5 Dado um digrafo D, encontrar uma CDCi sem ciclos de comprimento 2. Acho que
esse problema difcil. Voc sabe dizer alguma coisa a respeito?
9.6
Coleo disjunta de ciclos que cobre muitos vrtices
Definio: Uma coleo disjunta de ciclos (= cycle subdigraph) de um digrafo D uma coleo
de ciclos tal que cada vrtice de D pertence a no mximo um dos ciclos da coleo. (Exemplo:
toda CDCi uma coleo disjunta de ciclos.)
Problema Cycle Subdigraph Problem: Dado um digrafo D, encontrar uma coleo disjunta de
ciclos que cubra o maior nmero possvel de vrtices de D.
Teorema T.3.11.11 (Alon, ca. 1993): Existe um algoritmo polinomial9 para o problema.
Prova: Reduo ao problema do emparelhamento perfeito de custo mnimo num Kn,n
com laos.
O(n3 )
40
FEOFILOFF
Exerccios
9.6.1 (E.3.63) Complete a prova de T.3.11.11. (Em particular, corrija os erros de notao
do esboo dado no livro.)
Captulo 10
Digrafos hamiltonianos: introduo

Definio: Um ciclo hamiltoniano em um digrafo D um ciclo gerador, isto , um ciclo que
passa por todos os vrtices de D. Um digrafo hamiltoniano se tem um ciclo hamiltoniano.
Problema do ciclo hamiltoniano: Encontrar um ciclo hamiltoniano em um digrafo.
Definio: Um caminho hamiltoniano um caminho gerador, isto , um caminho que passa
por todos os vrtices de D.
Problema do caminho hamiltoniano: Encontrar um caminho hamiltoniano num digrafo.
Generalizaes dos problemas acima: encontrar um ciclo de comprimento mximo e encontrar um caminho de comprimento mximo.
Todos esses problema so NP-difceis.
10.1
Condies necessrias
Fato 1: Se um digrafo D tem um ciclo hamiltoniano ento D forte e fracamente 2conexo.1

Fato 2: Se um digrafo D tem um caminho hamiltoniano ento D fracamente conexo.
Exerccios
10.1.1 Mostre que as condies D forte e D fracamente 2-conexo so mutuamente
independentes.
10.1.2 Seja D um digrafo dotado de um ciclo hamiltoniano. verdade que D 2-forte?
verdade que D arco-2-forte? verdade que D fracamente arco-2-conexo?
10.1.3 (E.1.18) (Ordem acclica nica) Prove que um digrafo acclico D tem uma nica
ordem acclica se e somente se D tem um caminho hamiltoniano.
1
Veja definio de fracamente 2-conexo na seo 6.5.
41
42
FEOFILOFF
10.1.4 Se D tem um ciclo hamiltoniano D0 ento D0 uma reduo transitiva de D.

10.1.5 Descreva informalmente um algoritmo que procura um ciclo de comprimento mximo em um digrafo transitivo.
10.2
Digrafos semicompletos
Esta seo trata de caminhos e ciclos hamiltonianos em digrafos semicompletos e portanto

tambm em torneios.
Teorema T.1.4.5 (Rdei, 1934): Todo digrafo semicompleto tem um caminho hamiltoniano.
Veja prova indutiva em 1.9.1.
Corolrio C.1.5.2 (Camion, 1959): Todo digrafo semicompleto forte com n > 1 vrtices
tem um ciclo hamiltoniano.
Esse fato corolrio do seguinte:
Teorema T.1.5.1 (Moon, 1966): Seja T um digrafo semicompleto forte com n > 1 vrtices. Para todo vrtice x de T e todo k in {3, . . , n}, existe um ciclo de comprimento k
passando por x.
Exerccios
10.2.1 Mostre que todo torneio regular com mais de 1 vrtice tem um ciclo hamiltoniano.
(Veja exerccio 3.3.12.)
10.2.2 (E.1.26) Seja T um torneio no-acclico. Mostre que T tem dois caminhos hamiltonianos.
10.2.3 Descreva uma coleo infinita de torneios sem ciclo hamiltoniano. (Veja prova de
C.1.5.2.)
10.2.4 Seja D um digrafo semicompleto forte com n 3. Mostre que D tem uma orientao
forte. Em outras palavras, mostre que D contm um torneio gerador forte.
10.2.5 Para quaisquer conjuntos mutuamente disjuntos X e Y seja d+ (X, Y ) := |(X, Y )|.
Seja P um caminho de comprimento k 1 num digrafo D e seja v um vrtice em
V (D) r V (P ). Mostre que se D no tem um caminho com conjunto de vrtices
V (P ) {v} ento d+ ({v}, V (P )) + d+ (V (P ), {v}) k 1.
Captulo 11
Digrafos hamiltonianos localmente

semicompletos
Este captulo estende os teoremas de Rdei (T.1.4.5) e Camion (C.1.5.2) aos digrafos localmente semicompletos.
11.1
Digrafos localmente semicompletos
Definio: Um digrafo D localmente semicompleto (= locally semicomplete) se, para cada

vrtice v, o digrafo induzido por N + (v) semicompleto e o digrafo induzido por N (v)
semicompleto.
Exemplo: Todo digrafo semicompleto localmente semicompleto.
Exerccios
11.1.1 Seja D um digrafo com vrtices v1 , . . . , vn tal que N (vi ) = {vi1 , vi2 } e N + (vi ) =
{vi+1 , vi+2 } para cada i, sendo todos os ndices tomados mdulo n. Mostre que D
localmente semicompleto.
11.1.2 Um digrafo D redondo (= round) se existe uma enumerao v1 , . . . , vn dos seus
vrtices e nmeros k1 , . . . , kn e l1 , . . . , ln tais que N (vi ) = {vi1 , . . . , viki } e
N + (vi ) = {vi+1 , . . . , vi+li } para cada i, sendo todos os ndices tomados mdulo n.
(Veja seo 4.11 no livro.) Mostre que todo digrafo redondo localmente semicompleto. (Veja Proposio P.4.11.1 no livro.)
11.1.3 Exiba um digrafo localmente semicompleto que no redondo.
11.1.4 (E.5.12) Seja D um digrafo localmente semicompleto e forte. Mostre que D fracamente 2-conexo.
11.1.5 (Lema L.4.10.3) Mostre que todo digrafo localmente semicompleto fracamente conexo tem um in-branching.
43
44
FEOFILOFF
11.1.6 (E.4.27) Mostre que toda orientao de um digrafo localmente semicompleto localmente semicompleta.
11.1.7 (E.4.28) Seja D um digrafo forte localmente semicompleto com n 3. Mostre que
D tem uma orientao forte. (Veja antes E.4.27.)
11.2
Ciclos hamiltonianos
Teorema T.5.5.1 (Bang-JensenHuangPrisner, 1993):1 Todo digrafo localmente semicompleto forte com n 2 vrtices tem um ciclo hamiltoniano.
Prova: Anloga de C.1.5.2 (Camion).
Teorema T.5.5.2 (Bang-JensenHell, 1993): H um algoritmo polinomial2 para encontrar
um ciclo hamiltoniano em um digrafo localmente semicompleto forte.
Exerccios
11.2.1 (E.5.13) Prove T.5.5.1.
11.2.2 Descreva uma coleo infinita de digrafos localmente semicompletos sem ciclo hamiltoniano.
11.3
Caminhos hamiltonianos
Corolrio C.5.5.6 (Bang-Jensen, 1990): Todo digrafo localmente semicompleto e fracamente conexo tem um caminho hamiltoniano.
Prova: Anloga de T.1.4.5 (Rdei).
Teorema T.5.5.5 (Bang-JensenHell, 1993): H um algoritmo polinomial3 para encontrar
um caminho mximo em um digrafo localmente semicompleto.
Exerccios
11.3.1 (E.5.14) Prove C.5.5.6.
1
2
3
Esta uma verso simplificada de T.5.5.1: na verso original tem-se in-semicomplete no lugar de semicomplete.
O(m + n log n)
O(m + n log n)
Captulo 12
Digrafos hamiltonianos: intercalao

de caminhos
Este captulo discute caminhos e ciclos hamiltonianos numa classe de digrafos que inclui
todos os localmente semicompletos.
Como se sabe, todo digrafo dotado de ciclo hamiltoniano forte e fracamente 2-conexo. Este
captulo mostra o que falta para que a recproca seja verdadeira.
12.1
Intercalao de caminhos
Definio: Um digrafo D tem a propriedade da intercalao de caminhos (= path-merging

property) se, para cada par x, y de seus vrtices e cada par P, Q de (x, y)-caminhos internamente disjuntos, existe um (x, y)-caminho R tal que V (R) = V (P ) V (Q).
Diremos que um digrafo PIC (= is path-mergeable) se tiver a propriedade da intercalao de
caminhos.
Proposio 4.10.1 (Bang-Jensen, 1995): Todo digrafo localmente semicompleto PIC.
Teorema T.4.9.1 (Bang-Jensen, 1995): Um digrafo D PIC se e somente se, para cada
par x, y de seus vrtices e cada par P, Q de (x, y)-caminhos internamente disjuntos
de comprimento 2, algum vrtice interno de P domina o segundo vrtice de Q ou
algum vrtice interno de Q domina o segundo vrtice de P .
Corolrio C.4.9.2: Existe um algoritmo polinomial que reconhece digrafos PIC.
Exerccios
12.1.1 Prove P.4.10.1.
12.1.2 Mostre, de maneira algortmica, que todo torneio PIC.
45
PIC
46
FEOFILOFF
12.1.3 Prove a parte se de T.4.9.1. (A prova do s se est no livro.)

12.1.4 (E.4.23 +) Prove C.4.9.2.
12.1.5 (E.4.25 ) Prove que um digrafo transitivo PIC se e somente se, para cada par x, y
de seus vrtices e quaisquer caminhos xuy e xvy com u 6= v tem-se u v ou u v.
12.1.6 Mostre que nem todo digrafo hamiltoniano PIC.
12.2
Teorema T.5.4.2 (Bang-Jensen, 1995): Todo digrafo forte, fracamente 2-conexo e dotado da
PIC tem um ciclo hamiltoniano.
12.3
No se conhece caracterizao de digrafos PIC que tm caminho hamiltoniano. (Veja problema 5.4.4 no livro.)
Captulo 13
Digrafos hamiltonianos com graus

elevados
13.1
Resultados antigos
Corolrio C.5.6.6 (Woodall, 1972): Seja D um digrafo forte1 com n 2 vrtices. Se

d+ (x) + d (y) n sempre que x 9 y ento D tem um ciclo hamiltoniano.
Teorema T.5.6.7 (Meyniel, 1973): Seja D um digrafo forte2 com n 2 vrtices. Se
d (x) + d+ (x) + d (y) + d+ (y) 2n 1 para todo par x, y de vrtices no-adjacentes
ento D tem um ciclo hamiltoniano.
Exerccios
13.1.1 Exiba um torneio que no satisfaz as condies de C.5.6.6.
13.1.2 (Corolrio C.5.6.2, Ghouila-Houri, 1960) Seja D um digrafo forte com n vrtices.
Suponha que d (x) + d+ (x) n para todo vrtice x. Mostre que D tem um ciclo
hamiltoniano.
13.1.3 (Corolrio C.5.6.3) Seja D um digrafo forte com n vrtices. Suponha que + (D)
n/2 e (D) n/2. Mostre que D tem um ciclo hamiltoniano.
13.1.4 Deduza C.5.6.2 (veja exerccio 13.1.2) de C.5.6.6.
13.1.5 Deduza C.5.6.3 (veja exerccio 13.1.3) de C.5.6.6.
13.1.6 Deduza C.5.6.6 de T.5.6.7.
13.2
1
2
Resultados novos
A hiptese D forte redundante. Veja exerccio 3.3.8.

Acho que essa hiptese no redundante.
47
48
FEOFILOFF
Os teoremas abaixo generalizam os resultados da seo anterior. Dizemos que um par x, y

de vrtices distintos dominado se existe um vrtice z tal que z x e z y. Dizemos que
um par x, y de vrtices distintos dominante se existe um vrtice z tal que z x e z y.
Teorema T.5.6.1 (Bang-JensenGutinLi, 1996): Seja D um digrafo forte com n 2
vrtices. Suponha que d (x) + d+ (x) n e d (y) + d+ (y) n 1 ou d (x) + d+ (x)
n 1 e d (y) + d+ (y) n para todo par dominado x, y de vrtices no-adjacentes.
Ento D tem um ciclo hamiltoniano.
Prova: Longa e complexa. Usa multi-insertion technique (5.6.2).
Teorema T.5.6.5 (Bang-JensenGutinLi, 1996): Seja D um digrafo forte com n 2
vrtices. Suponha que d+ (x) + d (y) n e d (x) + d+ (y) n para todo par dominado
x, y de vrtices no-adjacentes e todo par dominante x, y de vrtices no-adjacentes.
Ento D tem um ciclo hamiltoniano.
Prova: Longa e complexa. Usa multi-insertion technique (5.6.2).
Exerccios
13.2.1 Deduza C.5.6.2 (veja exerccio 13.1.2) de T.5.6.1.
13.2.2 Deduza C.5.6.3 (veja exerccio 13.1.3) de T.5.6.1.
13.2.3 Deduza C.5.6.6 de T.5.6.5.
Captulo 14
Digrafos hamiltonianos multipartidos

semicompletos
Este captulo depende das CDCi e CDCaCi discutidas na seo 9.5 deste Roteiro. Depende
tambm da multi-insertion technique de 5.6.2 do livro.
Definio: Um digrafo (V, A) bipartido semicompleto (= semicomplete bipartite) se V admite
uma partio {X1 , X2 } tal que (1) nenhum arco tem ambas as pontas num mesmo bloco da
partio e (2) para todo u em X1 e todo v em X2 tem-se u v ou u v ou ambos.
Definio: Um digrafo (V, A) multipartido semicompleto (= semicomplete multipartite) se V
admite uma partio {X1 , . . . , Xp } tal que (1) nenhum arco tem ambas as pontas num mesmo
bloco da partio e (2) para todo u em Xi e todo v em Xj , j 6= i, tem-se u v ou u v ou
ambos.
Exerccios
14.0.1 (E.1.53 +) Suponha que um digrafo bipartido semicompleto B tem uma CDCaCi
com um s caminho e um s ciclo. Mostre (sem recorrer ao T.5.7.1) que B tem um
caminho hamiltoniano.
14.0.2 (E.1.54 +) Seja D um digrafo bipartido semicompleto forte. Suponha que D tem
uma CDCi com exatamente dois ciclos. Prove (sem recorrer ao T.7.5.4) que D tem
um ciclo hamiltoniano.
14.0.3 (E.1.55 +) Seja D um digrafo bipartido semicompleto forte. Suponha que D tem
uma CDCi. Prove que D tem um ciclo hamiltoniano. (Veja E.1.54.)
14.0.4 (E.1.63) Descreva uma coleo infinita de digrafos multipartidos semicompletos fortes anti-simtricos cada um dos quais tem uma CDCi mas no tem um ciclo hamiltoniano.
14.0.5 (E.1.65) Seja D um digrafo tripartido semicompleto simtrico. Descreva as condies em que D tem um ciclo hamiltoniano.
49
50
14.1
FEOFILOFF
Teorema T.5.7.1 (Gutin, 1993): Todo digrafo multipartido semicompleto que tem um
CDCaCi com exatamente 1 caminho tambm tem um caminho hamiltoniano.
A prova (5.7.3) longa. Depende de L.5.7.12. Usa multi-insertion technique (5.6.2).
Existe um algoritmo polinomial para encontrar um caminho hamiltoniano num digrafo
multipartido semicompleto ou decidir que um tal caminho no existe.
Teorema T.5.7.3 (Gutin, 1993): possvel encontrar um caminho mximo num digrafo
multipartido semicompleto em tempo polinomial.
14.2
Teorema T.5.7.4 (Gutin, 1984; HggkvistManoussakis, 1989): Todo digrafo bipartido

semicompleto forte que tem uma CDCi tambm tem um ciclo hamiltoniano.
Acho que a prova no simples.
Existe um algoritmo polinomial para encontrar um ciclo hamiltoniano num digrafo
bipartido semicompleto forte ou decidir que um tal ciclo no existe.
Teorema T.5.7.9 (Bang-JensenGutinYeo, 1998): Existe um algoritmo polinomial que
recebe um digrafo multipartido semicompleto forte D e devolve um ciclo hamiltoniano
em D ou decide que D no tem um tal ciclo.
A prova bastante difcil.
Exerccios
14.2.1 (E.5.28) Mostre que o torneio multipartido da figura 5.6 do livro no tem ciclo hamiltoniano.
Captulo 15
Digrafos hamiltonianos:
generalizaes
Este captulo trata de algumas generalizaes do problema do ciclo hamiltoniano. Algumas
envolvem a CDCi e a CDCaCi definidas na seo 9.4 deste Roteiro.
15.1
Caminhos mximos
Problema: Encontrar um caminho mximo num digrafo.

Notao: Para qualquer digrafo D, seja lp(D) o comprimento de um caminho de comprimento mximo em D.
lp(D)
Problema do caminho mximo: Dado um digrafo D, encontrar lp(D).

O problema NP-difcil. H uma relao interessante entre lp(D) e o nmero cromtico (D).
Definio: Um conjunto S de vrtices estvel se nenhum arco tem ambas as pontas
em S . Uma colorao de um digrafo D uma coleo1 de conjuntos estveis que
cobre V (D).
O nmero cromtico de um digrafo D a cardinalidade de uma colorao mnima
de D. O nmero cromtico de D denotado por (D).
Teorema T.8.4.1 (Gallai, 1968; Roy, 1967; Vitaver, 1962): Para todo digrafo D tem-se
lp(D) (D) 1.
Exerccios
15.1.1 Deduza o teorema T.1.4.5 (Rdei) de T.8.4.1.
1
Veja apndice A.
51
(D)
52
FEOFILOFF
15.1.2 Seja D um digrafo acclico. Para cada vrtice v, seja f (v) o comprimento de um
caminho mximo dentre os que tm origem v. Mostre que para todo arco uv tem-se
f (u) > f (v).
15.1.3 A prova do teorema T.8.4.1 que aparece no livro contm alguns pequenos erros e
inconsistncias. Refaa a prova corrigindo esses defeitos.
15.2
CDCa
Cobertura disjunta por caminhos
Definio: Uma cobertura disjunta por caminhos (= path factor), ou CDCa, de um digrafo
D uma coleo de caminhos tal que cada vrtice de D pertence a um e apenas um dos
caminhos da coleo.
Problema minCDCa: Encontrar uma CDCa que tenha o menor nmero possvel de caminhos.
pc(D)
(D)
O problema NP-difcil. A cardinalidade de uma soluo do problema conhecida como

path factor number e denotada por pc(D).2 Portanto, pc(D) = 1 se e somente se D tem um
Definio: Um conjunto X de vrtices estvel se nenhum arco tem ambas as pontas
em X . O tamanho de um conjunto estvel mximo de D denotado por (D).
Teorema T.5.2.1 (GallaiMilgram, 1960): Se um digrafo D no tem um conjunto estvel
com mais que k vrtices ento tem uma CDCa com apenas k caminhos. Em outras
palavras, pc(D) (D).
Teorema T.1.4.5 (Rdei) um caso particular.
Teorema T.5.3.2 (Dilworth, 1950): Para todo digrafo transitivo D tem-se pc(D) = (D).
Isso um corolrio de T.5.2.1.
Teorema T.5.3.1 (folclore): Existe um algoritmo polinomial3 para o problema minCDCa
restrito a digrafos acclicos.
Prova: CDCa coincide com CDCaCi quando digrafo acclico.
Exerccios
15.2.1 Mostre que pc(D) pcc (D) para todo digrafo D.
15.2.2 Mostre que pc(D) n(DD1 ) para qualquer digrafo D, sendo (G) o tamanho
de um emparelhamento mximo no digrafo G. (No confunda com P.3.11.8.)
15.2.3 Seja D um digrafo com bipartio (U, W ) tal que todo arco vai de U para W . Qual
a relao entre um emparelhamento mximo em D e uma CDCa mnima em D?
2
3
A sigla pc uma abreviatura de path covering.
O( nm)
FEOFILOFF
53
15.2.4 verdade que pc(D) = (D) se D acclico?

15.2.5 (E.1.34 (Proposio P.1.4.6)) Seja D = (V, A) um digrafo e k um inteiro positivo.
Prove que as seguintes afirmao so equivalentes: (1) pc(D) = k + 1; (2) k o
tamanho do menor subconjunto A0 de V 2 tal que o digrafo (V, A A0 ) tem um
15.2.6 (E.5.8) Um aeroporto tem um certo nmero de pistas de pouso/decolagem. Cada
avio quer usar uma pista durante um certo intervalo de tempo. Como escalonar
os avies de modo a usar o menor nmero possvel de pistas? (Queremos deixar o
maior nmero possvel de pistas livres para atender emergncias.)
15.2.7 Seja (P0 , P1 , . . . , Pt ) uma decomposio em orelhas de um digrafo forte D. Seja k
o nmero de orelhas no-triviais da decomposio (P0 uma delas). Mostre que
pc(D) k.
15.2.8 (Min-max de Dilworth) Uma cobertura por caminhos uma coleo de caminhos
que cobre todos os vrtices do digrafo (ou seja, todo vrtice pertence a pelo um dos
caminhos da coleo). Dois vrtices x e y so incomparveis se no existe caminho
de x a y nem de y a x. Mostre que, em qualquer digrafo, tem-se |C| |I| para toda
cobertura por caminhos C e todo conjunto I de vrtices dois a dois incomparveis.
Mostre que em qualquer digrafo acclico existe uma cobertura por caminhos C e um
conjunto I de vrtices dois a dois incomparveis tais que |C| = |I|.
15.3
Subdigrafo gerador forte mnimo
Definio: Um SGF de um digrafo D um subdigrafo gerador forte (= strong spanning subdigraph) de D.

Problema minSGF (= MSSS Problem): Encontrar um SGF que tenha o menor nmero possvel
de arcos. Em outras palavras, encontrar uma parte mnima F de A tal que (V, F ) forte.
O problema NP-difcil. (O problema tem soluo com apenas n arcos se e somente se o
digrafo tem um ciclo hamiltoniano.)
Proposio P.6.11.1 (folclore): Se um digrafo D no tem uma CDCaCi com menos que
k caminhos ento todo SGF de D tem pelo menos n + k arcos. Em outras palavras, todo
SGF de um digrafo D tem n + pcc (D) arcos.
Prova: Veja C.7.2.3.
Corolrio C.7.2.4 (folclore): Todo digrafo forte tem um SGF com 2n 2 arcos.
Prova: Comece por fazer uma decomposio em orelhas.
Conseqncia: O algoritmo (polinomial) de decomposio em orelhas pode ser usado
como uma 2-aproximao para o problema minSGF.
SGF
54
FEOFILOFF
Captulo 16
Submodularidade e laminaridade
Neste captulo, U um conjunto finito arbitrrio. Em algumas aplicaes futuras, U ser o
conjunto de vrtices de um digrafo. Em outras aplicaes, U ser o conjunto dos arcos de um
digrafo.
16.1
Interceptaes e cruzamentos
Definio: Dois conjuntos X e Y se interceptam (= are intersecting) se X Y 6= e

X 6 Y e X 6 Y .1 Portanto, dois conjuntos X e Y no se interceptam se
X Y = ou X Y ou X Y .
Dois subconjuntos X e Y de U se cruzam (= are crossing) se X Y 6= e X 6 Y e
X 6 Y e X Y 6= U .2 Portanto, dois conjuntos X e Y no se cruzam se
X Y = ou X Y ou X Y ou X Y = U ,
ou seja, se
X Y ou X Y ou X Y ou X Y ,
sendo X := U r X . claro que se dois conjuntos no se interceptam eles tambm no
se cruzam.
Exerccios
16.1.1 Conjuntos X e Y no se cruzam se e somente se vale uma das quatro possibilidades
a seguir: X Y , X Y , X Y ou X Y . Por que a alternativa X Y est
ausente dessa lista?
1
2
Alguns livros exigem apenas que X Y 6= . Mas melhor exigir tambm que X 6 Y e X 6 Y .
Assim, um cruzamento um tipo especial de interceptao.
55
56
16.2
FEOFILOFF
Colees laminares e livres de cruzamentos
(Veja excelente discusso em Schrijver [Sch03], pginas 37 e 214.)

Definio: Uma subcoleo3 de 2U laminar (ou livre de interceptaes) se nenhum
par de seus elementos se intercepta.
Definio: Uma subcoleo de 2U livre de cruzamentos (= cross-free) se nenhum par
de seus elementos se cruza.4
As definies de famlia5 laminar e famlia livre de cruzamentos so anlogas.
Lema A: Colees laminares tm estrutura de rvores divergentes.
Lema B: Colees livres de cruzamentos tm estrutura de rvores orientadas.
Exerccios
16.2.1 Prove que colees laminares tm a estrutura de rvores divergentes.
16.2.2 Exiba a rvore que representa a coleo cujos elementos so {a, f, h, b, d, i}, {f, h},
{b}, {c, g, j}, {d, i}, {e, c, g, j}. Exiba a rvore que representa a coleo cujos elementos so {a, b}, {c}, {d, e}, {a, b, c, d, e}, {h, i, j}, {d, e, h, i, j, f, g}.
16.2.3 Prove que colees livres de cruzamentos tm a estrutura de rvores orientadas.
16.3
Submodularidade e supermodularidade
Definio: Uma funo f de 2U em Z submodular se para todo par X, Y de elementos de

2U tem-se
f (X Y ) + f (X Y ) f (X) + f (Y ) .
Uma funo f supermodular se f (X Y ) + f (X Y ) f (X) + f (Y ) para todo par X, Y
de elementos de 2U . Uma funo f modular se for submodular e supermodular.
Fato: Se f modular e f () = 0 ento f (X) =
xX
f ({x}) para todo X .
Corolrio C.7.1.2 (folclore): Para todo digrafo D, as funes d+ e d so submodulares.

d+ (S, T )
d (S, T )
Notao: Se S T = ento d+ (S, T ) := |(S, T )| e d (S, T ) := |(T, S)|.6 Notao

adicional: d(S, T ) := d+ (S, T ) + d (S, T ).
d(S, T )
3
Veja apndice A.
Assim, toda coleo laminar livre de cruzamentos.
5
Veja apndice A.
6
O livro dispensa a condio S T = e diz d+ (S, T ) := |(S r T, T r S)|; essa notao torna as coisas
confusas demais para o meu gosto.
4
FEOFILOFF
57
Proposio P.7.1.1 a (folclore): Para todo par X, Y de conjuntos de vrtices de um digrafo,

d+ (X Y ) + d+ (X Y ) + = d+ (X) + d+ (Y ) ,
sendo := d(XrY, Y rX). Analogamente, d (XY )+d (XY )+ = d (X)+d (Y ).
Proposio P.7.1.1 b (folclore): Para todo par X, Y de conjuntos de vrtices de um digrafo, se d+ (X Y ) = d (X Y ) ento
d+ (X r Y ) + d+ (Y r X) + = d+ (X) + d+ (Y ) ,
sendo := d(X Y, X Y ). Analogamente, d (X r Y ) + d (Y r X) + = d (X) +
d (Y ).
Exerccios
16.3.1 Seja f uma
2U . Suponha que f () = 0. Mostre que
P funo modular definida sobre
f (X) = xX f ({x}) para todo X em 2U .
16.3.2 (E.7.1, Proposio P.7.1.3) Prove que para quaisquer X e Y em 2U tem-se N + (X
Y ) + N + (X Y ) N + (X) + N + (Y ) e N (X Y ) + N (X Y ) N (X) + N (Y ).
16.3.3 Seja D um digrafo e k um nmero natural. Suponha que d+ (X) k para todo
conjunto no-trivial X de vrtices. Digamos que X justo se d+ (X) = k. Sejam X
e Y dois conjuntos justos que se cruzam. Mostre que X Y e X Y so justos.
16.3.4 Prove P.7.1.1 b .
16.3.5 Seja B uma subcoleo de 2U . Que propriedades B deve ter para que possamos
definir uma funo submodular sobre B?
16.3.6 (E.8.52) Seja x um fluxo num digrafo D. Seja x

+ a funo definida por x+ (X) :=
x (X) x+ (X) para cada parte X de V (D). Mostre que x+ modular.

16.3.7 Seja f uma funo submodular de 2U em Z . verdade que f (X Y Z) + f (X
Y Z) f (X) + f (Y ) + f (Z) para quaisquer X, Y, Z em 2U ?
16.4
Aplicao
Teorema T.7.3.1 a (Menger): Sejam s e t dois vrtices de um multi-digrafo7 D. Se

d+ (X) k para todo conjunto X de vrtices tal que s X e t
/ X ento D tem k
(s, t)-caminhos disjuntos nos arcos.
Prova por induo em |A(D)|.
7
Para que possamos fazer uma prova por induo baseada na submodularidade de d+ , preciso que o
teorema seja enunciado para multi-digrafos.
Captulo 17
rvores geradoras divergentes

disjuntas
Problema 9.5: Dado um digrafo D, um vrtice z e um nmero natural k, encontrar k outbranchings disjuntos, todos com raiz z.
17.1
O teorema de Edmonds
Proposio: Se D tem k out-branchings disjuntos, todos com raiz z, ento d (X) k

para todo conjunto X de vrtices tal que z
/ X 6= .
Teorema T.9.5.1 (Arc-disjoint branchings, Edmonds, 1973): Seja z um vrtice de um
digrafo D e k um nmero. Se d (X) k para todo conjunto X de vrtices tal que
z
/ X 6= ento D tem k out-branchings disjuntos, todos com raiz z.
Prova: Mostre que existe um out-branching F tal que d
DA(F ) (X) k 1 sempre que
z
/ X 6= . (Veja esboo da prova no apndice B.1.)
A prova de T.9.5.1 induz um algoritmo polinomial para o problema 9.5.
Verso minimax de T.9.5.1: Para qualquer vrtice z de qualquer digrafo, o nmero
mximo de z-out-branchings mutuamente disjuntos igual a minx (z, x), sendo o mnimo tomado sobre todos os vrtices x distintos de z.
Exerccios
17.1.1 (E.9.26) Deduza T.7.3.1 a (Menger) de T.9.5.1.
17.1.2 Prove T.7.3.1 a (Menger) pelo mesmo mtodo usado na prova de T.9.5.1.
17.1.3 (E.9.27) Extraia da prova de T.9.5.1 um algoritmo polinomial que receba um digrafo
D, um vrtice z e um nmero k e devolva k z-out-branchings disjuntos ou um
conjunto X tal que z
/ X 6= e d (X) < k. (Sugesto: Use fluxos.)
58
FEOFILOFF
59
17.1.4 (E.9.28) Mostre que o exerccio 17.1.3 no pode ser resolvido de maneira gulosa.
Mais precisamente, exiba um digrafo D e um z-out-branching F tais que D tem
dois z-out-branchings disjuntos mas D F no tem um z-out-branching.
17.1.5 (E.9.34 +) Prove o seguinte teorema de Frank. Um digrafo D tem k outbranchings
disjuntos (no necessariamente todos com a mesma raiz) se e somente
Pt
se i=1 d (Xi ) (t 1)k para toda subpartio {X1 , . . . , Xt } de V . (Sugesto:

Acrescente um novo vrtice s e um conjunto mnimo de novos arcos de s a V de
tal modo que s seja a raiz de k out-banchings no novo digrafo. Mostre que esse
conjunto mnimo de novos arcos tem cardinalidade k.)
Captulo 18
rvores geradoras divergentes de custo

mnimo
18.1
O problema
Definio: Para qualquer digrafo (V, A), uma funo-custo qualquer funo de A
em Z . Se w uma tal funo e a um arco, o nmero w(a) o custo
P (ou w-custo ou
custo em w) de a. Para qualquer parte B de A, o nmero w[B] := aB w(a) o custo
de B. Para qualquer subdigrafo T de (V, A), o nmero w[T ] := w[A(T )] o custo de T .
Problema 9.10 (out-branching de custo mnimo): Dado um digrafo (V, A), uma funocusto w, e um vrtice s, encontrar um s-out-branching que tenha custo mnimo.
18.2
Soluo do problema
Notao:
Dado uma famlia1 (L, y) de partes de V e um arco a, seja y[a] o nmero
P
XL : a(X,X) y(X).
Definio: Seja s um vrtice e w uma funo-custo de um digrafo (V, A). Uma famlia
(L, y) de partes no-vazias de V r {s} w-disjunta se y[a] w(a).
Proposio: Seja s um vrtice e w uma funo-custo de um digrafo (V, A). Para todo
s-out-branching T e toda famlia w-disjunta (L, y) de partes no-vazias de V r {s}
tem-se w[T ] |(L, y)|.
Teorema T.9.10.2 (Fulkerson, 1974): Se um digrafo D tem um s-out-branching ento
existe um s-out-branching T e uma famlia w-disjunta (L, y) de partes no-vazias de
V r {s} tal que w[T ] = |(L, y)|. Ademais, existe uma tal famlia (L, y) em que L
laminar.
Prova: algoritmo primal-dual.
1
Veja apndice A.
60
FEOFILOFF
18.3
61
Generalizao
Definio: Uma coleo E de partes de um conjunto V inter-fechada se X Y E e

X Y E para todo par X, Y de elementos de E que se interceptam.
Problema 9.10.1: Seja (V, A) um digrafo e E uma coleo inter-fechada de partes de V .
Dada uma funo-custo w, encontrar uma parte B de A que minimize w[B] sob a restrio
d
B (X) 1 para todo X em E .
Soluo: Essencialmente o mesmo algoritmo do problema 9.10.
Captulo 19
Dijunes mnimas
Dado um digrafo (V, A), queremos encontrar uma pequena alterao de A que torne o digrafo forte.
19.1
Dicortes e dijunes
Neste captulo, usaremos fonte e sorvedouro como abreviaturas de conjuntofonte e conjunto-sorvedouro.

Proposio: Se X e Y so fontes ento X Y e X Y tambm so fontes.
Definio: Um dicorte (= dicut), ou corte dirigido, qualquer conjunto da forma (X, X)
sendo X uma fonte.
Fato: Um digrafo forte se e somente se no tem dicortes.
Definio: Uma dijuno (= dijoin) qualquer conjunto J de arcos tal que J C 6=
para todo dicorte C .
Exemplos: Se (V, A) tem um dicorte vazio ento (V, A) no tem dijuno. Se (V, A) no
tem dicortes vazios ento A uma dijuno.
J 1
Notao: Se J um conjunto de arcos ento J 1 o conjunto {(v, u) : uv J}.

Propriedade: Um conjunto J de arcos uma dijuno se e somente se o digrafo (V, A
J 1 ) forte.
Propriedade: Um conjunto J de arcos de um digrafo uma dijuno se e somente se a
contrao1 de J torna o digrafo forte.
1
+
Seja uv um arco de um digrafo D. Seja A
u o conjunto dos arcos que entram em u e Av o conjunto dos
arcos que saem de v. A contrao de uv produz um digrafo com conjunto de vrtices (V r {u, v}) {z}, sendo
+
z um objeto que no pertence a V , e conjunto de arcos (A r (A

u Av )) (Bz Bz ), sendo Bz o conjunto
+
+
{xz : xu Au } e Bz o conjunto {zy : vy Av }. Esse digrafo denotado por D/uv. Para qualquer conjunto F
de arcos, denota-se por D/F o digrafo que resulta da contrao de todos os arcos em F . ( claro que para cada
uv em F um novo objeto z fora de V ser usado como vrtice de D/F .)
62
FEOFILOFF
63
Exerccios
19.1.1 D um exemplo de uma dijuno minimal que no seja mnima.
19.1.2 Seja J uma dijuno minimal de um digrafo (V, A). Mostre que A J 1 vazio.
19.1.3 Seja J uma dijuno minimal de D. Seja a um elemento de J . Mostre que existe
uma fonte F tal que (F, F ) J = {a}.
19.1.4 Suponha que J uma dijuno minimal. Seja H o subdigrafo induzido por J . Mostre que cada componente fraca de H uma rvore orientada.
19.2
Dijuno mnima
Problema de Younger: Encontrar uma dijuno mnima num digrafo D.

Proposio: Para toda dijuno J e toda coleo disjunta2 C de dicortes tem-se |J| |C|.
Teorema T.7.15.2 (LucchesiYounger, 1976): Todo digrafo sem dicortes vazios tem uma
dijuno J e uma coleo disjunta C de dicortes tais que |J| = |C|.
Veja esboo da prova no apndice ??.
Corolrio minimax de T.7.15.2: Em qualquer digrafo sem dicortes vazios, uma dijuno
mnima tem a mesma cardinalidade que uma coleo disjunta mxima de dicortes.
Uma coleo S de sorvedouros corte-disjunta se (S, S) (T , T ) = para todo par
S, T de elementos de S .
Proposio: Para toda coleo disjunta C de dicortes, existe uma coleo corte-disjunta
S de sorvedouros tal que S livre de cruzamentos e |S| = |C|.
Corolrio C.8.8.10: Existe um algoritmo polinomial3 para encontrar os dois termos de
T.7.15.2.
Verso capacitada de T.7.15.2: Em qualquer digrafo (V, A) sem dicortes vazios, para
qualquer funo c de A em Z , existe uma dijuno J e uma coleo c-disjunta C de
dicortes tais que c(J) = |C|.
Aqui, uma coleo de dicortes c-disjunta se cada arco a pertence a no mximo c(a)
elementos da coleo.
Exerccios
19.2.1 Mostre que basta provar a restrio de T.7.15.2 a digrafo acclicos.
2
Veja apndice A.
O algoritmo puramente combinatrio, ou seja, no envolve a soluo de um programa linear (por meio do
algoritmo dos elipsides, por exemplo).
3
64
FEOFILOFF
19.2.2 Seja C uma coleo disjunta de dicortes de um digrafo. Mostre que existe uma coleo corte-disjunta S de sorvedouros tal que S livre de cruzamentos e |S| = |C|.
19.2.3 Seja C uma coleo disjunta de dicortes de um digrafo. verdade que existe uma
coleo corte-disjunta S de sorvedouros tal que S laminar e |S| = |C|?
19.3
Reorientaes fortes mnimas
Para qualquer conjunto J de arcos, (V, (A r J) J 1 ) o digrafo que se obtm quando

invertemos a orientao de todos elementos de J .
Fcil: Se o digrafo (V, (A r J) J 1 ) forte ento J uma dijuno.
Proposio:4 Se (V, A) um digrafo sem dicortes de cardinalidade 1 e J uma
dijuno minimal de (V, A) ento o digrafo (V, (A r J) J 1 ) forte.
Veja prova no apndice ??.
Exerccios
19.3.1 Seja J um subconjunto de A. Suponha que (V, (A r J) J 1 ) forte. Mostre que J
uma dijuno.
19.3.2 Mostre que nem toda dijuno J de (V, A) tal que (V, (A r J) J 1 ) forte.
19.3.3 Suponha que um digrafo (V, A) tem um dicorte com um s arco. Mostre que no
existe J A tal que (V, (A r J) J 1 ) forte.
19.3.4 Seja J uma dijuno minimal de um digrafo (V, A). Seja a o nico arco de uma
orelha trivial em uma decomposio em orelhas do digrafo (V, A J 1 ). Mostre que
a
/ J 1 .
19.3.5 Seja J uma dijuno de (V, A). Seja X um subconjunto de V que no fonte em
(V, A) mas fonte em (V, A r J) J 1 ). Mostre que algum arco de J 1 sai de X .
19.4
A minimax polar
Proposio: Para toda coleo disjunta J de dijunes e todo dicorte C tem-se |J |

|C|.
Conjetura (Woodall, 1978): Todo digrafo tem uma coleo disjunta J de dijunes e
um dicorte C tais que |J | = |C|.
O livro no trata desse assunto. Veja o livro de Schrijver [Sch03, p.962,p.1457].
Esse o Teorema 55.1 (Frank) no livro de Schrijver [Sch03, p.946].
FEOFILOFF
65
Exerccios
19.4.1 Mostre que suficiente provar a conjetura de Woodall para digrafos acclicos.
19.4.2 Seja D um digrafo acclico dotado da seguinte propriedade: para toda fonte u e
todo sorvedouro v, existe um caminho de u a v. Prove que D satisfaz o enunciado
da conjetura de Woodall.
Captulo 20
Aumento da arco-conexidade
Quantos arcos necessrio inserir em um digrafo para que ele se torne mais forte? Mais
precisamente, quantos arcos preciso inserir em um digrafo para transform-lo num multidigrafo arco-k-forte?
Vamos permitir que novos arcos sejam inseridos em paralelo com arcos j existentes. Por
isso, preciso estudar o problema no universo dos multi-digrafos.
20.1
O problema
Definio: Um novarco num multi-digrafo D = (V, A) qualquer elemento de V 2 , ou seja,

qualquer par ordenado de vrtices distintos. (Um novarco pode ou no estar em A.)
D+F
Notao: Para qualquer famlia1 F de novarcos, denotaremos por D + F o multi-digrafo

(V, A F ).2 Se D um digrafo e a um novarco que no est em A ento D + {a} um
digrafo; seno D + {a} um multi-digrafo com duas cpias do arco a.
Definio: Um arco-k-fortificante de um multi-digrafo D uma famlia F de novarcos tal
que D + F arco-k-forte (ou seja, tal que (D + F ) k).
Problema do Aumento da Arco-Conexidade: Dado um multi-digrafo D e um nmero natural k, encontrar um arco-k-fortificante mnimo de D.
k (D)
Denotaremos por k (D) a cardinalidade de um arco-k-fortificante mnimo. (Essa notao no padro; seu uso ser restrito ao presente captulo.)
Definio D.7.6.1: Seja D = (V, A) um multi-digrafo e k um nmero natural. Uma
k-barreira positiva uma coleo disjunta3 de partes no-triviais X de V tais que
d+ (X) k. Uma k-barreira negativa uma coleo disjunta de partes no-triviais
X de V tais que d (X) k.
1
2
3
Veja apndice A.
Veja definio de no apndice A deste Roteiro.
Veja apndice A.
66
FEOFILOFF
67

P
O tamanho de uma k-barreira positiva F oP
nmero XF k d+ (X) . O tamanho
de uma k-barreira negativa F o nmero XF k d (X) . O tamanho de uma
k-barreira F (positiva ou negativa) ser denotado por kFk.
Proposio: Para todo arco-k-fortificante F e toda k-barreira F tem-se |F | kFk.
a
Figura 20.1: Encontre um arco-2-fortificante mnimo.
Exerccios
20.1.1
20.1.2
20.1.3
20.1.4
20.1.5
20.1.6
20.1.7
20.1.8
20.1.9
20.1.10
20.1.11
20.1.12
20.1.13
20.1.14
20.1.15
Calcule 1 de um caminho.
Calcule 2 de um ciclo.
Calcule 1 de uma rvore divergente.
P
Seja D uma rvore divergente com n 4 vrtices. verdade que 2 (D) = v (2
d+ (v)), sendo a soma tomada sobre todos os vrtices v tais que d+ (v) < 2?
Exiba um torneio D com 5 ou mais vrtices que no seja forte. Exiba um arco-2fortificante mnimo de D.
Mostre que se k = 1 ento possvel resolver o problema do aumento da arcoconexidade de um digrafo sem recorrer a arcos paralelos.
Discuta o problema de encontrar um arco-k-fortificante minimal de um multidigrafo.
Explique a diferena entre o problema do aumento da arco-conexidade e o problema
de Younger (veja captulo 19 deste Roteiro). D exemplos.
Mostre que k (D) 2k(n 1) para qualquer multi-digrafo D.
Seja D um digrafo acclico. Mostre que 1 (D) = max{q, r} sendo q o nmero de
fontes e r o nmero de sorvedouros de D.
Mostre que um multi-digrafo arco-k-forte se e somente se kFk = 0 para toda
barreira F .
Um conjunto de vrtices pode fazer parte, ao mesmo tempo, de uma k-barreira positiva e uma k-barreira negativa? Discuta.
A propriedade |F | kFk continua valendo se eliminarmos a clusula notrivial da definio de barreira?
Considere o problema do aumento da arco-conexidade com a restrio adicional
de que o multi-digrafo resultante deve ser um digrafo (isto , no deve ter arcos
paralelos). Voc sabe dizer alguma coisa sobre o problema? (Uma coisa certa: se
k > n ento esta verso do problema no tem soluo.)
(E.7.14 +) Seja k um nmero natural, D um digrafo e s, t um par de vrtices
de D. Suponha que D (s, t) < k. Seja F uma famlia mnima de novarcos tal que
kF k
68
FEOFILOFF
D+F (s, t) k. Mostre que possvel escolher F de modo que todos os seus elementos sejam da forma st.
20.2
Primeiro passo da soluo
Nesta seo e na seguinte, todo multi-digrafo tem um vrtice s que recebe tratamento especial. Diremos que s o vrtice especial do multi-digrafo. Se V o conjunto de vrtices do
multi-digrafo, escreveremos V s no lugar de V r {s}. Diremos que uma parte X de V s
no-trivial se =
6 X 6= V s.
Definio: Um multi-digrafo H com conjunto de vrtices V e vrtice especial s (s, k)forte se d+ (U ) k e d (U ) k para toda parte no-trivial U de V s. Pelo teorema
de Menger, H (s, k)-forte se e somente se para todo x e todo y em V s existem k
(x, y)-caminhos em H dois a dois disjuntos nos arcos.
Definio: Um multi-digrafo H com conjunto de vrtices V e vrtice especial s
(s, k, +)-forte se d+ (U ) k para toda parte no-trivial U de V s.
Um multi-digrafo (s, k, )-forte definido de maneira anloga (basta trocar +
por ).
Fato: H (s, k)-forte se e somente se H , ao mesmo tempo, (s, k, +)-forte e (s, k, )forte.
Definio: Um (s, k, +)-fortificante de um multi-digrafo H com vrtice especial s
uma famlia E + de novarcos da forma us, com u V s, tal que o multi-digrafo D+E +
(s, k, +)-forte. Um (s, k, )-fortificante definido de maneira anloga.
Fato: Se E + um (s, k, +)-fortificante e E um (s, k, )-fortificante ento H + (E +
E ) (s, k)-forte.
Fato: Para qualquer (s, k, +)-fortificante E + de H e qualquer k-barreira positiva F +
de H s tem-se |E + | kF + k.
Fato: Para qualquer (s, k, )-fortificante E de H e qualquer k-barreira negativa F
de H s tem-se |E | kF k.
Lema L.7.6.2 a (Frank, 1992): Para qualquer multi-digrafo H = (V, A) com vrtice especial s existe um (s, k, +)-fortificante E + e uma k-barreira (positiva ou negativa) F de
H s tais que |E + | kF k.
Prova no apndice ??.
Lema L.7.6.2 b anlogo: basta trocar + por .
Exerccios
20.2.1 Seja (V, A) um multi-digrafo com vrtice especial s. Mostre que (V, A) (s, k)-forte
se e somente se para todo x e todo y em V s existem k (x, y)-caminhos dois a dois
disjuntos nos arcos.
FEOFILOFF
69
Figura 20.2: (Copiado da figura 7.5 do livro.) Seja H o digrafo esquerda e H 0 o digrafo
direita. Sejam E + := {cs, ds} e E := {sb}. Observe que E + um (s, 2, +)-fortificante e
E um (s, 2, )-fortificante de H . O digrafo H 0 , igual a H + E + + E , (s, 2)-forte (mas
no arco-2-forte). Observe que {{c, d}} uma 2-barreira positiva de H s. Observe que
{{c}, {d}} uma 2-barreira positiva de tamanho mximo de H s. Observe que {{b}} e
{{a, b}} so 2-barreiras negativas de tamanho mximo de H s.
20.2.2 Seja H = (V, A) um multi-digrafo com vrtice especial s. Mostre que H (s, k, +)forte se e somente se, para todo par x, y de elementos de V s, existem k caminhos
em H de x a {y, s}, dois a dois disjuntos nos arcos. Mostre que H (s, k, )-forte
se e somente se, para todo par x, y de elementos de V s, existem k caminhos em H
de {x, s} a y, dois a dois disjuntos nos arcos.
20.2.3 Seja H um multi-digrafo com vrtice especial s. Seja E + um (s, k, +)-fortificante
de H . Seja F + uma k-barreira positiva de H s. Mostre que |E + | kF + k.
20.3
Segundo passo: operao splitting off
Definio: Seja H um multi-digrafo com vrtice especial s. A operao splitting off 4

consiste em trocar um par de arcos us, sv pelo novarco uv. O resultado da operao
o multi-digrafo (H {us, sv}) + {uv}.
Teorema T.7.5.2 (Maders Directed Splitting Theorem, 1982): Seja H um multi-digrafo
com vrtice especial s. Se H (s, k)-forte e d+ (s) = d (s) ento, para todo arco sv,
existe um arco us tal que o splitting off do par us, sv produz um multi-digrafo (s, k)forte.
Esboo da prova: apndice ??.
Corolrio C.7.5.3 (Mader, 1982): Seja H um multi-digrafo com vrtice especial s. Se H
(s, k)-forte e d+ (s) = d (s) ento existe uma seqncia (u1 s, sv1 ), . . . , (ur s, svr ) de
pares de arcos, com r := d (s), tal que o multi-digrafo (H s) + {u1 v1 , . . . , ur vr }
arco-k-forte.
Exemplo: Seja H 00 o primeiro digrafo da figura 20.2. O multi-digrafo H := H 00 + sb
(s, 2)-forte. A seqncia de pares de arcos de que trata C.7.5.3 (cs, sb), (ds, sb). O
digrafo (H s) + {cb, db} arco-2-forte.
Seria melhor dizer splicing?
70
20.4
FEOFILOFF
Soluo do problema
Teorema T.7.6.3 (Franks Arc-Strong Connectivity Augmentation Theorem, 1992):

Para qualquer nmero natural k, todo multi-digrafo tem um arco-k-fortificante F e
uma k-barreira F tais que |F | = kFk.
Prova: Usa L.7.6.2 a , L.7.6.2 b e T.7.5.2 (Mader). Veja apndice ??.
Corolrio minimax: Em qualquer multi-digrafo, todo arco-k-fortificante mnimo tem
o mesmo tamanho que uma k-barreira mxima. Em outras palavras, k (D) = k (D)
para todo multi-digrafo D.
Aqui, k (D) denota o tamanho de uma k-barreira mxima.
k ( )
Existe um algoritmo polinomial combinatrio (Franks arc-strong connectivity augmentation algorithm) para encontrar os objetos F e F cuja existncia garantida por T.7.6.3.
Teorema T.7.6.4 (Frank, 1992): O problema de encontrar uma famlia de novarcos que
tenha custo mnimo e torne um multi-digrafo arco-k-forte NP-completo.5
Exerccios
20.4.1 Interprete o teorema T.7.6.3 no caso em que o multi-digrafo dado arco-k-forte.
20.4.2 Considere o problema do aumento da arco-conexidade restrito ao caso k = 1. D a
definio mais simples que puder dos conceitos de fortificante e barreira. Enuncie a
verso correspondente do teorema T.7.6.3.
20.4.3 Faa uma adaptao da prova do teorema T.7.6.3 ao caso k = 1. Faa todas as simplificaes que puder.
Figura 20.3: Exerccio E.7.29. Esta a figura 7.19 (p.412) do livro.

20.4.4 Digamos que uma bbarreira uma coleo disjunta ou
de partes noPco-disjunta
+
triviais de V . Para qualquer bbarreira B, defina kBk := XB (kd (X)). Verifique
que o seguinte teorema equivalente a T.7.6.3: Se D no arco-k-forte ento existe
um arco-k-fortificante F e uma bbarreira B tal que |F | = kBk.
5
mial.
Acho que isso um raro exemplo de um problema NP-completo cuja verso sem custos nos arcos polino-
FEOFILOFF
71
20.4.5 (E.7.15 +) Considere o seguinte problema: Dado um nmero natural k, um digrafo D e um vrtice s de D, encontrar uma famlia mnima de novarcos F tal que
D + F tem k out-branchings disjuntos, todos com raiz s. Mostre como reduzir esse
problema ao problema do aumento de arco-conexidade. Obtenha uma frmula minimax para o novo problema.
20.4.6 (E.7.29) Encontre um arco-2-fortificante mnimo e uma 2-barreira mxima no digrafo da figura 20.3.
Captulo 21
Aumento da conexidade
Quantos arcos preciso inserir em um digrafo para que ele se torne k-forte? Este problema
bem mais difcil que o problema do aumento da arco-conexidade (captulo 20 deste Roteiro).
No h necessidade de tratar de multi-digrafos neste captulo, pois arcos paralelos no contribuem para a conexidade.
21.1
O problema
Definio: Um novarco num digrafo D = (V, A) qualquer par ordenado de vrtices distintos. Para qualquer conjunto F de novarcos, denotaremos por D + F o digrafo (V, A F ).
Definio: Um k-fortificante1 de um digrafo D um conjunto F de novarcos tal que D + F
k-forte (ou seja, tal que (D + F ) k).
Problema do Aumento da Conexidade: Dado um digrafo D e um nmero natural k, encontrar um k-fortificante mnimo de D.
Podemos nos restringir ao caso k n 2. Se k n, o problema no tem soluo. Se
k = n 1, a soluo simples: basta lembrar que todo digrafo (n1)-forte completo.
k (D)
Denotaremos por k (D) a cardinalidade de um k-fortificante mnimo. (Essa notao

no padro; seu uso ser restrito ao presente captulo.)
Exerccios
21.1.1 Calcule 1 de um caminho. Calcule 1 de uma rvore divergente.
1
No confunda k-fortificante com arco-k-fortificante.
72
FEOFILOFF
73
21.1.2 Resolva o problema do aumento de conexidade no caso k = 1 (ou seja, calcule 1 (D)
para qualquer digrafo D).
21.1.3 Explique a diferena entre o problema do aumento da conexidade e o problema de
Younger (veja captulo 19 deste Roteiro). D exemplos.
21.1.4 Calcule 2 de um ciclo.
21.1.5 Discuta o problema de encontrar um k-fortificante minimal de um digrafo.
21.1.6 Resolva o problema do aumento de conexidade no caso k = n1, sendo n o nmero
de vrtices do digrafo.
21.1.7 Resolva o problema do aumento de conexidade no caso k = n2, sendo n o nmero
de vrtices do digrafo.
21.1.8 (E.7.20) Seja D um torneio acclico e k n 2. Mostre que D tem um k-fortificante
com no mais que k(k + 1)/2 novarcos. Em outras palavras, mostre que k (D)
k(k + 1)/2. (Sugesto: veja exerccio 8.3.3.)
21.1.9 (Conjetura Cnj.7.7.13, Bang-Jensen, 1994) Seja D um digrafo semicompleto. Se k
n 2, verdade que k (D) k(k + 1)/2?
21.1.10 (Proposio P.7.7.14, FrankJordn, 1999) Para todo digrafo semicompleto D e todo
k n 2, tem-se k (D) k 2 .
21.2
Barreiras e o teorema de FrankJordn
Definio: Um one-way pair um par (X, Y ) de subconjuntos no-triviais de V tal que X

uma margem positiva e Y a correspondente margem negativa de um separador.2 Portanto,
(X, Y ) um one-way pair se X e Y so no-triviais, X Y = e N + (X) S N (Y ),
sendo S := X Y .
Definio: O tamanho de um one-way pair (X, Y ) a cardinalidade do correspondente separador, ou seja, |X Y |.
Definio: Dois one-way pairs (X, Y ) e (X 0 , Y 0 ) so independentes se X X 0 = ou
Y Y 0 = .
Definio: Uma k-barreira3 uma coleo de one-way pairs independentes, cada um
dos quais tem tamanho k.
Veja figura 7.8(b) do livro.

P
O tamanho de uma k-barreira F a soma (X,Y )F k |X Y | . O tamanho de uma
k-barreira F ser denotado por kFk. O tamanho de uma k-barreira mxima de D ser
denotado por k (D).
Proposio A: Para todo k-fortificante F e toda k-barreira F tem-se |F | kFk.
2
Veja subseo 5.2 deste Roteiro.

No confunda esse conceito de barreira com o conceito de barreira associada ao aumento da arco-conexidade
(seo 20.4 deste Roteiro).
3
kF k
k (D)
74
FEOFILOFF
Teorema T.7.7.3 (Vertex-Strong Connectivity Augmentation, FrankJordn, 1995):

Para todo digrafo D e todo nmero natural k n 2, existe um k-fortificante F e
uma k-barreira F tais que |F | = kFk.
Corolrio: Para todo digrafo D e todo nmero natural k n 2, um k-fortificante
mnimo tem o mesmo tamanho que uma k-barreira mxima. Em outras palavras,
k (D) = k (D) para todo D e todo k n 1.
Teorema T.7.7.4 (FrankJordn, 1995): Existe um algoritmo polinomial para o problema
do aumento da conexidade.
O algoritmo no puramente combinatrio: usa o mtodo do elipside. No se conhece
um algoritmo combinatrio.
Exerccios
Mostre que um digrafo k-forte se e somente se kFk = 0 para toda barreira F .
(Proposio A) Seja F um k-fortificante e F uma k-barreira. Mostre que |F | kFk.
Seja D uma rvore divergente. Calcule 1 (D).
Calcule 2 (C), sendo C um ciclo.
Seja X uma coleo disjunta de partes no-triviais de V tal que X N + (X) 6= V
e |N + (X)| k para todo X em X . Seja F a coleo de todos os pares da forma
(X, X N + (X)) com X X . Mostre que F uma k-barreira. Mostre que kFk =
P
+
XX (k |N (X)|). verdade que toda k-barreira tem a forma descrita nesse
exerccio?
21.2.6 Seja D uma rvore P
divergente com n 3 vrtices. Mostre diretamente (sem usar
T.7.7.3) que 2 (D) = v (2 d+ (v)), sendo a soma tomada sobre todos os vrtices v
tais que d+ (v) < 2.
21.2.7 (T.7.7.10, MasuzawaHagiharaTokura,P
1987) Seja D uma rvore divergente e k
n 2. Deduza de T.7.7.3 que k (D) = v (k d+ (v)), sendo a soma tomada sobre
todos os vrtices v tais que d+ (v) < k.
21.2.8 (E.7.44) Para qualquer one-way pair (X, Y ), seja h(X, Y ) := |X Y |. Prove que a
funo h( , ) bi-submodular ou seja, para cada par (X, Y ), (X 0 , Y 0 ) de one-way pairs
tem-se
21.2.1
21.2.2
21.2.3
21.2.4
21.2.5
h(X X 0 , Y Y 0 ) + h(X X 0 , Y Y 0 ) h(X, Y ) + h(X 0 , Y 0 ) .

Sugesto: considere a contribuio de cada vrtice v para cada lado da desigualdade.
21.2.9 (E.7.45) Seja D um digrafo k-forte mas no (k+1)-forte. Digamos que um one-way
pair (X, Y ) crtico se |X Y | = k. Como X Y inclui um separador, a famlia F
de todos os one-way pairs crticos no vazia. Prove que F livre de cruzamentos,
ou seja, se (X, Y ) e (X 0 , Y 0 ) esto em F e satisfazem X X 0 6= e Y Y 0 6= ento
(X X 0 , Y Y 0 ) e (X X 0 , Y Y 0 ) esto em F . (Sugesto: Use exerccio 21.2.8.)
21.2.10 Digamos que um one-way pair (X, Y ) minimal se no existe outro one-way pair
(X 0 , Y 0 ) tal que X 0 X e Y 0 Y . Pergunta: verdade que todo digrafo D tem
uma k-barreira F tal que kFk = k (D) e cada elemento de F minimal?
Captulo 22
Orientaes versus nmero cromtico

Este captulo repete parte dos resultados da seo 15.1.
22.1
O problema min lp
Notao: Para qualquer digrafo D, seja lp(D) o comprimento de um caminho de comprimento mximo em D.
Problema min lp: Dado um digrafo simtrico1 G, encontrar uma orientao D de G que
minimize lp(D).
Exerccios
22.1.1 Seja G um digrafo simtrico bipartido. Encontre um orientao de G que no tenha
caminhos de comprimento 2.
22.1.2 Seja K um digrafo completo com 3 vrtices. Obtenha uma orientao de K que
no tenha caminhos de comprimento 2. Obtenha uma orientao de um digrafo
completo com 5 vrtices que no tenha caminhos de comprimento 4.
22.1.3 Seja G um digrafo simtrico dotado de um caminho de comprimento k. Mostre que
existe uma orientao de D de G tal que lp(D) k.
22.1.4 Seja D uma orientao de um digrafo simtrico G. Mostre que G tem um caminho
de comprimento lp(D). verdade que G no tem caminho de comprimento maior
que lp(D)?
1
Convm lembrar que um digrafo simtrico essencialmente o mesmo que um grafo.
75
lp(D)
76
22.2
FEOFILOFF
Caminhos longos e nmero cromtico
Definio: Uma colorao de um digrafo (V, A) uma coleo de conjuntos estveis que
cobre V . (Um conjunto S de vrtices estvel se nenhum arco tem ambas as pontas em S .)
O nmero cromtico de um digrafo D a cardinalidade de uma colorao mnima de D. O
nmero cromtico de D denotado por (D).
Proposio: Todo digrafo simtrico G tem uma orientao D tal que lp(D) (G) 1.
Por exemplo, todo digrafo simtrico bipartido tem uma orientao D tal que lp(D) 1.
Teorema T.8.4.1 (Gallai, 1968; Roy, 1967; Vitaver, 1962): Toda orientao D de um
digrafo simtrico G tal que lp(D) (G) 1.
Corolrio: minD lp(D) = (G) 1, sendo o mnimo tomado sobre todas as orientaes
D de G. Portanto, resolver o problema min lp equivale a calcular o nmero cromtico.
Assim, o problema NP-difcil.
r
Z
L Z
rL Z
ZZ
(hh
L hh
(((

r(
hr
r

Lr
,
Al
!
HH!
r

E ,
Al
\ ,
l

r \r,E
A l
H
E

A H
HHEr
Ar
Figura 22.1: Grafo de Grtzsch. Veja

exerccio 22.2.8 e figura 8.16 do livro.
Exerccios
22.2.1 Deduza T.1.4.5 (Rdei) de T.8.4.1.
22.2.2 verdade que lp(D) = (D) 1 para todo digrafo D?
22.2.3 Por que a relao entre lp e no do tipo minimax (no sentido da dualidade de
programao linear)?
22.2.4 Seja D um digrafo acclico. Para cada vrtice v, seja f (v) o comprimento de um
caminho mximo dentre os que tm origem v. Mostre que para todo arco uv tem-se
f (u) > f (v).
22.2.5 A prova do teorema T.8.4.1 que aparece no livro contm alguns pequenos erros e
inconsistncias. Refaa a prova corrigindo esses defeitos.
22.2.6 Mostre que todo digrafo simtrico planar tem uma orientao D tal que lp(D) 3.
22.2.7 (E.8.20) Encontre uma orientao do grafo de Petersen que no tenha caminhos de
comprimento 3. Use essa orientao para encontrar uma 3-colorao do digrafo.
(Use a tcnica da prova to teorema T.8.4.1.)
FEOFILOFF
77
22.2.8 (E.8.21) A figura 22.1 representa o grafo de Grtzsch. Seja G o correspondente digrafo simtrico (cada aresta da figura representa um par de arcos anti-paralelos).
Prove que toda orientao de G tem um caminho de comprimento 3. Encontre uma
orientao D de G tal que lp(D) = 3. Prove que para qualquer aresta e de G existe
uma orientao de G e sem caminhos de comprimento 3.
Captulo 23
Orientaes e reorientaes fortes

23.1
O problema bsico
Problema 7.2: Dado um digrafo simtrico1 G, encontrar uma orientao de G que seja forte.
Problema 7.2.R: Dado um digrafo anti-simtrico D, encontrar uma reorientao de D que
seja forte.
Proposio: Se um digrafo simtrico G tem uma orientao forte ento G arco-2-forte
(ou seja, d (X) 2 para todo conjunto no-trivial X de vrtices).
Teorema T.1.6.2 (Robbins, 1939): Todo digrafo simtrico arco-2-forte tem uma orientao forte.
Prova: Decomposio em orelhas especial que evita ciclos triviais.2
Proposio: Se um digrafo anti-simtrico D tem uma reorientao forte ento D fracamente arco-2-conexo (ou seja, d (X) + d+ (X) 2 para todo conjunto no-trivial X
de vrtices).
Corolrio de T.1.6.2: Todo digrafo anti-simtrico fracamente arco-2-conexo tem uma
reorientao forte.
Exerccios
23.1.1 Mostre que os problemas 7.2 e 7.2.R so equivalentes.
23.1.2 (E.8.60 ) Sejam x e y dois vrtices de um digrafo simtrico G. Em que condies G
admite uma orientao D tal que x e y pertencem mesma componente forte de D?
1
2
Um digrafo simtrico essencialmente o mesmo que um grafo.

Um ciclo trivial se tem comprimento 2.
78
FEOFILOFF
79
23.1.3 Uma ponte (= bridge) num digrafo simtrico uma aresta {uv, vu} dotada da seguinte propriedade: existe um conjunto X de vrtices tal que (X, X) = {uv} e
(X, X) = {vu}. Mostre que um digrafo simtrico G arco-2-forte se e somente
se G forte e no tem pontes.
23.2
Orientaes e reorientaes arco-k-fortes
Problema 8.6 (orientao arco-k-forte): Dado um digrafo simtrico G e um nmero natural k,

encontrar uma orientao de G que seja arco-k-forte.
Problema 8.6.R (reorientao arco-k-forte): Dado um digrafo anti-simtrico D e um nmero
natural k, encontrar uma reorientao de D que seja arco-k-forte.
Proposio: Se um digrafo simtrico G tem uma orientao arco-k-forte ento G arco2k-forte.
Teorema T.8.6.3 (Nash-Williams, 1960): Todo digrafo simtrico3 arco-2k-forte tem uma
orientao arco-k-forte.
Esse teorema um caso particular do T.8.7.6, que estudaremos adiante.
Corolrio C.8.8.8 (Frank, 1982): Existe um algoritmo polinomial (puramente combinatrio) que resolve o problema 8.6 (orientao arco-k-forte).
Exerccios
23.2.1 Suponha que um digrafo simtrico G tem uma orientao arco-k-forte. Mostre que
G arco-2k-forte.
23.2.2 Mostre que o problema 8.6.R equivalente ao problema 8.6.
23.2.3 (E.8.46) Seja D um digrafo arco-k-forte. Seja C um ciclo em D. Seja D0 o digrafo
que resulta da inverso de todos os arcos de C . Mostre que D0 arco-k-forte.
23.2.4 (E.8.47 +) Sejam D e D0 orientaes arco-k-fortes de um digrafo simtrico G. Supo
nha que d
D (v) = dD0 (v) para todo vrtice v. Mostre que D pode ser transformado
em D0 mediante sucessivas inverses de arcos de ciclos.
23.2.5 (E.8.48) Sejam D e D0 orientaes arco-k-fortes de um digrafo simtrico G. Suponha
que d
D (u) < dD0 (u) para algum vrtice u. Mostre existe um vrtice v tal que dD (v) >
0
0
dD0 (v) e que existe um (u, v)-caminho P em D . Em que condies a inverso dos
arcos de P 0 produz um digrafo arco-k-forte?
23.2.6 Mostre que o seguinte teorema equivalente a T.8.6.3: Todo digrafo anti-simtrico
D tal que d (X) + d+ (X) 2k para toda parte no-trivial X de V (D) admite uma
reorientao arco-k-forte. (Veja exerccio 23.2.2.)
3
Tambm vale para multi-digrafos simtricos.
80
FEOFILOFF
23.2.7 (Teorema T.9.5.5) Mostre que todo digrafo simtrico arco-2k-forte tem k rvores geradoras duas a duas disjuntas. (Dica: use os teoremas T.8.6.3 (Nash-Williams) e
T.9.5.1 (Edmonds).)
Captulo 24
Orientaes com restries dos graus

de vrtices
Notao: Se f uma funo de V em Z e X uma parte de V ento f [X] :=
24.1
xX
f (x).1
f [X]
Restrio dos graus de vrtices
Problema 8.7.1 a : Dado um digrafo simtrico2 G = (V, A) e uma funo f de V em Z , encontrar uma orientao D de G tal que d
D (v) f (v) para todo vrtice v.
Problema 8.7.1 b : Dado um digrafo simtrico G = (V, A) e uma funo g de V em Z , encontrar uma orientao D de G tal que d
D (v) g(v) para todo vrtice v.
Problema 8.7.1: Dado um e digrafo simtrico G = (V, A) e funes f e g de V em Z , encontrar uma orientao D de G tal que f (v) d
Definio: Para qualquer digrafo simtrico G = (V, A) e qualquer subconjunto X de V ,
seja eG (X) o nmero de arestas com pelo menos uma ponta em
o +nmero

P X eiG (X)
1
de arestas P
com ambas as pontas em X . Portanto, eG := 2
xX dG (x) + dG (X) e
iG := 12
xX dG (x) dG (X) .
Proposio a: Seja G = (V, A) um digrafo simtrico e f uma funo de V em Z . Se
existe uma orientao D de G tal que d
D (v) f (v) para todo v ento eG (X) f [X]
para todo X V .
Proposio b: Seja G = (V, A) um digrafo simtrico e g uma funo de V em Z . Se
existe uma orientao D de G tal que d
D (v) g(v) para todo v ento iG (X) g[X]
para todo X V .
Teorema T.8.7.3 a (FrankGyrfs, 1978): Seja G = (V, A) um digrafo simtrico e f uma
1
2
Eu prefiro no escrever f (X) como faz o livro para evitar confuso no caso em que f a funo d .
Convm lembrar que um digrafo simtrico essencialmente o mesmo que um grafo.
81
eG (X)
iG (X)
82
FEOFILOFF
funo de V em Z . Se eG (X) f [X] para todo X V ento existe uma orientao D

de G tal que d
Teorema T.8.7.3 b (FrankGyrfs, 1978): Seja G = (V, A) um digrafo simtrico e g uma
funo de V em Z . Se iG (X) g[X] para todo X V ento existe uma orientao D
de G tal que d
Teorema T.8.7.3 (FrankGyrfs, 1978): Seja G = (V, A) um digrafo simtrico e f e g
funes de V em Z . Se f g e eG (X) f [X] e iG (X) g[X] para todo X V ento
existe uma orientao D de G tal que f (v) d
A prova simples.
A prova de T.8.7.3 induz um algoritmo polinomial para o problema 8.7.1.
Exerccios
24.1.1 Prove as proposies a e b acima.
24.1.2 Interprete as condies eG (X) f [X] e iG (X) g[X] nos casos em que |X| = 0,
|X| = 1, |X| = n 1 e |X| = n.
24.1.3 O teorema T.8.7.3 a continua valendo se exigirmos eG (X) f [X] apenas quando
X 6= V ?
24.1.4 A hiptese f g no enunciado de T.8.7.3 necessria? D um exemplo (G, f, g)
com a seguinte propriedade: existe uma orientao D0 de G tal que d
D0 f , existe
00
uma orientao D de G tal que dD00 g, mas no existe uma orientao D de G tal
que f d
D g.
24.1.5 Resolva o seguinte problema: Dado um digrafo simtrico G = (V, A) e uma funo
f de V em Z , encontrar uma orientao D de G tal que d+
D (v) f (v) para todo
vrtice v.
24.1.6 Mostre que problema 8.7.1 b equivale ao problema 8.7.1 a . Mostre que o teorema
T.8.7.3 b corolrio de T.8.7.3 a .
24.1.7 Considere o seguinte problema: dado um digrafo simtrico G = (V, A) e uma funo
a de V em Z , encontrar uma orientao D de G tal que d
D (v) = a(v) para todo v.
Discuta em detalhe as diferenas e semelhanas entre esse problema e o problema
do subdigrafo com dados graus (seo 9.3 deste Roteiro).
24.1.8 Considere o seguinte problema 8.7.1: dado um digrafo simtrico G = (V, A) e uma
funo a de V em Z , encontrar uma orientao D de G tal que d
D (v) = a(v) para
todo v. Use o teorema T.8.7.3 para mostrar que o problema 8.7.1 tem soluo se
e somente se a[V ] = |E| e a[X] iG (X) para todo X V . (Mostre que essas
condies garantem, em particular, que 0 a(v) d
G (v).)
24.1.9 Considere o seguinte problema 8.7.1: dado um digrafo simtrico G = (V, A) e uma
funo a de V em Z , encontrar uma orientao D de G tal que d
D (v) = a(v) para
todo v. Deduza do teorema T.3.8.4 de Gale (seo 7.5 deste Roteiro) condies necessrias e suficientes para que o problema 8.7.1 tenha soluo. (Use a reduo ao
problema de b-fluxos esboada no incio da subseo 8.7.1 do livro.) Compare as
condies obtidas com as do exerccio 24.1.8.
FEOFILOFF
83
24.1.10 Considere o seguinte problema: dado um digrafo simtrico G = (V, A) e funes a

+
e b de V em Z , encontrar uma orientao D de G tal que d
D (v) = a(v) e dD (v) =
b(v) para todo v. De condies necessrias e suficientes para que o problema tenha
soluo. Procure formular as condies de maneira econmica, sem redundncias.
24.1.11 D condies necessrias e suficientes para que um digrafo simtrico G tenha uma
+
orientao D tal que d
D (v) 1 e dD (v) 1 para todo vrtice v. Procure dar condies simples e econmicas.
24.1.12 (Proposio P.9.5.8) Seja G = (V, A) um digrafo simtrico e k um nmero natural.
Mostre que G tem uma orientao D tal que d
D (v) k para cada vrtice v se e
somente se iG (X) k|X| para toda parte X de V .
24.1.13 Seja G = (V, A) um digrafo simtrico e sejam U e W partes de V tais que U W = .
Em que condies G admite uma orientao em que todos os vrtices de U so fontes
e todos os vrtices de W so sorvedouros?
24.1.14 (E.8.41 +) Prove o seguinte teorema T.8.7.1 (Landau, 1953): Seja a1 a2 an
uma seqncia de nmeros naturais. Existe um torneio com vrtices 1, . . . , n tal

Pk
k
que
Pn d (i) =nai para todo i se e somente se i=1 ai 2 para k = 1, 2, . . . , n1 e
i=1 ai = 2 . (Sugesto: Veja exerccio 24.1.8.)
24.1.15 (E.8.44) Deduza o teorema T.3.11.3 (Hall) do teorema T.8.7.3.
24.1.16 (E.8.42) Mostre como converter a prova do teorema T.8.7.3 em um algoritmo polinomial que receba G, f, g e devolva uma orientao apropriada de G ou mostre que
uma tal orientao no existe.
24.2
Orientaes fortes com restrio dos graus
Problema 8.7.1* a : Dado um digrafo simtrico G = (V, A) e uma funo f de V em Z , encontrar uma orientao forte D de G tal que d
Problema 8.7.1* b : Dado um digrafo simtrico G = (V, A) e uma funo g de V em Z , encontrar uma orientao forte D de G tal que d
Problema 8.7.1*: Dado um digrafo simtrico G = (V, A) e funes f e g de V em Z , encontrar uma orientao forte D de G tal que f (v) d
Notao: O nmero de componentes fracas de um digrafo G denotado por c(G).
Proposio a: Seja G = (V, A) um digrafo simtrico e f uma funo de V em Z . Se
existe uma orientao forte D de G tal que d
D (v) f (v) para todo v ento eG (V )
f [V ] e eG (X) f [X] + c(GX) para toda parte no-trivial X de V .
Proposio b: Seja G = (V, A) um digrafo simtrico e g uma funo de V em Z . Se
existe uma orientao forte D de G tal que d
D (v) g(v) para todo v ento iG (V )
g[V ] e iG (X) + c(GX) g[X] para toda parte no-trivial X de V .
Teorema T.8.7.5 a (FrankGyrfs, 1978): Seja G = (V, A) um digrafo simtrico arco-2forte. Seja f uma funo de V em Z . Se eG (V ) f [V ] e eG (X) f [X] + c(GX)
c(G)
84
FEOFILOFF
para toda parte no-trivial X de V ento existe uma orientao forte D de G tal que
d
D (v) f (v) para todo v.
Teorema T.8.7.5 b (FrankGyrfs, 1978): Seja G = (V, A) um digrafo simtrico arco-2forte. Seja g uma funo de V em Z . Se iG (V ) g[V ] e iG (X) + c(GX) g[X]
para toda parte no-trivial X de V ento existe uma orientao forte D de G tal que
d
D (v) g(v) para todo v.
Teorema T.8.7.5 (FrankGyrfs, 1978): Seja G = (V, A) um digrafo simtrico arco2-forte. Sejam f e g duas funes de V em Z tais que f g. Se eG (V ) f [V ] e
iG (V ) g[V ] e eG (X) f [X]+c(GX) e iG (X)+c(GX) g[X] para toda parte notrivial X de V ento existe uma orientao forte D de G tal que f (v) d
D (v) g(v)
para todo v.
O livro no d a prova; mas ela no muito diferente da prova de T.8.7.3.
Exerccios
24.2.1 Prove as proposies que precedem T.8.7.5 acima.
24.2.2 verdade que T.8.7.5 a continua valendo sem a condio eG (V ) f [V ]? No teorema
T.8.7.5 a , que sentido faz a expresso eG (X) f [X] + c(GX) quando X = ?
24.2.3 verdade que T.8.7.5 continua valendo se a condio G arco-2-forte no for
explicitamente imposta?
24.2.4 D condies necessrias e suficientes para que um digrafo simtrico G tenha uma
orientao forte D tal que d
D (v) k para todo vrtice v. Compare com as condies do teorema T.8.6.3 de Nash-Williams (note que os dois problemas so muito
diferentes).
24.2.5 Deduza do teorema T.8.7.5 b : Todo digrafo simtrico arco-2-forte G admite uma ori
entao forte D de G tal que d
D (v) ddG (v)/2e para todo vrtice v.
Captulo 25
Orientaes com restries dos graus

de conjuntos
Este captulo d um salto em abstrao; ele generaliza o captulo 24 ao introduzir restries
sobre os graus de entrada de conjuntos arbitrrios de vrtices.
25.1
O problema
Definio: Dado um digrafo simtrico G = (V, A) e uma funo h de 2V em Z , diremos que

V
uma orientao D de G h-boa se d
D (X) h(X) para todo X em 2 .
Problema 8.7.2 (d h): Dado um digrafo simtrico1 G = (V, A) e uma funo h de 2V em Z ,
encontrar uma orientao h-boa de G.
Este problema uma generalizao do problema 8.6 (orientao arco-k-forte), do problema 8.7.1, do problema 8.7.1*, e de vrios outros. (Veja exerccios 25.1.3, 25.1.4, 25.1.6
e 25.3.1.)
Notao: Dada uma partio F de V , seja eF P
o nmero de arestas de G com pontas
em elementos distintos de F . Portanto, eF := 12 XF d
G (X).
Condies necessrias: Seja G = (V, A) um digrafo simtrico e h uma funo de 2V
em Z . Se G tem uma orientao h-boa ento (a) h() 0 e h(V ) 0, (b) d
G (X)
h(X) paraPtoda parte X de V , (c) dG (X) h(X) + h(X) para

P toda parte X de V ,
(d) eF XF h(X) para toda partio F de V e (e) eF XF h(X) para toda
partio F de V . (Esses itens no so mutuamente independentes.)
S trataremos do caso em que h 0. Nesse caso, (b) conseqncia de (c) e h() =
h(V ) = 0.
1
Um digrafo simtrico essencialmente o mesmo que um grafo.
85
eF
86
FEOFILOFF
Exerccios
25.1.1 Prove as Condies necessrias acima.
25.1.2 Seja GP= (V, A) um digrafo simtrico e h uma funo de 2V em Z . Suponha que
eF XF h(X) para toda partio F de V . Mostre que d
G (X) h(X) + h(X)
para toda parte no-trivial X de 2V .
25.1.3 (Problema 8.6) Mostre que o problema 8.6 (orientao arco-k-forte) um caso particular do problema 8.7.2.
25.1.4 (Problema 8.7.1) Mostre que o problema 8.7.1 a um caso particular do problema 8.7.2. (Sugesto: Defina h({v}) := f (v) para cada v em V e h(X) := 0 para
cada parte no-unitria X de V .) Mostre que o problema 8.7.1 b um caso particular do problema 8.7.2. (Sugesto: Defina h({v}) := d
G (v) g(v) para cada v em V e
h(X) := d
(X)
para
cada
parte
no-unitria
X
de
V
.)
G
25.1.5 Seja G = (V, A) um digrafo simtrico e g uma funo de V em Z . Considere o
problema 8.7.2 com h definida da seguinte maneira: h(V r {v}) := g(v) para cada v
em V e h(X) := 0 para todo X tal que |X| 6= |V | 1. verdade que esse problema
equivale ao problema 8.7.1 b ?
25.1.6 (Out-branchings disjuntos) Considere o seguinte problema: dado um digrafo simtrico G = (V, A), um vrtice s e um nmero k, encontrar uma orientao de G que
tenha k out-branchings disjuntos, todos com raiz s. Mostre que esse problema um
caso particular do problema 8.7.2.
25.1.7 (d+ h) Considere o seguinte problema: Dado um digrafo simtrico G = (V, A) e
uma funo h de 2V em Z , encontrar uma orientao D de G tal que d+ (X) h(X)
para todo X em 2V . Mostre que esse problema equivalente ao problema 8.7.2.
25.1.8 (d h) Considere o seguinte problema 8.7.2: Dado um digrafo simtrico G =
(V, A) e uma funo h0 de 2V em Z , encontrar uma orientao D0 de G tal que
0
V
d
D0 (X) h (X) para todo X em 2 . Esse problema equivalente ao problema 8.7.2?
25.1.9 (hd h0 ) Seja G = (V, A) um digrafo simtrico e h, h0 duas funes de 2V em Z .
Suponha que existe uma orientao D de G tal que d
D (X) h(X) para todo X V .
0
Suponha que existe uma orientao D0 de G tal que d
D0 (X) h (X) para todo X
0
V . verdade que existe uma orientao D00 de G tal que h(X) d
D00 (X) h (X)
para todo X V ?
25.2
Restries leves
Notao: Se G = (V, A) um digrafo e S, T so partes de V , denotaremos por d+

G (S, T ) o
nmero de arcos de G que tm ponta inicial em S e ponta final em T .
Definio: Seja G = (V, A) um digrafo simtrico e h uma funo de 2V em Z . Para quaisquer
X e Y em 2V , a desigualdade G-supermodular a relao h(X Y ) + h(X Y ) +
h(X) + h(Y ), onde = d+
G (X r Y, Y r X).
Definio: Dizemos que uma funo h de 2V em Z cruz-G-supermodular (= cros-
FEOFILOFF
87
sing G-supermodular) se a desigualdade G-supermodular vale para todo par X, Y de

elementos de 2V que se cruzam.
Teorema T.8.7.6 A (Frank, 1980): Seja G um digrafo
P simtrico e h uma
Pfuno cruz-Gsupermodular de 2V em Z . Se h 0 e eF XF h(X) e eF XF h(X) para
toda partio F de V ento G tem uma orientao h-boa.
Prova do teorema: mais tarde, depois de estudar fluxos submodulares.
Os teoremas T.8.6.3 (Nash-Williams) e T.8.7.3 a (FrankGyrfs) so corolrios de
T.8.7.6 A . Acho que T.8.7.5 (FrankGyrfs) tambm um corolrio de T.8.7.6 A .
Definio: Uma funo h simtrica se h(X) = h(X) para todo X .
Corolrio 8.7.6 B de T.8.7.6 A : Seja G um digrafo simtrico e h uma funo cruz-Gsupermodular de 2V em Z . Se h 0, h simtrica, e d
G (X) 2h(X) para todo X
em 2V ento G tem uma orientao h-boa.
O teorema T.8.6.3 (Nash-Williams) corolrio desse corolrio.
Exerccios
25.2.1 Prove o corolrio 8.7.6 B de T.8.7.6 A .
25.2.2 (E.8.51) Mostre que o teorema T.8.6.3 (Nash-Williams) um caso especial de T.8.7.6
(Frank). (Veja exerccio 25.1.3.)
25.2.3 (8.7.68.7.3) Deduza o teorema T.8.7.3 a (FrankGyrfs) de T.8.7.6 A . (Veja exerccio 25.1.4.)
25.2.4 D um exemplo de um digrafo simtrico
G e uma funo cruz-G-supermodular h
P
V
de 2 em Z tais que h 0 e eF XF h(X) para toda partio F de V mas G
no tem uma orientao h-boa.
25.2.5 Seja G um digrafo simtrico e h uma funo cruz-G-supermodular de 2V em Z .
Seja D uma orientao de G. Para todo elemento no-trivial X de 2V , seja f (X) :=
d
D (X) h(X). Mostre que f submodular nos pares X, Y de conjuntos que se
cruzam.
25.2.6 O teorema T.8.7.5 corolrio de T.8.7.6 A ?
25.2.7 (d h) Considere o problema 8.7.2 do exerccio 25.1.8. Deduza o seguinte corolrio do teorema T.8.7.6 A : Seja G um digrafo simtrico e h0 uma funo
cruz-GP
V em Z . Se h0 (X) d (X) para todo X e e
0
submodular
de
2
F
XF h (X) e
G
P
0
eF XF h (X) para toda partio F de V ento existe uma orientao D0 de G
0
V
tal que d
D0 (X) h (X) para todo X em 2 .
25.3
Restries mais pesadas
Definio: Dizemos que uma funo h de 2V em Z inter-G-supermodular (= intersecting G-supermodular) se a desigualdade G-supermodular vale para todo par X, Y de
elementos de 2V que se interceptam.
88
FEOFILOFF
Teorema T.8.7.6 C (Frank, 1980): Seja G um digrafo simtrico

e h uma funo inter-GP
V
supermodular de 2 em Z . Se h 0 e h() = 0 e eF XF h(X) para toda partio
F de V ento G tem uma orientao h-boa.
(Se aceitarmos parties
com blocos vazios, a hiptese h() = 0 suprflua: ela segue
P
de h 0 e eF XF h(X).)
Exerccios
25.3.1 (Interessante) Considere o seguinte problema: dado um digrafo simtrico G =
(V, A), um vrtice s e um nmero k, encontrar uma orientao de G que tenha k
out-branchings disjuntos, todos com raiz s. (Veja exerccio 25.1.6.) D condies
necessrias e suficientes para que o problema tenha soluo.
25.3.2 (E.8.57 +) Seja s um vrtice de um digrafo simtrico G = (V, A) e k um nmero
natural. Prove diretamente (sem usar o teorema 8.7.6) que G admite uma orientao
+
D
P tal que dD (X) k para cada parte no-trivial X de V r {s} se e somente se
1i<jp e(Vi , Vj ) k(p 1) para toda partio {V1 , . . . , Vp } de V , sendo e(Vi , Vj )
o nmero de arestas com uma ponta em Vi e outra em Vj .
25.3.3 Seja s um vrtice de um digrafo simtrico G = (V, A) e seja k um nmero natural.
Queremos uma orientao D de G que tenha k out-branchings disjuntos, todos com
raiz s. verdade que uma tal orientao existe se e somente se d
G (X) 2k para
toda parte no-vazia X de V r {s}?
25.3.4 Seja G um digrafo simtrico e s um vrtice de G. D condies necessrias e suficientes para que G tenha uma orientao em que existe um s-out-branching e um
s-in-branching mutuamente disjuntos.
25.4
Restries ainda mais pesadas
Definio: Dizemos que uma funo h de 2V em Z plenamente G-supermodular

(= fully G-supermodular) se a desigualdade G-supermodular vale para todo par X, Y de
elementos de 2V .
Corolrio 8.7.6 D de T.8.7.6 A (Frank, 1980): Seja G um digrafo simtrico e h uma funo
plenamente G-supermodular de 2V em Z . Se h 0 e d
G (X) h(X) + h(X) para todo
X em 2V ento G tem uma orientao h-boa.2
Exerccios
25.4.1 Seja G = (V, A) um digrafo simtrico e h uma funo supermodular de 2V em Z .
Mostre que h plenamente G-supermodular.
2
Veja exerccio 25.4.2.
FEOFILOFF
89
25.4.2 (Bom) Seja G um digrafo simtrico e h uma funo plenamente G-supermodular

de 2V em Z . Suponha que h 0 e que h() = h(V ) = 0. Mostre que d
G (X)
h(X) + h(X) para toda parte X de V . Use isso para reescrever o enunciado do
corolrio 8.7.6 D .
25.4.3 D uma prova direta (ou seja, independente de T.8.7.6 A ) do corolrio 8.7.6 D .
Captulo 26
Fluxos submodulares
Este captulo d um grande salto em abstrao e generaliza os resultados dos captulos 19, 23
e 25 deste Roteiro.
26.1
Fluxos com reteno restrita
Definio: Um fluxo num digrafo D = (V, A) qualquer funo x de A em Q. Um fluxo

inteiro qualquer funo x de A em Z . (Note que um fluxo pode ter valores negativos.)
x+ (S)
x
+ (S)
Notao:
Seja x um fluxo. O efluxo de x numa parte S P
de V o nmero x+ (S) :=
P
a(S,S) x(a). O influxo de x em S o nmero x (S) :=

a(S,S) x(a). A reteno de
+
x a funo x+ definida por x+ (S) := x (S) x (S) para todo S em 2V .
Problema 8.8 (fluxo submodular): Dado um digrafo1 D = (V, A), fluxos inteiros l e u,2
uma subcoleo F de 2V e uma funo b de F em Z ,3 encontrar um fluxo inteiro x tal que
l x u e x
+ (S) b(S) para cada S em F .
Exemplo: Tome F := 2V r {, V } e b(S) := d (S) 3 para cada S em F . Encontre um fluxo
inteiro x tal que 0 x 1 e x
+ (S) b(S) para todo S em F .
Definio: Um fluxo x (inteiro ou no) vivel se l x u e x
+ (S) b(S) para todo
S em F .
Notao: Seja P(D, l, u, F, b) o conjunto de todos os fluxos viveis em D.
P( )
O problema 8.8 pode ser formulado assim:

P(D, l, u, F, b).
1
Encontrar um fluxo inteiro em
O digrafo no precisa ser simtrico.

As funes l e u podem assumir valores negativos; mas em muitas aplicaes temos simplesmente l(a) = 0
e u(a) = 1 para todo a em A.
3
A funo b pode assumir valores negativos.
2
90
FEOFILOFF
91
Casos particulares do problema 8.8: o problema do b-fluxo vivel inteiro numa rede
(veja exerccio 26.1.3), o problema 8.7.1, o problema 8.7.1*, o problema 8.6 (orientao
arco-k-forte, veja exerccio 26.1.4), o problema 8.7.2 (d h), e vrios outros.
1
2
s
1
2
S
r
v
w
s
r, v
r, w
r, s
b(S)
0
0
1
1
1
0
0
S
v, w
v, s
w, s
r, v, w
r, v, s
r, w, s
v, w, s
b(S)
0
0
1
0
0
1
1
Figura 26.1: Fluxo x em P(D, 0, 1, F, b), com F = 2V r {, V }. No existe fluxo

inteiro em P(D, 0, 1, F, b). Note que b no cruz-submodular.
Exerccios
26.1.1 (E.8.52) (importante) Seja x um fluxo num digrafo (V, A). Mostre que as funes x
e x+ so submodulares. Mostre que x
+ modular.
P
26.1.2 (Importante) Seja x um fluxo num digrafo D. Mostre que x

+ (S) =
sS x+ ({s})
para todo S . Mostre que x+ (X1 Xt ) = x+ (X1 ) + + x+ (Xt ) para toda

subpartio4 {X1 , . . . , Xt } de V .
26.1.3 (b-fluxo em redes) Mostre que o problema do b-fluxo vivel inteiro numa rede (veja
seo
7.5 deste Roteiro) um caso particular do problema 8.8. (Dica: cuide do caso
P
vV b(v) = 0; os demais casos no tm soluo.)
26.1.4 (Problema 8.6) Mostre que o problema 8.6 (orientao arco-k-forte) um caso particular do problema 8.8. (Dica: Transforme o problema da orientao de digrafos
simtricos num problema de reorientao de digrafos anti-simtricos.)
26.1.5 (x+
b) Considere o problema 8.8 que se obtm quando trocamos x+ (S) b(S)
+
por x+
(S) b(S) no enunciado do problema 8.8. (A funo x definida da
+
+
maneira bvia: x (S) := x (S) x (S).) Mostre que os dois problemas so equivalentes.
26.1.6 (x
+ b) Considere o problema 8.8 que se obtm quando trocamos b(S) por
b(S) no enunciado do problema 8.8. Mostre que os dois problemas so equivalentes.
26.1.7 (x
+ =b) Considere o problema que se obtm quando trocamos b(S) por =
b(S) no enunciado do problema 8.8. Discuta esse novo problema. Ele equivale ao
problema 8.8?
4
Uma subpartio de V uma coleo disjunta de partes de V .
92
26.2
FEOFILOFF
Relaxao do problema: condies necessrias
A relaxao do problema 8.8 o resultado da substituio de encontrar um fluxo inteiro por

encontrar um fluxo no enunciado do problema 8.8. A relaxao do problema 8.8 consiste,
essencialmente, em decidir se P(D, l, u, F, b) vazio.
Uma condio necessria bvia para que P(D, l, u, F, b) no seja vazio l u. H outras
condies necessrias menos bvias:
Condio necessria A: Se P(D, l, u, F, b) no vazio ento l (S) u+ (S) b(S) para
cada S em F .
Condio necessria B: Se P(D, l, u, F, b) no vazio ento l (X1 Xt ) u+ (X1
Xt ) b(X1 ) + + b(Xt ) para qualquer subcoleo disjunta {X1 , . . . , Xt } de F .
Condio necessria C: Se P(D, l, u, F, b) no vazio ento l (Y1 Yt ) u+ (Y1
Yt ) b(Y1 ) + + b(Yt ) para qualquer subcoleo co-disjunta {Y1 , . . . , Yt } de F .
Condio necessria D: Se P(D, l, u, F, b) no vazio ento l ( Y1 Yt )
T
T
u+ ( Y1 Yt ) b[Y1 ] + + b[Yt ],5 para quaisquer subcolees Y1 , . . . , Yt de F
T
T
tais que cada Yi co-disjunta e Yi Yj = quando i 6= j .
P
Aqui, b[Yi ] denota a soma Y Yi b(Y ).
T
b[Yi ]
Uma observao que pode ser til: Se Y uma subcoleo co-disjunta de F ento
T
{ Y} {Y : Y Y} uma partio de V . Reciprocamente, para qualquer partio
X deTV e qualquer elemento Z de X , a coleo {X : X X , X 6= Z} co-disjunta e
Z = XX ,X6=Z X .
Exerccios
26.2.1 Prove a condio necessria A. Em particular, mostre que b(S) 0 sempre que
S F e d (S) = d+ (S) = 0.
26.2.2 Prove que a condio necessria A um caso particular da condio necessria B.
Prove que a condio necessria A um caso particular da condio necessria C.
Prove que a condio necessria B um caso particular da condio necessria D.
Prove que a condio necessria C um caso particular da condio necessria D.
26.2.3 Prove a condio necessria B. Essa condio vale para qualquer subcoleo
{X1 , . . . , Xt } de F ? (Veja exerccio 26.1.2.)
26.2.4 Prove a condio necessria C.
26.2.5 Prove a condio necessria D.
26.2.6 Suponha que o par (F, b) tem a seguinte propriedade: para qualquer subcoleo
disjunta {X1 , . . . , Xt } de F , o conjunto X1 Xt est em F e b(X1 Xt )
5
Se Y = {Y1 , . . . , Yp } ento
Y denota o conjunto Y1 Yp .
FEOFILOFF
93
b(X1 ) + + b(Xt ). Mostre que a condio necessria B conseqncia da condio

necessria A.
26.2.7 Suponha que o par (F, b) tem a seguinte propriedade: para qualquer subcoleo codisjunta {Y1 , . . . , Yt } de F , o conjunto Y1 Yt est em F e b(Y1 Yt )
b(Y1 ) + + b(Yt ). Mostre que a condio necessria C conseqncia da condio
necessria A.
26.2.8 Suponha que o par (F, b) tem a seguinte propriedade: para quaisquer subcolees
T
T
T
co-disjuntas Y1 , . . . , Yt de F tais que YP
Y
Y1
i
j = quando i 6= j , tem-se
P
T
T
T
Yt F e b( Y1 Yt ) ti=1 Y Yi b(Y ). Mostre que a condio
necessria D conseqncia da condio necessria B.
26.2.9 (+) Seja D = (V, A) um digrafo e k um nmero natural. Seja F := 2V r {, V }
e b(S) := d (S) k para todo S em F . Suponha que d (S) + d+ (S) 2k para
todo S em F . (a) Mostre que d+ (S) b(S) para todo S em F . (b) Mostre que
d+ (X1 Xt ) b(X1 ) + + b(Xt ) para toda subcoleo disjunta {X1 , . . . , Xt }
de F . (c) Mostre que d+ (Y1 Yt ) b(Y1 ) + + b(Yt ) para toda subcoleo
T
T
co-disjunta {Y1 , . . . , Yt } de F . (d) Mostre que d+ ( Y1 Yt ) b[Y1 ] + +
b[Yt ], para quaisquer subcolees Y1 , . . . , Yt de F tais que cada Yi co-disjunta e
T
T
Yi Yj = quando i 6= j .
26.3
Fluxos submodulares
Seja F uma subcoleo de 2V e b uma funo de F em Z .

Definio: O par (F, b) plenamente submodular (= fully submodular) se, para todo par
X, Y de elementos de F , os conjuntos X Y e X Y esto em F e b(X Y )+b(X Y )
b(X) + b(Y ).
P
Exemplo: Se F = 2V e b(S) = sS b({s}) para cada S V ento (F, b) plenamente
submodular.
Definio: O par (F, b) inter-submodular (= intersecting submodular) se, para todo par
X, Y de elementos de F que se interceptam, X Y e X Y esto em F e b(X Y ) +
b(X Y ) b(X) + b(Y ).
Definio: O par (F, b) cruz-submodular (= crossing submodular) se, para todo par
X, Y de elementos de F que se cruzam, X Y e X Y esto em F e b(X Y ) + b(X
Y ) b(X) + b(Y ).
Definio: Se o par (F, b) plenamente, inter- ou cruz-submodular e x um fluxo tal
que x
+ (S) b(S) para todo S em F , dizemos que x um fluxo submodular (= submodular flow).
94
FEOFILOFF
Exerccios
26.3.1 Seja F := {, V } e b uma funo de F em Z . Mostre que (F, b) plenamente
submodular.
26.3.2 Seja F := {{v} : v V } e seja b uma funo de F em Z . O par (F, b) plenamente
submodular?
26.3.3 Se (F, b) um par plenamente submodular, verdade que, em geral, F e V F ?
Se (F, b) um par inter-submodular, verdade que, em geral, V F ? Explique.
26.3.4 P
Seja (V, A) um digrafo e b uma funo de 2V em Z . Suponha que b(S) =
V
sS b({s}) para cada S V . Mostre que o par (2 , b) plenamente submoduV
lar. A restrio de b a 2 r {, V } tambm plenamente submodular?
26.3.5 Seja (F, b) um par plenamente submodular. Suponha que F e b() 0. Mostre
que a condio necessria B decorre da condio necessria A.
26.3.6 Seja (F, b) um par plenamente submodular. Suponha que V F e b(V ) 0. Mostre
que a condio necessria C decorre da condio necessria A.
26.4
O teorema de EdmondsGiles
Teorema T.8.8.1 (EdmondsGiles, 1977), verso simplificada:6 Seja D = (V, A) um

digrafo e sejam l e u dois fluxos inteiros. Seja (F, b) um par cruz-submodular. Se existe
um fluxo x tal que l x u e x
+ (S) b(S) para todo S em F ento tambm existe
um tal fluxo inteiro.
Em outras palavras, se (F, b) cruz-submodular e P(D, l, u, F, b) no vazio ento o
problema 8.8 tem soluo.
Prova: veja Schrijver [Sch03].
Exemplo: veja figura 26.1.
Conseqncia de T.8.8.1: para resolver o problema 8.8, basta encontrar condies suficientes para que P(D, l, u, F, b) seja no-vazio. A seo seguinte discute tais condies.
Exerccios
26.4.1 (T.8.8.1T.8.6.3) Mostre que o teorema T.8.6.3 (Nash-Williams) corolrio de T.8.8.1.
26.4.2 Mostre que a hiptese (F, b) cruz-submodular essencial em T.8.8.1.
26.4.3 Adapte o enunciado de T.8.8.1 depois de trocar submodular por supermodular.
+
Adapte o enunciado de T.8.8.1 depois de trocar x
+ (S) b(S) por x (S) b(S).
Adapte o enunciado de T.8.8.1 depois de trocar x

+ (S) b(S) por x+ (S) b(S).
Em cada caso, prove a verso adaptada a partir de T.8.8.1.
6
Isto apenas um corolrio do clebre teorema de EdmondsGiles. Segundo aquele teorema, se l u e
(F, b) cruz-submodular ento o sistema hl x u, x
+ (S) b(S), S Fi TDI (= totally dual integral).
FEOFILOFF
26.5
95
Condies de existncia para fluxos submodulares
Teorema T.8.8.3 (Frank, 1982): Seja D = (V, A) um digrafo e l, u dois fluxos inteiros tais
que l u. Seja (F, b) um par plenamente submodular. Se l (S) u+ (S) b(S) para
cada S em F ento P(D, l, u, F, b) no vazio.
Este teorema combinado com T.8.8.1 d condies suficientes para existncia de soluo
do problema 8.8.
Teorema T.8.8.4 (Frank, 1984): Seja D = (V, A) um digrafo e l, u dois fluxos inteiros
tais que l u. Seja (F, b) um par inter-submodular. Se l (X1 Xt ) u+ (X1
Xt ) b(X1 ) + + b(Xt ) para toda subcoleo disjunta {X1 , . . . , Xt } de F ento
P(D, l, u, F, b) no vazio.
O livro no d a prova.
Teorema T.8.8.5 (Frank, 1984): Seja D = (V, A) um digrafo e l, u dois fluxos inteiros tais
T
T
T
que l u. Seja (F, b) um par cruz-submodular. Se l ( Y1 Yt ) u+ ( Y1
T
Yt ) b[Y1 ] + + b[Yt ], para quaisquer subcolees Y1 , . . . , Yt de F tais que
T
T
cada Yi co-disjunta e Yi Yj = quando i 6= j ento P(D, l, u, F, b) no vazio.
O livro no d a prova.
Exerccios
26.5.1 (T.8.8.3T.3.8.2) Deduza de T.8.8.3 o teorema de Hoffman T.3.8.2. (Veja exerccio 26.1.3.)
26.5.2 (T.8.8.3T.3.8.3+3.8.4) Deduza de T.8.8.3 os teoremas de Gale T.3.8.3 e T.3.8.4. (Veja
exerccio 26.1.3.)
26.5.3 Enuncie a variante de T.8.8.3 que tem supermodular no lugar submodular.
Enuncie a variante de T.8.8.3 que tem x+

(S) b(S) no lugar de x+ (S) b(S).
Enuncie a variante de T.8.8.3 que tem x+ (S) b(S) no lugar de x

+ (S) b(S).
Mostre que cada uma das variantes decorre de T.8.8.3.
26.5.4 Considere o seguinte problema: dado um digrafo D = (V, A), um vrtice s e um
nmero k, encontrar uma reorientao de D que tenha k out-branchings disjuntos,
todos com raiz s. (Veja exerccio 25.1.6 e exerccio 25.3.1.) D condies necessrias
e suficientes para que o problema tenha soluo. (Dica: Use T.8.8.4.)
26.5.5 (T.8.8.5T.8.6.3) Deduza T.8.6.3 (Nash-Williams) de T.8.8.5. (Veja exerccio 26.4.1.
Alternativamente, veja exerccio 26.2.9.)
26.5.6 (E.8.66) (T.8.8.5T.8.7.6) Deduza o teorema T.8.7.6 D (Frank) de T.8.8.3. Deduza o
teorema T.8.7.6 C (Frank) de T.8.8.4. Deduza o teorema T.8.7.6 A (Frank) de T.8.8.5.
(Esse ltimo uma generalizao de exerccio 26.5.5.)
26.5.7 Mostre que as condies de T.8.8.4 no so suficientes para provar T.8.8.5.
96
26.6
FEOFILOFF
Fluxo submodular de custo mnimo
Problema 8.8*: Dado um fluxo c em D,7 encontrar x em P(D, l, u, F, b) que seja inteiro e
minimize cx.8
A relaxao do problema 8.8* consiste em encontrar x em P(D, l, u, F, b) que minimize cx. Essa relaxao tem soluo se e somente se P(D, l, u, F, b) no vazio.9
Teorema T.8.8.1 (EdmondsGiles, 1977) generalizado:10 Seja D = (V, A) um digrafo
e l, u dois fluxos inteiros tais que l u. Seja c um terceiro fluxo. Seja (F, b) um par
cruz-submodular. Se P(D, l, u, F, b) no vazio ento existe um fluxo inteiro x em
P(D, l, u, F, b) que minimiza cx. Se, alm disso, c inteiro ento o dual do problema
de minimizar cx sob as restries l x u e x
+ (S) b(S) para todo S em F tem uma
soluo inteira.11 12
Exerccios
26.6.1 Prove o teorema T.7.15.2 (LucchesiYounger) a partir do teorema T.8.8.1 (EdmondsGiles).
O fluxo c ser interpretado como custo: para cada arco a, o nmero c(a) o custo de a.
P
A expresso cx uma abreviatura de aA c(a)x(a).
9
Como l x u, o conjunto P(D, l, u, F, b) limitado por baixo, isto , existe um nmero L tal que cx L
para todo x em P(D, l, u, F, b). Se l tivesse valores em Z {} e u tivesse valores em Z {+}, seria
necessrio exigir explicitamente que P(D, l, u, F, b) seja limitado por baixo para garantir a existncia de soluo.
10
Esta uma generalizao da nossa verso anterior de T.8.8.1. A verso anterior corresponde ao caso c = 0
desta.
11
O problema dual tem soluo porque P no vazio e cx limitado por baixo (uma vez que l x u).
12
A verso completa de T.8.8.1 ainda mais geral: ela conclui que o sistema hl x u, x
+ (S) b(S), S Fi
TDI (= totally dual integral).
8
Captulo 27
Fluxo inteiro nenhures nulo

(Veja verbete Nowhere-zero flows na Wikipedia.) Este captulo trata, implicitamente, de certas
orientaes de digrafos simtricos.1
Definio: Um fluxo inteiro nenhures nulo (= nowhere-zero flow) num digrafo simtrico G
uma circulao2 x em G, com valores em Z , tal que x(uv) x(vu) 6= 0 para toda aresta
{uv, vu}.
Uma ponte (= bridge) num digrafo simtrico uma aresta {uv, vu} dotada da seguinte
propriedade: existe um conjunto X de vrtices tal que (X, X) = {uv} e (X, X) = {vu}.
Todo digrafo simtrico fracamente conexo sem pontes arco-2-forte.
Fato A: Se um digrafo simtrico tem uma ponte ento no tem fluxo nenhures nulo.
Fato B: Todo digrafo simtrico sem pontes admite um fluxo nenhures nulo.
Corolrio: Todo digrafo simtrico arco-2-forte admite um fluxo nenhures nulo.
Definio: Seja x um fluxo nenhures nulo num digrafo simtrico G = (V, A). Seja Ax o
conjunto de {uv A : x(uv) > x(vu)}. Diremos que Gx := (V, Ax ) o digrafo-suporte
de x. claro que Gx uma orientao de G.
Definio: Se x um fluxo num digrafo simtrico ento a normalizao de x o fluxo
x definido da seguinte maneira: para cada aresta {uv, vu}, se x(uv) > x(vu) ento
x(uv)
= x(uv) x(vu) e x(vu)
= 0.
Fato: Se x um fluxo nenhures nulo num digrafo simtrico G ento a normalizao x
de x tambm um fluxo nenhures nulo em G. Ademais, a restrio de x ao digrafosuporte Gx de G uma circulao e x(a)
> 0 para todo arco a de Gx .

1
2
Convm lembrar que digrafos simtricos so essencialmente o mesmo que grafos.

Uma circulao um fluxo x tal que x (v) = x+ (v) para todo vrtice v.
97
98
FEOFILOFF
Exerccios
27.0.1 Mostre que um digrafo simtrico tem um fluxo nenhures nulo se e somente se cada
uma de suas componentes fracas tem um tal fluxo.
27.0.2 Prove os fatos A e B acima.
27.0.3 (E.8.22) Suponha que um digrafo simtrico G tem um fluxo nenhures nulo x. Mostre
que o digrafo-suporte de x forte.
27.1 k -Fluxo nenhures nulo

Definio: Para qualquer inteiro positivo k, um k-fluxo nenhures nulo (= nowhere-zero kflow) num digrafo simtrico um fluxo nenhures nulo com valores em {0, 1, . . . , k1}.
Seja x um k-fluxo nenhures nulo num digrafo simtrico G e seja x a normalizao de x. A
restrio de x ao digrafo-suporte Gx tem valores em {1, . . . , k1}.
Problema 8.5: Dado um digrafo simtrico G e um inteiro positivo k, encontrar um k-fluxo
nenhures nulo em G.
Motivao: Veja abaixo a conjetura de Tutte sobre 5-fluxos nenhures nulos.
Proposio P.8.5.1 (folclore, importante): Um digrafo simtrico G tem um 2-fluxo nenhures nulo se e somente se d
G (v) par para todo vrtice v de G.
Proposio P.8.5.4 (folclore): Um digrafo simtrico 3-regular3 tem um 3-fluxo nenhures
nulo se e somente se G bipartido.
(Veja exerccio exerccio 27.1.2.)
Definio: Uma j -colorao das arestas de um digrafo simtrico G uma coleo
G1 , . . . , Gj de subdigrafos simtricos de G tal que A(G1 ) A(Gj ) = A(G) e
4
d
Gi (v) 1 para cada i e cada vrtice v.
Teorema T.8.5.5 (folclore): Um digrafo simtrico 3-regular G tem um 4-fluxo nenhures
nulo se e somente se G tem uma 3-colorao das arestas.
(Veja exerccio 27.1.4.)
Teorema T.8.5.6 (folclore): Um digrafo simtrico G = (V, A) tem um 4-fluxo nenhures
nulo se e somente se G tem dois subdigrafos simtricos G1 = (V, A1 ) e G2 = (V, A2 )
tais que A1 A2 = A e d
Gi (v) par para cada v e cada i.
(Veja exerccio E.8.28.)
Todo o vrtice v tal que d (v) = d+ (v) = 3.

evidente que nenhum digrafo simtrico admite uma (1)-colorao das arestas, sendo :=
max{d (v) : v V }. Como se sabe, todo digrafo simtrico admite uma -colorao ou uma (+1)-colorao
das arestas.
3
FEOFILOFF
99
Exerccios
27.1.1 (Definio alternativa de k-fluxo nenhures nulo) Mostre que o problema 8.5 equivalente ao seguinte: dado um digrafo anti-simtrico D = (V, A) e um inteiro positivo
k, encontrar uma circulao inteira x em D tal que x(a) 6= 0 e 1 k x(a) k 1
para todo a em A.
27.1.2 Prove a proposio P.8.5.4 (sem recorrer ao conceito de mod-k-fluxo).
27.1.3 (E.8.26) Encontre um 4-fluxo nenhures nulo no digrafo simtrico da figura 8.17
(p.470) do livro.
27.1.4 Prove o teorema T.8.5.5 (sem recorrer ao conceito de mod-k-fluxo).
27.1.5 (E.8.29) Mostre (sem recorrer ao conceito de mod-k-fluxo) que o digrafo completo
sobre 4 vrtices admite uma 3-colorao das arestas mas no tem um 3-fluxo nenhures nulo.
27.1.6 (E.8.28 +) Prove o teorema T.8.5.6 (sem recorrer ao conceito de mod-k-fluxo).
27.1.7 (E.8.27) Um mod-k-fluxo nenhures nulo (tambm conhecido como Zk -fluxo nenhures nulo) em um digrafo simtrico G um fluxo x em G com valores em
{0, 1, . . . , k1} tal que x(uv) x(vu) 6= 0 para toda aresta {uv, vu} e x (v) x+ (v)
(mod k) para todo vrtice v. A figura 8.18 (p.470) do livro define um mod-5-fluxo
nenhures nulo x no grafo de Petersen. A partir de x, construa um 5-fluxo nenhures
nulo no grafo.
27.2
5-Fluxo nenhures nulo e a conjetura de Tutte
Conjetura Cnj.8.5.8 (Tutte, 1954): Todo digrafo5 simtrico arco-2-forte tem um 5-fluxo
nenhures nulo.
Esta uma generalizao do teorema das 4 cores.6
Teorema (Jaeger, 1976): Todo digrafo7 simtrico arco-2-forte tem um 8-fluxo nenhures
nulo.
Teorema T.8.5.10 (Seymour, 1981): Todo digrafo8 simtrico arco-2-forte tem um 6-fluxo
nenhures nulo.
O livro no d a prova (mas ela muito interessante).
Tambm se aplica a multi-digrafos.

Mais precisamente, a generalizao do teorema das 4 cores a seguinte conjetura do 4-fluxo: todo digrafo
simtrico arco-2-forte sem Petersen minor tem um 4-fluxo nenhures nulo.
7
Tambm vale para multi-digrafos.
8
Tambm vale para multi-digrafos.
6
100
FEOFILOFF
Exerccios
27.2.1 (E.8.30 +) Seja G um digrafo simtrico arco-3-forte. Mostre que G tem subdigrafos
geradores simtricos T1 , T2 e T3 tais que (1) cada Ti uma rvore9 e (2) nenhuma
das arestas de G pertence s trs rvores. (Dica: Use o teorema T.9.5.5. Veja exerccio 23.2.7.)
27.2.2 (E.8.31 +) (Teorema de Jaeger, 1976) Mostre (sem recorrer ao conceito de mod-kfluxo) que todo digrafo simtrico arco-2-forte tem um 8-fluxo nenhures nulo. (Sugesto: Basta provar o teorema para digrafos simtricos arco-3-fortes. Use o resultado do exerccio E.8.30 para construir um 8-fluxo nenhures nulo. Compare com a
prova de T.8.5.7.)
Veja nossa definio de rvore na seo 1.2.
Captulo 28
Ciclos disjuntos e realimentao

28.1
Ciclos disjuntos
Definio: Uma coleo de ciclos num digrafo disjunta se cada vrtice do digrafo
pertence a no mximo um dos ciclos.
Problema 10.3: Dado um digrafo D, encontrar uma coleo disjunta mxima de ciclos.
Teorema T.10.3.4 (folclore?): O problema 10.3 NP-difcil.
Notao: Denota-se por 0 (D) a cardinalidade de um coleo disjunta mxima de ciclos.
28.2
0 (D)
Realimentao de vrtices
Definio: Um retorno de vrtices, ou realimentao de vrtices (= feedback vertex set),

de um digrafo D = (V, A) uma parte S de V tal que D S acclico.
Problema FVS (feedback vertex set): Dado um digrafo D, encontrar um retorno de vrtices mnimo.
Notao: Denota-se por 0 (D) a cardinalidade de um retorno de vrtices mnimo.
Proposio: Para qualquer digrafo D, 0 (D) 0 (D).
Teorema T.10.3.2 (Karp, 1972): O problema FVS NP-difcil.
Teorema T.10.3.3 (Bang-JensenThomassen, 1992): A restrio do problema FVS a torneios NP-difcil.
Teorema T.10.3.5 (Alon, 1996): Se + (D) 64k ento 0 (D) k.
O livro no d as provas.
101
0 (D)
102
28.3
FEOFILOFF
Ciclos arco-disjuntos
Definio: Uma coleo de ciclos num digrafo arco-disjunta se cada arco do digrafo
pertence a no mximo um dos ciclos.
Problema 10.3-A: Dado um digrafo D, encontrar uma coleo arco-disjunta mxima de
ciclos.
Proposio P.10.3.1:
blema 10.3.
O problema 10.3-A polinomialmente equivalente ao pro-
Teorema T.10.3.4 (folclore?): O problema 10.3-A NP-difcil.

1 (D)
Notao: Denota-se por 1 (D) a cardinalidade de um coleo arco-disjunta mxima de

ciclos.
28.4
Realimentao de arcos
Definio: Um retorno de arcos, ou realimentao de arcos (= feedback arc set), de um

digrafo D = (V, A) uma parte F de A tal que D F acclico.
Problema FAS (feedback arc set): Dado um digrafo D, encontrar um retorno de arcos
mnimo.
1 (D)
Notao: Denota-se por 1 (D) a cardinalidade de um retorno de arcos mnimo.

Proposio: Para qualquer digrafo D, 1 (D) 1 (D).
Proposio P.10.3.1: O problema FAS polinomialmente equivalente ao problema FVS.
Teorema T.10.3.2 (Karp, 1972): O problema FAS NP-difcil.
Teorema 10.4.4: O problema FAS restrito a torneios NP-difcil.
Corolrio C.10.3.6 (de T.10.3.5): Todo digrafo D com + (D) k tem 1 (D) k 2 /128.
Prova: Exerccio 28.4.2.
Problema 10.3.3 (do subdigrafo acclico mximo): Dado um digrafo D, encontrar um
subdigrafo acclico de D que tenha o maior nmero possvel de arcos.
O problema equivalente a FAS. (Exerccio 28.4.1.)
Teorema T.10.3.15 (LucchesiYounger, 1976): Existe um algoritmo polinomial para a
restrio do problema FAS a digrafos planares.
Prova segue de C.8.8.10, que por sua vez segue de T.7.15.2
Corolrio C.10.3.16 (LucchesiYounger, 1976): Em todo digrafo planar D tem-se
1 (D) = 1 (D).
FEOFILOFF
103
Exerccios
28.4.1 (E.10.14 ) Considere o problema de encontrar um subdigrafo acclico mximo de
um digrafo D. Mostre que esse problema equivale a encontrar uma permutao
v1 , . . . , vn de V (D) que minimize o nmero de arcos vi vj tais que i > j .
28.4.2 (E.10.23) Prove o corolrio C.10.3.6. Dica: Mostre que se + (D) k ento D tem
tem pelo menos k/64 ciclos disjuntos. Remova os arcos desses ciclos e continue
recursivamente.
28.5
Prova da conjetura de Younger
Conjetura (Younger, 1973): Para todo k existe um nmero t0 tal que todo digrafo D tem
0 (D) k ou 0 (D) t0 . Para todo k existe um nmero t1 tal que todo digrafo D tem
1 (D) k ou 1 (D) t1 .
As duas partes da conjetura so equivalentes e t0 = t1 .
Teorema T.10.4.2 (ReedRobertsonSeymourThomas, 1996): Para todo inteiro c 1
existe um inteiro t0 (c) tal que, para todo digrafo D com 0 (D) < c tem-se 0 (D) t0 (c).
Prova: difcil.
Exerccios
28.5.1 (E.10.20 ) Suponha que os nmeros t0 e t1 previstos na conjetura de Younger existem. Mostre que eles so iguais.
Apndice A
Colees e famlias
A.1
Colees disjuntas
Uma coleo o mesmo que um conjunto. Uma parte de um conjunto U o mesmo

que um subconjunto de U .
Uma coleo de partes de um conjunto U disjunta se seus elementos so dois a dois
disjuntos. Uma subpartio (= subpartition) de U o mesmo que uma coleo disjunta
de partes de U .
Dois subconjuntos X e Y de U so co-disjuntos (= co-disjoint) se X Y = , ou seja,
se X Y = U , ou seja, se X Y .1 Uma coleo de partes de U co-disjunta se seus
elementos so dois a dois co-disjuntos.
Uma coleo F de partes de U 2-disjunta se cada elemento de U pertence a no mximo dois elementos de F .
Exerccios
A.1.1 Seja C uma coleo de partes de um conjunto U . O que um elemento mximo de C ?
O que um elemento maximal de C ? O que um elemento mnimo de C ? O que um
elemento minimal de C ?
A.1.2 (E.1.1) Sejam X e Y dois conjuntos finitos. Mostre que |X Y | + |X Y | = |X| + |Y |.
A.1.3 (E.1.2) Sejam X e Y dois conjuntos finitos. Mostre que |X Y |2 + |X Y |2
|X|2 + |Y |2 .
1
Num digrama de Venn, melhor desenhar X e Y que X e Y .
104
FEOFILOFF
105
U = {a, b, c, d, e, f, g, h}

B = {a, c, e}, {b, d}, {g, h}

C = {a, f }, {b, d}, {e}, {f, g}
F
{a, f }
{a, c, e}
{b, d}
{e}
{f, g}
{g, h}

(F )
1
1
2
1
1
1

{a, f }, {a, c, e}, {b, d}, {b, d}, {e}, {f, g}, {g, h}
Figura A.1: B uma coleo disjunta de partes de U . C uma coleo

(no-disjunta) de partes de U . A famlia (B C, ) 2-disjunta. A ltima
linha da figura d uma representao no-convencional da famlia.
A.2
Famlias disjuntas
Nesta seo, U um conjunto finito arbitrrio. Para qualquer parte X de U , denotaremos

U r X por X . Denotaremos por 2U a coleo de todos os subconjuntos de U .
Uma famlia um par (F, ) onde F uma coleo e uma funo de F em
{1, 2, 3, . . . }. Para cada F em F , diremos que (F ) a multiplicidade de F .
P
A cardinalidade de uma famlia (F, ) o nmero |(F, )| :=
F F (F ).
Muitas vezes, trataremos de famlias (F, ) em que F uma coleo de partes de um
conjunto U .
Exemplo 1: Sejam B e C duas subcolees de 2U . Para cada X em B C , defina
(X) := 2; para os demais elementos X de B C , defina (X) := 1. Agora, (B C, )
uma famlia de partes de U e |(B C, )| = |B| + |C|.
P
Uma famlia (F, ) de partes de U 1-disjunta se F F : F 3a (F ) 1 para todo a
em U , ou seja, se cada elemento a de U pertence a no mximo um membro da famlia.
Se (F, ) 1-disjunta ento a coleo F disjunta e (F) = {1}.
P
Uma famlia (F, ) de partes de U 2-disjunta se F F : F 3a (F ) 2 para todo
a em U , ou seja, se cada elemento a de U pertence a no mximo dois membros da
famlia. Se (F, ) 2-disjunta ento F 2-disjunta e (F) {1, 2}.
Exemplo 2: Seja B uma subcoleo disjunta de 2U e C outra subcoleo disjunta de 2U .
Defina de modo que (X) = 2 para X em B C e (X) = 1 para os demais elementos
X de B C . Ento a famlia (B C, ) 2-disjunta.
Notao simplificada: s vezes convm deixar a funo sub-entendida e denotar
uma famlia (F, ) simplesmente por F . Essa simplificao exige ateno, pois torna
(F, )
|(F, )|
106
FEOFILOFF
ambgua a expresso |F|: se F for entendido como uma mera coleo ento |F| a
cardinalidade (ordinria) da coleo, mas se F for entendido como uma famlia ento
|F| significa |(F, )|.
No exemplo 2 acima, a famlia (B C, ) ser denotada por B C . O smbolo ajuda

a distinguir a famlia B C , da coleo B C . Temos |B C| = |B| + |C|, enquanto
|B C| = |B| + |C| |B C|.
Mais notao simplificada: Uma famlia (F, ) pode ser representada por uma expresso da forma {F1 , F2 , . . . , Fk }. A funo implcita nessa notao definida assim:
(F ) o nmero de ndices i tais que Fi = F .
Exerccios
A.2.1 Seja F uma coleo 2-disjunta e suponha que (F ) 2 para todo F em F .
verdade que a famlia (F, ) 2-disjunta?
A.2.2 Seja F uma famlia 2-disjunta de partes de U . verdade que existem subcolees B
e C de 2U tais que F = B C ?
Apndice B
Algumas provas
Este apndice contm as verses resumidas de algumas provas.
B.1
Prova do Teorema T.9.5.1
Notao: Dado um vrtice z de um digrafo D, seja Xz a coleo {X : =

6 X V (D) r {z}}.
T.9.5.1 (Edmonds, 1973): Seja z um vrtice de um digrafo D e k um nmero. Se d (X) k
para todo X em Xz ento D tem k out-branchings disjuntos, todos com raiz z.
Definio: Uma subrvore z-divergente F boa se d
DA(F ) (X) k 1 para todo X em Xz .
Lema principal: D tem um z-out-branching bom.
Prova do lema:
Seja F subrvore z-divergente boa tq V (F ) 6= V (D).
Tese: existe arco uv saindo de V (F ) tq F + uv boa.
L := D A(F ).
X problemtico se d
L (X) = k 1.
Caso 1: no existe conj problemtico X tq X 6 V (F ).
Ento qualquer uv saindo de V (F ) serve.
Caso 2: existe conj problemtico T tq T 6 V (F ).
Escolha T minimal.
d
(T ) = k 1.
L (T r V (F )) = d (T r V (F )) k e dL

Logo, existe uv em T V (F ), T r V (F )
(por que?).
uv no entra em conj problemtico.
a. Suponha que uv entra em um conj problemtico T 0 .
b. Ento T T 0 problemtico e T T 0 6 V (F ) (por que?).
c. Contradio da minimalidade de T (por que?).
12. Portanto, F + uv boa (por que?).
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
107
Xz
108
B.1.1
Exerccios
2.1.1 Responda os por que?.
FEOFILOFF
Apndice C
Solues de alguns exerccios

Este apndice contm as solues de alguns exerccios.
C.1
Exerccio 26.6.1
T.7.15.2 (LucchesiYounger, 1976): Em todo digrafo sem dicortes vazios, toda dijuno mnima J e toda coleo disjunta mxima C de dicortes tm a mesma cardinalidade.
Queremos deduzir T.7.15.2 da verso forte do teorema T.8.8.1 (EdmondsGiles) (veja seo 26.6). Mais precisamente, queremos deduzir T.7.15.2 da variante de T.8.8.1 que tem
x+
b no lugar de x+ b.
1. Seja D = (V, A) um digrafo sem dicortes vazios.
2. Sejam l e u os fluxos em D definidos por l(a) := 0 e u(a) := 1 para todo arco a.
3. Seja F a coleo de todos os conjuntos-sorvedouro no-triviais de D:

F := W 2V r {, V } : d+ (W ) = 0 .
Seja b a funo definida por b(W ) := 1. Observe que (F, b) cruz-submodular.
3. Seja P o conjunto de todos os fluxos x tais que l x u e x+
(W ) b(W ) para todo W
+
em F . claro que x (W ) = 0 para todo W e portanto P o conjunto de todos os fluxos x
tais que
l x u e x (W ) 1 para todo W em F .
Como D no tem cortes vazios, o fluxo que vale 1 em todo arco pertence a P . Portanto, P
no vazio.
4. Se x um fluxo inteiro em P ento x(a) {0, 1} para todo arco a e o conjunto
J := {a A : x(a) = 1}
uma dijuno. Reciprocamente, toda dijuno corresponde a um x inteiro em P . Assim,
para encontrar uma dijuno mnima basta resolver o problema 8.8* no conjunto P com c
109
110
FEOFILOFF
definido por c(a) = 1 para todo a. Em outras palavras, encontrar uma dijuno mnima o
mesmo que minimizar cx com x em P .
5. Seja P o conjunto de todos os pares (y, z) tais que y uma funo1 de F em Q e z um
fluxo no-negativo e
P
(C.1)
W F (a) y(W ) z(a) 1 para cada arco a,
sendo F(a) := {W F : (W , W ) 3 a}.
6. Considere o problema de maximizar o valor da expresso
P
P
y1 z1 := W F y(W ) aA z(a)
para (y, z) em P . Esse problema o dual (no sentido da dualidade de programao linear)
do problema de minimizar cx com x em P . Portanto, cx y1 z1 para todo x em P e todo
(y, z) em P .
7. Observe que P no vazio, pois o par (0 , 0 ) pertence a P .
8. Como P e P no so vazios, o teorema fundamental da programao linear garante que
existem x
em P e (
y , z) em P tais que
c
x = y1
z1 .
De acordo com a verso forte de T.8.8.1, podemos supor que
x
, y e z so inteiras.
Em particular, x
leva A em {0, 1}.
9. Podemos supor que y(W ) {0, 1} para todo W . Para verificar isso, aplique recursivamente o seguinte raciocnio. Suponha que y(W0 ) 2 para algum W0 . Seja a0 um arco em
(W , W ) e observe que z(a0 ) 1 em virtude de (C.1). Tome y definido por y(W0 ) := y(W0 )1
e y(W ) := y(W ) para todo W 6= W0 . Tome z definido por z(a0 ) := z(a0 ) 1 e z(a) := z(a)
para todo a 6= a0 . Ento (y, z) est em P e y1 z1 = y1
z1 .
P
y(W ) 1 para todo arco a. Para verificar isso, faa o
10. Podemos supor que W F (a) P
seguinte raciocnio. Suponha que W F (a0 ) y(W ) > 1 para algum a0 . Ento existem W1
e W2 em F(a0 ) tais que y(W1 ) = 1 e y(W2 ) = 1. Tome y definido assim: y(W1 ) := 0 e
y(W ) := y(W ) para todo W 6= W1 . Observe que z(a0 ) 1 em virtude de (C.1). Tome z
definido assim: z(a0 ) := z(a0 ) 1 e z(a) := z(a) para todo a 6= a0 . Ento (y, z) est em P e
y1 z1 = y1
z1 .
= c
11. Seja J o conjunto {a A : x
(a) = 1}. claro que |J|
x.

12. Seja C o conjunto W F : y(W ) = 1 . Em virtude de 9 e 10, a coleo C corte-disjunta
|J|.
Para completar a prova, resta mostrar que |C|
= |J|.
e portanto |C|
=P
|C|.
Logo, |C|
= |J|.
2
13. Em virtude de 9, |C|
(W ) y1
z 1 = c
x = |J|
W F y
1
Uma funo definida em F o mesmo que um vetor indexado por F .
Bibliografia
[BJG02] J. Bang-Jensen and G. Gutin. Digraphs: Theory, Algorithms and Applications. Springer,
2002. 2
[Sch03] A. Schrijver. Combinatorial Optimization: Polyhedra and Efficiency. Number 24 in Algorithms and Combinatorics. Springer, 2003. [Three volumes]. 56, 64, 94
111
ndice Remissivo
Numbers
V 2 , 9
u v, 10
u 9 v, 10
(D), 25
(s, t), 27
(D), 25
(D), 51, 76
(s, t), 27
k (D), 66
k (D), 70
k (D), 72
106
,
D + F , 66, 72
(X, Y ), 23
A1 , 12
D1 , 12
f [X], 31, 81
x+
( ), 29
x
+ ( ), 90
A
A, 10
A(D), 10
( ), 52
acclico, 17
adjacentes
(vrtices), 9
Alon, 101
anti-simtrico, 11
2-aproximao, 53
arborescence, 16
arco, 9
arcoconexidade, 25
local, 27
k-conexo, 28
k-forte, 26
fortificante, 66
arcos
anti-paralelos, 10
paralelos, 13
aresta, 10
rvore, 11
divergente, 14
geradora, 15
orientada, 11
B
BG( ), 34
Bang-JensenThomassen, 101
barreira, 66, 73
negativa, 66
positiva, 66
bipartido, 11
semicompleto, 11
bipartite representation, 34
branching, 16
C
c(G), 83
C., 2
C.1.5.2, 42
C.10.3.16, 102
C.10.3.6, 102
C.4.9.2, 45
C.5.5.6, 44
C.5.6.2, 47
C.5.6.3, 47
C.5.6.6, 47
C.7.1.2, 56
C.7.2.3, 19
C.7.2.4, 53
C.7.2.5, 19
C.7.2.6, 19
C.7.3.2, 33, 34
C.7.4.1, 34
C.7.5.3, 69
C.8.8.10, 63
C.8.8.7, 79
caminho, 14
hamiltoniano, 41
112
FEOFILOFF
Camion, 42
carteiro chins, 37
CDCa, 52
CDCaCi, 38
CDCi, 38
ciclo, 17
hamiltoniano, 41
trivial, 17
circulao, 30
Cnj., 2
Cnj.8.5.8, 99
co-disjunto, 104
cobertura, 36
cobertura disjunta
por caminhos, 52
por caminhos e ciclos, 38
por ciclos, 38
coleo, 104
co-disjunta, 104
disjunta, 104
2-disjunta, 104
laminar, 56
colorao
das arestas, 98
dos vrtices, 51, 76
completo, 11
componente, 83
forte, 20
fraca, 15
comprimento, 14
conexidade, 25
local, 27
conexo
fracamente, 11
k-conexo, 28
conjunto
estvel, 51, 76
trivial, 9
conjuntofonte, 9
sorvedouro, 10
contrao, 62
corte, 23
dirigido, 62
(s, t)-corte, 23
corte-disjunta, 63
cruzsubmodular, 93
G-supermodular, 86
cruzam
(conjuntos se cruzam), 55
cycle factor, 38
D
d ( ), 9
d+ ( ), 9
D/a, 62
D/J , 62
decomposio em orelhas, 19
demandas, 30
dicorte, 62
digrafo
anti-simtrico, 11
bipartido, 11
bipartido semicompleto, 11
das componentes fortes, 20
euleriano, 11
hamiltoniano, 41
regular, 11
simtrico, 11
dijuno, 62
Dilworth, 52
disjuno, 104
disjunta
(coleo), 104
(famlia), 105
2-disjunta, 63
(coleo), 104
(famlia), 105
c-disjunta, 63
distncia, 15
domina, 9
E
E., 2
E.1.1, 104
E.1.15, 17
E.1.18, 41
E.1.2, 104
E.1.26, 42
E.1.29, 18
E.1.30, 18
E.1.31, 16
E.1.32, 19
E.1.34, 53
E.1.36, 19
E.1.37, 19
E.1.44, 12, 30
E.1.46, 21
E.1.49, 35
E.1.5, 10
E.1.50, 20
E.1.53, 49
E.1.54, 49
E.1.55, 49
113
114
E.1.58, 18
E.1.6, 11
E.1.62, 39
E.1.63, 49
E.1.65, 49
E.1.7, 12
E.1.84, 20
E.10.14, 103
E.10.20, 103
E.10.23, 103
E.2.32, 15
E.2.34, 15
E.2.35, 15
E.3.1, 31
E.3.10, 29
E.3.31, 31
E.3.47, 31
E.3.54, 37
E.3.59, 38
E.3.61, 38
E.3.63, 40
E.3.66, 37
E.3.68, 38
E.3.70, 39
E.4.2, 21
E.4.23, 46
E.4.25, 46
E.4.27, 44
E.4.28, 44
E.5.12, 43
E.5.13, 44
E.5.14, 44
E.5.28, 50
E.5.8, 53
E.7.1, 57
E.7.10, 27
E.7.11, 35
E.7.12, 27
E.7.14, 67
E.7.15, 71
E.7.16, 33
E.7.17, 35
E.7.19, 35
E.7.2, 20
E.7.20, 73
E.7.26, 35
E.7.27, 35
E.7.29, 71
E.7.44, 74
E.7.45, 74
E.7.5, 26
E.7.50, 27
E.7.51, 25
E.7.7, 35
E.7.8, 27
E.7.9, 27
E.8.20, 76
E.8.21, 77
E.8.22, 98
E.8.26, 99
E.8.27, 99
E.8.28, 99
E.8.29, 99
E.8.30, 100
E.8.31, 100
E.8.41, 83
E.8.42, 83
E.8.44, 83
E.8.46, 27, 79
E.8.47, 79
E.8.48, 79
E.8.51, 87
E.8.52, 57, 91
E.8.57, 88
E.8.60, 78
E.8.66, 95
E.9.26, 58
E.9.27, 58
E.9.28, 59
E.9.34, 59
Edmonds, 58
EdmondsKarp, 32
EdmondsGiles, 94, 96
efluxo, 29
emparelhamento, 36
perfeito, 36
estvel, 52
(conjunto), 51, 76
euleriano, 11
excesso, 29
F
k ( ), 72
famlia, 105
2-disjunta, 105
disjunta, 105
w-disjunta, 60
fecho transitivo, 21
fluxo, 29
inteiro, 29
nenhures nulo, 97
submodular, 93
vivel, 30, 31, 90
k-fluxo, 98
FEOFILOFF
FEOFILOFF
nenhures nulo, 98
fonte, 9
forte, 18
k-forte, 26
fortificante, 66, 72
fracamente
arco-k-conexo, 28
conexo, 11
k-conexo, 28
Frank, 64, 68, 70, 79, 87, 88, 95
FrankGyrfs, 82, 84
FrankJordn, 73, 74
funo-custo, 60
G
k ( ), 70
Gallai, 76
GallaiMilgram, 52
gerador
(subdigrafo), 15
GoldbergTarjan, 32
grafo, 11
graph, 11
grau
de entrada, 9
de sada, 9
H
Hall, 36
I
in-branching, 16
induzido, 15
influxo, 29
interfechada, 61
submodular, 93
G-supermodular, 87
intercalao de caminhos, 45
interceptam
(conjuntos se interceptam), 55
internamente disjuntos, 33
J
Jaeger, 99
K
(D), 25
(s, t), 27
Karp, 101, 102
Knig, 36
L
L., 2
L.4.10.3, 43
L.7.6.2, 68
(D), 25
(s, t), 27
laminar, 56
Landau, 83
livre de
cruzamentos, 56
interceptaes, 56
localmente semicompleto, 43
LucchesiYounger, 63, 102
M
m, 10
Mader, 69
margem, 23, 24
negativa, 23
positiva, 23, 24
MasuzawaHagiharaTokura, 74
maximal, 104
mximo, 104
Menger, 33
Meyniel, 47
minimal, 104
mnimo, 104
mod-k-fluxo, 99
modular, 56
Moon, 42
multi-digrafo, 13
multipartido
semicompleto, 49
multiplicidade, 105
N
n, 10
N + ( ), 9
N ( ), 9
N ( ), 36
Nash-Williams, 79
nenhures nulo
(fluxo), 97
novarco, 66, 72
nowhere-zero k-flow, 98
nmero
cromtico, 51, 76
de componentes, 83
O
one-way pair, 73
ordem acclica, 17
orelha
aberta, 19
115
116
fechada, 19
trivial, 19
orientao
de digrafo, 12
orientada
(rvore), 11
out-branching, 16
P
P., 2
P.1.4.2, 17
P.1.4.3, 18
P.1.4.4, 18
P.1.4.6, 53
P.1.6.1, 20
P.10.3.1, 102
P.3.11.6, 39
P.3.11.8, 38
P.3.11.8, 38
P.4.10.1, 45
P.4.3.1, 21
P.6.11.1, 53
P.7.1.1, 57
P.7.1.3, 57
P.7.7.14, 73
P.8.5.1, 98
P.8.5.4, 98
paralelos, 13
parte, 104
path factor, 52
path-cycle factor, 38
pc(), 52
pcc (), 38
perfeito
(emparelhamento), 36
PIC, 45
plenamente
submodular, 93
G-supermodular, 88
ponta
final, 9
inicial, 9
ponte, 26, 79, 97
problema
10.3, 101
10.3-A, 102
10.3.3, 102
4.3, 22
5.4.4, 46
7.2, 78
7.2.R, 78
8.5, 98
FEOFILOFF
8.6, 79
8.6.R, 79
8.7.1, 81
8.7.1*, 83
8.7.2, 85
8.8, 90
8.8*, 96
9.10, 60
9.10.1, 61
9.5, 58
CDCi, 38
cycle subdigraph, 39
da orientao arco-k-forte, 79
da orientao forte, 78
da reorientao arco-k-forte, 79
da reorientao forte, 78
de Younger, 63
do aumento da arco-conexidade, 66
do aumento da conexidade, 72
do caminho hamiltoniano, 41
do caminho mximo, 51
do ciclo hamiltoniano, 41
do subdigrafo acclico mximo, 102
do subdigrafo gerador com graus especificados, 37
FAS, 102
FVS, 101
min lp, 75
minCDCa, 52
minCDCaCi, 38
minSGF, 53
MSSS, 53
k ( ), 66
Q
Q (racionais), 10
Q , 10
R
Rdei, 42
raiz, 14
realimentao
de arcos, 102
de vrtices, 101
rede, 29
com demandas, 30
redondo, 43
reduo transitiva, 22
ReedRobertsonSeymourThomas, 103
regular, 11
k-rei, 15
reorientao, 12
representao bipartida, 34
FEOFILOFF
reteno, 29
retorno
de arcos, 102
de vrtices, 101
Robbins, 78
Roy, 76
S
SC ( ), 20
semicompleto, 11
separa de, 23, 24
separador, 23
(s, t)-separador, 24
Seymour, 99
SGF, 53
simtrico, 11
simetrizao, 12
sorvedouro, 9
splitting off, 69
subconjunto
trivial, 9
subdigrafo, 15
submodular, 56, 93
cruz-, 93
inter-, 93
plenamente, 93
subpartio, 104
supermodular, 56
G-supermodular, 86, 87, 88
cruz-, 86
inter-, 87
plenamente, 88
T
T., 2
T.1.4.5, 42
T.1.5.1, 42
T.1.6.2, 78
T.1.8.1, 19
T.10.3.15, 102
T.10.3.2, 101, 102
T.10.3.3, 101
T.10.3.4, 101, 102
T.10.3.5, 101
T.10.4.2, 103
T.2.10.1, 15
T.2.2.2, 16
T.3.10.3, 32
T.3.10.4, 32
T.3.11.1, 36
T.3.11.11, 39
T.3.11.2, 36
T.3.11.3, 36
T.3.11.4, 37
T.3.11.5, 37
T.3.5.3, 31
T.3.5.5, 31
T.3.6.3, 32
T.3.8.2, 30
T.3.8.3, 31, 32
T.3.8.4, 31
T.4.3.2, 22
T.4.4.6, 20
T.4.9.1, 45
T.5.2.1, 52
T.5.3.1, 52
T.5.3.2, 52
T.5.4.2, 46
T.5.5.1, 44
T.5.5.2, 44
T.5.5.5, 44
T.5.6.1, 48
T.5.6.5, 48
T.5.6.7, 47
T.5.7.1, 50
T.5.7.3, 50
T.5.7.4, 50
T.5.7.9, 50
T.7.15.2, 63
T.7.2.2, 19
T.7.3.1, 33, 34, 57
T.7.5.2, 69
T.7.6.3, 70
T.7.6.4, 70
T.7.7.10, 74
T.7.7.3, 74
T.7.7.4, 74
T.8.4.1, 76
T.8.5.10, 99
T.8.5.5, 98
T.8.5.6, 98
T.8.6.3, 79
T.8.7.1, 83
T.8.7.3, 82
T.8.7.5, 84
T.8.7.6, 87, 88
T.8.8.1, 94, 96
T.8.8.3, 95
T.8.8.4, 95
T.8.8.5, 95
T.9.10.2, 60
T.9.5.1, 58
T.9.5.5, 80
TDI, 94
torneio, 11
117
118
totally dual integral, 94

transitivo, 21
transposto, 12
trivial
(orelha), 19
(subconjunto), 9
Tutte, 99
U
106
,
unio disjunta, 106
V
V , 10
V (D), 10
V 2 , 9
valor (de fluxo), 30
vetor de excessos, 29
Vitaver, 76
W
Woodall, 47, 64
X
( ), 51, 76
Y
Younger, 103
Z
Z (inteiros), 10
Z , 10
Z> , 10
FEOFILOFF

Curso de Grafos e Digrafos

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Curso de Grafos e Digrafos

Diunggah oleh

Hak Cipta:

Format Tersedia

Digrafos:

Alguns tipos de digrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

Algumas operaes sobre digrafos . . . . . . . . . . . . . . . . . . . . . . . . 12

Caminhos, rvores e subdigrafos

rvores divergentes em digrafos . . . . . . . . . . . . . . . . . . . . . . . . . 16

Digrafos acclicos e digrafos fortes

Digrafo das componentes fortes . . . . . . . . . . . . . . . . . . . . . . . . . . 20

Digrafos k-fortes e arco-k-fortes . . . . . . . . . . . . . . . . . . . . . . . . . . 26

O problema da circulao vivel . . . . . . . . . . . . . . . . . . . . . . . . . 30

O problema do fluxo mximo . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

O problema do b-fluxo vivel . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

O problema do b-fluxo vivel de custo mnimo . . . . . . . . . . . . . . . . . 32

Algoritmos para fluxos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

Fluxo e os teoremas de Menger

Teorema de Menger para arcos . . . . . . . . . . . . . . . . . . . . . . . . . . 33

Teorema de Menger para vrtices . . . . . . . . . . . . . . . . . . . . . . . . . 33

Outras aplicaes de fluxo

Emparelhamentos em digrafos bipartidos . . . . . . . . . . . . . . . . . . . . 36

O problema do carteiro chins em digrafos . . . . . . . . . . . . . . . . . . . 37

Subdigrafo gerador com graus especificados . . . . . . . . . . . . . . . . . . 37

Cobertura disjunta por caminhos e ciclos . . . . . . . . . . . . . . . . . . . . 38

Cobertura disjunta por ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

Coleo disjunta de ciclos que cobre muitos vrtices . . . . . . . . . . . . . . 39

10 Digrafos hamiltonianos: introduo

10.1 Condies necessrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

11.1 Digrafos localmente semicompletos . . . . . . . . . . . . . . . . . . . . . . . 43

12.1 Intercalao de caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

13 Digrafos hamiltonianos com graus elevados

13.1 Resultados antigos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

14.1 Caminhos hamiltonianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

15.1 Caminhos mximos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

16.1 Interceptaes e cruzamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

17.1 O teorema de Edmonds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58

19.1 Dicortes e dijunes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

22 Orientaes versus nmero cromtico

22.1 O problema min lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75

23.1 O problema bsico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

24.1 Restrio dos graus de vrtices . . . . . . . . . . . . . . . . . . . . . . . . . . 81

26.1 Fluxos com reteno restrita . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90

27.1 k -Fluxo nenhures nulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98

28.1 Ciclos disjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101

A.1 Colees disjuntas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

B.1 Prova do Teorema T.9.5.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

C.1 Exerccio 26.6.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109

Vou denotar por V 2 o conjunto de todos os pares ordenados de elementos distintos de V .

Alguns tipos de digrafos

Algumas operaes sobre digrafos

Dado qualquer conjunto B de arcos de digrafo, denotaremos por B 1 o conjunto

que G tem uma orientao D que euleriana, ou seja, tal que d+

Um multi-digrafo (= directed multigraph) um terno (V, A, ) onde (V, A) um digrafo

Caminhos, rvores e subdigrafos

Definio: Um caminho (= path) qualquer digrafo da forma

Definio: Um digrafo D0 subdigrafo (= subdigraph) de um digrafo D se V (D0 ) V (D) e

Problema: Dados vrtices s e t de um digrafo D, encontrar um caminho de s a t em D que

rvores divergentes em digrafos

Definio: Uma rvore divergente (= out-arborescence) de um digrafo D uma rvore

Digrafos acclicos e digrafos fortes

Definio: Um ciclo (= cycle) qualquer digrafo (V, A) tal que

A = {v1 v2 , v2 v3 , . . . , vn1 vn } {vn v1 } ,

Definio: Um digrafo acclico (= acyclic) se no contm ciclos.

Proposio P.1.4.3: Um digrafo acclico se e somente se admite uma ordem acclica

Definio: Um digrafo D forte1 (= strong) se d+ (X) 6= 0 e d (X) 6= 0 para cada parte

Diz-se tambm que D fortemente conexo.

3.3.7 (E.1.32 ) Um digrafo forte se e somente se tem um v-out-branching para cada