Curso Teoria Grafos

Um curso de Grafos
Verso: 2 de junho de 2015, s 10 37

Notas de aula de Teoria dos Grafos
Yoshiko Wakabayashi alunos tomadores de notas
segundo semestre de 2012

compilado 2 de junho de 2015
Notas de aula escritas conjuntamente pelos alunos da turma de

2012 da disciplina (Teoria dos Grafos, mac 5771). Eventuais erros,
confuses e gafes so de nossa autoria.
O curso no segue um livro propriamente dito, mas algumas

referncias so feitas no decorrer das notas.
Muitas pessoas garantiram que este projeto pudesse ser levado to longe.
Destacamos o trabalho e dedicao de Yoshiko Wakabayashi, Eric Ossami
Endo, Fbio Happ Botler, Leonardo Nagami Coregliano, Rafael Santos Coelho,
e Tssio Naia dos Santos. Obrigado!
Este um trabalho em progresso. Quaisquer inconsistncias, incorrees,

sugestes, fique vontade para nos contactar. Este projeto mantido em
https://gitorious.org/notas-grafoes-2012-ii.
2 de 104 Verso: 2 de junho de 2015, s 10 37

sumrio
Sumrio 3
1 Introduo e notao 5
1.1 Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Digrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Operaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Multigrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Referncias Bibliogrficas . . . . . . . . . . . . . . . . . . . . . 10
2 Emparelhamentos 11
2.1 Emparelhamentos perfeitos . . . . . . . . . . . . . . . . . . . . 11
2.2 Emparelhamentos mximos e a deficincia de um grafo . . . . . 13
2.3 Defeito em grafos arbitrrios . . . . . . . . . . . . . . . . . . . 13
2.4 Um algoritmo para encontrar um emparelhamento . . . . . . . 15
2.5 Algoritmo de EdmondsGallai . . . . . . . . . . . . . . . . . . . 17
2.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3 Conexidade 22
3.1 Teorema de Menger . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2 2-conexidade e 2-aresta-conexidade . . . . . . . . . . . . . . . . 25
3.3 3-conexidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.4 Alta aresta-conexidade . . . . . . . . . . . . . . . . . . . . . . . 33
3.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4 Planaridade 35
4.1 Menores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4.2 Menores Topolgicos . . . . . . . . . . . . . . . . . . . . . . . . 39
4.3 Caracterizaes de grafos planares . . . . . . . . . . . . . . . . 40
4.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5 Colorao 48
5.1 Colorao de vrtices . . . . . . . . . . . . . . . . . . . . . . . . 48
5.2 Grafos k-construtveis . . . . . . . . . . . . . . . . . . . . . . . 49
5.3 Lista-colorao . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.4 Grafos Perfeitos . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.5 Classes de grafos perfeitos . . . . . . . . . . . . . . . . . . . . . 57
5.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
6 Problemas Extremais 61
6.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.2 Problema da proibio de G . . . . . . . . . . . . . . . . . . . . 61
6.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
7 Nmeros de Ramsey 69

7.1 Teoria de Ramsey . . . . . . . . . . . . . . . . . . . . . . . . . . 69
7.2 Teorema de Ramsey . . . . . . . . . . . . . . . . . . . . . . . . 69
7.3 Nmero de Ramsey para grafos arbitrrios . . . . . . . . . . . . 74
7.4 Aplicaes do Teorema de Ramsey . . . . . . . . . . . . . . . . 77
7.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
8 Decomposio arbrea / Largura arbrea 85

8.1 Decomposio arbreas e grafos cordais . . . . . . . . . . . . . 90
8.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
9 Menores, rvores e Quase Boa Ordem 95

9.1 Relaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
9.2 O Minor Theorem para grafos com largura arbrea limitada . 98
9.3 Decomposies arbreas e menores proibidos . . . . . . . . . . 99
9.4 O Minor Theorem . . . . . . . . . . . . . . . . . . . . . . . . . 102
9.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

1 introduo e notao
Este texto foi construdo a partir de notas de aula1 . Ele foi concebido tendo em
mente alunos de ps-graduao e alunos de graduao interessados na teoria
dos grafos. Por uma questo de brevidade, resultados mais simples da teoria
so mencionados, mas no demonstrados.
Entendemos que os conceitos e construes empregados na demonstrao
de teoremas so to importantes e valiosos quanto os resultados que susten-
tam. Assim, exibimos mais de uma demonstrao para vrios dos resultados
enunciados. Um certo nmero de exerccios parte central do texto, uma das
mais divertidas!
A teoria dos grafos uma rea rica em resultados e bastante desenvolvida
da matemtica. Mesmo uma seleo bastante rigorosa de tpicos contm
material para anos de estudo. Um esforo foi feito no sentido colher algumas
referncias teis para o leitor interessado em explorar temas mencionados aqui,
mas preciso dizer que as referncias esto longe de serem exaustivas.
A maior parte da notao usada padro na literatura teoria de grafos.
Referimos o leitor a [Die05, Bol98] para exemplos.
1.1 grafos
Dado um conjunto V , possivelmente infinito, e um conjunto E de pares de

elementos de V , dizemos que o par ordenado G = (V, E) um grafo. Neste
caso, dizemos que V o conjunto de vrtices de G e E o conjunto de arestas
de G. Para evitar sobrecarga de notao, muitas vezes substitumos {u, v} E
por uv E. Se v V e e E so tais que v e, dizemos que v incide em e
e que e incide em v. Se u, v V e {u, v} E, dizemos que u adjacente
a v, ou que u vizinho de v. Dado v V , denotamos por N (v) o conjunto
de vrtices de G que so adjacentes a v. Dizemos que N (v) a vizinhana
de v e que d(v) = |N (v)| o grau de v. Para evitar ambiguidade, indicamos
por NG (v) a vizinhana de v no grafo G.
Denotamos por V (G) e por E(G) o conjunto de vrtices e de arestas de G,
respectivamente.
Exemplo 1.1 Seja V = {0, 1, . . . , n} e E = {0i : i = 1, 2, . . . , n}. O
grafo G = (V, E) chamado de estrela. (Veja a figura 1.1.)
Figura 1.1: Estrela com 9 vrtices.
Exemplo 1.2 Seja G = (V, E) um grafo tal que para todo par de vrtices
distintos u, v V temos que uv E. Dizemos que G um grafo completo.
Denotamos o grafo completo em n vrtices por Kn . (Veja a figura 1.2a.)
1
Prof. Dra. Yoshiko Wakabayashi, Teoria dos Grafos, agostonovembro de 2013, Instituto
de Matemtica e Estatstica da Universisdade de So Paulo.

Exemplo 1.3 Se G um grafo tal que E(G) = , dizemos que G um grafo
vazio. (Veja a figura 1.2b.)
(a) K5 , grafo completo em 5 vrtices. (b) Grafo vazio em 5 vrtices.
Figura 1.2: Exemplos de grafos especiais.
Exemplo 1.4 Seja G = (V, E) um grafo e defina E = {uv : u, v V } \ E.

O grafo G = (V, E) dito o grafo complementar de G. (Veja figuras 1.3a
e 1.3b.)
(a) Um grafo arbitrrio G. (b) G, grafo complementar de G.
Figura 1.3: Exemplo da operao de complemento.
Exemplo 1.5 Se G um grafo tal que d(u) = d(v) = r para todo u, v V (G),
dizemos que G um grafo regular, r-regular, ou regular de grau r. (Veja
a figura 1.4.)
Figura 1.4: Grafo 3-regular.
Exemplo 1.6 Seja G um grafo tal que V (G) = A B, onde A B = , e

tal que toda aresta de G tem um vrtice em A e um vrtice em B. Dizemos
que G um grafo bipartido ou (A, B)-bipartido. (Veja a figura 1.5.) Um
grafo (A, B)-bipartido dito bipartido completo se seu conjunto de arestas
E = {{a, b} : a A, b B}. Se |A| = m e |B| = n, denotamos o
grafo (A, B)-bipartido completo por Km,n .
Figura 1.5: Grafo bipartido.

Seja G = (V, E) um grafo. Dizemos que um grafo H = (V 0 , E 0 ) um
subgrafo de G, denotado por H G, se V 0 V e E 0 E. Dado um
subconjunto V 0 de vrtices de G o subgrafo de G induzido por V 0 , denotado
por G[V 0 ], o subgrafo de G no conjunto de vrtices V 0 que contm todas as
arestas que tem dois vrtices em V 0 . Em outras palavras, G[V 0 ] o subgrafo
de G no conjunto de vrtices V 0 com o maior nmero de arestas.
Dado um subconjunto E 0 de arestas de G, o subgrafo de G induzido por E 0 ,
denotado por G[E 0 ], o subgrafo de G formado pelas arestas em E 0 e vrtices
incidentes a arestas em E 0 . Ou seja, V (G[E 0 ]) = eE 0 e. (Veja figuras 1.6a
S
e 1.6b.)
(a) Exemplo: subgrafo. (b) Exemplo: subgrafo induzido.
Figura 1.6: Exemplos de subgrafo e subgrafo induzido.
Um isomorfismo entre dois grafos G e H uma funo f : V (G) V (H)

bijetora tal que vw E(G) f (v)f (w) E(H). Nesse caso, tambm
dizemos que G e H so isomorfos.
Passeios, Trilhas, circuitos e caminhos

Dado um grafo G = (V, E), um passeio uma sequncia P = v0 v1 vk de
vrtices de G tal que vi vi+1 E para i = 0, 1, . . . , k 1. Dizemos que P
fechado se v0 = vk , caso contrrio dizemos que P aberto. Se vi = 6 vj para
todo i, j {0, 1, . . . , k} com i 6= j, dizemos que P simples (ou vrtice-
simples). Se 1 i k 1, dizemos que vi um vrtice interior de P ,
caso contrrio, vi dito vrtice extremo de P . Se P simples e fechado,
dizemos que P um circuito, e, se P simples e aberto, dizemos que P
um caminho. Dizemos que o comprimento de P k e o denotamos por |P |.
(Veja figuras 1.7a, 1.7b, 1.7c e 1.7d.)
Se {vi , vi+1 } =
6 {vj , vj+1 } para todo i 6= j com i, j {1, . . . , k 1}, dizemos
que P aresta-simples. Um passeio aresta-simples tambm chamado
de trilha. Dada uma trilha T = v0 v1 vk , podemos nos referir a T como
o subgrafo dado por V (T ) = {vi : i = 0, . . . , k} e E(T ) = {vi vi+1 : i =
0, . . . , k 1}. Um grafo dito euleriano se contm uma trilha que contm
todas as suas arestas.
Dado um passeio P , uma seo de P qualquer subsequncia de P .
Dados dois passeios P = v0 v1 vn e Q = w0 w1 wm tais que vn = w0 , a
concatenao de P e Q (denotada por P Q) v0 v1 vn w1 w2 wm .
Dizemos que dois caminhos P e Q so internamente disjuntos nos vrtices
se no existe v vrtice interno de ambos os caminhos P e Q. Dizemos ainda
que P e Q so disjuntos nas arestas se E(P ) E(Q) = .

(a) Exemplo: Trilha aberta. (b) Exemplo: Trilha fechada.
(c) Exemplo: Trilha simples e (d) Exemplo: Trilha simples e fe-

aberta, ou caminho. chada, ou circuito.
Figura 1.7: Exemplos de passeios especiais.
Grafos conexos
Um grafo G dito conexo se para todo par de vrtices u, v V (G) existe
caminho contendo u e v, caso contrrio dizemos que G desconexo. Um
subgrafo conexo H de G dito uma componente conexa de G se no
existe H 0 G conexo tal que H H 0 e H 6= H 0 . Se v um vrtice de G
tal que d(v) = 0, dizemos que v um vrtice isolado de G. Neste caso, o
subgrafo de G contendo apenas o vrtice v uma componente conexa de G. O
grafo trivial o nico (a menos de isomorfismo) grafo de ordem 1.
Dados dois vrtices u, v de G, seja Puv um caminho de menor comprimento
contendo u e v. Dizemos que a distncia de u para v (ou entre u e v),
denotada por d(u, v), o comprimento de Puv .
Uma propriedade P sobre a classe dos pares ordenados que representam
grafos dita uma propriedade de grafos se invariante sob isomorfismo de
grafos, isto , se P (G) e G isomorfo a H implicam P (H) para todos grafos G
e H.
Seja B alguma propriedade sobre grafos. Por vezes dizemos que um grafo G
hipo-B se G no possui a propriedade B, mas G v possui a propriedade B,
para todo vrtice v de G.
1.2 digrafos
Definimos o conceito de grafo orientado (ou dirigido) da seguinte forma.

Seja V um conjunto de vrtices e considere um conjunto A de pares ordenados
de elementos de V . O par ordenado D = (V, A) dito um digrafo. Os
elementos de A so ditos arcos de D. Novamente, para evitar sobrecarga na
notao, substituiremos (u, v) A por uv A. Observe que neste caso uv 6= vu.
Dado um arco a = (u, v) A, dizemos que a sai de u e aponta para v. O
grau de entrada de v, denotados por d() (v) o nmero de arcos em A que
apontam para v. O grau de sada de v, denotado por d() +(v), o nmero
de arcos em A que saem de v.
Um passeio orientado em D uma sequncia P = v0 v1 vk de vrtices
de D tal que vi vi+1 A para todo i = 0, 1, . . . , k 1. Trilhas orientadas,
caminhos orientados e circuitos orientados e termos relacionados so definidos
analogamente ao caso anterior.

O grafo subjacente de um digrafo D o grafo G tal que V (G) = V (D) e
h uma aresta em G entre os vrtices v e w se e s se h um arco de v para w
ou um de w para v.
Um digrafo dito fracamente conexo se seu grafo subjacente for conexo e
ele dito fortemente conexo se, para todos vrtices v e w, existe um passeio
orientado de v para w (note que tambm haver um de w para v trocando a
escolha do par).
As noes de conexidade de digrafos so definidas analogamente, mas
sempre enfatizando o tipo de conexidade exigida (fraco ou forte).
Vale lembrar o seguinte teorema sobre digrafos eulerianos.
Teorema 1.7 Seja D um dgrafo fortemente conexo. Nessa situao temos D
euleriano se e somente v V (D), d() +(v) = d() (v).
1.3 operaes
Dados dois grafos G, H no mesmo conjunto de vrtices V , definimos a unio

e a interseo de G e H, respectivamente por G H = (V, E(G) E(H))
e G H = (V, E(G) E(H)).
Para um grafo G e um conjunto S de vrtices de G denotamos por G \ S
(ou simplesmente G S) o grafo obtido de G pela remoo dos vrtices em S
e das arestas de G incidentes a algum vrtice de S. No caso em que S contm
apenas um elemento v, escrevemos apenas G v. Para um conjunto E 0 de
arestas de G o grafo G \ E 0 (ou G E 0 ) o grafo obtido de G pela remoo
das arestas em E 0 . (Veja figuras 1.8a e 1.8b.)
(a) Exemplo: Grafo G. (b) Exemplo: Grafo G

aps a remoo dos
dois vrtices em desta-
que.
Figura 1.8: Exemplo de remoo de vrtices.
Dados dois grafos G e H no mesmo conjunto de vrtices, a diferena

simtrica de G e H, denotada por G4H, dada por (G H) E(G H).
1.4 multigrafos
Um multigrafo um par ordenado (V, E) onde V um conjunto (chamado

conjunto de vrtices) e E um multiconjunto (um conjunto com elementos
possivelmente repetidos) tal que todo elemento de E da forma {v, w} V e
no temos necessariamente v 6= w.
Em outras palavras, um multigrafo um grafo em que permitimos multi-
plicidade nas arestas e arestas com as extremidades iguais (estas so chamadas
laos).

Muitas vezes chamaremos multigrafos apenas de grafos por abuso e quando
quisermos enfatizar que um grafo no um multigrafo, diremos que um
grafo simples.
1.5 referncias bibliogrficas
[Bol98] B. Bollobs. Modern graph theory. Graduate Texts in Mathematics

Series. Springer-Verlag GmbH, 1998.
[Die05] Reinhard Diestel. Graph Theory (Graduate Texts in Mathematics).
Springer, August 2005.

2 emparelhamentos
Um conjunto de arestas M de um grafo G chamado de emparelhamento

se para cada vrtice v V (G) existe no mximo uma aresta de M incidente a
v. A teoria de emparelhamentos em grafos uma rea bastante estabelecida,
com resultados em vrias direes [PL86, CCPS11] e generalizaes1 . Nestas
notas apresentamos alguns resultados clssicos com o objetivo de compreender
a decomposio de EdmondsGallai e o algoritmo de Edmonds para obter
emparelhamentos mximos em grafos quaisquer.
Dado um emparelhamento M e um vrtice v, dizemos que M cobre (ou
satura) v se alguma aresta de M incide em v. Caso contrrio, dizemos
que v um vrtice descoberto (ou exposto) por M . Dizemos que um
emparelhamento M sobre G maximal se no existe emparelhamento M 0 M
que contm M propriamente. Um emparelhamento dito mximo se sua
cardinalidade mxima.
Em geral, estamos interessados em determinar condies para a existncia de
emparelhamentos que cobrem todos os vrtices do grafo. Tais emparelhamentos
so ditos perfeitos. Apresentamos ainda frmulas explcitas para o clculo da
cardinalidade Emp G de um emparelhamento mximo de G, e um algoritmo
para obter um emparelhamento de cardinalidade mxima.
Dado um emparelhamento M de um grafo G, um caminho M -alternante
em G um caminho cujas arestas esto alternadamente em M e e em E(G) \
M . Um tal caminho com extremos descobertos por M chamado caminho
aumentador, nome que deriva do teorema de Berge, enunciado a seguir.
Teorema 2.1 (Berge, 1957). Seja G um grafo e M um emparelhamento em G.
Ento M um emparelhamento mximo se e s se G no tem nenhum caminho
M -alternante com ambos os extremos descobertos.
2.1 emparelhamentos perfeitos
Teorema 2.2 (Hall, 1935). Seja G um grafo (A, B)-bipartido. Ento G tem
um emparelhamento que cobre A se e somente se Adj X X para todo

X A.
Demonstrao. Demonstramos apenas uma das implicaes. Suponha que no

existe emparelhamento que cubra A, e seja M um emparelhamento mximo
de G. Ento existe vrtice v A que no coberto por M . Considere A0 B 0
(A0 A, B 0 B) o conjunto de vrtices de G que so atingveis a partir
de v por caminhos M -alternantes. Como G bipartido, todo caminho de v
at a A0 tem comprimento par. Logo a emparelhado com o vrtice que
vem exatamente antes dele em todos esses caminhos que o atingiram. Assim,
todo vizinho de a est em B 0 e, portanto, Adj(A0 ) = B 0 . Por hiptese temos
| Adj(A0 )| A0 logo |B 0 | |A0 | e, assim, como v A0 no est coberto por M ,
existe pelo menos um vrtice b em B 0 que no est coberto por M . O caminho
M -alternante de v a b tem comprimento mpar e, portanto, aumentador.
Corolrio 2.3 Seja G um grafo (A, B)-bipartido. Se | Adj(X)| |X| k

para todo X A e algum inteiro fixo k, ento G possui um emparelhamento
de cardinalidade |A| k.

Demonstrao (sugesto). Adicione k vrtices a B, conectados cada um a
todos vrtices de A.
Um conjunto S de vrtices de um grafo G dito uma cobertura (por vrti-

ces) se toda aresta de G incidente a pelo menos um vrtice de S. O tamanho de
uma menor cobertura de G denotado por Cob(G). fcil ver que |S| |M |,
para qualquer emparelhamento M . O seguinte teorema estabelece a clebre
relao minmax entre coberturas e emparelhamentos [Die05, BM08].
Teorema 2.4 (Knig, 1931). Seja G um grafo bipartido. A cardinalidade de
um emparelhamento mximo de G igual cardinalidade de uma cobertura
mnima de G.
Demonstrao. Demonstramos que Emp G Cob(G). A outra desigualdade

um exerccio. Seja G um grafo (A, B)-bipartido e C uma cobertura mnimade G.
Definimos os conjuntos
AC = A C, BC = B C, AC = A \ C, e AC = A \ C.
Seja H o subgrafo de G induzido por AC BC . claro que H (AC , BC )-

bipartido. Mostramos a sequir que a minimalidade de C garante que H satisfaz
a hiptese do teorema de Hall.
Seja X um subconjunto qualquer de AC . O conjunto C \ X) AdjH (X)
uma cobertura de G, pois toda aresta que tem uma ponta em X tambm tem
uma ponta em AdjH (X). Como a cardinalidade dessa cobertura |C| |X| +
| AdjH (X)|, a minimalidade de C garante que AdjH (X) |X|.
Pelo teorema de Hall, existe um emparelhamento F em H que cobre AC .
De maneira anloga, podemos concluir que o subgrafo H 0 de G induzido
por BC AC possui um emparelhamento F 0 que cobre BC . Ademais, F F 0
um emparelhamento em G e
Emp G |F F 0 | = |F | + |F 0 | = |AC | + |BC | = |C|.
Dado um grafo H, denotamos por co (H) o nmero de componentes conexas

de H que tm um nmero mpar de vrtices. O teorema a seguir fornece uma
condio para a existncia de emparelhamentos perfeitos em grafos arbitrrios
em termos do nmero de tais componentes.
Exerccio 2.1. Demonstre o teorema de Hall de duas formas:
i) dividindo em casos: 1. existe conjunto
de vrtices S com Adj S = S , e

2. para todo S V (G) vale Adj S > S ; e

ii) usando o teorema de Knig.
Teorema 2.5 (Tutte, 1947). Um grafo G = (V, E) tem um emparelhamento

perfeito se e s se co (G S) |S| para todo S V .
Exerccio 2.2. Deduza o teorema de Hall do teorema de Tutte.
Exerccio 2.3. Um grafo cbico um grafo em que todo vrtice possui grau
3. Prove que todo grafo cbico sem arestas-de-corte tem um emparelhamento
perfeito (Petersen, 1891). Sugesto: mostre que tal grafo satisfaz a condio do
teorema 2.5.

2.2 emparelhamentos mximos e a deficincia de um grafo
Dado um grafo (A, B)-bipartido G e um conjunto X A, dizemos que |X|

| Adj X| a deficincia de X (com relao a A), e a denotamos por Def A (X).
Definimos a deficincia de G por Def A (G) = maxXA Def A (X). Note que a
deficincia de G no-negativa, uma vez que, para X = , temos Def A (X) = 0.
Em 1955, Ore [Ore55] publicou uma verso defectiva do teorema de Hall
para grafos bipartidos. Em 1958, Berge obteve uma verso generalizada para
grafos arbitrrios, tendo como base o teorema de Tutte.
Teorema 2.6 (Ore, 1955). Se G um grafo (A, B)-bipartido, ento
Emp(G) = |A| Def A (G).
Demonstrao. A desigualdade Emp G |A| Def A (G) segue diretamente

da definio de Def A (G); a desigualdade Emp G |A| Def A (G) segue do
corolrio 2.3.
O teorema 2.6 conclui que a deficincia de um grafo bipartido G o nmero

de vrtices descobertos por um emparelhamento mximo, isto , Def(G) =
|V | 2 Emp(G). Esta ltima igualdade motiva uma definio de defeito para
grafos arbitrrios.
2.3 defeito em grafos arbitrrios
Seja M um emparelhamento em G. Definimos o defeito de M como sendo o

nmero de vrtices no cobertos por M . Definimos a deficincia de G como
sendo o nmero de vrtices no cobertos por um emparelhamento mximo,
isto ,
Def(G) = |V | 2 Emp(G),
= min |V | 2|M | ,

M M
onde M o conjunto dos emparelhamentos de G. Em 1958, Berge [] provou o

teorema a seguir, conhecido como frmula de Berge.
Teorema 2.7 (Frmula de Berge). Seja G um grafo. Ento
Def(G) = max co (G S) |S| . (2.1)

SV (G)
O teorema 2.7 consequncia do teorema a seguir, que quantifica o tamanho

do emparelhamento mximo em grafos quaisquer.
Teorema 2.8 (Frmula de Tutte-Berge). Seja G um grafo. Ento
|V | + |S| co (G S)
( )
Emp(G) = min . (2.2)
SV (G) 2
Demonstrao. Primeiramente, demonstramos que Emp(G) 21 minSV (G) |V |+

|S| co (G S) . Observe que se existe S V tal que co (G S) > |S|, ento

pelo menos co (G S) |S| vrtices devem ficar desemparelhados em qualquer
emparelhamento. Assim, temos no mximo 2 |V | co (G S) + |S| arestas em
1

um emparelhamento, e segue que Emp(G) 12 minSV |V | + |S| co (G S) .


A demonstrao de Emp(G) 12 minSV (G) |V | + |S| co (G S) segue

por induo no nmero de vrtices |V (G)|. Se |V (G)| = 1 a frmula bvia, e

ambos os lados resultam 0. Suponha ento que |V (G)| > 1 e que o teorema
vale para todo grafo G0 com |V (G0 )| < |V (G)|. Consideramos dois casos.
Caso 1. Existe um vrtice v que coberto por todo emparelhamento
mximo de G. Seja M um tal emparelhamento. Considere o grafo G0 =
G v obtido de G pela remoo do vrtice v e as arestas incidentes em v.
Seja e a aresta de M que cobre v e tome o emparelhamento M 0 = M e
de G0 . Se existe emparelhamento de G0 de tamanho |M 0 | + 1 = |M | =
Emp(G), ento existe emparelhamento mximo em G que no emparelha v.
Logo Emp(G0 ) = Emp(G) 1. Pela hiptese de induo, existe S 0 V (G0 ) tal
que |V 0 |+|S 0 |co (G0 S 0 ) = 2|M 0 |. Considere o conjunto S = S 0 {v} V (G)
e observe que, uma vez que G0 = G v, temos G0 S 0 = G v S 0 = G S.
Logo, temos co (G0 S 0 ) = co (G S) e, portanto,
|V 0 | + |S 0 | co (G0 S 0 )
|M | = |M 0 | + 1 = +1
2
(|V 0 | + 1) + (|S 0 | + 1) co (G0 S 0 )
=
2
|V | + |S| co (G S)
=
2
|V | + |S| co (G S)

min .
SV 2
Caso 2. Todo vrtice de G descoberto por algum emparelhamento
mximo. Vamos provar que exatamente um vrtice fica descoberto em cada
emparelhamento mximo.
Suponha que para todo emparelhamento mximo, existam dois vrtices
que no so cobertos. Tome ento um emparelhamento mximo M tal que a
distncia d(u, v) entre dois vrtices descobertos u e v seja mnima. A distncia
entre u e v no pode ser 1, caso contrrio podemos adicionar a aresta uv a M
e obter um emparelhamento maior. Alm disso, todo vrtice interior num
caminho de menor comprimento entre u e v deve ser coberto por M , caso
contrrio existiria um par de vrtices no cobertos com distncia menor que
d(u, v). Tome s um tal vrtice e tome N um emparelhamento mximo de G
que no cobre s e tal que M N seja o maior possvel. Note, em particular,
que u e v so cobertos por N (e no so cobertos por M ). Ora, como a
cardinalidade de M e N a mesma, existe um vrtice x 6= s que coberto
por M , mas no coberto por N .
Seja y V (G) o vrtice emparelhado com x em M . Se y no for coberto
por N podemos adicionar a aresta xy a N , entrando em contradio com a
maximalidade de N . Se y for coberto por N , podemos retirar de N a aresta
que o cobre e adicionar xy em seu lugar, obtendo um emparelhamento N 0 com
uma interseo maior com M .
No caso 2 da demonstrao do teorema 2.8, encontramos um grafo G tal

que G v possui um emparelhamento perfeito para todo v V (G). Neste caso,
dizemos que G hipoemparelhvel. Mais geralmente, se B uma propriedade
sobre grafos, dizemos que um grafo G hipo-B se G / B, e G v B para
todo vrtice v de G.
Na busca de um emparelhamento com cardinalidade mxima, nos depa-
ramos com a questo de saber, dado um emparelhamento M , se possvel
encontrar um emparelhamento maior. O teorema 2.7 nos d uma ideia de

como proceder. Note que, para todo conjunto S, a frmula fornece um limi-
tante inferior para o nmero de vrtices descobertos por um emparelhamento
mximo. Sabemos que no possvel encontrar emparelhamento que deixa
menos do que co (G S) |S| vrtices descobertos. Portanto, se M deixa
exatamente co (G S) |S| vrtices descobertos, para algum S, ento M
mximo.
Estruturas como o conjunto S, que definem condies necessrias para
alguma propriedade, so chamados de certificados. O conjunto S, por exemplo,
um certificado de que ao menos certa quantidade de vrtices deixada
desemparelhada por um emparelhamento em G.
Outro conceito que ser til adiante o de testemunha. Dado um empare-
lhamento mximo M em um grafo G, o teorema 2.8 garante a existncia de
um conjunto S tal que |M | = 12 (|V | + |S| co (G S)). Um tal conjunto S
dito testemunha de G.
Teorema 2.9 (Decomposio de EdmondsGallai). Dado um grafo G = (V, E),
sejam
DG = {v V : existe emparelhamento mx. em G que no cobre v},

AG = {v V \ DG : v adjacente a algum vrtice de DG },
C G = V \ D G AG .

Ento
a) S = AG testemunha de G;
b) CG a unio de componentes pares de G AG ;
c) DG a unio de componentes mpares de G AG ;
d) Todo componente mpar de G AG hipoemparelhvel.
CG
AG
DG
Figura 2.1: Decomposio de EdmondsGallaide um grafo. Note que a defi-

cincia Def(G) = max 0, co (DG ) |AG | ,e o tamanho do emparelhamento

mximo Emp(G) = |V | + |AG | co (DG ) 2.
2.4 um algoritmo para encontrar um emparelhamento
O teorema 2.1 sugere que podemos construir um emparelhamento mximo

iterativamente. Partimos de um emparelhamento qualquer e enquanto houver
um caminho M -aumentador P , substitumos o emparelhamento corrente M

X v3 v4
v0 v1 v2
v8 v7
v6 v5
v9
caule boto
Figura 2.2: Um emparelhamento M = e uma

{v1 , v2 }, {v3 , v4 }, {v5 , v6 }
flor v0 v1 v7 .
por M 4P . Descrevemos nessa seo algumas estratgias que podem ser usadas
para encontrar tal caminho.
Seja G = (V, E) um grafo, M um emparelhamento em G, e X o conjunto
de vrtices descobertos por M . Um passeio M -alternante (v0 , v1 , . . . , vt )
chamado de M -flor (figura 2.2) se satisfaz
a) v0 X;
b) v0 , . . . , vt1 so distintos;
c) t mpar; e
d) vt = vi para algum i mpar.
Seja T = v0 v1 vk um passeio M -alternante em G entre vrtices distintos
de X. Se T vrtice-simples, ento T um caminho M -aumentador. Caso
contrrio, seja j o menor inteiro tal que vi = vj , para i < j. fcil ver
que v0 v1 vj uma M -flor. A parte da M -flor de v0 a vi chamada caule
(stem) e a parte de vi a vt chamada de boto (blossom). Dizemos
que v0 a raiz da flor ou do boto. Se B um M -boto, definimos o grafo G/B
(chamado G contrado de B), com emparelhamento M/B, como o grafo que
resulta da substituio do boto por um vrtice. Mais formalmente, temos
V (G/B) = (V \ B) {b}, onde b / V um vrtice novo;
E(G/B) = E \ {e E : e incide em B} vb : v V (G/B), vz

E(G), z B ;
= M \{e E : e incide em B} vb : v V (G/B), vz M, z

M/B
B .

Note que vb : v V (G/B), vz M, z B possui apenas uma aresta.

O teorema 2.1 diz que se no houver caminho M -aumentador, ento M

um emparelhamento mximo, e todo passeio M -alternante entre vrtices
distintos de X possui uma flor. A utilidade da operao de contrao, definida
acima, fica aparente quando enunciamos o teorema a seguir.
Teorema 2.10 (Edmonds, 1965). Seja G = (V, E) um grafo, M um empare-
lhamento em G e B um M -boto. Ento M um emparelhamento mximo
em G se e somente se M/B um emparelhamento mximo em G/B.
Demonstrao. Vamos provar que existe um caminho M -aumentador em G se

e somente se existe um caminho M/B-aumentador em G/B.
Seja F a flor de boto B. Para todo vrtice v de B, denote por Pv o
caminho de comprimento par em F que vai de v at a raiz de B.
Note que se existe um caminho M -aumentador P em G que no possui
aresta de B, ento P tambm um caminho aumentador em G/B.

Por outro lado, se existe um caminho M -aumentador P em G contendo
arestas de B, ento existe um caminho M -aumentador com extremo na raiz
de B. De fato, tome u um extremo de P diferente da raiz de B e v o primeiro
vrtice do boto em P quando seguimos P partindo de u. Seja Q o subcaminho
de P de u at v. O caminho procurado dado pela unio de Q com Pv .
Observe que a aresta de v em Q no aresta de M e, portanto, (Q P )/B
um caminho M/B-aumentador em G/B.
Suponha ento que existe um caminho M/B-aumentador P em G/B. Se P
no contm b ento P um caminho M -aumentador em G. Se P contm b
ento seja u um extremo de P diferente da raiz de B e v V (G) o primeiro
vrtice do boto em P . Como antes, tome Q o caminho em P de u a v e
ento Q Pv um caminho M -aumentador em G.
(Prova alternativa de uma das implicaes.) Suponhamos que M/B no um

emparelhamento mximo em G/B. Seja N um emparelhamento mximo
em G/B, temos |N | > |M/B|.
Considere o emparelhamento N + = N M , onde N um emparelhamento
em G que no possui arestas de B e tal que N/B = N e M um emparelha-
mento quase-perfeito em B compatvel com N , isto , existe exatamente um
vrtice em B livre de M e N + um emparelhamento em G. Temos
|N + | = |N | + |M | > |M/B| + |M | = |M |.
Portanto |N + | > |M |, uma contradio.
Observao 2.11 Note que nem todo circuito mpar hipoemparelhado um

boto. Alm disso, se C um circuito mpar, e M/C um emparelhamento
mximo em G/C, ento no necessariamente M emparelhamento mximo
em G; onde a contrao definida analogamente.
O teorema 2.10 motiva o seguinte algoritmo para encontrar um emparelha-
mento mximo partindo de um grafo G com emparelhamento M . Buscamos
passeios M -alternantes entre vrtices distintos de X. Se no existe tal passeio,
o emparelhamento mximo, pelo teorema 2.1. Se encontramos um tal pas-
seio P sem flor, aplicamos o algoritmo a G com emparelhamento M 0 = M 4P .
Se encontramos um passeio com uma flor de boto B, aplicamos o algoritmo
a G/B com emparelhamento M 0 = M/B.
O procedimento acima atinge um grafo G com emparelhamento mximo.
Uma vez que G pode conter vrtices resultantes de contraes, podemos usar o
teorema 2.10 para desfaz-las preservando a maximalidade do emparelhamento.
Na prxima seo descrevemos o algoritmo que esboamos.
2.5 algoritmo de edmondsgallai
Dado um emparelhamento M em G, desejamos encontrar um emparelhameno

maior do que M , ou constatar que M mximo. No processo, rotulamos os
vrtices do grafo, de modo a obter a decomposio de EdmondsGallai.
Para encontrar o emparelhamento, fazemos uso de caminhos alternantes. A
grosso modo, partimos de um emparelhamento M , e construimos uma floresta
M -alternante, a partir de algum vrtice no coberto (raiz). A rvore cresce
por meio da adio de arestas do emparelhamento. Nesse processo, rotulamos
os vrtices da rvore. Quando no pudermos prosseguir, o algoritmo termina,

e as classes de vrtices definidas pelos rtulos (ou sua ausncia) definem as
componentes da decomposio de EdmondsGallai 2.9.
Existem outros algoritmos para encontrar emparelhamentos mximos.2
Nosso objetivo construir uma floresta M -alternante F , e rotulamos seus
vrtices par ou mpar. Seja X o conjunto de vrtices no cobertos por M .
Inicialmente rotulamos de par os vrtices de X. Cada vrtice de X raiz
de uma das rvores de F . O crescimento de F sempre feito a partir de um
vrtice par, digamos u. Temos os seguintes casos.
Caso 1. Existe uma aresta uv onde v no est rotulado. Rotulamos v de
mpar e o seu companheiro w (vw M ) de par.
Caso 2. Existe uma aresta uv com v rotulado par tal que v pertence a
uma rvore distinta da que u pertence. Neste caso, encontramos um caminho
M -aumentador R = P (uv)Q, onde P o caminho em F de ru , raiz da rvore
que contm u, at u, e Q o caminho em F de v at rv , raiz da rvore que
contm v. Fazemos M = M 4R e repetimos o processo da construo de F
(do incio!).
Caso 3. Existe uma aresta uv com v rotulado par e v pertencente
mesma rvore qual pertence u. Neste caso, temos uma uma M -flor em G,
com um M -boto, digamos B (circuito mpar que existe em F +uv). Rotulamos
de par os vrtices do boto B, contramos B e consideramos o grafo G/B com
o emparelhamento M/B nesse grafo. Continuamos o processo de expanso
da floresta F resultante. (Usamos ento o teorema provao na aula passada.)
Recursivamente, continuamos. . .
Fato 2.12 Se nenhum dos trs casos ocorre, ento afirmamos que encontramos
um emparelhamento mximo M 0 no grafo corrente G0 = (V 0 , E 0 ) que foi obtido
do grafo original aps zero ou mais contraes.
Demonstrao. Considere a rotulao par/mpar feita conforme a M 0 -floresta

foi construda. Seja X 0 = {x V 0 : x no coberto por M 0 }, e sejam
par = {v V 0 : rtulo de v par},

mpar = {v V 0 : rtulo de v mpar}.
Note que no h flores em G0, e portanto |X 0 | = |par| |mpar|. Para

para todo subconjunto S V 0 vale Def G0 co (G S) |S| e em particular,
tomando S = mpar, temos que
Def G0 co (G mpar) |mpar| = |par| |mpar| = |X 0 |.
Como M 0 no cobre exatamente |X| vrtices, segue que M 0 mximo.
(Prova alternativa.) Sabemos, pela frmula de TutteBerge,

1
Emp(G0 ) |V 0 | + |S| co (G0 S)

2
para todo S V 0 . Tomando S = mpar, temos
1
Emp(G0 ) (|V 0 | + |mpar| |par|).
2
O algoritmo descrito constroi uma floresta, composta pelo conjunto de vrti-
ces rotulados. Como na outra demonstrao, considere a rotulao par/mpar

feita conforme a M 0 -floresta foi construda. Seja X 0 = {x V 0 : x no coberto por M 0 },
e sejam
par = {v V 0 : rtulo de v par},

mpar = {v V 0 : rtulo de v mpar}.
Pela rotulao feita pelo algoritmo, o nmero de arestas do emparelhamento M 0

que esto fora da floresta (|V 0 | (|mpar| + |par|))/2, e o das que esto
na floresta |mpar|. De fato, o conjunto de vrtices X 0 V 0 expostos por
M 0 est na floresta, e assim os vrtices no rotulados (isto , fora da floresta)
devem estar cobertos pelo emparelhamento M 0 .
A quantidade de vrtices fora da floresta |V 0 | (|mpar| + |par|), e o
nmero de arestas do emparelhamento M 0 na floresta igual ao nmero de
vrtices rotulados mpar, pois cada mpar ponta de exatamente uma aresta
de M 0 . Portanto
1
|M 0 | = |V 0 | (|mpar| + |par|) + |mpar|

2
1
= (|V 0 | + |mpar| |par|).
2
Logo, o emparelhamento M 0 mximo.
J vimos que o emparelhamento mximo em G0 corresponde a um empare-

lhamento mximo no grafo G inicial, obtido segundo o teorema 2.10 (os botes
so descontrados na ordem inversa de sua contrao).
Observamos agora como identificar a decomposio de Edmonds-Gallai do
teorema 2.9 partindo da rotulao de G fornecida pelo algoritmo. Lembramos
que DG o conjunto dos vrtices que so descobertos por algum emparelha-
mento mximo, e AG o conjunto de vizinhos de DG em V \ DG . Note que par
o conjunto dos vrtices v tais que existe em G um caminho M -alternante
de comprimento par de X at v. Analogamente, mpar o conjunto de vrti-
ces v V (G) \ par alcanveis por um caminho M -alternante de comprimento
mpar.
Proposio 2.13 Seja M um emparelhamento mximo em G = (V, E), X o
conjunto dos vrtices no cobertos por M e sejam par e mpar como acima.
Ento par = DG e mpar = AG .
Consideramos que um caminho de comprimento zero um caminho M -
alternante. Ou seja, par contm o conjunto X.
Demonstrao. Demonstramos a igualdade par = DG , o fato mpar = AG

um exerccio.
(Prova de par DG .) Seja v um vrtice em par, e seja P um caminho M -
alternante de X para v. Considere M 0 = M 4P (diferena simtrica de M e P ).
Ento M 0 um emparelhamento mximo que no cobre v. Portanto, v pertence
a DG .
(Prova de DG par.) Seja v um vrtice em DG . Se v pertence a X
ento v pertence a par. Suponha que v coberto por M . Seja M 0 um
emparelhamento mximo que no cobre v (M 0 existe pois v pertence a DG ).
Os componentes de M 0 4M so circuitos ou caminhos pares com arestas
alternadamente em M 0 e em M . Como v coberto por M , existe um caminho
alternante par que comea em v, com uma aresta de M , e termina num
vrtice w, chegando por uma aresta de M 0 . Como w no coberto por M ,

ento w pertence a X. Neste caso, temos um caminho M -alternante par que
comea em Xe termina em v. Logo, v pertence a par.
Um corolrio que segue imediatamente do Algoritmo de EdmondsGallai

o seguinte.
Corolrio 2.14 Se M um emparelhamento mximo em um grafo G, ento
para todo vrtice w em DG , existe um vrtice v descoberto em M e um
caminho M -alternante par de v a w.
2.6 exerccios
Exerccio 2.4. Seja k um inteiro positivo, e seja G um grafo simples com |V (G)|
2k, e tal que d(v) k para todo v G. Mostre que G tem um emparelhamento
com pelo menos k arestas.
Exerccio 2.5. Prove que todo grafo bipartido com pelo menos uma aresta tem
um emparelhamento que cobre todos os vrtices de grau mximo.
Observao 2.15 Note que uma consequncia imediata desse resultado o
fato de que o conjunto das arestas e um grafo bipartido pode ser particionado
em (G) emparelhamentos. (Ou seja, o ndice cromtico de um grafo bipartido
precisamente (G)).
Exerccio 2.6. Seja E um emparelhamento maximal e E ? um emparelhamento
mximo num grafo. Mostre que |E| |E ? |/2.
Exerccio 2.7. Prove o Teorema de Hall usando o Teorema de Tutte 2.5.
Exerccio 2.8. Prove que se G = (V, E) um grafo com |V | par e tal que
4 2

| Adj(X)| min |V |, |X| para todo X V,
3 3
ento G tem um emparelhamento perfeito.
notas do captulo 2
1. O conceito de emparelhamento pode ser generalizado com o conceito

de fatores. Um k-fator de G um subgrafo gerador H G em que todo
vrtice possui grau k. Assim, um emparelhamento perfeito um 1-fator.
Fatores so comuns no estudo de grafos regulares. Por exemplo, todo grafo
bipartido regular (com ao menos uma aresta) possui um 1-fator, e todo grafo
euleriano regular possui um 2-fator.
2. No livro do Lovsz h um algoritmo, usando orelhas, de complexidade O(n3 ).

Existe algoritmo O( nm), de vrios autores [], para o caso em que maximiza a
cardinalidade do emparelhamento (em oposio a maximizar o peso das arestas
no emparelhamento, caso em que a complexidade talvez seja outra).
[BM08] A. Bondy and U.S.R. Murty. Graph Theory. Graduate Texts in

Mathematics. Springer, 2008.
[CCPS11] W.J. Cook, W.H. Cunningham, W.R. Pulleyblank, and A. Schrijver.
Combinatorial Optimization. Wiley Series in Discrete Mathematics
and Optimization. Wiley, 2011.

[Ore55] Oystein Ore. Graphs and matching theorems. Duke Math. J.,
22:625639, 1955.
[PL86] D. Plummer and L. Lovsz. Matching Theory. North-Holland
Mathematics Studies. Elsevier Science, 1986.

3 conexidade
Seja G um grafo. Dizemos que G k-conexo se, para todo S V (G) e |S| < k,
temos que o grafo G S conexo e possui ao menos dois vrtices.
Analogamente, dizemos que G k-aresta-conexo se, para todo F E(G),
com |F | < k, temos que G F conexo e possui ao menos dois vrtices.
Alm disso, convencionamos que todo grafo 0-conexo e 0-aresta-conexo.
Finalmente, definimos a conexidade de G (connectivity of G), denotada
por K(G), como o maior natural k tal que G k-conexo e definimos a aresta-
conexidade de G (edge connectivity of G), denotada por K 0 (G), como o
maior natural k tal que G k-aresta-conexo.
Exerccio 3.1. Mostre que K(G) K 0 (G) (G).
Para provar as vrias verses to teorema de Menger, vamos agora considerar
digrafos (grafos orientados), em particular, permitimos aqui arestas mltiplas.
Note que isso diferente de uma orientao de um grafo, quando partimos
de um grafo e orientamos suas arestas.
Para facilitar a notao, se G um grafo (ou digrafo) e s e t so dois de
seus vrtices, ento chamamos de st-caminho qualquer caminho (orientado,
no caso de digrafos) de s a t.
Um digrafo D dito fortemente conexo se para quaisquer dois vrti-
ces u, v existe em D um uv-caminho (Isto significa que existe tambm um vu-
caminho).
s t
Figura 3.1: Um st-caminho, i.e., um caminho orientado de s para t. Os arcos

em um tal caminho devem ter mesma orientao.
Alm disso, definimos k-conexidade forte, k-aresta-conexidade forte, K(D)

e K 0 (D) analogamente, trocando conexo por fortemente conexo.
Finalmente, se G um grafo conexo (ou digrafo fortemente conexo) e S
V (G) tal que G S desconexo, ento dizemos que S um conjunto
separador de G.
3.1 teorema de menger
O teorema de Menger caracteriza a noo de conexidade atravs de caminhos

disjuntos.
Teorema 3.1 (Menger, 1927). Seja D = (V, E) um digrafo, s, t V , e s 6= t.
O nmero mximo de st-caminhos em D disjuntos nos arcos igual ao nmero
mnimo de arcos cuja remoo destroi todos os st-caminhos.
A prova tradicional por maxflow. Faremos outra. Se X V , denotamos
por + (X) o conjunto dos arcos de D que saem de X (i.e., tm a cauda em X
e a cabea em X = V \ X). Chamamos + (X) de corte de X; dizemos que X
um corte st-separador se s X e t X.
Demonstrao. A seguinte prova devido a Andrs Frank, e usa funes

submodulares definidas abaixo.

Primeiramente, uma funo f : 2X 7 R das partes de X nos reais dita
submodular se f (U V ) + f (U V ) f (U ) + f (V ). Se h igualdade em
vez de a funo modular, e se h a funo supermodular.
O teorema 3.1 um corolrio do seguinte.
Teorema 3.2 Seja D = (V, E) um digrafo, s, t V , e s 6= t. Em D existem
pelo menos k st-caminhos disjuntos nos arcos se e s se + (X) k para
todo X V que corte st-separador (i.e., s X e t
/ X).
Vamos provar inicialmente que o teorema 3.2 de fato implica o teorema 3.1.
Seja k o nmero mximo de st-caminhos disjuntos nos arcos, ento, pelo
teorema 3.2, existe um X V corte st-separador tal que + (X) < k + 1. A
remoo de + (X) certamente desconecta s de t. Por outro lado a remoo
de k1 arestas certamente no desconecta s de t, pois todo corte X st-separador
passa a ter ao menos um arco em + (X).
Vamos agora provar o teorema 3.2.
Suponha que D k-conexo, ento cada corte intercepta ao menos uma
aresta de cada caminho, e os caminhos so disjuntos, donde |X| k.
Exerccio 3.2. Mostre que a funo f (X) = | + (X)| submodular.

A prova da recproca por induo no nmero de arcos. Dizemos que um
corte st-separador justo se | + (X)| = k. Suponha que | + (X)| k para
todo corte st-separador.
Observe que
| + (X)| + | + (Y )| | + (X Y )| + | + (X Y )| k + k.
Donde segue que se X e Y so justos, ento X Y e X Y so justos.

Vamos supor que todo arco de D pertence a um conjunto justo (seno
podemos delet-lo e usar a hiptese indutiva).
Tome v 6= s e X tais que vt + (X) e X justo (Figura 3.2). Observe
que se no existisse tal v, ento todos os arcos de D seriam da forma st e o
resultado seguiria trivialmente.
Seja S a interseo de todos os conjuntos justos X tais que + (X) contm vt
(note que S justo). Vamos provar que existe u S com uv E(D).
v
s t
Figura 3.2: Exemplo de escolha do vrtice v e do conjunto justo X da demons-

trao do Teorema 3.2.
Suponha que no h tal u e observe que + (S \{v}) deve possuir ao menos k

arcos pois S \ {v} corte st-separador, mas isso significa que + (S) possui ao
menos k + 1 arcos, o que contradiz sua definio.
Tomemos ento u S com uv E(D) e D0 o digrafo definido a partir
de D removendo os arcos uv e vt e incluindo um novo arco ut (Figura 3.3),
note que essa operao poder gerar arcos mltiplos.
Certamente |E(D0 )| = |E(D)|1. Vamos mostrar que D0 satisfaz a hiptese
do teorema.

S
u
v v
u t
t
Figura 3.3: esquerda, um exemplo de digrafo D da demonstrao do Teo-

rema 3.2. direita, o digrafo D0 construdo.
Tome X um corte st-separador em D0 arbitrrio e suponha por absurdo

que |D
+
0 (X)| < k.
Observe que, se u, v / X, ento D +

0 (X) = D (X), logo |D 0 (X)| k.
+ +
Por outro lado, se u X e v / X, ento tambm temos |D +

0 (X)| =
|D (X)| k, j que a remoo do arco uv foi compensada pela adio do

+
arco ut.
O mesmo vale para o caso u, v X, pois a remoo do arco vt foi compen-
sada pela adio do arco ut.
Resta apenas o caso u / X e v X. Mas ento k > |D +
0 (X)| = |D (X)|
+
1 k, logo |D (X)| = k, i.e. X justo em D. Observe que vt D (X), mas X

+ +
no contm u, o que contradiz a escolha de S, pois u S.

Portanto podemos aplicar a hiptese indutiva para D0 , ento temos k st-
caminhos em D0 disjuntos nos arcos. Para obter os st-caminhos em D, basta
substituir o arco adicionado ut pelos arcos removidos uv e vt.
A partir do teorema 3.1, podemos deduzir as seguintes outras verses.

Teorema 3.3 Seja D = (V, E) um digrafo, s, t V , s 6= t e st / E. O
nmero mximo de st-caminhos em D internamente disjuntos nos vrtices
igual ao nmero mnimo de vrtices em V \ {s, t} cuja remoo destroi todos
os st-caminhos.
Demonstrao. Certamente no h como destruir todos os st-caminhos remo-

vendo menos vrtices do que o nmero mximo de st-caminhos.
Considere D0 o digrafo tal que V (D0 ) = {v + : v V (D)} {v : v
V (D)} e E(D0 ) = {x+ y : xy E(D)} {v v + : v V (D)}.
Observe que caminhos disjuntos nos arcos em D0 correspondem a caminhos
internamente disjuntos nos vrtices em D.
Alm disso, remover um vrtice v de D corresponde a remover o arco v v +
de D0 .
Logo o teorema 3.1 aplicado a D0 nos d o resultado para D.
Teorema 3.4 Seja G = (V, E) um grafo, s, t V , e s 6= t. O nmero mximo

de st-caminhos disjuntos nas arestas em D igual ao nmero mnimo de arcos
cuja remoo destroi todos os st-caminhos.
Demonstrao. Seja D o digrafo obtido a partir de G trocando cada aresta uv

pelos arcos (u, v) e (v, u). Porm, no basta apenas aplicar o teorema para
o digrafo e remover a orientao dos arcos, pois nada impede que ambos os
arcos do par sejam usados, cada uma por um caminho diferente.

Para resolver esse problema, consideramos o digrafo induzido pelos arcos
contidos nos caminhos e adicionamos k arcos da forma ts, observe que todo
vrtice desse digrafo possui grau de entrada igual ao grau de sada e que essa
propriedade mantida se eliminarmos todos os pares de arcos (u, v) e (v, u)
sucessivamente correspondentes a orientaes opostas de uma mesma aresta.
Ao final desse procedimento, obtemos um digrafo D0 euleriano pelo teo-
rema 1.7. Cada seo da trilha euleriana entre duas ocorrncias sucessivas de
arcos da forma ts corresponde a um dos k st-caminhos.
Teorema 3.5 Seja G = (V, E) um grafo, s, t V , s 6= t e st / E. O

nmero mximo de st-caminhos em G internamente disjuntos nos vrtices
igual ao nmero mnimo de vrtices em V \ {s, t} cuja remoo destroi todos
os st-caminhos.
Demonstrao. Anloga prova do teorema 3.3, mas usando o teorema 3.4 ao

invs do teorema 3.1.
A partir dos teoremas 3.1, 3.3, 3.4 e 3.5, seguem os seguintes corolrios.
Corolrio 3.6 Um digrafo D k-fortemente-arco-conexo se e somente se para
todo par de vrtices distintos v e w existem k caminhos orientados disjuntos
nos arcos de v a w.
Corolrio 3.7 Um digrafo D k-fortemente-conexo se e somente se para todo
par de vrtices distintos v e w existem k caminhos orientados internamente
disjuntos nos vrtices de v a w.
Corolrio 3.8 Um grafo G k-aresta-conexo se e somente se para todo par
de vrtices distintos v e w existem k caminhos disjuntos nas arestas de v a w.
Corolrio 3.9 Um grafo G k-conexo se e somente se para todo par de
vrtices distintos v e w existem k caminhos internamente disjuntos nos vrtices
de v a w.
3.2 2-conexidade e 2-aresta-conexidade
Seja G um grafo e H um subgrafo de G, um H-caminho em G um caminho P

em G no-trivial que intersecta H precisamente nos seus extremos. Dado um
grafo G e um subgrafo H G, uma H-orelha um H-caminho ou um circuito
em G onde exatamente um de seus vrtices pertence a H.
H H-caminho H-orelha
Figura 3.4: Exemplo de H-caminho e H-orelha.
Observao: Para diferenciar os dois tipos de H-orelhas h autores que

usam os termos "open ear"e "closed ear"quando um circuito.

Um vrtice v de um grafo G dito vrtice de corte de G se existe uma
partio de E(G) em dois conjuntos no-vazios A e B tal que se a A e b B
so arestas adjacentes, ento ambas incidem em v.
No caso em que G um grafo simples, ento v vrtice de corte se e
somente se a remoo do vrtice v aumenta o nmero de componentes conexos.
Dada uma aresta e = xy de um grafo G, o grafo obtido pela subdiviso
da aresta e o grafo obtido de G pela remoo da aresta e, e pela adio de
um novo vrtice w vizinho a x e y.
e w
Figura 3.5: Exemplo de subdiviso da aresta e.
Dada uma aresta e = xy de um grafo G = (V, E), o grafo obtido pela

contrao da aresta e, denotado por G/e, o grafo obtido de G pela remoo
dos vrtices x e y, e pela adio de um novo vrtice ve vizinho aos vizinhos de x
e y em G x y. Dado um conjunto U V de um grafo G, o grafo obtido
de G pela contrao do conjunto de vrtices U , denotado por G/U , o
grafo obtido de G pela remoo dos vrtices de U , e pela adio de um novo
vrtice vU vizinho aos vizinhos dos vrtices de U em G U .
Mais formalmente, dado um conjunto de vrtices U V , o grafo G/U o
grafo (V 0 , E 0 ) onde
V 0 = (V \ U ) {vU } (vU / V (G)); e
E = {uv E : {u, v} U = } {vU w : existe x U tal que xw
0
E \ E(G[U ])}.
Observao: A contrao de uma aresta e = xy pode ser vista como um
caso especial de contrao de conjunto de vrtices U onde U = {x, y}.
G G/e
Figura 3.6: Exemplo de contrao da aresta e.
Teorema 3.10 Seja G um grafo com ao menos 3 vrtices. So equivalentes

a) G 2-conexo;
b) Quaisquer dois vrtices de G pertencem a um circuito comum;
c) Quaisquer duas arestas de G pertencem a um circuito comum;
d) G pode ser construdo a partir de um circuito (no um lao) com a adio
sucessiva de H-caminhos a grafos H j construdos (decomposio em
orelhas que prpria).
Demonstrao. (a b) Consequncia direta do teorema 3.5.

(b c) Se e e f so duas arestas, subdivida cada uma em duas e observe
que o grafo resultante G0 2-conexo (pois no possui vrtice de corte). Portanto,
como a b, ento G0 contm um circuito com ambos os vrtices novos, o que
significa que G possui um circuito contendo as duas arestas.
(c d) Seja G0 G um subgrafo construdo como no item d com o maior
nmero de arestas possvel. Se G0 = G, no h o que fazer.
Suponha ento que G0 um subgrafo prprio de G.
Vamos mostrar que todo vrtice v de G est em G0 . Suponha, por absurdo,
que no e tome em G um circuito C envolvendo uma aresta adjacente a v e
alguma aresta de G0 (existe devido a c). Tome ento o caminho maximal nas
arestas de (G G0 ) C que contm ve contm no mximo dois vrtices em G0 .
Ele um G0 -caminho (note que a presena de uma aresta de G0 em C garante
que h mais de um vrtice de G0 em C), o que contradiz a maximalidade de G0 .
Logo todo vrtice de G est em G0 .
Mas ento G0 um subgrafo gerador de G, isso significa que toda aresta
de G0 que no aresta de G um G0 -caminho, novamente contradizendo a
maximalidade de G0 .
(d a) Consequncia direta da construo de G: para desconectar G
necessrio remover ao menos dois vrtices (isso verdade em um circuito e
permanece verdade com a adio sucessiva de H-caminhos a G).
Teorema 3.11 Seja G um grafo com ao menos 3 vrtices. So equivalentes:

(a) G 2-aresta-conexo;
(b) Para quaisquer dois vrtices de G existem dois caminhos arestas-disjuntos
ligando-os;
(c) G conexo e qualquer aresta de G pertence a um circuito;
(d) G pode ser construdo a partir de um vrtice com a adio sucessiva
de H-orelhas a grafos H j construdos (decomposio em orelhas).
(e) G pode ser construdo a partir de um circuito acrescentando sequencial-
mente arestas (podem ser laos) e subdividindo arestas;
Demonstrao. (a b) Consequncia direta do teorema 3.4.

(b c) Certamente todo par de vrtices est conectado, logo G conexo.
Alm disso, se xy aresta de G, ento h dois caminhos disjuntos nas
arestas entre x e y. Certamente um deles, digamos P , no usa a aresta xy.
Mas ento o circuito formado pela adio da aresta xy a P possui a aresta xy.
(c d) Seja G0 G um subgrafo construdo como no item d com o maior
nmero de arestas possvel. Se G0 = G, no h o que fazer.
Suponha ento que G0 um subgrafo prprio de G.
Vamos mostrar que todo vrtice v de G est em G0 . Suponha, por absurdo,
que no e tome em G um circuito C envolvendo uma aresta adjacente a v(existe
devido a c). Tome ento a trilha maximal nas arestas de (G G0 ) C que
contm ve contm no mximo dois vrtices de G0 (note que tal trilha pode
ser o circuito inteiro). Ela uma G0 -orelha, o que contradiz a maximalidade
de G0 .
Logo todo vrtice de G est em G0 .
Mas ento G0 um subgrafo gerador de G, isso significa que toda aresta
de G0 que no aresta de G um G0 -caminho (e consequentemente, uma G0 -
orelha), novamente contradizendo a maximalidade de G0 .

(d e) Basta observar que cada orelha da decomposio de G pode ser
obtida adicionando uma aresta e subdividindo-a sucessivamente.
(e a) Consequncia direta da construo de G: para desconectar G
necessrio remover ao menos duas arestas (isso verdade em um circuito e
permanece verdade com a adio sucessiva de arestas a G e com a subdiviso
de arestas de G).
Teorema 3.12 (Lovsz). Um grafo G hipoemparelhvel se e somente se G

tem uma decomposio em orelhas mpares, i.e. G pode ser obtido a partir de
um vrtice com a adio sucessiva de H-orelhas com nmero mpar de arestas
a grafos H j construdos.
Demonstrao. Suponha que G um grafo hipoemparelhvel com menor n-

mero de arestas o possvel que no pode ser obtido pelo procedimento do
teorema. Observe que G conexo com um nmero mpar de vrtices (pois
a remoo de qualquer vrtice de G deve resultar em um grafo com apenas
componentes conexos com nmero par de vrtices) e certamente G no possui
apenas um vrtice.
Como G hipoemparelhvel, temos que DG = V (G) na decomposio de
EdmondsGallai (teorema 2.9).
Seja M um emparelhamento mximo em G e observe que h apenas um
vrtice v em G que no coberto por M . Como DG = V (G), sabemos que,
se rodarmos o algoritmo da seo 2.5, obteremos sequncias G0 , G1 , . . . , Gn ,
B0 , B1 , . . . , Bn1 e M0 , M1 , . . . , Mn tais que G0 = G, M0 = M , Gn possui
apenas um vrtice e, para todo i < n, Bi um Mi -boto, Gi+1 = Gi /Bi
e Mi+1 = Mi /Bi .
Observe que, para todo i < n, temos que Gi hipoemparelhvel e que h
apenas um vrtice em Gi , digamos vi descoberto em Mi . Isso significa que,
para todo vrtice ti em Gi existe um caminho Mi -alternante Pti ,i de vi a ti
em Gi de comprimento par.
Observe tambm que, para todo i < n, temos que cada caminho Mi+1 -
alternante em Gi+1 com incio em vi+1 corresponde a um caminho Mi -alternante
em Gi com incio em vi .
Vamos provar que, para todo i < n, temos Gi [V (Bi )] = Bi .
Suponha que no, isto , suponha que existe uma aresta e G[V (Bi )] \
E(Bi ), e note que todo caminho Mi+1 -alternante de Gi+1 pode ser transformado
em um caminho Mi -alternante de Gi e.
Mas ento, a existncia dos caminhos Pti+1 ,i+1 garante que, para todo
vrtice ti de Gi existe um caminho Mi -alternante em Gi e de comprimento
par de vi a ti , isso significa que Gi e hipoemparelhvel.
Tome ento uma aresta f de G responsvel pela existncia de e em Gi
e observe que, como Gi e hipoemparelhvel, temos que G e hipoem-
parelhvel. Pela minimalidade de G, sabemos que G e pode ser obtido
pelo procedimento descrito no teorema, mas e forma uma (G e)-orelha de
comprimento mpar, contradizendo a escolha de G.
Logo, para todo i < n, temos Gi [V (Bi )] = Bi .
Vamos provar agora que, para todo i < n, no existem arestas distintas e
e f em Gi que correspondem a uma mesma aresta de Gi+1 .
Suponha que no e observe que {e, f } Mi = . Alm disso, observe que e
e f tm de ser adjacentes com suas pontas distintas no boto Bi . Novamente
a existncia dos caminhos Pti+1 ,i+1 garante que, para todo vrtice ti de Gi

existe um caminho Mi -alternante em Gi e de comprimento par de vi a ti ,
isso significa que Gi e hipoemparelhvel.
Mais uma vez, tome ento uma aresta g de G responsvel pela existncia
de e em Gi e observe que, como Gi e hipoemparelhvel, temos que G e
hipoemparelhvel. Pela minimalidade de G, sabemos que G e pode ser
obtido pelo procedimento descrito no teorema, mas e forma uma (G e)-orelha
de comprimento mpar, contradizendo a escolha de G.
Para todo i < n, seja ui o vrtice de Gi+1 proveniente da contrao de Bi .
Certamente n > 1, caso contrrio G seria um circuito mpar (pois seria
um boto), que pode ser obtido pelo procedimento descrito no teorema. Isso
significa que, para todo i < n 1, o vrtice ui possui grau pelo menos dois
em Gi+1 e certamente un2 possui grau dois em Gn1 . Seja ento i0 o menor i
tal que ui possui grau igual a 2 em Gi+1 .
Como no h duas arestas em Gi0 correspondentes a uma mesma aresta
de Gi0 +1 e Gi0 [Bi0 ] = Bi0 , sabemos que Bi0 possui exatamente dois vrtices,
digamos r1 e r2 de grau trs em Gi0 . Note que um desses vrtices no coberto
por Mi0 E(Bi0 ) e, sem perda de generalidade, suponha que esse vrtice r1 .
Como Bi0 um circuito mpar, existe um caminho Q de r1 a r2 em Bi0 de
comprimento mpar.
Observe que ui0 pertence a um boto Bj tal que j > i0 , logo existe um
caminho Mi0 +1 -alternante R de comprimento mpar em Gi0 +1 de vi0 +1 a ui0 .
Sabemos que R corresponde a um caminho Mi0 -alternante R de comprimento
mpar em Gi0 de vi0 a r2 .
Considere ento o grafo G0 = G(V (Q)\{r1 , r2 }) e vamos mostrar que para
todo vrtice t0 de G0 , existe um caminho Mi0 -alternante em G0 de comprimento
par de vi0 a t0 .
Caso 1. t0 V (Gi0 +1 ). Nesse caso consideramos Pt0 ,i0 +1 e observamos que
esse caminho corresponde a o caminho desejado em G0 , usando o caminho Q
para passar por Bi0 se necessrio.
Caso 2. t0 est no grafo H = Bi0 (V (Q) \ {r1 , r2 } e est a uma distncia
par em H de r1 . Observe que o caminho testemunha dessa distncia par um
caminho Mi0 -alternante. Por outro lado, sabemos que Pr1 ,i0 no usa nenhum
vrtice de Q r1 . Logo a concatenao desses dois caminhos gera o caminho
desejado.
Caso 3. t0 est no grafo H = Bi0 (V (Q) \ {r1 , r2 } e est a uma distncia
mpar em H de r1 . Isso significa que t0 tambm est a uma distncia mpar
de r2 em H. Observe que o caminho testemunha dessa distncia par a r2
um caminho Mi0 -alternante. Por outro lado, sabemos que R no usa nenhum
vrtice de Q r2 . Logo a concatenao desses dois caminhos gera o caminho
desejado.
Portanto, para todo vrtice t0 de G0 , existe um caminho Mi0 -alternante
em G0 de comprimento par de vi0 a t0 . Isso significa que G0 hipoemparelhvel
e, pela minimalidade de G, sabemos que G0 pode ser obtido pelo procedimento
descrito no teorema, mas Q forma uma (G0 )-orelha de comprimento mpar,
contradizendo a escolha de G.
Para provar a recproca, observe primeiramente que, como um vrtice (K1 )
hipoemparelhvel, basta provar que a adio de uma G-orelha a um grafo G
hipoemparelhvel preserva essa propriedade.
Ento seja G um grafo hipoemparelhvel e G0 um grafo obtido a partir
de G atravs da adio de uma G-orelha P com extremos u e w em G (esses
vrtices podem ser iguais).

Seja M um emparelhamento mximo em G e seja v o nico vrtice de G
descoberto em M . Seja M 0 = M M onde M o maior emparelhamento
em P que deixa u e w descobertos.
Observe que M 0 emparelhamento mximo em G0 deixando apenas v
descoberto e vamos provar que, para todo vrtice t de G0 , existe um caminho M 0 -
alternante em G0 de comprimento par de v a t.
Caso 1. t vrtice de G. Ento, como G hipoemparelhvel, sabemos
que existe caminho M -alternante em G de comprimento par de v a t e esse
caminho tambm caminho M 0 -alternante em G0 .
Caso 2. t no vrtice de G. Ento t pertence a P e como P tem
comprimento mpar, ento t tem de estar a distncia par em P de um vrtice,
digamos r, dentre u e w. Seja Q o caminho testemunha dessa distncia par e
observe que Q M 0 -alternante.
Por outro lado, sabemos que r vrtice de G, ento, como G hipoempa-
relhvel, sabemos que existe caminho M -alternante R em G de comprimento
par de v a r. Da a concatenao de R com Q nos d o caminho desejado.
Portanto, para todo vrtice t de G0 , existe um caminho M 0 -alternante
em G0 de comprimento par de v a t, isso significa que G0 hipoemparelhvel.
Observao: Os teoremas a e 3.12 garantem que todo grafo hipoempare-

lhvel 2-aresta-conexo.
3.3 3-conexidade
Teorema 3.13 Se G 3-conexo e |V (G)| 5, ento G tem uma aresta tal

que G/ 3-conexo.
Demonstrao. Suponhamos, por absurdo, que o resultado no vale. Ento

para toda aresta = xy E(G), existe S V (G/) com |S| 2 tal
que G/ S desconexo.
Observe que a cardinalidade de tais S sempre dois, caso contrrio G no
seria 3-conexo, ou seja, G/ sempre 2-conexo.
Alm disso, o vrtice vxy resultante da contrao de pertence a S, caso
contrrio S seria subconjunto de V (G) e G S seria desconexo. Seja ento z
o vrtice de S que no vxy .
Observe que cada componente C de G0 S um subgrafo de G. Vamos
mostrar agora que C est ligada a todos os vrtices em {x, y, z} em G. Su-
ponha que C no est ligada a t {x, y, z}, ento a remoo de {x, y, z} \ t
desconecta C do resto do grafo G, o que contradiz sua 3-conexidade. Logo C
est ligada a todos os vrtices em {x, y, z}.
Considere E(G) e S 0 conjunto separador em G/ tais que a cardinali-
dade do menor componente de G/ S 0 a menor possivel e seja G0 = G/.
Seja C o menor componente conexo de G0 S 0 . Seja tambm v V (C)
um vizinho de z em G0 e = vz.
Vamos mostrar que C possui ao menos dois vrtices. Suponha que no
(i.e. V (C) = {v}) e considere o grafo G/. Como K(G/) = 2, sabemos
que G/ possui um conjunto separador S de cardinalidade dois que contm o
vrtice v proveniente da contrao de . Isso significa que o conjunto (S
z) \ v separador em G, contradizendo sua 3-conexidade. Logo C possui pelo
menos dois vrtices.

Observe agora que, como K(G/) = 2, sabemos que h um w V (G) tal
que S = {v, z, w} separador em G. Observe que todo componente de G/
est conectado a v em G. Mas ento qualquer componente de G/ que no
contm x (e consequentemente no contm y) est propriamente contido em C,
pois deve ser vizinho de v. Isso contradiz a escolha de (Figura 3.7).
C x

y
v

z
Figura 3.7: Exemplo de configurao dos componentes conexos de G na

demonstrao do Teorema 3.13.
Exerccio 3.3. Estudar o que acontece com o teorema acima caso a hip-
tese |V (G)| 5 seja removida. Em que momento(s) da demonstrao essa
hiptese foi usada?
Teorema 3.14 (Tutte, 1961). Um grafo 3-conexo se e somente se existe uma
sequncia G0 , G1 , . . . , Gn de grafos com as propriedades
(a) G0 = K 4 e Gn = G;
(b) Gi+1 tem uma aresta xy tal que d(x) 3, d(y) 3 e Gi = Gi+1 /xy,
para i < n.
Demonstrao. Se G um grafo 3-conexo, o teorema 3.13 nos garante que

podemos sucessivamente encontrar uma aresta que pode ser contrada mantendo
a 3-conexidade at chegar em um grafo com menos que cinco vrtices. Como o
nico grafo (a menos de isomorfismo) 3-conexo com menos que cinco vrtices
K4 , o resultado segue.
Suponha que temos uma sequncia G0 , G1 , . . . , Gn satisfazendo as hipteses
mencionadas e vamos provar que para todo i < n, Gi 3-conexo implica
que Gi+1 3-conexo.
Suponha que no e seja i < n o menor possvel tal que essa implicao
falsa. Sejam tambm x, y V (Gi+1 tais que Gi = Gi+1 /xy. Ento Gi+1
possui um conjunto separador S com no mximo dois elementos.
Certamente S {x, y} = 6 , caso contrrio, S seria conjunto separador
de Gi , contradizendo sua 3-conexidade. Por outro lado, se S = {x, y}, ento
o vrtice vxy resultante da contrao de xy vrtice separador em Gi , o que
tambm contradiria sua 3-conexidade.

Figura 3.8: Exemplo de splitting.
Portanto, sem perda de generalidade, podemos assumir que x S e y 6 S.

Seja Cy o componente conexo de y em Gi+1 S e observe que, como d(y) 3,
h ao menos um vrtice, digamos w, em Cy y. Mas isso significa que o
conjunto S x + vxy separa w do resto do grafo Gi , contradizendo sua 3-
conexidade.
Uma roda (wheel) um supergrafo G = (V, E) de Cn :

V = V (Cn ) {v}, e
E = E(Cn ) {uv : u V (Cn )},
onde v / V (Cn ).
Seja G um grafo e v V (G). Um spliting de v (em G) um grafo H tal
que:
1. V (H) = {v 0 , v 00 } (V (G) \ {v}),
2. E(H) {v 0 v 00 } (E(G) \ {e E(G) : e incide em v}),
3. dH (v 0 ) 3,
4. dH (v 00 ) 3, e
5. NG (v) = (NH (v 0 ) NH (v 00 )) \ {v 0 , v 00 }.
Observao: Um modo de generalizar o splitting notar que nessa
operao estamos trocando um vrtice por K2 . Podemos trocar um vrtice
por Kn , sob a restrio de cada vrtice novo apresentar grau mnimo maior do
que certo valor e a vizinhana deve ser distribuida entre os novos vrtices.
Teorema 3.15 (Tutte). (Wheel Theorem) Um grafo 3-conexo se e somente
se ele pode ser obtido a partir de uma roda repetidamente acrescentando-se
arestas ligando vrtices no-adjacentes e/ou aplicando a operao de splitting.
Demonstrao. Suponha que G um grafo 3-conexo que no pode ser obtido

a partir do procedimento descrito no teorema com o menor nmero de arestas
o possvel.
Certamente G possui pelo menos cinco vrtices, pois o nico (a menos de
isomorfismo) grafo 3-conexo com menos de cinco vrtices K4 . Mas ento o
teorema 3.13 nos garante que existe uma aresta em G tal que G0 = G/
3-conexo.
Seja v o vrtice de G0 proveniente da contrao de e observe que G0
possui menos arestas que G. Pela minimalidade de G, sabemos que G0 pode
ser obtido pelo procedimento descrito no teorema.
Porm G splitting de v em G0 , o que uma contradio.
Para provar a recproca, como a adio de arestas preserva a 3-conexidade
de um grafo, basta provar que a operao de splitting tambm preserva a 3-
conexidade de um grafo.
Ento sejam G um grafo 3-conexo, v um vrtice de G e H um splitting
de v em Ge suponha por absurdo que H no 3-conexo.
Ento existe um S conjunto separador de H de cardinalidade menor ou
igual a dois.

Certamente S {v 0 , v 00 } =
6 , caso contrrio, S tambm seria conjunto
separador em G. Alm disso, sabemos que S 6= {v 0 , v 00 }, caso contrrio, v seria
vrtice de corte em G. Finalmente, sabemos que S no possui apenas um
vrtice, caso contrrio, esse vrtice seria um dentre v 0 e v 00 , o que significaria
que v seria vrtice de corte em G.
Sem perda de generalidade, suponha que S = {v 0 , r}, com r 6= v 00 . Seja C
o componente conexo de v 00 em H. Observe que, como {v, r} no conjunto
separador de G, temos que H (S {v 00 }) conexo, o que significa que V (C) =
{v 00 }, mas isso um absurdo, pois v 00 possui grau pelo menos 3 em H, ou seja,
possui grau pelo menos 1 em C.
3.4 alta aresta-conexidade
Teorema 3.16 (Tutte). Se G um multigrafo 2k-aresta-conexo, ento G tem k

rvores geradoras disjuntas nas arestas.
3.5 exerccios
Nos exerccios seguintes, suponha que os grafos considerados so simples.

Exerccio 3.4. Prove que se G um grafo 2-conexo com ao menos 4 vrtices,
ento para toda aresta f de G temos que G f 2-conexo ou G/f 2-conexo.
Exerccio 3.5. Prove que se G um grafo 2-conexo tal que (G) 3, ento G
tem um vrtice v tal que G v 2-conexo.
Exerccio 3.6. Seja G um grafo 2-conexo tal que G s t desconexo para
quaisquer dois vrtices no-adjacentes s, t. Prove que G um circuito.
Exerccio 3.7. Sejam G = (V, E) um grafo e s, t dois vrtices de G que distam d.
Suponha que, para todo S V \ {s, t} tal que |S| < k, existe em G S um
caminho entre s e t, de comprimento d. Mostre que em G existem k caminhos
entre s e t, todos de comprimento d, que so vrtice-disjuntos exceto pelos
extremos.
Exerccio 3.8.
a) Estude o Teorema de Mader sobre H-caminhos (veja Seo 3.4 do livro do
Diestel [Die05]).
Teorema 3.17 Dado um grafo G = (V, E) e um subgrafo induzido H
de G. O maior nmero de H-caminhos internamente vrtice-disjuntos o
menor valor MG (H) de
X 1
|X| + |(C)| ,
CCF
2
onde X V \ V (H) e F E(G V (H) X so tomados de forma que

todo H-caminho contm pelo menos um vrtice de X ou uma aresta de F e
onde CF o conjunto de componentes conexas do grafo (V \ (V (H) X), F
e (C) o conjunto de vrtices de C com vizinhos em G X V (C).
b) Prove o Teorema de Tutte (que caracteriza grafos com emparelhamentos
perfeitos) usando o Teorema de Mader. Sugesto: Veja o Exerccio 19 do
Captulo 3 do livro do Diestel [Die05].
Exerccio 3.9. Exiba um grafo tal que quaisquer 3 de seus vrtices pertencem a
um mesmo circuito, e que tenha 4 vrtices que no pertencem a um mesmo
circuito.

notas do captulo 3


4 planaridade
Um grafo G = (V, E) dito planar se pode ser desenhado no plano de forma

que suas arestas se interceptam apenas nos extremos. Um tal desenho no plano
chamado uma imerso plana ou representao plana ou um mapa de G.
Dizemos tambm que G imersvel no plano (embeddable in the plane).
Um grafo plano um grafo planar que est imerso no plano.
(a) Mapa no plano de K4 (b) Mapa de K4
Figura 4.1: Exemplos de representaes de K4 no plano.
Seja G um grafo plano. Ao remover do plano as curvas e os pontos de seu

mapa que representam as arestas e os vrtices G, as regies conexas obtidas
so ditas faces. Observe que exatamente uma face ilimitada. Esta face
chamada de face externa (ou infinita).
O conjunto das arestas no fecho de uma face F de um grafo G dito a
fronteira de F . Um circuito de um grafo plano chamado circuito facial
se uma fronteira de uma face. Dizemos que duas imerses planas so
equivalentes se a fronteira de uma face em uma imerso sempre corresponde
fronteira de uma face em outra imerso.
Exemplo 4.1 O grafo da Figura 4.2 possui duas representaes que no so
equivalentes.
Figura 4.2: Apenas um dos mapas acima possui um circuito facial com 6
arestas.
Se todas as imerses planas de G so equivalentes, dizemos que G tem uma
nica imerso plana.
Exemplo 4.2 O grafo completo em 4 vrtices tem uma nica imerso plana
(Figura 4.3).
O seguinte resultado ser usado na prova do teorema de Kuratowski 4.14.
Uma demonstrao deste resultado pode ser encontrada em [NC88].
Teorema 4.3 (Nishizeki & Chiba, 1988 [NC88]). Se G um grafo planar 2-
conexo e G no um circuito, ento G tem uma nica imerso plana se e
somente se G uma subdiviso de um grafo 3-conexo ou de um K4 e.
Demonstrao. Primeiramente vamos provar que se G um grafo 2-conexo

planar que no nem um circuito, nem uma subdiviso de um grafo 3-conexo,

Figura 4.3: Dois mapas equivalentes de K4
nem de um K4 e, ento G possui duas imerses no plano no-equivalentes.

Para isso, faremos o uso de multigrafos.
Seja o multigrafo no conjunto de vrtices {x, y} e com trs arestas paralelas
ligando x a y. Observe que K4 e uma subdiviso de . Aqui dizemos que um
multigrafo G bom se G 2-conexo, no um circuito, no uma subdiviso
de um grafo 3-conexo e no uma subdiviso de . Note que se G um grafo
(sem arestas paralelas) bom, ento G no uma subdiviso de K4 e.
Suponha que a proposio no verdadeira. Seja G um contraexemplo
minimo para a proposio. Isto , o multigrafo G bom, possui apenas uma
imerso planar e contm o menor nmero possvel de vrtices.
Observe que se G possui um lao ento G tem um vrtice de corte ou
um circuito. Afirmamos tambm que G no contm vrtices de grau 2. Caso
contrrio, seja x um vrtice de grau 2 e seja y um vizinho de x em G. Considere
o multigrafo G0 obtido de G pela contrao da aresta xy (aqui permitimos
arestas paralelas). Observe que G0 possui k imerses planas no-equivalentes se
e somente se G possui k imerses planas no-equivalentes. Logo temos que G0
um contraexemplo para a proposio com menos vrtices que G.
Se G possui apenas dois vrtices, ento G possui pelo menos 4 arestas (pa-
ralelas). Caso contrrio, temos que G um circuito ou G isomorfo a .
Claramente G possui pelo menos duas imerses planas no-equivalentes. Ana-
logamente, se G possui trs vrtices, ento G possui pelo menos cinco arestas
e, portanto, possui pelo menos duas imerses planas no-equivalentes.
Suponha que G possui pelo menos quatro vrtices. Como G no 3-conexo,
ento G possui um conjunto de corte S de tamanho 2, digamos S = {x, y}.
Seja H um componente de G, e sejam H1 = G[V (H) S] e H2 = G V (H).
Considere uma imerso plana I de G. Considere as imerses planas I1
e I2 de H1 e H2 , respectivamente, induzidas por I. Seja f1 a fronteira da
face externa de H1 em I1 , e f2 a fronteira da face externa de H2 em I2 . Note
que x, y V (f1 ) e x, y V (f2 ). Podemos escrever f1 = P1 Q1 e f2 = P2 Q2 ,
onde P1 , Q1 , P2 , Q2 so caminhos com extremos em x e y.
Podemos supor, sem perda de generalidade, que a fronteira da face externa
de G em I P1 P2 . Alm disso, sabemos que P2 est no interior do circuito P1
Q2 e Q1 est no exterior do circuito P1 Q2 . Assim, temos que P1 Q2 no
face em I. Podemos refletir a imerso de H2 de forma a obter uma imerso
plana de G com P1 Q2 como face externa. Isso garante que a imerso plana
obtida diferente de I. Logo G possui duas imerses planas no-equivalentes.
Seja G um grafo planar 2-conexo diferente de um circuito. Precisamos
mostrar que se G uma subdiviso de um grafo 3-conexo, ou uma subdiviso
de K4 e, ento G admite uma nica imerso planar. Essa afirmao bvia
no caso em que G uma subdiviso de K4 e.

Suponha que G um grafo 3-conexo. Note que qualquer subdiviso de G
tem o mesmo nmero de imerses planas no-equivalentes que G. Suponha
que G um grafo planar que admite pelo menos duas imerses planas I1 , I2 .
Existe circuito C em G que uma face em I1 , mas no face em I2 . Seja G0 o
subgrafo de G induzido pelas arestas imersas no interior de C em I2 .
Se G0 no contm vrtices diferentes dos vrtices de C, ento G0 um con-
junto de pontes de C e, portanto, contm pelo menos uma aresta, digamos xy,
com x, y V (C). Tome P1 , P2 os dois caminhos em C com extremos em x
e y. Sejam v1 , v2 dois vrtices diferentes de x e y em P1 e P2 , respectivamente.
Afirmamos que G x y desconexo. Caso contrrio, existe caminho Q
conectando v1 e v2 usando arestas que esto fora de C em I2 . Como C uma
face, digamos interna, em I1 , o caminho Q deve cruzar e e, portanto, temos
que I1 no uma imerso no plano.
Suponha ento que G0 contm um vrtice v1 / V (C). Podemos supor
que G V (G0 ) V (C) contm pelo menos um vrtice v2 , caso contrrio
cairamos no caso anterior. Como G 3-conexo, existem pelo menos 3 caminhos
disjuntos nos vrtices conectando v1 a v2 , digamos Q1 , Q2 , Q3 . Sejam x1 , x2 , x3
os vrtices de Q1 , Q2 , Q3 em V (C), respectivamente, mais prximos de v1 .
Para cada i = 1, 2, 3 seja Ai a seo de Qi entre v1 e xi , e Bi a seo de Qi
entre xi e v2 . Considere a imerso I10 de H = C A1 A2 A3 induzida
por I1 . Seja R = {v1 , x1 , x2 , x3 }. Observe que H uma subdiviso de K4 ,
e seus vrtices de grau 3 so precisamente os vrtices de R. Cada um dos
vrtices em R, portanto, est contido em 3 faces de I10 , e cada uma das faces
de I10 no contm exatamente um dos vrtices de R. Seja F a face de I10 que
contm o vrtice v2 em seu interior. Como C uma face em I1 , no h vrtices
no interior de C em I1 e, portanto, no h vrtices no interior de C em I10 .
Assim, a face que contm v2 no C e, portanto, temos v1 V (F ). Suponha,
sem perda de generalidade, que A1 , A2 F e, portanto, temos que F no
contm x3 . Como B3 liga v2 a x3 , temos que B3 deve conter algum vrtice
de F . Como Q1 , Q2 e Q3 so disjuntos nos vrtices, temos que se B3 contm
algum vrtice z em F , ento z est em C, mas ento B3 deve passar pelo
interior de C. Logo, temos que I1 no uma imerso no plano.
Portanto todo grafo 3-conexo planar possui uma nica representao no
plano.
Corolrio 4.4 Se G um grafo planar 3-conexo, ento G tem uma nica

imerso plana.
Teorema 4.5 (Euler, 1750 Frmula de Euler). Seja G um grafo plano conexo,
e sejam n o nmero de vrtices de G, m o nmero de arestas de G, e f o
nmero de faces de G. Temos que n m + f = 2.
Demonstrao. Fixe n arbitrrio e vamos provar o teorema por induo em m.

O menor valor possvel para m n 1. Nesse caso, o grafo G uma rvore,
ento m = n 1 e f = 1 (a face externa), logo n m + f = 2.
Suponha ento que G possui m > n 1 arestas e que a assero vlida
para m 1.
Seja e uma aresta de G que no ponte e observe que em uma imerso
plana I de G, a aresta e est na fronteira de duas faces distintas.
Considere G0 = G e e a imerso plana I 0 de G0 induzida por I e observe
que I 0 possui uma face a menos que I.

Logo, pela hiptese de induo para G0 , temos
nm+f = |V (G)||E(G)|+|F (I)| = |V (G0 )|(|E(G0 )|+1)+|F (I 0 )+1) = 2.
Corolrio 4.6 Seja G um grafo planar simples com n vrtices e m arestas,

tal que n 3. Temos que m 3n 6.
Corolrio 4.7 Todo grafo planar simples tem um vrtice de grau no mximo 5.
Exerccio 4.1. Seja ` a cintura de um grafo planar, e sejam n e m seus nmeros
de vrtices e arestas, respectivamente. Mostre que
`
m (n 2).
`2
Em particular, mostre que m 2n 4 quando tal grafo bipartido.
Corolrio 4.8 Os grafos completos K5 e K3,3 no so planares.

Exerccio 4.2. Seja G um grafo planar de n vrtices e cintura `. Mostre que
existe um vrtice v V (G) com grau
`(n 2)

d(v) 2 .
n(` 2)
Exerccio 4.3. Verifique que todo subgrafo prprio de K5 e de K3,3 planar.
4.1 menores
Sejam X e G dois grafos. Se o conjunto {Vx : x V (X)} uma partio

de V (G) tal que G[Vx ] conexo para todo x V (X), e se para quaisquer dois
vrtices x, y em X, existe uma aresta de Vx para Vy em G se e somente se xy
E(X), ento dizemos que G um M X. Denotamos por M X a classe dos
grafos com essa propriedade. Por abuso de notao, podemos dizer G = M X,
quando G M X. Os conjuntos Vx (x V (X)) so chamados branch sets
dessa M X. Intuitivamente, X pode ser obtido de G pela contrao de cada
branch set. A proposio a seguir mostra que, neste caso X tambm pode ser
obtido por uma sequncia de contraes de arestas.
Proposio 4.9 O grafo G um M X se e somente se X pode ser obtido
de G por uma sequncia de contraes de arestas, isto , se e somente se
existem grafos G0 , . . . , Gp e arestas ei E(Gi ) tais que G0 = G, Gp
= X
e Gi+1 = Gi /ei para todo i < p.
Demonstrao. Por induo em |V (G)| |V (X)|.
Se G = M X um subgrafo de um grafo Y , dizemos que X um menor

de Y e denotamos por X Y . Pela proposio 4.9, todo menor de um grafo G
pode ser obtido de G pela remoo de vrtices e arestas seguida da contrao de
arestas. Reciprocamente, todo grafo obtido de um grafo G atravs de remoes
e contraes de arestas (em qualquer ordem) um menor de G.

4.2 menores topolgicos
Se G pode ser obtido do grafo X a partir de uma srie (possivelmente vazia) de

subdivises de arestas, dizemos que G uma subdiviso de X. Denotamos
por T X a classe dos grafos isomorfos a subdivises de X. Por abuso de notao,
podemos dizer G = T X, quando G T X. Se G = T X um subgrafo de
um outro grafo Y , ento dizemos que X um menor topolgico de Y e
denotamos por X t Y .
Dados os grafos X, G e H, dizemos que G homeomorfo a H se existe
um grafo X tal que G e H so ambos T X.
Proposio 4.10 A relao homeomorfo a uma relao de equivalncia
sobre a classe dos grafos.
Assim, a classe de todos os grafos pode ser particionada de modo que dois
grafos G e H pertenam mesma parte quando so homeomorfos.
Exerccio 4.4.
(i) Todo T X um M X. Logo, todo menor topolgico de um grafo G um
menor de G.
(ii) Se (X) 3 ento todo M X contm um T X. Logo, todo menor de grau
mximo no maior que 3 de um grafo G tambm um menor topolgico
de G.
Exerccio 4.5. A relao menor (X um menor de Y ) e a relao menor
topolgico t (X um menor topolgico de Y ) so relaes de ordem par-
ciais sobre a classe dos grafos finitos (isto , so reflexivas, anti-simtricas e
transitivas).
Exerccio 4.6. Prove que a relao de menor topolgico no anti-simtrica se
considerarmos grafos infinitos.
Proposio 4.11 Um grafo contm K5 ou K3,3 como menor se e somente

se contm K5 ou K3,3 como menor topolgico
Observao 4.12 No verdade que no ter K5 como menor equivalente
a no ter K5 como menor topolgico.
Demonstrao. Se G contm K5 ou K3,3 como menor topolgico, ento o Item i

do Exerccio 4.4 garante que G contm K5 ou K3,3 como menor.
O Item ii do Exerccio 4.4 garante que se G contm K3,3 como menor
ento G contm K3,3 como menor topolgico. Assim, nos resta provar que se G
contm K5 como menor, ento G contm K5 ou K3,3 como menor topolgico.
Suponha que G K5 . Seja H G um subgrafo minimal de G tal
que H K5 . Neste caso, todo branch set de H induz uma rvore em H, e
entre quaisquer dois branch sets h exatamente uma aresta.
Seja Vx o branch set correspondente a x K5 . Seja Tx a rvore ob-
tida tomando-se a subrvore de H induzida por Vx acrescida de 4 arestas,
correspondentes s 4 arestas que ligam Vx a cada um dos outros branch sets.
Se Tx t K1,4 para todo branch set Vx , ento segue que H t K5 . Se
algum Tx no contm K1,4 como menor topolgico, ento tem exatamente 2
vrtices de grau 3 em Vx . Contraindo Vx a esses 2 vrtices, e todo outro branch
set a um nico vrtice, obtemos um grafo com 6 vrtices que contm o K3,3
(Figura 4.4). Logo, G K3,3 , e portanto G t K3,3 .

Figura 4.4: Grafo G aps contrado de acordo com a demonstrao.
O Teorema 3.13 e o Lema 4.13 sero usados na demonstrao do teorema

de Kuratowski.
Lema 4.13 Seja G um grafo e e uma aresta qualquer de G. Se G/e contm
uma subdiviso de K5 ou de K3,3 , ento G tambm contm uma subdiviso
de K5 ou de K3,3 .
Demonstrao. Seja e = xy e z o vrtice obtido pela identificao de x e y.

Seja H uma subdiviso de K5 ou de K3,3 contida em G/e. Se z 6= V (H),
ento H uma subdiviso de K5 ou de K3,3 contida em G. Suponha ento
que z V (H).
Seja H 0 um subgrafo de G tal que H 0 /e = H. Se z tem grau 2 em H,
ento claramente H 0 contm uma subdiviso de K5 ou de K3,3 . Podemos ento
assumir que o grau de z em H pelo menos 3. Se x ou y tem grau 2 em H 0 ,
ento H 0 tem uma subdiviso de K5 ou K3,3 . Se isso no ocorre, ento H
uma subdiviso de K5 e ambos x e y devem ter grau 3 em H 0 . Neste caso, H 0
tem uma subdiviso de K3,3 .
Exerccio 4.7. Se G um grafo 3-conexo com pelo menos 5 vrtices, ento G

contm uma aresta e tal que G e uma subdiviso de um grafo 3-conexo.
(Veja pp 231 em [Tho81]).
4.3 caracterizaes de grafos planares
Dado um grafo planar G imediato que todo subgrafo de G tambm planar.

Isto , um grafo que obtido de um grafo planar atravs da operao de
remoo de um vrtice ou aresta tambm planar. Por outro lado, se H 0
uma subdiviso de um grafo no-planar, ento H 0 tambm no planar.
Portanto, nenhum grafo planar pode conter uma subdiviso de um grafo no-
planar. Assim, uma condio necessria para que um grafo G seja planar
que G no contenha uma subdiviso de K5 ne de K3,3 . Kazimierz Kuratowski
(1930) provou que esta condio tambm suficiente para G ser planar.
Teorema 4.14 (Kuratowski, 1930). Um grafo G planar se e somente se G
no contm uma subdiviso de K5 ou K3,3 .
Este resultado foi descoberto independentemente por Frink & Smith e
Pontrjagin, e a verso do teorema restrita a grafos cbicos foi descoberta
independentemente por Menger (em 1930) (Veja [Tho81]).
O teorema de Kuratowski apresenta uma caracterizao de grafos planares
em termos de um nmero essencialmente finito de subgrafos proibidos. Assim,
ocupa uma posio de destaque entre os critrios de planaridade conhecidos, no
apenas pela sua beleza e simplicidade, mas tambm porque implica facilmente
o critrio de planaridade de MacLane (1937) e o de Whitney (1932), alm
de outros. Diferentemente de outros critrios de planaridade, fornece uma

caracterizao til de grafos no planares, pois aparentemente quase todas
as provas conhecidas do teorema podem ser transformadas em algoritmos
polinomiais para testar planaridade de grafos. Hopcroft & Tarjan [HT74]
desenvolveram um algoritmo linear para testar planaridade.
Um grafo conexo sem vrtices-de-corte chamado bloco. Um bloco de
um grafo um subgrafo que um bloco e maximal com relao a essa
propriedade.
Figura 4.5: Grafo com 6 blocos: trs K2 , circuitos C3 e C4 e um bloco com 5

vrtices. Blocos so grafos conexos sem vrtices de corte.
Demonstrao do Teorema de Kuratowski, veja [NC88]. Provaremos por indu-

o em n = |V (G)| que se G no contm uma subdiviso de K5 ou K3,3 ento G
planar. Como K5 e planar para qualquer aresta e em K5 , a afirmao
verdadeira se n 5. Suponha ento que G tem n 6 vrtices e que a
afirmao verdadeira para grafos com menos de n vrtices. Dividimos a prova
em dois casos dependendo se G ou no 3-conexo.
Suponha que G no 3-conexo. imediato que um grafo planar se e
somente se cada um de seus blocos (subgrafos 2-conexos maximais) planar;
Podemos ento assumir que G seja 2-conexo. Neste caso, G tem um par-
separador {x, y}.
Seja H1 uma componente de G {x, y} e H2 = G {x, y} V (H1 ).
Tome G1 = G V (H1 ) e G2 = G V (H2 ). Claramente G1 e G2 tm menos
vrtices do que G, e tambm no contm subdivises de K5 e nem de K3,3 .
Logo, pela hiptese de induo, G1 e G2 so planares. Alm disso, ambos tm
uma imerso plana na qual a aresta xy pertence fronteira da face externa.
Estas duas imerses planas podem ser acopladas em x e y de modo a produzir
uma imerso plana de G. Portanto, G planar.
Suponha ento que G 3-conexo. Pelo teorema 3.13 conclumos que G
tem uma aresta e = xy tal que G/e 3-conexo. Seja z o vrtice obtido
indentificando-se os vrtices x e y. Pelo lema 4.13, G/e no contm uma
subdiviso de K5 e nem de K3,3 e, portanto, pela hiptese de induo, G/e
planar. Considere um mapa de G/e e o subgrafo G0 = G/e z. Como G/e
3-conexo, o corolrio 4.4 garante que sua imerso plana nica.
Seja F a face do grafo plano G0 tal que em G/e contm o vrtice z em
seu interior, e seja C o circuito facial que a fronteira da face F . imediato
que todos os vizinhos de x ou y, exceto eles prprios, devem pertencer a C.
Sejam x1 , x2 , . . . , xk os vizinhos de x que ocorrem em C em ordem cclica,
e seja Pi o caminho em C de xi a xi+1 (onde xk+1 = x1 ) que no contm
nenhum xj , com j 6= {i, i+1}. Se um destes caminhos contm todos os vizinhos
de y diferentes de x, ento uma imerso plana de G pode ser obtida a partir
da imerso de G/e, donde segue que G planar (Figura 4.6a).

Analisemos ento o caso em que nem todos os vizinhos de y, exceto x,
esto contidos em um nico dos caminhos Pi . Como y tem 3 ou mais vizinhos
incluindo x, h 3 possibilidades:
(a) y tem 3 ou mais vizinhos em {x1 , . . . , xk } (Figura 4.6b);
(b) y tem um vizinho u em Pi {xi , xi+1 } para algum i e um vizinho v no
pertencente a Pi (Figura 4.6c);
(c) y tem 2 vizinhos xi e xj tais que |i j| = 6 1 (Figura 4.6d).
No caso (a) o subgrafo de G induzido pelos vrtices de C juntamente com x
e y contm uma subdiviso de K5 . Nos casos (b) e (c), o subgrafo de G induzido
pelos vrtices de C juntamente com x e y contm uma subdiviso de K3,3
(Veja figura 4.6).
x4 x1 x4 x1
x x
y y
x9 x9
x8 x8
(a) Caso planar. (b) Caso a.
x4 x1 x4 x1
x x
y y
x9 x9
x8 x8
(c) Caso b. (d) Caso c.
Figura 4.6: Diferentes casos da demonstrao do Teorema de Kuratowski.
O teorema de Wagner segue como corolrio do teorema de Kuratowski.

Teorema 4.15 (Wagner, 1937). Um grafo G planar se e somente se G no
contm K5 nem K3,3 como menores.
Demonstrao. Basta usar o teorema de Kuratowski e a proposio 4.11.
Caracterizao de MacLane
Dado um grafo G = (V, E), um ciclo de G um subgrafo de G cujos vrtices
possuem todos grau par. Seja EG o conjunto dos subconjuntos de E. O

par (EG , 4) um espao vetorial sobre GF2 = {0, 1}, onde a operao 4 a
diferena simtrica, definida por
F1 4F2 = (F1 \ F2 ) (F2 \ F1 ).
Assim, podemos ver um subconjunto de arestas F de E como seu vetor

caracterstico F {0, 1}m , onde Fi = 1 se e somente se ei F .
O subespao (CG , 4) de (EG , 4) gerado pelos circuitos de G dito o espao
dos ciclos de G. Afirmamos que se G conexo, ento a dimenso de CG
dim(CG ) = m n + 1. Para observar isso, fixe uma rvore geradora T de G.
Para cada e E \ E(T ) seja Ce o circuito fundamental de e com respeito a T .
O conjunto B = {Ce | e E \ E(T )} dos circuitos fundamentais com respeito
a T independente, isto , se C o circuito fundamental de e com respeito
a T , ento C o nico destes circuitos fundamentais que contm e e, portanto,
no pode ser gerado pelos demais circuitos em B. Vamos provar que B uma
base de CG .
Lema 4.16 Se T uma rvore geradora de G e Ce o circuito fundamental de e
com respeito a T , para cada e
/ E(G) \ E(T ), ento B = {Ce : e E \ E(T )}
uma base de CG .
Demonstrao. J vimos que os elementos de B so linearmente independen-

tes. Vamos provar que os elementos de B podem gerar qualquer ciclo H.
Suponha que E(H) = {e1 , . . . , ej , ej+1 , . . . , ek } e suponha que e1 , . . . , ej
E(T ), ej+1 , . . . , ek
/ E(T ).
Seja F = Cej+1 4Cej+1 4 4Cek . O subgrafo F G um ciclo e H4F
um ciclo tal que E(H4F ) E(T ). Mas T uma rvore. Logo, temos
que H4F = . Isto , H = F . Portanto, H pode ser gerado por B.
Uma base B de CG dita uma 2-base de G se cada aresta de G pertence

a no mximo 2 elementos de B. Se G planar, ento G tem uma 2-base.
Basta considerar uma imerso plana de G e tomar os circuitos faciais dessa
imerso, excluindo a face externa. Note que, pela frmula de Euler, h
precisamente m n + 1 tais circuitos.
Iremos mostrar que se G no planar, ento G no tem uma 2-base. O
teorema de Kuratowski 4.14 garante que se G no planar, ento G contm
uma subdiviso de K5 ou de K3,3 . O seguinte lema nos reduz a prova para o
caso onde G uma subdiviso de K5 ou de K3,3 .
Lema 4.17 Seja G um grafo e seja f uma aresta de G. Se G tem uma 2-base,
ento G f tem uma 2-base.
Demonstrao. Seja B uma 2-base de G.

Se f for uma ponte de G, ento trivialmente B uma 2-base de G f .
Caso contrrio f est contida em um ou dois circuitos de B. Se f est
contida em apenas um circuito Cf de B, ento B \ {Cf } uma 2-base de G f .
Caso contrrio, seja B = {C1 , . . . , Ck } e suponha que f C1 , f C2 .
Seja C 0 = C1 4C2 e tome B 0 = B \ {C1 , C2 } {C 0 } e observe que esse conjunto
linearmente independente. Tambm sabemos que |B 0 | = |B|1 e, portanto, B 0
uma base de G f .
Exerccio 4.8. Em que momento na demonstrao acima foi usado a hiptese

de que G um grafo 2-aresta-conexo?

Lema 4.18 K5 no tem uma 2-base.
Demonstrao. Suponha que K5 tenha uma 2-base B. Ento |B| = 10 5 +

1 = 6. Suponha que B = {C1 , C2 , . . . , C6 }. Temos para todo i = 1, . . . , 6
que |Ci | 3. Logo, 6i=1 |Ci | 18. Como B uma 2-base, ento pelo menos 8
P
arestas pertencem a 2 circuitos. Seja C = C1 4C2 4C6 . Ento C tem no

mximo 2 arestas, uma contradio.
Corolrio 4.19 Se G uma subdiviso de K5 ento G no tem uma 2-base.

Exerccio 4.9. Prove que se G uma subdiviso de K3,3 ento G no tem
uma 2-base.
Corolrio 4.20 (Teorema de MacLane, 1937). Um grafo planar se e somente

tem uma 2-base.
Demonstrao. J vimos que se G planar, ento Gtem uma 2-base, ento

basta provar a recproca.
Seja ento G um grafo que possui uma 2-base e vamos provar que G planar.
Podemos assumir, sem perda de generalidade, que G 2-conexo. O lema 4.17
nos diz ento que todo subgrafo 2-aresta-conexo de G possui uma 2-base.
Portanto, como todo T K3,3 e todo T K5 2-aresta-conexo, ento G no pos-
sui K3,3 nem K5 como menores. Portanto pelo Teorema de Kuratowski 4.14, G
planar.
Caracterizao de Whitney
Seja G um grafo conexo. O subespao (DG , 4) de (EG , 4) gerado pelos
cortes (tambm chamados de cociclos). de G o espao dos cociclos de G.
Observe que qualquer corte (U ) onde U V (G) pode ser escrito como
a diferena simtrica dos cortes dos vrtices, isto : se U = {v1 , . . . , vk },
ento (U ) = (v1 )4 4(vk )
O conjunto dos cortes dos vrtices no linearmente independente pois (v1 ) =
(v2 )4 4(vn ), mas o conjunto {(v) | v V u} para cada u V uma
base de DG . Logo, dim(DG ) = n 1 e, portanto, temos que dim(DG ) +
dim(CG ) = m, que a dimenso do espao de arestas de G. Provamos abaixo
que DG ortogonal a CG .
Proposio 4.21 Os subespaos CG e DG so ortogonais.
Demonstrao. Basta usarmos o produto interno. Se F um corte e H um

ciclo, ento
m
hF, Hi = (XiF XiH ) = |F H| = 0
X
i=1
Uma vez que a interseo de um corte com um ciclo sempre um nmero par de
arestas, resta observar que o produto interno exatamente esta interseo. Isto
, XiF XiH = 1 se e somente se a aresta i est tanto em F quanto em H.
Note que, como dim CG + dim DG = dim EG , temos que:
CG = (DG ) e DG = (CG ) .
Dado um grafo plano G com conjunto de faces F EG , o dual geom-

trico de G, denotado por G , o multigrafo que tem F como conjunto de

vrtices e tal que para cada aresta e E contida nos circuitos faciais das
faces f1 , f2 F , existe uma aresta ge = f1 f2 E(G ) (Veja a Figura 4.7a).
A funo G : E(G) E(G ), definida por G (e) = ge uma bijeo natural
entre as arestas de G e G . Observe que o dual geomtrico de um grafo pode
conter laos e arestas paralelas, isto , se a aresta e E uma ponte em G,
ento ge um lao em G ; e se duas faces compartilham duas ou mais arestas
em G, estas arestas so paralelas em G (Veja a Figura 4.7b).
(a) Dual geomtrico do K4 (b) Arestas paralelas e laos
Figura 4.7: Exemplo de dual geomtrico.
Proposio 4.22 Se G um grafo plano e G o seu dual geomtrico, ento

C um ciclo (respectivamente cociclo) de G se e somente se G (C) um
cociclo (respectivamente ciclo) de G .
Um par de grafos G e Gc um par dual combinatrio se existe uma
bijeo E(G) E(Gc ) tal que C um ciclo de G se e somente se f (C) um
cociclo de Gc . Nesse caso, tambm dizemos que Gc um dual combinatrio
de G. imediato que se G planar, ento o par de grafos G e G um par
dual combinatrio.
Lema 4.23 Se G tem um dual combinatrio Gc , ento todo bloco de G possui
um dual combinatrio.
Demonstrao. Seja f uma bijeo entre E(G) e E(Gc ) que induz uma bijeo
entre ciclos de Ge cociclos de Gc .
Seja B um bloco de Ge H = Gc [f (E(B))]. imediato que f |E(B) leva
ciclos de B em cociclos de H.
Vamos mostrar que, para todo cociclo D de H, temos que D cociclo
de Gc .
Suponha que no e seja D0 um cociclo de Gc que contm D mas no
est contido em E(H). Certamente C = G[f 1 (D)] no um ciclo de G,
ento C possui pelo menos um vrtice de grau mpar. Podemos ento adicionar
sucessivamente arestas de f 1 (D0 ) a vrtices de grau mpar at que a quantidade
dos mesmos diminua.
Dessa forma existe um circuito de G que possui arestas de E(B) e E(G) \
E(B), o que contradiz o fato de B ser um bloco. Portanto, todo cociclo de H
cociclo de G, logo sua preimagem tem de ser um ciclo (de B).

Whitney provou que vale a recproca, isto , se G tem um dual combinatrio,
ento G planar.
Teorema 4.24 (Whitney). Um grafo planar se e somente se tem dual
combinatrio.
Demonstrao. Seja G um tal grafo. Suponha sem perda de generalidade

que G 2-conexo. Logo, quaisquer duas arestas e, e0 de G pertencem a um
mesmo circuito. Note que um circuito C um ciclo minimal e, portanto, f (C)
um cociclo minimal.
Afirmamos que Gc 2-conexo. Suponha que no seja 2-conexo. Logo, Gc
tem vrtice de corte v e ento existem Gc1 e Gc2 tais que E(Gc ) = E(Gc1 )E(Gc2 ).
Tome e e e0 em Gc1 e Gc2 , respectivamente. Como G 2-conexo, temos que f 1 (e)
e f 1 (e0 ) esto em um mesmo circuito C de G. Porm, isso uma contradio,
j que f (C) deveria ser um cociclo minimal, mas f (C) E(Gc1 ) um cociclo
menor. Portanto, Gc 2-conexo.
Logo, para todo v V (Gc ), temos que (v) um corte minimal em Gc .
Seja u V (Gc ). Neste caso, B = {(v) : v V (Gc ) \ {u}} uma base
do espao dos cociclos de Gc . Cada (v) corresponde a um circuito em G. O
conjunto de tais circuitos define uma 2-base de G. Pelo teorema de MacLane, G
planar.
4.4 exerccios
Exerccio 4.10. Considere o grafo G obtido pela adio de uma aresta qualquer
a um grafo planar maximal de ordem pelo menos 6. Mostre que G contm
um T K5 e um T K3,3 . Ou seja, G sempre contm uma subdiviso de K5 e
de K3,3 .
Exerccio 4.11. Para quais n 3 a roda (wheel) Wn exoplanar? Justifique.
Exerccio 4.12. Um grafo exoplanar (outerplanar) se tem uma representa-
o plana na qual todo vrtice fica na fronteira da face externa. Mostre que
um grafo exoplanar se e s se no contm nem o K4 e nem o K2,3 como
menores.
Exerccio 4.13. Faa ao menos duas provas distintas para a seguinte afirmao.
Considere uma triangulao plana G e uma colorao arbitrria de seus
vrtices em 3 cores. (Nessa colorao vrtices adjacentes podem ter cores
iguais.) Dizemos que uma face tricolorida se os vrtices de sua fronteira esto
coloridos com 3 cores distintas. Prove que G tem um nmero par de faces
tricoloridas.
Exerccio 4.14. Leia o artigo [Mak97]. Rescreva-o sua maneira, preferenci-
almente em ingls. No para copiar ou fazer uma traduo ao p da letra.
Comente o artigo.
Exerccio 4.15. Estudar e entender a prova em [Tho81].
[HT74] John Hopcroft and Robert Tarjan. Efficient planarity testing. Journal
of the ACM (JACM), 21(4):549568, 1974.
[Mac37] Saunders MacLane. A combinatorial condition for planar graphs.
Fund. Math, 28:2232, 1937.

[Mak97] Yury Makarychev. A short proof of kuratowskis graph planarity
criterion. J. Graph Theory, 25:129131, 1997.
[NC88] Takao Nishizeki and Norishige Chiba. Planar graphs: Theory and
algorithms, volume 140. North Holland, 1988.
[Tho81] Carsten Thomassen. Kuratowskis theorem. Journal of Graph Theory,
5:225241, 1981.

5 colorao
5.1 colorao de vrtices
Resumo
Demonstramos resultados sobre de colorao de vrtices (teoremas 5.4

e 5.6), grafos perfeitos (5.18 e 5.22) e lista-coloraes (5.9 e 5.16). Resul-
tados importantes mencionados so 5.3 e 5.21.
Uma colorao de um grafo G = (V, E) uma partio de V , isto , uma fam-

lia de subconjuntos de V disjuntos C = {C1 , . . . , Ck }, cuja unio V . Os con-
juntos da partio so chamados de classes de cor, ou simplesmente cores.
Dizemos que uma colorao prpria se toda aresta de G conecta vrtices em
conjuntos distintos da partio. Grafos que possuem colorao prpria com k
cores so ditos k-colorveis. O nmero cromtico de G, denotado (G), o
menor nmero de conjuntos que forma uma colorao prpria de G. Quando o
grafo subentendido estiver claro, escrevemos apenas para indicar seu nmero
cromtico. Em geral, o problema de encontrar uma colorao de um grafo G
com (G) cores np-difcil.
possvel construir uma colorao prpria de G usando um algoritmo
guloso. Considere os vrtices de G em uma ordem arbitrria (v1 , v2 , . . .); fixe a
cor de v1 , digamos v1 C1 ; e coloque vi Cf (i) , onde
f (i) = min {j : N (vi ) Cj = }.

1ji
Como esse algoritmo sempre obtm uma colorao prpria de G, fcil ver
que (G) (G) + 1. E essa delimitao justa, no caso geral: existem grafos
que apresentam = + 1. Uma prova do seguinte teorema se apoia em uma
estratgia anloga da delimitao via algoritmo guloso.
Proposio 5.1 Todo grafo G satisfaz (G) 1 + max (H) : H G .

Demonstrao. Seja k = maxHG (H) e n = |V (G)|, e seja xn um vrtice

de G que tem grau no mximo k. Considere Gn1 = G xn . Por hiptese,
Gn1 tem um vrtice, digamos xn1 , de grau no mximo k. Defina
Gn2 = Gn1 xn1 = G {xn , xn1 }.
Continando este procedimento, enumeramos todos os vrtices de G de xn at x1 .

Claramente, a sequncia x1 , x2 , . . . , xn tal que xj adjacente a no mximo k
vrtices que o precedem, para 1 j n. Portanto, usando o algoritmo guloso
(greedy) descrito acima, podemos colorir G com no mximo k + 1 cores.
Corolrio 5.2 Todo grafo G tem um subgrafo H tal que (H) (G) 1.
O corolrio 5.2 implica que grafos com alto tm alto. Obtemos outro
limitante observando que em toda colorao com cores existe ao menos uma
aresta entre cada par de conjuntos da partio. Portanto, para um grafo com m
arestas,
1 1
! r

m, o que implica + 2m + .
2 2 4
Neste captulo abordamos algumas classes de grafos para os quais limitantes
muito mais precisos so conhecidos. Talvez o resultado mais conhecido de

colorao, vlido para grafos planares (captulo 4), seja o teorema das 4
cores [AH89], cuja prova omitimos.
Teorema 5.3 (Teorema das 4 cores, Appel, Haken, 1976). Todo grafo planar
4-colorvel.
Circuitos mpares e grafos completos so exemplos de grafos para os
quais = + 1. O teorema a seguir fornece um limitante melhor para
os demais grafos.
Teorema 5.4 (Teorema de Brooks, 1941). Se G um grafo conexo que no
completo e nem um circuito mpar, ento (G) (G).
Um subgrafo H de um grafo G dito subgrafo gerador de G se ele possui
o mesmo conjunto de vrtices que G (isto , temos V (G) = V (H)).
A demontrao do teorema 5.4 abaixo usa rvores de busca em profundidade,
ou rvores BP. Para construir a rvore de busca em profundidade BPG (r),
que possui raiz r V (G), especificamos o ancestral a(v) N (v) de cada um
dos demais vrtices v V (G) r em uma certa ordem; A rvore no nica.
A busca em profundidade a partir de r V (G) (i.e., enraizada em r,
construda do seguinte modo. Defina r = a(r). Selecione, arbitrariamente, um
vizinho s de r tal que a(s) ainda no tenha sido definido, e defina a(s) = r.
Repita o procedimento partir de s (i.e., tome um vizinho w de s sem ancestral,
defina a(w) = s, e prossiga por w. . . ). Quando todos os vizinhos de um
vrtice t =
6 r atingido pela busca tiverem ancestral definido, a busca procede
por a(t). O procedimento termina se t = r e todos os vizinhos de r tm
ancestral definido. A rvore BP de G o grafo BPG (r) G induzido pelas
arestas {x, a(x)}
BPG (r) = G {x, a(x)} : x V (G) r .

h i
Note que, em uma rvore BP de raiz r, todo vizinho de uma folha f est
contido no caminho entre f e r.
Exerccio 5.1. Para quais grafos G e vrtice r V (G), a rvore BPG (r) nica?
Exerccio 5.2. Seja G um grafo que possui um caminho hamiltoniano. Mostre

que se os vrtices extremos de todo caminho hamiltoniano em G so adjacentes,
ento G ' Cn , ou G ' Kn ou G ' Kn,n (veja [Fle14]).
Exerccio 5.3. Mostre que se G um grafo simples, finito e conexo, e qualquer
rvore BP de G enraizada em v um caminho com extremo em v, ento G
G ' Cn , ou G ' Kn ou G ' Kn,n (veja [Fle14]).
Lema 5.5 (Lema da Busca em Profundidade). Os nicos grafos para os quais
toda rvore BP (rvore de busca em profundidade) um caminho hamilto-
niano so os circuitos, os grafos completos e os grafos completos bipartidos
regulares Kn,n .
Exerccio 5.4. Prove o Lema 5.5.
Duas curtas demonstraes do teorema de Brooks podem ser encontradas
em [Lov75, Fle14].
5.2 grafos k-construtveis
Existe um procedimento simples para construir todos os grafos com nmero

cromtico maior ou igual a k, que detalhamos a seguir. Para isso precisamos
definir uma operao sobre grafos.

Figura 5.1: Operao de Hajs: obtm grafo J a partir de G e H, com uma
aresta cada, escolha arestas vw E(G) e xy E(H); identifique vrtices v
V (G) e x V (H); e troque arestas {vw, xy} por wy.
J
G H
w y w y
v x
zvx
Sejam G e H dois grafos simples (V (G) V (H) = ), vw uma aresta de G,

e xy uma aresta de H. A operao de Hajs sobre G e H produz o grafo J =
(V, E), identificando os vrtices v e x, e substituindo as arestas {xy, wy} por wy
(veja figura 5.1).
Formalmente, seja zvx o vrtice correspondente identificao de v e x
(zvx
/ V (G) V (H)): temos V = V (G) V (H) + zvx v x e
E = ab : a, b V (G) V (H) \ {v, w, x, y}

zvx u : u N (v) N (x) \ {w, y}

{wy}.
Onde N (v) e N (x) denotam, respectivamente, a vizinhana de v em G, e a

vizinhana de x em H. Definimos, para todo natural k N, a classe Ck dos
grafos k-construtveis, segundo as regras a seguir.
i) o grafo completo Kk k-construtvel;
ii) a aplicao da operao de Hajs a dois grafos k-construtveis resulta em
um grafo k-construtvel; e
iii) a identificao de vrtices independentes de um grafo k-construtvel produz
um grafo k-construtvel (isto , se G Ck e x, y V (G) so no-adjacentes,
ento (G + xy)/xy Ck ;.
fcil ver que todo grafo G Ck tem nmero cromtico (G) k (exerc-
cio 5.5). Por outro lado, esses grafos esto presentes em todo grafo com nmero
cromtico k, pelo seguinte teorema.
Teorema 5.6 (Hajs, 1961). Seja G um grafo e k N Ento (G) k se e
somente se G contm um subgrafo H tal que H Ck .
Dizemos que um grafo G k-crtico se todo subgrafo prprio H de G
satisfaz (H) < (G). Note que o Teorema 5.6 equivalente a afirmar que
todo grafo k-crtico k-construtvel.
A demonstrao a seguir pode ser lida em Diestel [Die05].
Demonstrao. A demonstrao segue por contradio: partimos de um contra-

exemplo, e chegamos a um absurdo. Seja G um grafo tal que (G) k, que
no k-construtvel, e que aresta-maximal (isto , ligando quaisquer vrtices
desconectados de G obtemos um grafo k-construtvel). Podemos supor k 3,
pois caso contrrio G atende o teorema.
Note tambm que G no r-partido completo para algum r N, caso
contrrio (G) = r e Kr G.

Como (G) > 2, o grafo contm ao menos uma aresta, e como G no
r-partido completo, a relao de no-vizinhana no transitiva: isto ,
existem vrtices x, y1 , e y2 tais que xy1 , xy1
/ E(G), e y1 y2 E(G).
Como G aresta-maximal sem subgrafo k construtvel, cada xyi esta em
algum subgrafo k-construtvel Hi de G + xyi , para i = 1, 2.
Note que H1 H2 contm x e possivelmente outros vrtices e arestas
de G + xy1 + xy2 .
Seja H20 uma cpia isomrfica de H2 que contm x e H2 H1 , e que
disjunta de G em seus demais vrtices e arestas, e considere um mapa v 7 v 0
que leva os vrtices de H2 a vrtices de H20 , e que fixa os vrtices em H2 H20
(isto v 7 v se v V (H2 H20 ). Note que H1 H20 = {x}, ento
H = (H1 H20 ) xy1 xy20 + y1 y2
k-construtvel por iii.

Um vrtice por vez, identificamos em H cada v 0 H20 G com seu parceiro v;
como vv 0 nunca uma aresta de H, cada uma dessas identificaes um passo
do tipo ii. Prosseguindo assim, obteremos em algum ponto o grafo
(H1 H2 ) xy1 xy2 + y1 y2 G,
que um grafo k-construtvel de G, um a contradio.
Ao contrrio do que se poderia esperar, um grafo com alto no neces-

sariamente contm um grafo completo. Erds demonstrou (teorema 5.18)
que existem grafos com nmero cromtico (G) arbitrariamente alto e cin-
tura Cintura(G) arbitrariamente grande.
Dado um grafo G, definimos sua cintura Cintura(G) (girth) como o
comprimento de um menor circuito em G (caso G no possua circuitos, dizemos
que sua cintura infinita).
Uma colorao justa uma colorao prpria em que o nmero de
vrtices em classes de cor difere em at 1. Em 1964, Erds conjecturou que
todo grafo G possui uma colorao justa com at (G) + 1 cores. Essa
conjectura foi demonstrada por Hajnal e Szemerdi [HS70] em 1970.
Exerccio 5.5. Mostre que todo grafo G Ck possui nmero cromtico (G) k.
Exerccio 5.6. Mostre que o limitante da proposio 5.1 ao menos to bom

quanto o do teorema 5.6
Exerccio 5.7. Dizemos que um mapa plano cartogrfico se 2-conexo
e 3-regular. Prove que todo mapa cartogrfico possui uma face (pas) com at
5 arestas.
Exerccio 5.8. Mostre que podemos colorir as faces de um mapa cartogrfico
com at 6 cores.
Exerccio 5.9. Para cada item, apresente um contra-exemplo ou uma demons-
trao. (Claro, no faz sentido usar o teorema 5.3.)
1. todo grafo planar 6-colorvel (fcil)
2. todo grafo planar 5-colorvel (mdio)
3. todo grafo planar 4-colorvel (difcil)
4. todo grafo planar 3-colorvel (fcil)

5.3 lista-colorao
Seja G = (V, E) um grafo e L uma funo que atribui a cada vrtice v V

um conjunto L(v) de inteiros positivos, chamada lista de v
L = L(v)

vV
Uma colorao C : V N tal que c(v) L(v)v V chamada uma

lista-colorao de G com respeito a L, ou uma L-colorao. Neste caso,
dizemos que G L-colorvel.
Note que se L(v) = {1, 2, . . . , k} para todo v V , ento uma L-colorao
simplesmente uma k-colorao. Se |L(v)| = 1, estamos pr-colorindo v com
a cor em L(v).
Um grafo G k-lista-colorvel (ou k-choosable) se possui uma L-
colorao, para toda lista-colorao L = (L(v))vV tal que a lista de qualquer
vrtice v V tem |L(v)| = k elementos,
O menor k tal que G k-lista-colorvel o nmero-lista-cromtico de
G, L (G) (ou ch(G)) (list chromatic number / choice number). Alguns
limitantes para (G) so vlidos para L (G).
limitado uma funo do grau mnimo em um subgrafo: L (G)
1 + max{(H) : H G};
se G no nem um circuito nem um grafo completo, ento L (G) (G);
e
limitado (inferiormente) pelo nmero cromtico: (G) L (G).
Definio 5.7 Um grafo plano G com pelo menos 3 vrtices um disco
triangulado se todas as faces internas de G so triangulares e sua face externa
tem como fronteira um circuito.
Lema 5.8 Seja G = (V, E) um disco triangulado e seja C = (v1 , v2 , . . . , vk ) o
circuito que a fronteira de sua face externa. Seja L = (L(v))vV tal que
L(v1 ) = {1}, L(v2 ) = {2};
|L(v)| 3 v V (C), v 6= v1 , v 6= v2 ;
|L(v)| 5 v V \ V (C).
Ento G admite uma L-colorao.
Demonstrao. (em aula)
Teorema 5.9 (Thomassen, 1994). G planar L (G) 5.

Conjectura L (G) =
0 0 (G).
Prova da conjectura quando G bipartido.
Alguns autores denotam 0L (G) = ch0 (G), para o ndice lista-aresta-
cromtico de G (choosability of the graph).
H uma conjectura que diz que 0L (G) = 0 (G). O caso particular em que
G um grafo bipartido j foi resolvido. Apresentamos uma prova hoje.
Definio 5.10 Se u e v so vrtices de um digrafo D, dizemos que u domina
(enxerga) v se uv A(D).
Definio 5.11 Um ncleo (kernel) de um digrafo D um conjunto in-
dependente S de D tal que todo vrtice em V \ S domina algum vrtice de
S.
Note, em particular, que circuitos mpares orientados (C~n ) no possuem
ncleo.
Observao 5.12 Decidir se um digrafo tem um ncleo np-completo.

Mencionamos dois teoremas, cuja prova no veremos.
Teorema 5.13 Se D no tem circuito mpar, ento no tem kernel.
Teorema 5.14 (Richardson, 1946 [Ric46]). Se D no tem circuito orientado
mpar, ento possui um ncleo.
Exerccio 5.10. Prove o segundo teorema, por induo no nmero de componen-
tes fortes do grafo.
Lema 5.15 Seja D = (V, A) um digrafo tal que todo subgrafo induzido
de D tem um ncleo, e seja L = (Lv )vV tal que Lv um conjunto de cores.
Se |Lv | > d+ (v) para todo v V , ento D tem uma L-lista-colorao.
Demonstrao. Por induo em |V |. Seja uma cor que ocorre em algumas

listas, mas que no ocorre em todas. Seja V = {v V : Lv }. Seja
D0 = D[V ]. Pela hiptese, temos que D0 tem um ncleo, digamos, S. Seja
L = (Lv )vV , onde Lv = Lv \ {}. Seja D = D S. Como d+
D
(v) < |Lv |, para
todo v D, pela hiptese de induo, D tem uma L-lista-colorao. Esta
L-lista-colorao de D, juntamente com a atribuio da cor aos vrtices de
S uma L-lista-colorao de D.
Teorema 5.16 (Galvin, 1995). Seja G um grafo bipartido. Ento 0L (G) =

0 (G).
Demonstrao. Seja G um grafo (X, Y )-bipartido. dizemos que duas arestas

de encontram em X (resp. Y ) se elas tm extremo comum em X.
Seja K = 0 (G) e C : E(G) 7 {1, . . . , k} uma k-aresta-colorao de G.
Como 0L (G) k, vamos mostrar que 0L (G) k, obtendo assim que vale a
igualdade.
Para isso, vamos considerar um digrafo D e usar o lema 5.15.
Seja H o grafo-aresta (line-graph) de G, e D uma orientao de H
assim definida:
A(D) = {ee0 : e, e0 se encontram em X e C(e0 ) > C(e)}

{ee0 : e, e0 se encontram em Y e C(e) > C(e0 )}
Seja e V (D), e suponha que C(e) = i. Note que d+ D (e) < k (de um lado
da partio, cores maiores do que i, e, de outro, cores menores).
Para usar o lema 5.15, precisamos mostrar que todo subgrafo induzido D0
de D tem um ncleo. Provamos isso por induo em V (D0 ).
Se V (D) = , o resultado segue.
Seja E 0 = V (D0 ) E. Para cada x X, sejam 0 (x) = (x)E 0 o conjunto
de arestas incidentes a x falta coisa aqui!.
Para cada x X tal que (x) 6= , seja ex a aresta com a menor C-cor.
0
Seja U = {ex : 0 (x) 6= }.

Ento toda aresta e0 E 0 \ U encontra algum e U em x, e, portanto,
exste o arco e0 e.
Assim, se U independente, ele ncleo de D0 , e a profa est completa
(usando o lema 5.15. Se U no independente, ento existem e, e0 U
adjacentes. Suponha C(e) < C(e0 ), ento e, e0 se encontram em Y , e temos
que ee0 A(D0 ).
Pela hiptese de induo, D0 e tem um ncleo, digamos U 0 .

Se e0 U 0 , ento U um ncleo de D0 .
Se e0 / U 0 , ento existe e00 U tal que e0 e00 A(D0 ).
Se e0 , e00 se encontram em X, ento C(e0 ) > C(e00 ) pela definio de
D, contrariando o fato de e0 U .
Se e0 , e00 se encontram em Y , ento C(e0 ) < C(e00 ). Como e, e0 se
encontram em Y , temos que C(e) < C(e0 ). Logo C(e) < C(e0 ) <
C(e00 ).
Portanto, e0 e00 A(D) e U tambm um ncleo de D0 .
Observao 5.17 Existe uma prova para uma verso assinttica da conjec-
tura.
5.4 grafos perfeitos
Seja (G) = cardinalidade de uma clique mxima em G. Claramente (G)

(G). Mas esse limitante no justo, pois h grafos G que apresentam (G)
(G).
Teorema 5.18 (Erds,1959). Dados k, ` N, existe grafo G tal que (G) > k
e Cintura(G) > `.
A prova a seguir usa a desigualdade de Markov, que fornece um limitante
para a probabilidade de uma varivel aleatria no-negativa X assumir valores
grandes relativamente seu valor esperado E[X]. Lembramos que o valor
esperado, ou esperana de uma varivel aleatria X, que assume valores
em X , uma mdia dos valores x X ponderada pela probabilidade P[X = x]
dos eventos X assume o valor x. Em smbolos,
E[X] = x P[X = x].

X
xX
Lema 5.19 (Desigualdade de Markov). Seja X uma varivel aleatria no-

negativa e t > 0. Temos
E[X]
P[X t] .
t
Demonstrao.
E[X] = a P[X = a] t P[X = a] = t P[X t].

X X
a at
Demonstrao do teorema 5.18. Considere um grafo G, com n vrtices, cons-

trudo pelo seguinte procedimento aleatorizado: para cada par de vrtices,
a aresta que os une est presente em G com probabilidade p. Fixamos um
valor (0, 1/`) e tomamos p = n1 . Seja X o nmero de circuitos de
comprimento menor ou igual a ` em G. O nmero potencial de circuitos de
comprimento j inferior a nj , e cada um desses circuitos est presente com
probabilidade pj . Assim, a o valor esperado (a esperana) de X
n`
= 3` nj pj = = 3` nj
X X
E[X] .
j j
1 n
Como ` < 1, a esperana menor do que n/4 para n suficientemente

grande. Pela desigualdade de Markov, temos P[X n/2] 1/2. Note que
ainda possvel que hajam ciclos de comprimento menor do que ` em G.

Consideramos agora o nmero cromtico de G. Faremos isso por meio
do nmero de independncia (G), isto , o tamanho do maior conjunto
independente em G. Como toda classe de cor forma um conjunto independente,
temos que (G) |V (G)|/(G). Tomamos a = d3p1 ln ne e consideramos o
evento representando o evento existe um conjunto independente de tamanho a
em G. Como a probabilidade da unio de eventos limitada pela soma da
probabilidade dos eventos (desigualdade da unio), temos
!
(1 p)(2) na epa(a1)/2 na n3(a1)/2 0.
n a
P[(G) a]
a
Para n suficientemente grande, esta probabilidade menor do que 1/2. Assim,

mais uma vez pela desigualdade da unio, temos
P[X n/2 ou (G) ] < 1.
De modo que existe um grafo em que o nmero de circuitos curtos X < n/2
e nmero de independncia (G) < a. Isso implica que podemos remover
um vrtice (arbitrrio) de cada circuito curto, obtendo um grafo G0 com ao
meno n/2 vrtices. Ademais, G0 no possui circuito de comprimento menor ou
igual a `, e temos (G0 ) < a. Assim o nmero cromtico desse grafo
|V (G0 )| n/2 n
(G0 ) = .
(G0 ) 3n1 ln n 6 ln n
O resultado segue tomando n grande o bastante.
Corolrio 5.20 Seja H um grafo, que no uma floresta. Para todo k N,

existem grafos G com (G) k tais que H 6 G.
Um resultado (assinttico) mais recente nessa direo foi apresentado
por Osthus, Prmel and Taraz [OPT01]. Fixados ` 3 e k N, existem
constantes C1 e C2 tais que quase todo grafo com n vrtices, m arestas e
cintura maior ou igual a ` possui nmero cromtico maior ou igual a k, dado
que C1 n m C2 n`/(`1) . (A expresso quase todo aqui usada para
dizer que a frao dos grafos com n vrtices e m arestas para os quais vale a
propriedade tende a 1 quando n tende a infinito.)
Grafos com cintura (girth) grande parecem rvores localmente, e no
parecem ter uma estrutura local que os obrigue a ter nmero cromtico alto.
Esses grafos comprovam que nmero cromtico alto pode ocorrer por razes de
natureza global e no local. O interesse por grafos onde essa dependncia
global no ocorre, isto , grafos cujo nmero cromtico alto apenas por causa
de alguma razo local (por exemplo, existncia de uma clique grande) ocupa
assim o outro extremo no estudo da relao entre (G) e (G).
Uma pergunta natural se existem grafos no-completos G com nmero
cromtico (G) = (G), e a resposta afirmativa. Um exemplo o grafo G =
(V, E), com V = {1, 2, 3, 4, 5, 6} e arestas E = {12, 23, 34, 45, 56, 13}. Outro
exemplo o circuito C4 com quatro vrtices. A parte sua existncia, no se
so conhecidas muitas propriedades desses grafos. Em 1960, Claude Berge
introduziu uma outra classe relacionada, porm com mais estrutura e mais
interessante. Trata-se da classe dos grafos perfeitos. Dizemos que um grafo G
perfeito se cada um de seus subgrafos induzidos H satisfaz (H) = (H).
Os grafos perfeitos constituem uma classe onde a exigncia (G) = (G)
levada ao extremo: um grafo dito perfeito se todo subgrafo H G

satisfaz (H) = (H). Ao contrrio do que pode parecer, a classe dos grafos
perfeitos grande, e seu estudo envolve uma srie de problemas interessantes.
Em particular a Conjectura Forte dos Grafos Perfeitos (CFGP), de Berge,
permaneceu em aberto por 40 anos. Ela foi demonstrada por Chudnovsky,
Robertson, Seymour e Thomas [CRST06]
Teorema 5.21 (Chudnovsky, Robertson, Seymour, Thomas, 2006). Um grafo
perfeito se e somente se nem G nem G contm um circuito mpar de compri-
mento maior ou igual a 5 como subgrafo induzido.
Um importante resultado, anterior prova dessa conjectura, o teorema
fraco dos grafos perfeitos 5.22, provado por Lovsz em 1972, conhecido como o
Teorema dos Grafos Perfeitos, cuja prova exibimos nestas notas.
Teorema 5.22 (Lovsz, 1972). Um grafo G perfeito se e somente se G
perfeito.
Dado um vrtice v de um grafo G e um grafo H, definimos o grafo da
substituio de v por H (em G) como o grafo G0 tal que V (G0 ) = V (H)V (G
v) e E(G0 ) = E(H) {xy : x V (H), y NG (v)} E(G v) (assumindo
que V (G) V (H) = .
Teorema 5.23 Se G perfeito, substituindo-se um vrtice de G por um grafo
perfeito obtm-se um grafo perfeito.
Demonstrao. Seja x um vrtice qualquer de G e H um grafo perfeito e G0 o

grafo que resulta da substituio de x por H. suficiente mostrar que (G0 ) =
(G0 ), j que para os subgrafos induzidos de G0 que so construdos da mesma
forma que G0 o resultado segue analogamente. Faremos a prova por induo
em k = (G0 ). Suponha k > 1 (se k = 1 o resultado bvio).
suficiente encontrar um conjunto independente I de G0 que intercepta
todos os cliques com k elementos. (note que podemos colorir esses vrtices
com a mesma cor e os vrtices restantes com outras k 1 cores. o que pode
ser feito por hiptese, obtendo assim uma k-colorao de G0 .)
Sejam m = (G), l = (H) e ainda p a cardinalidade mxima de um clique
em G que contm x. Note que k = max{m, l + p 1}. Considere uma m-
colorao de G e chame de X o conjunto dos vrtices de G que possuem a
mesma cor que x. Por fim, seja L o conjunto dos vrtices independentes de H
que intercepta toda clique de H com l elementos.
O conjunto I = (X {x}) independente de G0 , e I intercepta toda
clique de G0 com k elementos. De fato, se K uma clique com k elementos de
G0 que intercepta H, ento K contm uma clique com l elementos de H. Em
particular, isso implica que K contm um vrtice de L. Por outro lado, se K
no intercepta H, ento K deve ser uma clique com m elementos de G x, e
assim K contm um vrtice de X {x}.
Demonstrao do teorema 5.22. Para provar que G perfeito suficiente pro-

var que G contm um conjunto independente cuja remoo destri as cliques
mximas de G. Ou seja, suficiente provar que existe clique K em G tal que
(G K) < (G)
onde (G) = cardinalidade de um conjunto independente mximo de G.

Suponha que isto no ocorra: Para todo K existe um conjunto independente
mximo que disjunto de K. Seja K1 , K2 , . . . , Kr uma coleo das cliques
de G. Para cada i = 1, . . . , r, denote por Ii um conjunto independente mximo

que disjunto de Ki . Para cada vrtice x de G, seja (x) o nmero de conjuntos
independentes Ii que contm x.
Seja G0 o grafo obtido que obtemos substituindo x por K(x) , para todo x
V (G). Note que uma clique mxima de G0 vem de uma clique, digamos Ki ,
obtida de um join de K(x) para cada x V (Ki ).
r
(G0 ) = (x) = |Ij Ki | r 1,
X X
xV (Ki ) j=1
ou seja, temos r (G0 ) + 1. Por outro lado,

r
|V (G0 )| = (x) = |Ii | = r (G) (5.1)
X X
xV (G0 ) i=1
Como (G0 ) |V (G0 )|/(G0 ), usando o teorema 5.18 e 5.1, temos que
|V (G0 )| |V (G0 )|
(G0 ) = = r (G0 ) + 1,
(G0 ) (G)
E vale que (G0 ) > (G0 ), uma contradio pois G0 perfeito.
Observao 5.24 Para todo grafo G, sabemos que

|V (G)|

(G) max , (G)
(G)
Se G perfeito, ento para todo subgrao induzido H ind G vale (H)
|V (H)|/(H). Como H perfeito, temos (H) = (H), e portanto (H) =
|V (H)|/(H), ou seja,
|V (H)| (H) (H).
Assim, temos que G perfeito implica que para todo subgrafo induzido H ind G,
vale |V (H)| (H)(H). Hajnal & Simonovits conjecturaram que vale a
recproca da afirmao acima. Em 1972, Lovsz provou esse fato.
Teorema 5.25 (Lovsz, 72). Se G um grafo perfeito, ento para todo subgrafo
induzido H ind G vale |V (H)| (H)(H).
Note que o teorema 5.22 segue como corolrio do teorema 5.25, tomando H ind G.
|V (H)| = |V (H)| (H)(H) = (H)(H)
5.5 classes de grafos perfeitos
Teorema 5.26 Todo grafo bipartido perfeito.

Lema 5.27 (Konig). G bipartido sem vrtices isolados coba (G) =
(G).
(Imediato de T.G.P)
Onde coba (G) cobertura mnima por arestas.
Emp(G) = cob(G)
Definio 5.28 Seja G um grafo. Se H um grafo, ento dizemos que G
livre de H se G no contm H como subgrafo induzido.
Teorema 5.29 Se G livre de P4 , ento G perfeito. (P4 caminho com 4
vrtices)

Exerccio 5.11. Se G livre de P4 ento, para todo S V (G) temos que G[S]
ou G[S] desconexo.
Definio 5.30 G um grafo triangulado (ou cordal) se todo circuito de
G de comprimento maior que 3 tem uma corda, ou equivalentemente, se G no
tem circuito induzido de comprimento maior ou igual a 4.
Definio 5.31 Um vrtice v de um grafo G simplicial se G[Adj(v)]
uma clique de G.
Definio 5.32 G tem uma p.e.o. (perfect elimination ordering) se existe
uma ordenao vn , . . . , v1 de seus vrtices tal que cada vi para i = n, . . . , 2
um vrtice simplicial de G[vi , . . . , v1 ].
Teorema 5.33 Todo grafo cordal perfeito.
Outra propriedade de grafos cordais (? entendi que era de grafos cordais)
que todo conjunto minimal separador uma clique.
Definio 5.34 Uma orientao transitiva se xy, yz E(G) xz
E(G).
Definio 5.35 Um grafo G um grafo de comparabilidade se G tem
uma orientao que transitiva.
Teorema 5.36 Todo grafo de comparabilidade perfeito.
Definimos m(x) como o comprimento do caminho mais longo com origem
em x. E atribumos para cada vrtice a cor m(x). Se dois vrtices vizinhos
receberam a mesma cor, ento um aponta para o outro e possvel construir
um caminho mais longo do que a cor que eles receberam. Cada caminho
iniciando em x induz uma clique de tamanho m(x) + 1. Logo, temos que
(G) = maxxV {m(x)} + 1.
Teorema 5.37
G de intervalo G cordal e G de comparabilidade.
Com respeito a grafos que so cordais mas no so de intervalos, temos o

grafo G = ({d, a, b, c, x, y, z}, {za, ad, yc, cd, xb, bd}). Uma subdiviso de uma
estrela de 3 folhas.
Split graphs (grafos divididos)

Definio 5.38 G um grafo split se existe uma bipartio de V (G) em
conjuntos A e B tal que G[A] uma clique e G[B] independente.
Teorema 5.39 Todo grafo split perfeito.
fcil notar que este grafo perfeito, basta pegar A com o maior nmero
possvel de vrtices. Obtemos que para todo vrtice v de B existe pelo menos
um vrtice u em A que no seu vizinho. Assim, d para u a mesma cor de v.
Logo, colorimos G com |A| cores.
5.6 exerccios
Exerccio 5.12. Mostre que se G um grafo conexo com n vrtices e m arestas,

ento (G) n2 /(n2 2m).
Exerccio 5.13. Prove que (G) ` + 1, onde ` o comprimento de um caminho
mais longo em G.

Exerccio 5.14. Mostre que todo grafo bipartido planar 3-lista-colorvel.
Sugesto: Use o lema 5.15 e o teorema de Richardson 5.14.
Exerccio 5.15. Um grafo de intervalos G um grafo cujos vrtices correspon-
dem a um conjunto de intervalos fechados na reta real, e tal que dois vrtices de
G so adjacentes se e somente seus intervalos correspondentes se intersectam.
Prove que todo grafo de intervalos perfeito.
Exerccio 5.16. Seis professores visitaram a biblioteca num dia em que um livro
raro foi roubado. Cada um entrou uma vez, ficou por um tempo, e depois
saiu. Para cada dois deles que estiveram na biblioteca ao mesmo tempo, pelo
menos um deles viu o outro. Detetives interrogaram os professores e colheram
o seguinte testemunho:
Professor Afirmou que viu
Astuto (a) Begnio (b), Esmeraldo (e)
Begnio (b) Astuto (a), Fcsio (f)
Cemolino (c) Desdmono (d), Fcsio (f)
Desdmono (d) Astuto (a), Fcsio (f)
Esmeraldo (e) Begnio (b), Cemolino (c)
Fcsio (f) Cemolino (c), Esmeraldo (e)
Nesta situao, mentir significa dar uma informao falsa, mas no significa
omitir uma informao. Suponha que o culpado tentou colocar a culpa em
outro mentindo. Se um professor mentiu, quem foi?
Resolva usando conceitos da teoria dos grafos.
notas do captulo 5
[AH89] K.I. Appel and W. Haken. Every Planar Map Is Four Colorable.
Contemporary mathematics, v. 98. American Mathematical Society,
1989.
[CRST06] Maria Chudnovsky, Neil Robertson, Paul Seymour, and Robin Tho-
mas. The strong perfect graph theorem. ANNALS OF MATHE-
MATICS, 164:51229, 2006.
[Fle14] Tams Fleiner. Yet another proof for brooks theorem. Technical
Report QP-2014-01, Egervry Reserch Group, Budapest, 2014.
www.cs.elte.hu/egres.
[HS70] A. Hajnal and E. Szemerdi. Proof of a conjecture of P. Erds.
In Combinatorial theory and its applications, II (Proc. Colloq.,
Balatonfred, 1969), pages 601623. North-Holland, Amsterdam,
1970.
[Lov75] L Lovsz. Three short proofs in graph theory. Journal of Combina-
torial Theory, Series B, 19(3):269 271, 1975.
[OPT01] Deryk Osthus, Hans Jrgen Prmel, and Anusch Taraz. Almost all
graphs with high girth and suitable density have high chromatic
number. J. Graph Theory, 37(4):220226, August 2001.

[Ric46] M. Richardson. On weakly ordered systems. Bull. Amer. Math.
Soc., 52:113116, 1946.

6 problemas extremais
6.1 introduo
Por problemas extremais, entendemos perguntas como as dos exemplos abaixo.

(P1) Determine o nmero mnimo de arestas (n), tal que todo grafo G de
ordem n e com pelo menos (n) arestas tem um circuito.
(P2) Determine o menor natural (n) tal que todo grafo de ordem n e grau
mnimo pelo menos (n) tem um circuito hamiltoniano.
(P3) Determine o menor natural n tal que todo grafo de ordem pelo menos n
tem um K3 ou K3 como subgrafo induzido.
(P4) Determine o nmero mximo de arestas em um grafo de ordem n que
no contm K3 .
Em particular, as respostas para as perguntas acima so:
(P1) Temos (n) = n.
(P2) O Teorema de Dirac afirma que
n

(n) = .
2
(P3) O Teorema de Ramsey (para o caso (3, 3)) afirma que n = 6.

(P4) Veremos mais adiante que tal nmero n2 n2 + 1.

Tipicamente, dada uma propriedade P de grafos, e um invariante I e

uma classe G de grafos, procura-se determinar o menor valor m tal que todo
grafo G G com I(G) > m tem a propriedade P .
6.2 problema da proibio de g
Dado um grafo G, definimos, para todo natural n o nmero
ex(n, G) = sup{|E(H)| : H um grafo de ordem n com H 6 G}.
Nessa situao G chamado grafo proibido.

Dizemos tambm que um grafo H de ordem n um grafo extremal
(relativo a G) se H tem ex(n, G) arestas e H 6 G e denotamos o conjunto de
todos os grafos extremais de ordem n por EX(n, G).
Chamamos o problema de determinar o nmero ex(n, G) de P(G).
Proibindo grafos completos

Turn, em 1941, investigou o problema P(Kp ).
Para simplificar, considere G Kp+1 . Claramente, os grafos p-partidos
completos Kn1 , ,np de ordem n (ou seja, temos i ni = n) no contm Kp+1 .
P
Dentre todos os grafos desse tipo, o que tem o maior nmero possvel de arestas
aquele que tem os blocos das parties o mais balanceado possvel.
Ou seja, tomando r = n mod p e k = bn/pc, o conjunto EX(n, Kp+1 )
contm o grafo p-partido completo com p r blocos com k vrtices e r blocos
com k + 1 vrtices.
Chamamos tal grafo de Grafo de Turn e o denotamos por Tn,p (extremal
que no contm Kp+1 ). Definimos tambm tn,p = |E(Tn,p )|.

Observando que
k+1
! !
k
|E(Tn,p )| = (p r) +r ,
2 2
obtemos a seguinte frmula
k+1 k(n p + r)
! ! !! !
n k n
|E(Tn,p )| = (p r) +r = .
2 2 2 2 2
Teorema 6.1 (Turn, 1941). Dentre todo os grafos de ordem n que no
contm Kp+1 , existe exatamente um com nmero mximo de arestas, sendo
esse o Tn,p .
Demonstrao. (Tcnica de chopping) Provaremos por induo em n.

Observe que para n p o resultado trivial.
Suponha ento que n > p e que o resultado vlido para n 1.
Seja G um grafo extremal de ordem n (em relao a Kp+1 ). Como a
adio de qualquer aresta G cria uma cpia de Kp+1 sabemos que existe uma
cpia H de Kp em G.
Sejam q1 = |E(H)| = p2 , q2 = |{vw E(G) : v V (G) \ V (H), w

V (H)}| e q3 = |E(G V (H))|.

Como cada vrtice de V (G) \ V (H) adjacente a no mximo p 1 vrtices
de H, temos q2 (n p)(p 1).
Alm disso, pela hiptese de induo, sabemos que q3 tnp,p , pois G
V (H) no possui uma cpia de Kp+1 .
Tomando r = n mod p e k = bn/pc, temos que
!
p
|E(G)| = q1 + q2 + q3 + (n p)(p 1) + tnp,p
2
n p (n p p + r)
! ! !
p np

= + (n p)(p 1) +
2 2 p 2
(n p)(n p 1) (k 1)(n 2p + r)
!
p
= + (n p)(p 1) +
2 2 2
(n p)(n + p 3) k(n p + r) kp n 2p + r
!
p
= + + +
2 2 2 2 2
n2 3n + 2p k(n p + r)
= + (n p)
! 2 2
n k(n p + r)
= = tn,p .
2 2
Ou seja, temos |E(G)| tn,p . Como Tn,p no possui nenhuma cpia de Kp+1
e G extremal, segue a outra desigualdade e, portanto, temos |E(G)| = tn,p .
Isso significa tambm que temos q2 = (n p)(p 1) e q3 = tnp,p . Pela
hiptese de induo, temos que G V (H) = Tnp,p . Ademais, o valor de q2
nos garante que vw E(G) para todo v V (G) \ V (H) e todo w V (H).
Portanto G = Tn,p (G balanceado pois Tnp,p balanceado por hiptese
de induo).
Demonstrao. (Tcnica da simetrizao) Zykov (1949) Defina a operao de

simetrizao de um vrtice u em relao a um vrtice v 6= u como a remoo
das arestas incidentes a u, adio das arestas uw para todo w NG (v) \ {u}.
Observe que se u e v so dois vrtices distintos de um grafo G, temos:

Se G no possui uma cpia de Kp+1 , ento aps a operao de simetri-
zao de u em relao a v, o novo grafo tambm no possui uma cpia
de Kp+1 .
Se G0 o grafo obtido aps a operao de simetrizao de u em relao
a v, ento |E(G0 )| = |E(G)| + |NG (v) \ {u}| dG (u).
Seja H um grafo extremal com n vrtices, ento temos (H) + 1 (H),
caso contrrio, poderamos simetrizar um vrtice de grau mnimo em relao a
um de grau mximo e obter um grafo livre de Kp+1 com mais arestas.
Ademais, tambm sabemos que se (H) < (H), ento todos os vrtices v
de grau (H) so adjacentes a todos os vrtices w de grau (H), caso contrrio,
a simetrizao de v em relao a w produziria um grafo livre de Kp+1 com
mais arestas.
Vamos provar agora que, se v e w so vrtices de H de mesmo grau, mas
vizinhanas distintas, ento v adjacente a w.
Suponha que no. Como v e w possuem vizinhanas distintas e mesmo
grau, sabemos que existem v0 NH (v) \ NH (w) e w0 NH (w) \ NH (v), sem
perda de generalidade, supomos dH (v0 ) dH (w0 ) (caso contrrio, basta trocar
os nomes v com w e v0 com w0 ).
Seja H 0 o grafo obtido a partir da simetrizao de v em relao a w e observe
que H 0 livre de Kp+1 e |E(H 0 )| = |E(H)|, logo H 0 tambm extremal.
Observe tambm que
dH 0 (v0 ) = dH (v0 ) 1 dH (w0 ) 1 = dH 0 (w0 ) 2.
Mas isso significa que a simetrizao de v0 em relao a w0 no grafo H 0 produz

um grafo livre de Kp+1 com mais arestas que H 0 , o que um absurdo.
Portanto, juntando adjacncia dos vrtices de graus distintos, sabemos
que, se v e w so vrtices de H de vizinhanas distintas, ento v adjacente
a w.
Considere a partio P do conjunto dos vrtices de H de acordo com suas
vizinhanas, isto , se N = {NH (v) : v V (H)}, ento P = {{w V (H) :
NH (w) = A} : A N }.
A propriedade que acabamos de provar nada mais do que o fato que H
|P |-partido completo com partio P .
Certamente |P | p, caso contrario, o grafo H no seria livre de Kp+1 .
Ademais, como (H) + 1 (H), segue que H balanceado, ou seja,
isomorfo a Tn,k , para algum k p.
A igualdade de k e p segue da maximalidade do valor de |E(H)|.
Corolrio 6.2 Para todo natural n 3, temos EX(n, K3 ) =

n o
Kb n cd n e
2 2
e ex(n, K3 ) 4 .
n2
Corolrio 6.3 Se n p + 1, ento todo grafo com tn,p1 + 1 arestas contm

um Kp+1 e (onde e uma aresta qualquer de Kp+1 ).
Demonstrao. Provaremos por induo em n.

Observe que para n = p + 1 o resultado trivial (pois tp+1,p1 + 1 =
p+1
2 1).
Suponha ento que n > p + 1 e que o resultado vlido para n 1.
Seja G um grafo de ordem n com tn,p1 + 1 arestas.
Suponha que (G) > (Tn,p1 ), ento, como |E(G)| = |E(Tn,p1 )| + 1,
sabemos que G um grafo p 1-partido completo, logo G contm um Kp+1 e.

Suponha ento que (G) (Tn,p1 ), seja x V (G) tal que dG (x) = (G)
e observe que
|E(G x)| = tn,p1 + 1 (G) |E(Tn,p1 )| + 1 (Tn,p1 ) = |E(Tn1,p1 )| + 1 = tn1,p1 .
Portanto, pela hiptese de induo temos G G x Kp+1 e.
Exerccio 6.1. Temos

1 p2
tn,p1 n2 ,
2 p1
e vale a igualdade quando p 1 divide n.
Corolrio 6.4 Temos

tn,p1 p2
lim = .
n n
2 p1
Na verdade, a proposio acima pode ser generalizada para um resultado
que depende do Teorema de Erds & Stoneenunciado a seguir.
Informalmente, esse teorema diz que com apenas mais n2 arestas adicionais
temos no apenas o Kp , mas um Ksp , isto , um p-partido completo com classes
de ordem s.
Teorema 6.5 (Erds & Stone, 1946). Para todo p 2 e s 1 inteiros, e para
todo > 0, existe um inteiro n0 tal que todo grafo com n n0 vrtices e pelo
menos tn,p1 + n2 arestas contm um Ksp como subgrafo.
O seguinte corolrio generaliza o Corolrio 6.4.
Corolrio 6.6 (Erds & Stone). Para todo grafo G,
ex(n, G) (G) 2
lim = .
n n
2 (G) 1
Demonstrao. (Corolrio 6.6) Seja p = (G). Como G no pode ser (p 1)-

colorido, temos que G 6 Tn,p1 para todo n N, e, portanto, temos tn,p1
ex(n, G).
Por outro lado, para todo s suficientemente grande temos G Ksp (s
(G) suficiente). Logo, temos ex(n, G) ex(n, Ksp ).
Vamos fixar um tal s. Para todo > 0, o Teorema 6.5 implica que para n
suficientemente grande temos ex(n, Ksp ) < tn,p1 + n2 .
Portanto, para n suficientemente grande temos que
tn,p ex(n, G (n, Ksp ) tn,p1 + n2

n n n < n
2 2 2 2
tn,p1 2 tn,p1
= + 1 n + 4
1 n
n
2 2
Usando o Corolrio 6.4, conclumos que
ex(n, G) p2 (G) 2
lim = = .
n n
2 p1 (G) 1

Circuitos
Nesta seo, denotaremos por s(n) o nmero mnimo de arestas tal que todo
grafo com n vrtices contm dois circuitos disjuntos nos vrtices.
Teorema 6.7 Para todo n 6, temos s(n) = 3n 5.
Demonstrao. Observe primeiramente que K1,1,1,n3 tem 3(n3)+3 = 3n6

arestas e quaisquer dois circuitos se intersectam nos vrtices, logo s(n) 3n5.
Por induo em n, vamos provar que se G tem 3n 5 arestas, ento existem
dois circuitos de G que no se intersectam.
Se n = 6, ento G tem 13 arestas. Isso significa que G isomorfo a K6
menos duas arestas e, portanto, tem duas cpias disjuntas de K3 .
Suponha ento que n > 6 e que o resultado vlido para n 1.
Observe que (G) 5 e seja v V (G) um vrtice de grau mnimo.
Tambm sabemos que se algum conjunto de 6 vrtices possuir pelo menos 13
arestas, ento G possuir duas cpias disjuntas de K3 .
Caso 1: temos dG (v) = 5.
Considere o grafo G0 = G v e adicione duas arestas a um mesmo vrtice
de NG (v), observe que o novo grafo G00 possui n1 vrtices e pelo menos 3n8
arestas.
Pela hiptese de induo, existem dois circuitos disjuntos em G00 .
Se eles no usam as arestas novas, ento o resultado vale para G0 e portanto,
para G.
Se um dos circuitos, digamos C, usa pelo menos uma das arestas novas, o
outro no pode usar nenhuma aresta nova (pois os circuitos so disjuntos).
Portanto, podemos estender C para passar por v e evitar usar a aresta
nova, obtendo assim dois circuitos disjuntos em G.
Caso 2: temos dG (v) = 4.
Considere o grafo G0 = G v e adicione uma aresta incidente a um vrtice
de NG (v), observe que o novo grafo G00 possui n1 vrtices e pelo menos 3n8
arestas.
Pela hiptese de induo, existem dois circuitos disjuntos em G00 .
Se um desses circuitos usar a aresta nova, podemos estend-lo para passar
por v e evitar us-la, obtendo assim dois circuitos disjuntos em G.
Caso 3: temos dG (v) = 3. Considere o grafo G0 = G v e observe que ele
possui n 1 vrtices e pelo menos 3n 8 arestas.
Logo, pela hiptese de induo, existem dois circuitos disjuntos em G0 e,
portanto, em G.
Teorema 6.8 Se G um grafo com n vrtices e m arestas e G no possui

nenhuma cpia de C 4 , ento m n
4 (1 + 4n 3). Isto , temos ex(n, C4 )
n
4 (1 + 4n 3).
Demonstrao. Observe que se G um grafo com n vrtices e m arestas e no

possui nenhuma cpia de C4 , ento para todo par de vrtices x e y distintos,
existe no mximo um z tal que NG (z) {x, y}.
Dessa observao, tiramos a seguinte desigualdade
! !
X d(z) n
.
zV (G)
2 2

Observe agora que a funo
0, se x < 1;
(
f (x) = x
2 , se x 1;
convexa, logo, pela Desigualdade de Jensen, temos
1 X 2m/n
! !
d(z)
.
n zV (G) 2 2
Donde segue que
n(n 1) 2m(2m n) m(2m n)

= ,
2 2n n
ou seja, temos
4m2 2mn n3 + n2 0.
Finalmente conclumos que
2n + 4n2 + 16(n3 n2 )
p
n
m = (1 + 4n 3).
8 4

Portanto temos que ex(n, C4 ) n4 (1 + 4n 3).
6.3 exerccios
Exerccio 6.2. Determine o valor de ex(n, K1,r ), para todos os naturais r, n.

Exerccio 6.3. Prove que todo grafo com n vrtices e m = n4 (1 + 4n 3)
arestas contm uma cpia de C4 .
Exerccio 6.4. Prove que tn,p1 n2 converge para (p2)/(p1) quando n .
1
Sugesto: veja a sugesto dada no exerccio 9 do livro de R. Diestel (Captulo 7).
1989.
[Bro87] R.L. Brooks. On colouring the nodes of a network. In Ira Gessel
and Gian-Carlo Rota, editors, Classic Papers in Combinatorics,
Modern Birkhuser Classics, pages 118121. Birkhuser Boston,
1987.

MATICS, 164:51229, 2006.
[ES35] P. Erds and G. Szekeres. A combinatorial problem in geometry.
Compositio Math., 2:463470, 1935.
1970.
[HT74] John Hopcroft and Robert Tarjan. Efficient planarity testing. Jour-
nal of the ACM (JACM), 21(4):549568, 1974.
[Kru60] J. B. Kruskal. Well-quasi-ordering, the Tree Theorem, and Vaz-
sonyis conjecture. Trans. Amer. Math. Soc., 95:210225, 1960.
Fund. Math, 28:2232, 1937.
[NRS06] Brendan Nagle, Vojtech Rdl, and Mathias Schacht. The coun-
ting lemma for regular k-uniform hypergraphs. Random Struct.
Algorithms, 28(2):113179, 2006.
22:625639, 1955.
Soc., 52:113116, 1946.
[Tho80] C. Thomassen. Kuratowskis Theorem. Preprint series: Matematisk
Institut. Matematisk Inst., Univ., 1980.
[Tho81] Carsten Thomassen. Kuratowskis theorem. Journal of Graph
Theory, 5:225241, 1981.
[Tho88] Andrew Thomason. An upper bound for some Ramsey numbers. J.
Graph Theory, 12(4):509517, 1988.

[TT81] C. Thomassen and B. Toft. Non-separating induced cycles in graphs.
Journal of Combinatorial Theory, Series B, 31(2):199224, October
1981.
[Wes] Douglas B. West. Ore, BergeTutte, and GallaiEdmonds.
[Wes11] Douglas B. West. A short proof of the BergeTutte Formula and
the GallaiEdmonds Structure Theorem. European Journal of
Combinatorics, 32(5):674676, 2011.

7 nmeros de ramsey
7.1 teoria de ramsey
Em 1927, Frank Plumpton Ramsey [1903 - 1930], lgico ingls, provou no seu
trabalho de teoria dos conjuntos o que se chama hoje de Teorema de Ramsey, um
teorema que abriu novas portas para o estudo de combinatria. Atualmente,
devido a vastas pesquisas sobre o assunto, a rea conhecida como Teoria
de Ramsey bem estabelecida na matemtica. Essa teoria procura encontrar
regularidades dentro de uma estrutura larga e catica. Segundo as palavras de
Theodore S. Motzkin: A completa desordem impossvel.
Neste captulo, apresentaremos o Teorema de Ramsey e vrios corolrios.
7.2 teorema de ramsey
Vamos lembrar o Princpio da Casa dos Pombos: se colocamos n + 1 pombos

em n casas, ento alguma casa vai receber mais de um pombo. Embora simples,
este princpio uma poderosa ferramenta para obter resultados de existncia.
O Teorema de Ramsey pode, a grosso modo, ser visto como uma generalizao
do princpio da casa dos pombos.
Teorema 7.1 (Teorema de Ramsey, verso para grafos). Dados inteiros posi-
tivos n e m, existe um inteiro positivo N tal que, se G um grafo com pelo
menos N vrtices, ento G contm uma cpia do grafo completo Kn ou contm
uma cpia do grafo vazio Km .
Uma afirmao que descreve bem o Teorema de Ramsey a seguinte: Dados
inteiros positivos n e m existe um inteiro positivo N tal que, em qualquer
conjunto de N pessoas, sempre existem n pessoas que se conhecem mutuamente
ou m pessoas que se desconhecem mutuamente.
O nmero de Ramsey, denotado por r(n, m), o menor N que satisfaz
a condio acima. No difcil ver que as seguintes propriedades valem
para r(n, m).
1. Para todo inteiro positivo n, valem r(n, 1) = 1 e r(n, 2) = n;
2. Para todo inteiro positivo n e m, vale r(n, m) = r(m, n).
Uma outra forma de definir o nmero de Ramsey utilizando colora-
es. Dado um inteiro positivo k, uma k-colorao de um grafo G uma
funo c : E(G) X, onde X um conjunto de cardinalidade k. Muitas vezes,
vemos a colorao c como a partio {c1 (x) : x X} de E(G) induzida pela
pr-imagem de c. Os elementos de X so chamados cores da colorao c.
Dada uma colorao c de um grafo G, um subgrafo H G e uma cor i,
dizemos que H monocromtico de cor i se toda aresta de H possui cor i
em G.
Portanto r(n, m) o o menor inteiro positivo p tal que para toda 2-colorao
de Kp , digamos, em verde e azul, existe um subgrafo Kn monocromtico de
cor verde ou um subgrafo Km monocromtico de cor azul.
Exerccio 7.1. Mostre que todo grafo com seis vrtices contm uma cpia de K3
ou uma cpia de K3 e mostre que no vale para grafos com menos que seis
vrtices. Conclua que r(3, 3) = 6.
O resultado afirma que o nmero r(n, m) est bem definido para todos
inteiros positivos n e m.

Teorema 7.2 Para todos inteiros positivos m 2 e n 2, existe r(n, m) e
r(n, m) r(n 1, m) + r(n, m 1).
Demonstrao. Vamos demonstrar usando induo em m + n.

Note que, para n = 1 ou n = 2, temos r(1, m) = 1 e r(2, m) = m, para
qualquer m.
Suponha que n 3 e m 3, e que, para todos n0 e m0 tais que n0 + m0 <
n + m, existe r(n0 , m0 ).
Se G um grafo com r(n1, m)+r(n, m1) vrtices, ento vamos mostrar
que G contm uma cpia do grafo completo Kn ou contm uma cpia do grafo
vazio Km . Pelo princpio da casa dos pombos, existe um vrtice v em G tal
que dG (v) r(n 1, m) ou dG (v) r(n, m 1).
Suponha que existe v em G tal que dG (v) r(n1, m). Seja H = G[Adj(v)].
Pela hiptese de induo, H Kn1 ou H Km . No primeiro caso, basta
tomar o Kn1 em H e adicionar v. O segundo caso bvio.
A demonstrao para o caso em que existe v tal que dG (v) r(n, m 1)
anloga, tomando H = G[AdjG (v)].
Teorema 7.3 (Erds & Szekeres, 35 [ES35]). Para todos inteiros positivos m
e n, vale que
n+m2
!
r(n, m) .
n1
Demonstrao. Vamos demonstrar usando induo em n + m.

J vimos que, para n = 1 ou n = 2, temos r(1, m) = 1 e r(2, m) = m, para
qualquer m.
Suponha que n 3 e m 3, e que, para todos n0 e m0 tais que n0 + m0 <
n + m, vale a desigualdade do enunciado.
Em particular, vale que
n+m3 n+m3
! !
r(n 1, m) e r(n, m 1) .
n2 n1
fcil ver que

k1 k1
! ! !
k
= + .
p p1 p
Logo,
n+m3 n+m3
! !
r(n 1, m) + r(n, m 1) +
n2 n1
n+m2
!
= .
n1
Um (n, m)-grafo de Ramsey um grafo com r(n, m) 1 vrtices que no

contm Kn e nem Km .
No difcil ver que C5 um (3, 3)-grafo de Ramsey; e o Wagner graph, que
o grafo C8 com cordas ligando vrtices opostos um (3, 4)-grafo de Ramsey.
Observe que ambos os grafos provam que r(3, 3) > 5 e r(3, 4) > 8.

Em geral, para mostrar o valor exato de r(n, m), basta exibir um (n, m)-
grafo de Ramsey com r(n, m) 1 vrtices. Porm, difcil explicitar um (n, m)-
grafo de Ramsey para quaisquer n e m.
Poucos valores de r(n, m) so conhecidos. A tabela abaixo mostra alguns
deles com n 3 e m 3.
3 4 5 6 7 8 9 10
3 6 9 14 18 23 28 36 4042
4 18 25 3641 4961 5884 73115 92149
5 4349 5887 80143 101216 126316 144-442
6 102165 113298 132495 169780 1791171
7 205540 2171031 2411713 2892826
8 2821870 3173583 3316090
9 5656588 58112677
10 79823556
Valores de r(n, m)
Um problema famoso relacionado ao Teorema de Ramsey determinar ou

estimar o nmero r(n) = r(n, n). J sabemos que r(1) = 1, r(2) = 2 e r(3) = 6.
um bom exerccio provar que r(4) = 18. Sabe-se somente que 43 r(5) 49.
Pelo Teorema 7.3, obtemos
2n 2
!
c
r(n) 4n
n1 n
para alguma constante c > 0.

A melhor estimativa inferior devida a Erds, que utilizou o que chamamos
hoje de mtodo probabilstico, um poderoso mtodo que utilizado fortemente
em vrias pesquisas atuais.
Teorema 7.4 (Erds, 1947). Para todo inteiro positivo n 3,
r(n, n) > 2n/2 .

j k
Demonstrao. Fixe um conjunto V , com cardinalidade p = 2n/2 e seja Gp

j k
a classe de todos os grafos sobre V .

Afirmamos que existe G Gp tal que G 6 Kn e G 6 Kn .
Seja Hp a classe de grafos de Gp que contm Kn como subgrafo. Seja N :=
2 e M := 2 . Ento |Gp | = 2 . Para cada S V , com |S| = n, o nmero
p n N
de grafos em Gp nos quais S induz um subgrafo completo Kn 2N M . Ento

!
p N M pn N M
|Hp | 2 < 2 .
n n!
Sabemos que p 2n/2 . Logo pn 2n . Para n 3, temos 2n/2 < n!/2.

2 /2

Assim
1 1/n
1/n
2n/2

< n!
2
1
1/n
21/2 < n!
2
1
1/n
2n/2 2 2
n1
< n!
2
Assim, temos que

1

p 2
n n2 /2
< n! 2M .
2
Portanto,
1 N M 1 1

|Hp | < pn 2 < n! 2M 2N M = 2N 1 .
n! 2 n!
Seja H o conjunto dos grafos em Hp e seus complementos, isto , o conjunto
dos grafos que contm Kn ou Kn . Como |Gp | = 2N e |H| < 2N 1 , temos
que H um subconjunto prprio de Gp . Ou seja, existe G Gp \ H, como
queramos.
Thomason, em 1988 [Tho88], provou que existe uma constante c > 0 tal
que,
2n 2
!

r(n) n1/2+c/ log n .
n1
Algumas conjecturas na Teoria de Ramsey ainda esto em aberto.
Conjectura 7.5 Existe uma constante k (talvez k = 1) tal que r(n) =
2(k+O(1))n , para todo n.
Conjectura 7.6 O limite lim r(n)1/n existe.
n
Erds j sabia as seguintes estimativas em 1947, que provamos anterior-
mente
2 lim inf r(n)1/n lim sup r(n)1/n 4.
n n
Assim, ele props no mesmo ano o problema de encontrar o limite, caso ele
exista. Erds ofereceu 100 dlares para quem resolver a Conjectura 7.6 e 250
dlares para quem conseguir calcular o limite, caso exista.
Teorema de Ramsey com mais cores

O Teorema de Ramsey garante que ao colorirmos as arestas do grafo completo
de ordem r(n, m) com duas cores, digamos azul e verde, existe um subgrafo
completo monocromtico de cor verde de ordem n ou de cor azul de ordem m.
A seguir, veremos que o Teorema de Ramsey continua verdadeiro no caso em
que temos mais do que duas cores.
Teorema 7.7 (Teorema de Ramsey com k cores). Fixe p1 , . . . , pk inteiros
positivos quaisquer. Existe um inteiro positivo n tal que para toda k-colorao
das arestas do grafo completo de ordem n existe um subgrafo completo de
ordem pi monocromtico de cor i, para algum 1 i k.

Demonstrao. Seja r(p1 , . . . , pk ) o menor n que satisfaz o Teorema de Ramsey
com k cores. Por induo em p1 + p2 + . . . + pk , mostremos que
r(p1 , p2 , . . . , pk ) 2 + (ri 1),

X
1ik
onde ri = r(p1 , . . . , pi 1, . . . , pk ) para todo 1 i k.

Observe que, se existe algum i tal que pi = 1, ento r(p1 , p2 , . . . , pk ) = 1.
Suponha que todos os pi s so maiores que 1 e que a afirmao vale
para p1 + p2 + . . . + pk 1.
Seja n = 2 + 1ik (ri 1). Fixe uma k-colorao das arestas de Kn
P
e v um vrtice de Kn . Pela escolha de n, existe i tal que o vrtice v possui

pelo menos ri incidentes arestas de cor i. Considere o grafo G0 = G v. Pela
hiptese de induo, temos dois casos:
1. O grafo G0 contm uma cpia Kpi 1 monocromtica de cor i;
2. O grafo G0 contm uma cpia Kpj monocromtica de cor j 6= i.
No segundo caso, no h nada para fazer. Suponha ento que no ocorreu
o segundo caso. Como v possui pelo menos ri arestas de cor i incidentes, temos
que Kn possui um subgrafo Kpi monocromtico da cor i, como queramos.
Teorema de Ramsey para hipergrafos completos

Estenderemos a verso de grafos do Teorema de Ramsey para hipergrafos. Um
l-grafo um par de conjuntos G = (V, E) tal que E Vl = {U V : |U | = l}.
Um l-grafo completo de ordem n, denotado por Kn , um l-grafo de ordem n
(l)
e de tamanho nl .

Lema 7.8 (Princpio da Casa dos Pombos). Sejam k, p1 , . . . , pk naturais.

Se ki=1 (pi 1) + 1 objetos so coloridos com k cores, ento existe pelo
P
menos pi objetos monocromticos da cor i.
Demonstrao. Suponhamos que existe uma k-colorao dos ki=1 (pi 1) + 1

P
objetos tal que toda cor i possui no mximo pi 1 objetos coloridos com essa
cor. Neste caso, h no mximo ki=1 (pi 1) objetos, uma contradio.
P
Teorema 7.9 (Teorema de Ramsey para hipergrafos). Para todo inteiros

positivos p1 , . . . , pk existe um inteiro positivo n tal que para toda k-colorao
das arestas do l-grafo completo Kn existe um subgrafo Kpi monocromtico
(l) (l)
da cor i.
Demonstrao. Mostremos, por induo dupla em l e p1 + . . . + pk , que
R(l) (p1 , p2 , . . . , pk ) 1 + R(l1) (R1 , R2 , . . . , Rk ), (7.1)
onde Ri = R(l) (p1 , . . . , pi 1, . . . , pk ).

Para l = 1, temos, pelo Lema 7.8, que R(1) (p1 , p2 , . . . , pk ) existe e igual
a i=1 (pi 1) + 1.
Pk
Suponhamos que o teorema vale para um k-colorao do l 1)-grafo

completo. Mostremos, por induo em p1 + . . . + pk , que o teorema vale para
uma k-colorao do l-grafo completo.
Se algum pi menor que l, ento o grafo completo Kpi tem cor i. Logo
(l)
R(l) (p1 , p2 , . . . , pk ) = min{p1 , . . . , pk }.

Suponhamos que a desigualdade (7.1) vale para p1 + . . . + pk 1. Pela
hiptese de induo (tanto a interna quanto a externa), Ri existem, para
todo 1 i k.
Seja n = 1 + R(l1) (R1 , . . . , Rk ). Fixemos uma k-colorao das arestas
de Kn e v vrtice de Kn . Pela escolha de n, temos que existe i tal que o
(l) (l)
vrtice v possui pelo menos Ri arestas de cor i incidentes. Temos dois casos:
1. Existe um subgrafo Kpi 1 tal que suas arestas tem cor i;
(l)
2. Existe um subgrafo Kpj com j 6= i tal que suas arestas possuem a cor j.
(l)
Se ocorrer o segundo caso, no h nada para fazer. Suponhamos que ocorreu

o primeiro caso. Como v possui Ri arestas de cor i incidentes e no ocorreu
o segundo caso, temos que Kn possui um subgrafo Kpi monocromtico da
(l) (l)
cor i.
7.3 nmero de ramsey para grafos arbitrrios
Pela definio do nmero de Ramsey r(n, m), queremos encontrar grafos com
quantidade de vrtices suficietemente grande para conter uma cpia de Kn
ou Km . Podemos generalizar o nmero de Ramsey substituindo Kn e Km por
dois grafos G1 e G2 com |V (G1 )| = n e |V (G2 )| = m. Neste caso, definimos o
nmero de Ramsey generalizado.
Definio 7.10 Sejam n e m inteiros positivos e G1 e G2 grafos com ordem n
e m, respectivamente. O nmero de Ramsey generalizado r(G1 , G2 ) o menor
inteiro positivo p tal que qualquer grafo G de ordem p ontm uma cpia de G1
ou seu complemento contm uma cpia de G2 .
Claramente r(n, m) = r(Km , Kn ). Ademais, para todo grafo G1 e G2
com ordem n e m, respectivamente, vale r(G1 , G2 ) r(n, m). Isto mostra
que r(G1 , G2 ) est bem definido. Entretanto, pode ocorrer que r(G1 , G2 ) seja
muito menor que r(n, m) se G1 e G2 forem esparsos, isto , a ordem de G1
e G2 sejam relativamente grande em relao s suas quantidades de arestas.
Uma outra forma de definir o nmero de Ramsey generalizado utilizando
coloraes. De fato, o nmero r(G1 , G2 ) o menor inteiro positivo p tal que
para toda 2-colorao das arestas do grafo completo Kp existe um subgrafo
monocromtico de cor i.
Apresentaremos alguns resultados para particulares grafos.
Teorema 7.11 (Chvtal,77). Seja Tm uma rvore qualquer de ordem m 1 e
seja n um natural no nulo. Ento
r(Tm , Kn ) = 1 + (m 1)(n 1).
Demonstrao. Se m = 1 ou n = 1 o resultado trivial. Considere G =

(n 1)Km1 uma unio disjunta de n 1 cpias de Km1 . Note que G
tem (m 1)(n 1) vrtices e no contm nem Tm e nem Kn . Isso mostra
que r(Tm , Kn ) 1 + (m 1)(n 1).
Seja G um grafo com 1 + (m 1)(n 1) vrtices. Suponhamos que G 6 Kn .
Mostremos que G Tm . Notemos que (G) n 1. Como (G) |V(G) (G)|
,
vale
1 + (m 1)(n 1)
(G) > m 1.
n1
Portanto (G) m. Seja G0 um subgrafo de G que criticamente m-cromtico,
isto , (G0 ) = m e (G0 v) = m 1. Neste caso (G0 ) m 1 (exerccio),
onde conclumos G0 Tm . Portanto G Tm , como queramos.

Exerccio 7.2. Fazer uma outra prova do Teorema 7.11, usando a linguagem
de 2-colorao de K(m1)(n1)+1 e fazendo induo em m + n.
Teorema 7.12 Para l 1 e p 2 temos
r(lK2 , Kp ) = 2l + p 2.
Demonstrao. O grafo K2l1 Ep2 no contm l arestas independentes, e

seu complementar, o grafo E2l1 + Kp2 , no contm um grafo completo de
ordem p. Logo r(lK2 , Kp ) 2l + p 2.
Por outro lado, seja G um grafo de ordem n = 2l + p 2. Suponhamos
que G contm no mximo s l 1 arestas independentes. Mostremos que G
contm um subgrafo Kp .
Como n 2s 2l + p 2 2(l 1) = p, temos que existe Kp em G.
Notemos que se H um grafo qualquer de ordem h, pelo Teorema 7.12,

segue que
r(lK2 , H) r(lK2 , Kh ) 2l + h 2.
O resultado a seguir fornece uma cota inferior para o nmero de Ramsey
generalizado. Seja G um grafo. Como usual, denotemos por (G) o nmero
cromtico de G. Ademais, lembremos que c(G) o mximo das ordens dos
componentes de G, e definimos u(G) como sendo a cardinalidade mnima das
classes de cores considerando-se todas as coloraes prprias de G com (G)
cores.
Teorema 7.13 Para quaisquer grafos H1 e H2 no-vazios temos
r(H1 , H2 ) ((H1 ) 1)(c(H2 ) 1) + u(H1 ).
Demonstrao. Sejam k = (H1 ), u = u(H1 ) e c = c(H2 ). Naturalmente,
r(H1 , H2 ) r(H1 , K2 ) = |H1 | (H1 )u(H1 ) = ku.
Assim, se c u, ento r(H1 , H2 ) ku (k 1)c + u. Por outro lado, se c > u,

ento o grafo G = (k 1)Kc1 Ku1 no contm H2 , e seu complementar
no contm H1 . Portanto,
r(H1 , H2 ) |G| + 1 = (k 1)(c 1) + u,
como queramos.
Teorema 7.14 Para l 2 temos
r(F1 , Fl ) = r(K3 , Fl ) = 4l + 1,
onde Fl unio de l tringulos K3 com um vrtice em comum.
Demonstrao. Pelo Teorema 7.13, sabemos que r(K3 , Fl ) 2(|Fl | 1) + 1 =

4l + 1.
Suponhamos por absurdo que no vale a desigualdade r(K3 , Fl ) 4l+1 isto
, existe um grafo G livre de tringulos de ordem 4l+1tal que seu complementar
no contm Fl .
Fixemos v vrtice de G e seja U = G (v). Ento U um conjunto de
vrtices independentes, e, como G no contm Fl , temos dG (v) = |U | 2l.

Por outro lado, observemos o grau de v em G. Seja W = G (v) =
V (G) (U {v}). Temos que G[W ] no contm l arestas independentes, e seu
complementar G[W ] no possui tringulos. Ento, pelo Teorema 7.12, dG (v) =
|W | 2l.
Logo conclumos que dG (v) = dG (v) = 2l para todo v G, isto , G um
grafo livre de tringulos 2l-regular de ordem 4l + 1. Mostremos que isso no
pode ocorrer.
Suponhamos por absurdo que existe um grafo G = (V, E) que satisfaz as
condies acima. Notemos que G pode ser escrito como um grafo bipartido
com 2l vrtices mais um vrtice w. Temos dois casos, ou os vizinhos de w esto
somente em um dos lados da partio, ou w tem vizinhos nos dois lados da
partio.
Se ocorrer o primeiro caso, vamos supor, sem perda de generalidade, que w
incide suas arestas no lado esquerdo da partio. Temos que cada vrtice da
partio da esquerda incide 2l 1 arestas na partio da direita. Logo, existe
um vrtice do lado direito da partio com no mximo 2l 1 arestas incididas,
uma contradio.
Se ocorrer o segundo caso, suponhamos que w incide a arestas no lado
esquerdo da partio e b arestas no lado direito da partio, com a + b = 2l.
Suponhamos que a b, isto , a l.
Por definio de grafo bipartido, sejam os conjuntos de vrtices independen-
tes W e X disjuntos tais que W X = V \ {w}. Sejam os conjuntos A W
e B X tais que |A| = a e |B| = b que satisfaz a condio acima.
Fixemos um vrtice u de A. Temos que u no pode incidir em algum vrtice
de B, pois teramos um tringulo. Logo u s pode incidir em 2l b = a l
vrtices. Mas assim d(u) l + 1, uma contradio.
A seguir, apresentaremos outros resultados, sem provas, sobre o nmero

de Ramsey generalizado.
Teorema 7.15 (Lawrence,73).
2n + 1 se m mpar e m 2m + 1
(
r(Cm , K1,n ) =
m se m 2n
Teorema 7.16 (Chvtal & Harary, 72). Para qualquer grafo G de ordem m e
sem vrtices isolados,
m+1 se G tem um emparelhamento perfeito,

(
r(G, P3 ) =
m caso contrrio
Teorema 7.17 (Chvtal & Gyrfs,67). Para naturais m, n com 2 m n

m

r(Pm , Pn ) = n + 1
2
Teorema 7.18 (Faudree & Schelp, 74). Sejam m, n naturais tais que 3 m
n.
(a) Se m mpar e (m, n) 6= (3, 3), ento
r(Cm , Cn ) = 2n 1.
(b) Se m e n so pares e (m, n) 6= (4, 4), ento
m
r(Cm , Cn ) = n + 1
2

(c) Se n mpar e m par, ento
m
r(Cm , Cn ) = max{n + 1, 2m 1}
2
(d) r(C3 , C3 ) = r(C4 , C4 ) = 6.
7.4 aplicaes do teorema de ramsey
A Teoria de Ramsey uma rea extensa. Encontra-se, por exemplo, resultados

na teoria dos grafos, na teoria dos conjuntos, na teoria dos nmeros, na teoria
ergdica, em sistemas dinmicos topolgicos.
Nesta seo veremos alguns resultados o qual aplicado o Teorema de Ram-
sey, e tambm teoremas que so do tipo Ramsey, isto , teoremas envolvendo
estruturas que so preservadas sob partio.
Primeiramente apresentaremos o lema de Knig, um resultado importante
na teoria dos grafos.
Teorema 7.19 [Lema de Knig] Seja V0 , V1 , . . . uma sequncia infinita de
conjuntos finitos disjuntos, no vazios, e seja G um grafo cujo conjunto de
vrtices a unio desses conjuntos. Suponha que todo vrtice v Vi , i 1,
tem um vizinho f (v) em Vi1 . Ento G contm um caminho infinito v0 v1
com vi Vi para todo i.
Demonstrao. Seja P o conjunto dos caminhos da forma (v, f (v), f (f (v)), . . .)

que termina num vrtice de V0 . Como P infinito e V0 finito, existe um
vrtice de V0 , digamos v0 , que trmino de um nmero infinito de caminhos
de P. Dentre esses infinitos caminhos que terminam em V1 , h um nmero
infinito de caminhos cujo penltimo vrtice um vrtice, digamos v1 de V1 .
Procedendo indutivamente, definimos vi Vi para todo i 1. Portanto v0 v1
um caminho infinito em G.
Agora veremos a verso infinita do Teorema de Ramsey.

Definio 7.20 Dados X um conjunto de cardinalidade infinita e k N,
definimos os seguintes conjuntos:
P (X) = {Y X : |Y | = };
Pk (X) = {Y X : |Y | = k}.
Definio 7.21 Seja c, k inteiros positivos e X um conjunto infinito. Uma
c-colorao em Pk (X) uma partio de Pk (X) em no mximo k classes.
Se (A1 , . . . , Ac ) uma colorao de Pk (X), para cada i, dizemos que cada
elemento de Ai est colorido com a cor i.
Dado uma c-colorao em Pk (X), um conjunto Y P (X) monocro-
mtico se todos os elementos de Pk (Y ) esto coloridos com a cor i, para
algum i.
Teorema 7.22 [Verso infinita do Teorema de Ramsey] Sejam k, c inteiros
positivos e X um conjunto infinito. Para toda c-colorao em Pk (X) existe
um conjunto Y P (X) monocromtico.
Demonstrao. A prova segue por induo em k. Se k = 1 o resultado bvio,

pois P1 (X) = X.
Suponhamos que o resultado vale para k 1. Fixe uma c-colorao
em Pk (X). Vamos construir uma sequncia infinita X0 , X1 , X2 , . . . de subcon-
juntos infinitos de X, e escolher xi Xi com as seguintes propriedades.

(a) Xi+1 Xi \ {xi };
(b) Todos os conjuntos {xi } Z Pk (Xi+1 ) com Z Pk1 (Xi+1 ) tm a
mesma cor.
Comeamos com X0 = X e tomamos x0 X arbitrrio. Por hiptese, sabe-
mos que X0 infinito. Uma vez escolhido Xi e um elemento xi Xi , definimos
uma c-colorao de Pk1 (Xi \ {xi }), onde cada conjunto Z Pk1 (Xi \ {xi })
recebe a cor de {xi } Z da c-colorao de Pk (X).
Pela hiptese de induo, temos que Xi \ {xi } tem um subconjunto Y 0
P (Xi \ {xi }) monocromtico, que tomamos para ser Xi+1 .
Notemos que tal construo satisfaz (a) e (b). Ademais, existe um t
{1, . . . , c} e uma subsequncia (xip )p0 de (xi )i0 tais que Xip monocromtico
com a cor t. Pela Propriedade (a), todo conjunto C {xi1 , xi2 , . . .} est
colorido com a cor i. Portanto (xip ) formam o conjunto Y procurado.
O teorema a seguir o resultado obtido por Ramsey em 1927.

Teorema 7.23 [Teorema de Ramsey, 1927] Dados inteiros positivos c, t e k,
existe um natural p k tal que para todo conjunto X com p elementos e
uma c-colorao de Pk (X), existe um Y Pt (X) monocromtico.
Demonstrao. Suponhamos, por absurdo, que a afirmao do teorema seja

falsa para alguma tripla (c, t, k). Assim, para todo p k existem um con-
junto X com |X| = p, o qual podemos supor, sem perda de generalidade,
que X = [p], e uma c-colorao de Pk (X) tal que X no contm um Y Pt (X)
monocromtico. Denominemos tais coloraes de ruins.
Mostremos que essas coloraes ruins induzem uma colorao ruim de N =
{1, 2, . . .}, contrariando o Teorema 7.22.
Para todo p k, seja Vp o conjunto das coloraes ruins de Pk ([p]).
Claramente, para todo p > k temos que se g Vp ento a restrio f (g) de g
a Pk ([p 1]) uma colorao ruim e, portanto, pertence a Vp1 .
Pelo Lema 7.19, existe uma sequncia infinita (gp )pk de coloraes ruins gp
Vp tais que f (gp ) = gp1 para todo p > k. Para todo m k, todas as coloraes
ruins gp , com p m coincidem sobre Pk ([m]), e portanto para cada Y Pk (N )
o valor gp (Y ) coincide para todo p max Y .
Defina g(Y ) como este valor comum gp (Y ). Ento g uma colorao ruim
de Pk (N ). De fato, pois todo subconjunto T N com |T | = t est contido em
algum [p] (basta tomar p = max T ) e, portanto, T no pode ser monocromtico,
pois g coincide sobre Pk ([p]) com a colorao ruim gp . A existncia dessa
colorao ruim de Pk (N ) contradiz o Teorema 7.22, como queramos.
O seguinte teorema pode ser provado com o auxlio do axioma da escolha.

Teorema 7.24 (Teorema de Ramsey fortalecido). Dados inteiros positivos m, r, k,
existe um inteiro positivo n tal que para toda r-colorao de Pk ([n]) existe um
conjunto Y P (N) monocromtico com |Y | m e |Y | > min{y : y Y }.
Demonstrao. Fixe m, r, k inteiros positivos. Seja A a famlia dos conjuntos

finitos A [m, ) tais que |A| > min A.
Fixe uma r-colorao em Pk ([m, )). Pelo Teorema 7.22, existe um
conjunto monocromtico T P ([m, )). Seja Y o conjunto formado pe-
los min(T ) + 1 primeiros elementos de T . Ento
|Y | = min(T ) + 1 > min(T ) = min(Y ).
Portanto Y A. A existncia de n segue pelo princpio da compacidade.

O Teorema da Incompletude de Gdel afirma que existe uma proposio
na teoria de primeira ordem da aritmtica de Peano AP tal que se AP for
consistente, ento nem nem a negao de so demonstrveis em AP.
Em 1977, J. Paris e L. Harrington exibiram um exemplo de uma assero
do tipo Ramsey que satisfaz o teorema da incompletude de Gdel.
Teorema 7.25 (Paris Harrington, 1977). O Teorema de Ramsey fortalecido
no pode ser provada na aritmtica de Peano.
At este momento, estamos sempre trabalhando com um nmero finito de
cores. Apresentaremos agora um exemplo mostrando que o Teorema 7.22
falso quando colorimos subconjuntos de cardinalidade infinita.
Proposio 7.26 Existe uma 2-colorao de P (N) que no possui um
subconjunto monocromtico de cardinalidade infinita.
Demonstrao. Construmos uma 2-colorao c tal que para todo M P (N)

e x M temos c(M \ {x}) 6= c(M ). Isto claramente suficiente para provar a
proposio.
Definimos uma relao sobre P (N) definida por L M se |LM | < ,
onde LM = (L \ M ) (M \ L). Mostremos que uma relao de
equivalncia.
i) Claramente L L pois |LL| = 0 < para todo L P (N);
ii) Claramente L M se e somente se M L, pois |LM | = |M L| para
todo L, M P (N);
iii) Sejam L, M, N P (N), mostremos que se L M e M N ento L
N.
Como |LM | < , temos L \ M e M \ L finitos.
Como |M N | < , temos M \ N e N \ M finitos.
Assim,
L \ N = (L \ (N M )) ((L M ) \ N ) (L \ M ) (M \ N ).
N \ L = (N \ (L M )) ((M N ) \ L) (N \ M ) (M \ L).
Logo L\N e N \L so finitos. E portanto |LN | = |L\N |+|N \L| < .

Denotemos as classes de equivalncias por {Ei : i I}. Para cada i
escolhemos Mi Ei . Observemos que dado M P (N) existe nico i I tal
que M Mi .
Definimos c : P (N) [2] dada por c(M ) = 1 se |M Mi | par para
algum i I e c(M ) = 2 se |M Mi | impar para algum i I.
Fixemos M P (N) e x M . Se c(M ) = 1, ento |M Mi | par
para algum i I, logo |M \ {x}Mi | mpar. Portanto c(M \ {x}) = 2.
Analogamente, se c(M ) = 2, ento c(M \ {x}) = 1.
Apresentemos uma aplicao geometria utilizando o Teorema de Ramsey,

conhecida como Happy Ending Problem.
Teorema 7.27 (Erds Szekeres, 1935). Dado m 3, existe o menor natu-
ral f (n) tal que, para todo f (m) pontos no plano trs a trs no-colineares
existem m desses pontos que formam um polgono convexo.
Exerccio 7.3. Prove o Teorema 7.27. Utilize e prove os seguintes lemas abaixo.

Lema 7.28 Entre cinco pontos do plano trs a trs no colineares, existem
quatro que formam um quadriltero convexo.
Lema 7.29 Se entre m 4 pontos no plano, trs a trs no-colineares, cada
quatro formam vrtices de um quadriltero convexo, ento os m pontos so os
vrtices de um polgono convexo.
Claramente f (3) = 3. um bom exerccio provar que f (4) = 5 e f (5) = 9.
Em 2006, Szekeres e Peters provaram que f (6) = 17. A partir desse nmeros,
natural conjecturarmos que f (m) = 2m2 + 1. Em 1961, Erds e Szekeres
provaram que f (m) 2m2 + 1. A melhor cota superior conhecida devida a
Tth e Valtr, provada em 2005. Quando m 7,
2m 5 4m
!
f (m) =O .
m2 m
Teoremas tipo Ramsey na combinatria aditiva

A seguir, veremos uma aplicao do Teorema 7.23 para obter um resultado de
combinatria aditiva. O resultado a seguir foi provado por Issai Schur em 1916.
Teorema 7.30 (Schur, 1916). Para todo inteiro positivo n 2 existe um
menor natural (n) tal que para qualquer partio do conjunto {1, . . . , (n)}
em n classes, existem inteiros x, y, z numa mesma classe, tais que x + y = z.
Demonstrao. Seja (c, t, k) = (n, 3, 2). Pelo Teorema 7.23, existe um inteiro
positivo p 2 tal que para toda n-colorao de P2 ([p]) existe um conjunto Y
X monocromtico com |Y | = 3.
Considere uma n-colorao de [p] em n classes X1 , . . . , Xn , e defina a
seguinte partio de P2 ([p]).
Ci = {{a, b} P2 ([p]) : |a b| Xi },
para todo 1 i n.
Como (C1 . . . , Cn ) uma n-colorao de P2 ([p]), existe um conjunto Y =
{a, b, c} de X, tal que {a, b}, {b, c}, {a, c} Ci para algum i.
Suponhamos que a > b > c. Sejam x = b a, y = c b e z = c a.
Temos x, y, z Xi e x + y = z, como queramos.
Exerccio 7.4. Mostre que para toda 2-colorao do conjunto {1, 2, . . . , 325}
existem inteiros positivos x, y, z distintos de mesma cor tais que y = 12 (x + z).
Motivado pelo estudo do ltimo Teorema de Fermat, Schur demonstrou o
seguinte teorema.
Teorema 7.31 (Schur, 1916). Para todo inteiro positivo n, existe um primo p0
tal que, para todo primo p p0 , a equao
xn + y n z n (mod p)
possui uma soluo no trivial em Zp .
Demonstrao. Fixe um inteiro positivo n. Pelo Teorema 7.30, existe um

primo p0 tal que, para toda n-colorao de [p0 ] existem x0 , y0 , z0 [p0 ] de
mesma cor tais que x0 + y0 = z0 .
Fixe um primo p p0 qualquer e considere o grupo multiplicativo Zp , .
Sabemos que este grupo possui um gerador g, isto , se t Zp , ento t = g m

para algum inteiro positivo m. Logo, todo elemento t Zp pode ser escrito da
forma t = g kn+r , onde k inteiro positivo e 0 r n 1. Faamos uma n-
colorao em Zp dada por c(t) = r. Pelo Teorema 7.30, existem x1 , x2 , x3 Zp
tais que c(x1 ) = c(x2 ) = c(x3 ) e x1 + x2 x3 (mod p). Assim
g k1 n+r + g k2 n+r g k2 n+r (mod p).
Como g r inversvel mdulo p, tomando x = g k1 , y = g k2 e z = g k3 , obtemos
xn + y n z n (mod p),
como queramos.
Segue agora um resultado clssico que foi conjecturado por Schur e que foi
provado porBartel L. van der Waerden em 1927.
Teorema 7.32 Para todo inteiros positivos r e k existe um inteiro positivo n
tal que toda r-colorao de [n] contm uma progresso aritmtica monocrom-
tica de comprimento k.
Demonstrao. Definimos W (r, k) como o menor inteiro positivo n que satisfaz

o teorema acima.
Mostremos que W (r, k) est bem definido por induo dupla. Claramente
para k 2 trivial, para todo inteiro positivo r. Suponhamos que W (r, k 1)
existe para todo inteiro positivo r. Denotemos por Ai = P A(ai , ri , l) como
o subconjunto dos inteiros positivos que forma uma progresso aritmtica
de comprimento l, primeiro elemento ai e razo ri . As progresses aritmti-
cas A1 , . . . At so ditas focadas em z Z se ai + lri = z para todo 1 i t.,
e so ditas focadas em cores se todas so monocromticas, e cada uma est
colorido diferentemente das outras.
Mostremos a seguinte afirmao: Sejam k e r inteiros positivos. Para
todo s r existe um inteiro positivo n tal que para toda r-colorao de [n]
existe ou uma progresso aritmtica de comprimento k, ou s progresses
aritmticas focadas em cores de comprimento k 1.
A prova por induo em s. Se s = 1, pela hiptese de induo, podemos
tomar n = W (r, k 1), que claramente satisfaz a afirmao.
Seja s > 1, e suponhamos, por hiptese de induo, que existe um n
para s 1. Mostremos que N = 2nW (r2n , k 1) o inteiro que satisfar a
afirmao para s. De fato, particionaremos [N ] em blocos de comprimento 2n.
Pela definio de n, cada bloco contm ou uma progresso aritmtica de
comprimento k (e neste caso o resultado segue), ou contm s 1 progresses
aritmticas focadas em cores de comprimento k 1, cujo foco dessas progresses
pertencem ao mesmo bloco.
Observe que a r-colorao em [N ] induz uma r2n -colorao nos blocos. Pela
definio de N , existe uma progresso aritmtica monocromtica {B(x), B(x +
y) . . . , B(x + (k 2)y)}, onde B(x + iy) so os blocos.
Seja Ai = P A(ai , ri , k 1), com 1 i s 1 as s 1 progresses
aritmticas focadas em cores em B(x), e seja z o foco. Observe que as
seguintes s progresses aritmticas de comprimento k 1 so focadas em cores
no foco z + 2yn(k 1).
Ai = P A(a1 , ri + 2yi, k 1),
com 1 i s 1, e P A(z, 2yn, k 1), isso prova a afirmao.

Tomando r = s, se existe uma progresso aritmtica de comprimento k,
o teorema segue. Se existem s progresses aritmticas focadas em cores de
comprimento k 1, ento uma delas uma progresso aritmtica que possui
a mesma cor do foco, e logo uma progresso aritmtica de comprimento k,
como queramos.
A hierarquia de Ackermann uma famlia de funes fn : N N com n

inteiro positivo dadas por f1 (k) = 2k, e fn+1 (k) = fnk (1). Note que f2 (k) = 2k
e f3 (k) uma torre de 2 de altura k.
A cota superior dada na demonstrao acima muito ruim. De fato, a
funo W (2, k) cresce mais rpido que todas as funes da hierarquia de Ac-
kermann. Mas em 1988, Shelah mostrou uma cota muito melhor, a saber,
W (r, k) f4 (r + k).
Em 2001, Gower encontrou uma cota melhorada para duas cores, a saber,
k+9
22
W (2, k) 2 22
.
Graham conjecturou, oferecendo 1000 dlares a quem resolver a conjectura,

que para todo k inteiro positivo, vale
W (2, k) 2k .
2
A conjectura est aberta h mais de 30 anos.

Berlekamp apresentou uma cota inferior para o nmero de van der Werden.
A saber,
W (2, p + 1) p2p ,
para todo primo p.
Exerccio 7.5. Prove ou d um contra-exemplo. Para toda 2-colorao dos
naturais existe uma progresso aritmtica monocromtica de comprimento
infinito.
Apresentaremos a seguir o Teorema de van der Waerden fortalecido, onde
a razo monocromtica juntamente com a progresso aritmtica.
Teorema 7.33 (Teorema de van der Waerden fortalecido). Para todo inteiros
positivos p e k , existe um inteiro positivo n tal que para toda k-colorao de [n]
existe uma progresso aritmtica de comprimento p tal que seus elementos e
sua razo possuem as mesmas cores.
Exerccio 7.6. Prove o Teorema 7.33 a partir do Teorema 7.32.
Pode-se deduzir o Teorema de Schur utilizando o Teorema 7.33 tomando p =
2, pois obtemos uma progresso aritmtica de comprimento dois tal que seus
elementos e sua razo possuem as mesmas cores.
O resultado mais importante da combinatria aditiva o Teorema de Sze-
merdi, o qual foi conjecturado por Erds e Turn em 1936. A densidade
superior definida por
|A [n]|
d(A) = lim sup .
n n
Teorema 7.34 (Szemerdi, 1975) Todo subconjunto dos naturais com den-
sidade superior positiva contm uma progresso aritmtica de comprimento
arbitrariamente longo.

Em 2001, Gowers exibiu um uma verso quantitativa do Teorema 7.34.
Teorema 7.35 (Gowers, 2001). Para todo k > 0, todo subconjunto de [N ] de
cardinalidade no mnimo N (log log N )c(k) contm uma progresso aritmtica
de comprimento k, onde c(k) = 22 .
k+9
Em 1977, Furstenburg exibiu uma prova alternativa do Teorema 7.34

utilizando mtodos da teoria ergdica; Nagle, Rdl e Schacht, em 2006 [NRS06],
provaram o resultado utilizando hipergrafos. O seguinte teorema foi provado
por Green e Tao.
Teorema 7.36 (Green Tao, 2008). Existem progresses aritmticas arbitra-
riamente longas no conjunto dos nmeros primos.
Note que o resultado no segue do Teorema 7.34, pois se (n) a quantidade
de primos que tem entre 1 e n, pelo Teorema dos nmeros primos,
n
(n) = .
log n
Portanto, se P o conjunto dos nmeros primos,
) = lim sup (n) = 0,

d(P
n n
logo P no tem densidade superior positiva.
Antes de Green e Tao, j haviam resultados sobre progresses aritmticas
de nmeros primos, como o Teorema de van der Corput.
Teorema 7.37 (van der Corput, 1939). Existem infinitas progresses aritm-
ticas de comprimento trs nno conjunto dos nmeros primos.
Erds e Turn conjecturaram a seguinte afirmao.
Conjectura 7.38 Se A um subconjunto dos naturais satisfazendo
X 1
= +,
aA
a
ento A contm progresses aritmticas de comprimento arbitrariamente longos.

Observe que Teorema 7.36 e o Teorema 7.34 satisfazem a conjectura acima.
7.5 exerccios
Exerccio 7.7. Vimos que r(m, n) r(m 1, n) + r(m, n 1) para todo

m, n > 2. Mostre que se r(m 1, n) e r(m, n 1) so ambos pares, ento vale
a desigualdade estrita
r(m, n) < r(m 1, n) + r(m, n 1).
Exerccio 7.8. Seja n 2 um natural e considere o grafo Kp sobre o conjunto

de vrtices {1, 2, . . . , 3n 4}.
Faa uma colorao das arestas de Kp tal que
vermelho se |i j| 1( mod 3)
(
cor(ij) = .
azul caso contrrio

Mostre que esse grafo colorido no tem um K3 vermelho e nem um Kn azul.
Deduza que r(3, n) 3(n 1).
Exerccio 7.9. Use os exerccios 7.7 e 7.8 acima para provar que
r(3, 4) = 9.
Exerccio 7.10. Sejam m, n naturais tais que m 1 divide n 1. Seja Tm uma

rvore qualquer de ordem m. Mostre que r(Tm , K1,n ) = m + n 1.
Exerccio 7.11. Seja (X, ) um conjunto totalmente ordenado, e seja G = (V, E)
o grafo com V := P2 X e E := {(x, y)(x0 , y 0 ) : x < y = x0 < y 0 }.
(a) Mostre que G no contm tringulos.
(b) Mostre que (G) se torna arbitrariamente grande se |X| suficientemente
grande. [Sugesto: r(c, 3; 2)]

[NRS06] Brendan Nagle, Vojtech Rdl, and Mathias Schacht. The counting
lemma for regular k-uniform hypergraphs. Random Struct. Algorithms,
28(2):113179, 2006.
Graph Theory, 12(4):509517, 1988.

8 decomposio arbrea / largura arbrea
Uma decomposio arbrea (d.a.) de um grafo G um par (T, W), onde

T uma rvore e
W = {Wt V (G) : t V (T )} uma famlia de conjuntos de vrtices
de G indexada pelos vrtices de T ;
E so tais que
(i) O conjunto W cobre V (G) (i.e., temos tV (T ) Wt = V (G)), e toda aresta
S
de G tem ambos os extremos em algum Wt (i.e., temos tV (T ) E(G[Wt ]) =

S
E(G)); e
(ii) se t, t0 , t00 V (T ) e t0 est no (nico) caminho de t para t00 em T ento Wt
Wt00 Wt0 .
A largura (width) da decomposio arbrea (T, W) definida como
max{|Wt | 1 : t V (T )}
e sua ordem como

0 se E(T ) = ; e
(
max{|Wt Wt0 | : t, t0 adjacentes em T } caso contrrio
Exemplos. Considere G = C5 com V (G) = {a, b, c, d, e} e E(G) =

{ab, bc, cd, de, ea}.
(a) Uma decomposio arbrea de C5 : (T, {Wt : t V (T )}), onde V (T ) =
{t1 , t2 , t3 , t4 }, E(T ) = {ti ti+1 : i {1, 2, 3}} e Wt1 = {a, b}, Wt2 =
{a, b, c}, Wt3 = {a, b, c, d}, Wt4 = {a, b, c, d, e}.
t1 t2 t3 t4
Figura 8.1: Exemplo a de decomposio arbrea do C5 .
Essa decomposio tem largura 4 e ordem 4.

(b) Uma outra decomposio arbrea de C5 : (T, {Wt : t V (T )}), onde V (T ) =
{t1 , t2 , t3 , t4 , t5 }, E(T ) = {ti ti+1 : i {1, 2, 3, 4}} e Wt1 = {a, b}, Wt2 =
{a, b, c}, Wt3 = {a, c, d}, Wt4 = {a, d, e}, Wt5 = {a, e}.
(c) Outra decomposio arbrea de C5 : (T, {Wt : t V (T )}), onde V (T ) =
{t1 , t2 , t3 }, E(T ) = {ti ti+1 : i {1, 2}} e Wt1 = {a, b, c}, Wt2 = {a, c, d}, Wt3 =
{a, d, e}.

t1 t2 t3 t4 t5
Figura 8.2: Exemplo b de decomposio arbrea do C5 .
t1 t2 t3
Figura 8.3: Exemplo c de decomposio arbrea do C5 .
(d) Outra decomposio arbrea de C5 : (T, {Wt : t V (T )}), onde V (T ) =

{t1 }, E(T ) = e Wt1 = V (G).
Essa decomposio chamada de Decomposio Arbrea Trivial
e tem largura |V (G)| 1 e ordem 0. Todos os grafos possuem tal decom-
posio, elas no so de nenhum interesse.
Os exemplos acima foram todos dados com T um caminho, mas a estrutura
de rvore pode ser til para construirmos uma decomposio de largura pequena,
como sugerido pelo exemplo a seguir.
Exemplo 8.1 Considere o grafo G definido por V (G) = {a, b, c, d, e, f }
e E(G) = {ab, ad, bc, bd, be, ce, df, ef }.
Uma decomposio arbrea de G (T, {Wt : t V (T )}), onde V (T ) =
{t1 , t2 , t3 , t4 , t5 }, E(T ) = {ti t4 : i {1, 2, 3}} e Wt1 = {a, b, d}, Wt2 =
{b, c, e}, Wt3 = {d, e, f }, Wt4 = {b, d, e}.
Esta decomposio tem largura 2 e ordem 2.
As decomposies arbreas interessantes so as de largura pequena, pois
muitos algoritmos exploram tal decomposio e levam tempo exponencial em
sua largura.

t1
Figura 8.4: Exemplo d de decomposio arbrea do C5 .
a c
t1 t4 t2 b
d e
t3
f
Figura 8.5: Exemplo 8.1 de decomposio arbrea.
Claramente mais difcil conseguirmos uma decomposio arbrea em que

a rvore em questo um caminho, quando o fazemos, a decomposio obtida
chamada de decomposio em caminho.
Dada uma decomposio arbrea (T, {Wt : t V (T )}) de G, para cada t
T podemos escolher um subgrafo Xt de G com conjunto de vrtices Wt tal
que cada aresta de G est em precisamente um desses subgrafos. Tal escolha
determina uma partio de E(G) (note que Xt no precisa ser necessariamente
conexo.
No caso do Exemplo 8.1, podemos ter E(Xt1 ) = {ab, ad}, E(Xt2 ) =
{bc, be, ce}, E(Xt3 ) = {df, ef }, E(Xt4 ) = {bd, de}.
Dada uma decomposio arbrea (T, {Wt : t V (T )}) de G, para cada v
V (G) definimos Tv como o subgrafo de T gerado por todos os vrtices t de T
tais que v Wt .
Note que, das propriedades i e ii segue que Tv uma rvore. No Exem-
plo 8.1, temos V (Ta ) = {t1 }, V (Tb ) = {t1 , t2 , t4 }, V (Tc ) = {t2 }, V (Td ) =
{t1 , t3 , t4 }, V (Te ) = {t2 , t3 , t4 }, V (Tf ) = {t3 }.
Dizemos que (T, {Wt : t V (T )}) uma decomposio arbrea em
cliques se todo Wt induz uma clique em G. No Exemplo 8.1, a decomposio
arbrea que exibimos uma decomposio arbrea em cliques.
A largura arbrea de um grafo G (denotada por la(G)) o menor inteiro k
tal que G possui uma decomposio arbrea de largura k.
Analogamente, a largura de caminho (path width) de um grafo G
(denotada por pw(G)) o menor inteiro k tal que G possui uma decomposio

a c
b b
b
d e
d e
d e
Figura 8.6: Partio das arestas do Exemplo 8.1.
t1 t2
t1 t4 t2
t1 t4 t4 t2
t3 t3
t3
Figura 8.7: Subrvores Tv relativas ao Exemplo 8.1.
em caminho de largura k.
Exerccio 8.1. Seja G um grafo simples. Prove que la(G) 1 se e somente se G
uma floresta.
Um grafo dito srie-paralelo se no possui K4 como menor.
Exerccio 8.2. Prove que se G srie-paralelo, ento la(G) 2.
Proposio 8.2 Seja (T, {Wt : t V (T )}) uma decomposio arbrea de

um grafo G, e H G (H um subgrafo de G). Ento tomando WH =
{Wt V (H) : t V (T )}, temos que (T, WH ) uma decomposio arbrea
de H.
Demonstrao. Se t0 V (T ) est no caminho entre t e t00 , ento Wt Wt00 Wt0 ,

logo (Wt V (T )) (Wt00 V (T )) Wt0 V (T ).
Conveno: Para simplificar, diremos K V (G) uma clique, devendo

ficar implcito que G[K] uma clique.
As proposies abaixo estudam o comportamento dos cliques em decompo-
sies arbreas de um grafo.
Proposio 8.3 Seja (T, {Wt : t V (T )}) uma decomposio arbrea de um
grafo G, e seja K V (G) uma clique. Ento existe t V (T ) tal que K Wt .

Demonstrao. Sejam u, v K e considere Tu e Tv .
Claramente V (Tu ) V (Tv ) 6= (pois existe x V (T ) tal que Wx {u, v}).
Portanto, para todos u, v K, temos V (Tu ) V (Tv ) 6= .
Se |K| 2, apenas essa propriedade j suficiente para provar a proposio.
Ento suponha |K| 3.
Seja x V (T ) com |Wx K| maior possvel e suponha por absurdo
que |Wx K| < |K|. Ento existe v K \ Wx .
Seja y V (Tv ) com |Wy Wx K| maior possvel e note que x 6= y pois
x/ V (Tv ).
Pela escolha de x, temos que |Wy K| |Wx K|, como v K Wy \ Wx ,
ento existe u K Wx \ Wy .
Seja z V (Tu ) V (Tv ) (j vimos que esse conjunto no vazio).
Se x estiver no caminho de y a z em T , teremos v Wy Wz Wx 63 v,
um absurdo.
Se y estiver no caminho de x a z em T , teremos u Wx Wz Wy 63 u,
tambm um absurdo.
Seja ento z0 o vrtice mais prximo de z do caminho de x a y em T
(possivelmente teremos z0 = z). Observe que z0 est tambm no caminho de x
a z, logo u Wz0 .
Por outro lado, como z0 est no caminho de x a y, temos Wx Wy z0 ,
logo |Wz0 Wx K| |Wy Wx K| + 1, o que contradiz a escolha de y.
Proposio 8.4 Se G tem uma decomposio arbrea em cliques ento G

tem uma decomposio arbrea em cliques (T, {Wt : t V (T )}) onde cada Wt
uma clique maximal.
Demonstrao. Seja (T, W), com W = {Wt : t V (T )} uma decomposio

arbrea de G em cliques com |V (T )| mnimo. Suponha que existe t1 V (T )
tal que Wt1 no uma clique maximal. Seja K uma clique maximal tal
que K Wt1 . Pela Proposio 8.3, existe t2 V (T ) tal que Wt2 K.
Seja t3 um vrtice adjacente a t1 no caminho em T de t1 a t2 (possivelmente
temos t3 = t1 ) e observe que Wt1 Wt3 .
Tome T 0 = T /{t1 , t3 } e W 0 = {Wt : t V (T ) \ {t1 , t3 }} {Wt0 },
onde Wt0 = Wt3 e t0 o vrtice obtido da contrao de {t1 , t3 }.
Observe que (T 0 , W 0 ) uma decomposio arbrea de G em cliques com |V (T 0 )| <
|V (T )|, o que contradiz a escolha de (T, W).
A proposio abaixo mostra que a rvore de uma decomposio arbrea

transfere a propriedade de separao para o grafo que ela decompe.
Proposio 8.5 Seja (T, {Wt : t V (T )}) uma decomposio arbrea de
um grafo G. Seja e = t1 t2 uma aresta de T e sejam T1 e T2 as componentes
conexas de T e com t1 V (T1 ) e t2 V (T2 ) (T1 e T2 so rvores). Sejam
tambm
U1 = U2 =
[ [
Wt Wt .
tV (T1 ) tV (T2 )
Ento Wt1 Wt2 = U1 U2 e Wt1 Wt2 separa U1 de U2 em G.

Demonstrao. Sejam t V (T1 ), t0 V (T2 ) e observe que todo caminho de t
para t0 em T contm t1 e t2 , logo temos
Wt Wt0 Wt1 , e
Wt Wt0 Wt2 ;
o que significa que

Wt Wt0 Wt1 Wt2 .
Portanto, para todos t T1 e t0 T2 , temos Wt Wt0 Wt1 Wt2 .
Segue ento que

U1 U2 =
[ [
Wt Wt0 Wt1 Wt2 .
tV (T1 ) t0 V (T2 )
Por outro lado, como Wt1 U1 e Wt2 U2 , temos Wt1 Wt2 U1 U2 .

Portanto U1 U2 = Wt1 Wt2 .
Para mostrar que Wt1 Wt2 separa U1 de U2 , vamos mostrar que no existe
aresta u1 u2 em G com u1 U1 \ U2 e u2 U2 \ U1 .
Se houvesse tal aresta u1 u2 em G, ento existiria um t V (T ) tal que Wt
{u1 , u2 }. Mas u1 U1 \ U2 e u1 Wt implicam que t V (T1 ) \ V (T2 )
e u2 U2 \ U1 e u2 Wt implicam que t V (T2 ) \ V (T1 ), o que seria uma
contradio.
Proposio 8.6 Seja (T, {Wt : t V (T )}) uma decomposio arbrea de um

grafo G, e seja Y V (G). Ento
(a) ou existe t V (T ) tal que Y Wt ,
(b) ou existem vrtices y1 , y2 Y e uma aresta t1 t2 de T tais que y1 , y2
/
Wt1 Wt2 e y1 , y2 so separados por Wt1 Wt2 em G.
8.1 decomposio arbreas e grafos cordais
Lembremos a definio de grafos cordais e algumas de suas propriedades.

Um grafo dito cordal ou triangulado se simples e no possui nenhum
circuito induzido de comprimento maior ou igual a 4.
Proposio 8.7 (Proposio C (pp. 111, Diestel)). Um grafo G cordal se
e somente se G a unio de grafos cordais estritamente menores G1 e G2
com G1 G2 completo, isto , existem subconjuntos prprios de vrtices X, Y (
V (G) distintos tais que V (G) = X Y , o grafo G[X Y ] completo e os
grafos G[X] e G[Y ] so cordais.
Exerccio 8.3. Todo conjunto separador minimal de um grafo cordal um clique.
Proposio 8.8 Seja G um grafo simples. Ento G cordal se e somente se

tem uma decomposio arbrea em cliques.
Demonstrao. Por induo em |V (G)|.

(a) Seja (T, W) uma decomposio arbrea de G tal que Wt uma clique para
todo t T e, alm disso, com |V (T )| mnimo.

Se |V (T )| 1 ento G completo e, portanto, cordal. Suponha
ento |V (T )| 2, tome e = t1 t2 E(T ) e considere as subrvores T1 e T2
de T e, com t1 T1 e t2 T2 (como na Proposio 8.5).
Ento T = (T1 T2 ) + t1 t2 . Seja, para i {1, 2}, o grafo Gi =
G[tTi Wt ], e observe que V (G1 G2 ) = Wt1 Wt2 , pela Proposio 8.5.
Isso significa que G1 G2 completo.
Como (Ti , {Wt : t V (Ti )}) uma decomposio arbrea de Gi em
cliques, pela hiptese de induo, temos que G1 e G2 so cordais.
Note que, pela escolha de (T, W), nenhum dos Gi s um subgrafo
de G[Wt1 Wt2 ] = G1 G2 e, portanto, ambos so menores do que G).
Portanto, pela Proposio 8.7, temos que G cordal.
(b) Suponha que G seja cordal. Se G completo, o resultado imediato.
Se G no completo, pela Proposio 8.7, sabemos que G a unio de
grafos cordais menores G1 , G2 com G1 G2 completo.
Pela hiptese de induo, ambos G1 e G2 tm decomposies arb-
reas (T1 , {Wt : t V (T1 )}) e (T2 , {Wt : t V (T2 )}) em cliques. Sem perda
de generalidade, assumimos que V (T1 ) V (T2 ) = .
Pela Proposio 8.3, temos que G1 G2 Wt1 e G1 G2 Wt2 para
algum t1 V (T1 ) e algum t2 V (T2 ). Neste caso, ((T1 T2 ) + t1 t2 , {Wt :
t V (T1 )V (T2 )}) uma decomposio arbrea de G em cliques. [Verificar
isso].
Corolrio 8.9 Para todo grafo G, temos la(G) = min{(H)1 | H cordal; V (H) =
V (G), E(H) E(G)}.
Demonstrao. Dado G, considere um grafo H cordal qualquer com V (H) =

V (G) e E(H) E(G). Pelas Proposies 8.3 e 8.8, o grafo H tem uma
decomposio arbrea em cliques com largura (H) 1. Essa decomposio
arbrea de H tambm uma decomposio arbrea de G e, portanto,
la(G) (H) 1.
Considere agora uma decomposio arbrea de (T, W) de G, com lar-

gura la(G) e, para cada t T , seja Kt o grafo completo com conjunto de
vrtices Wt , e defina H = tT Kt .
Ento H um grafo cordal com V (H) = V (G) e E(H) E(G); alm
disso, sabemos que (T, W) tambm uma decomposio arbrea de H. Pela
Proposio 8.3, temos que (H) 1 igual largura de (T, W), ou seja
(H) 1 la(G).
Corolrio 8.10 Todo grafo G tem uma decomposio arbrea (T, W) de

largura la(G) e com |V (T )| |V (G)|.
Demonstrao. O Corolrio 8.9 nos diz que existe um grafo cordal H tal
que V (H) = V (G) e la(G) = (H) 1. Pelas Proposies 8.3, 8.4 e 8.8, o
grafo H possui uma decomposio arbrea (T, W) em cliques maximais com
largura (H) 1 = la(G).

Como todos os cliques dessa decomposio so maximais, cada clique da
decomposio contm pelo menos um vrtice que no est em nenhum outro
clique da decomposio. Logo temos |V (T )| |V (H)| = |V (G)|.
Tambm sabemos que essa decomposio arbrea de H tambm uma
decomposio arbrea de G, de onde o resultado segue.
8.2 exerccios
Exerccio 8.4. Prove que la(Kn ) = n 1.

Exerccio 8.5. O grafo da grade de ordem n denotado por Gnn definido a
partir de V (Gnn ) = [n] [n] e E(Gnn ) = {(a, b)(c, d) : |a c| + |b d| = 1}.
Prove que, para n 2, temos la(Gnn ) = n.
Exerccio 8.6. Mostre que um grafo G tem uma decomposio em caminhos
(d.c.) em grafos completos se e s se G isomorfo a um grafo de intervalos.
(Veja Ex 21 do Cap. 12 do Diestel.)
Exerccio 8.7. O jogo dos policiais e ladro sobre um grafo G jogado por dois
jogadores, o primeiro jogador controla k policiais e o segundo jogador controla
um ladro.
O objetivo do primeiro jogador colocar um policial no mesmo vrtice do
ladro e o objetivo do segundo jogador evitar isso.
O primeiro jogador move um policial de cada vez utilizando um helicoptero
(i.e., os policiais no tem nenhuma restrio de movimento), assim que o
primeiro jogador decide qual ser seu movimento, o segundo jogador pode
mandar seu ladro correr rapidamente para qualquer vrtice adjacente, de
forma que o ladro consegue escapar mesmo se o policial estiver pousando no
vrtice dele. Portanto, para conseguir pegar o ladro, o primeiro jogador deve
primeiro ocupar todos os vrtices adjacentes e pousar com um outro policial
no vrtice do ladro.
Existem duas variaes desse jogo, a com ladro visvel (i.e., o primeiro
jogador sabe em todo momento onde est o ladro) e a com ladro invisvel
(i.e., o primeiro jogador no sabe onde est o ladro).
a. Prove que o resultado do jogo no se altera se removermos laos e arestas
mltiplas. Prove tambm que podemos assumir sem perda de generalidade
que o grafo conexo.
b. Prove que dois policiais conseguem capturar o ladro visvel em um grafo
simples e conexo G se e somente se G uma rvore.
c. Prove que dois policiais conseguem capturar o ladro invisvel em um grafo
simples e conexo G se e somente se G um caterpillar (i.e., existe um
caminho P em G tal que todo vrtice de G est ou em P ou adjacente a
um vrtice de P ).
d. Prove que, em um grafo simples e conexo G, o ladro visvel pode ser pego
por la(G) policiais.
1989.

1987.
MATICS, 164:51229, 2006.
1970.
Fund. Math, 28:2232, 1937.
Algorithms, 28(2):113179, 2006.
22:625639, 1955.

Soc., 52:113116, 1946.
Theory, 5:225241, 1981.
Graph Theory, 12(4):509517, 1988.
1981.
Combinatorics, 32(5):674676, 2011.

9 menores, rvores e quase boa ordem
9.1 relaes
Uma relao R sobre um conjunto X um subconjunto de A A. Para

enfatizar que estamos tratando de relaes e no simplesmente de conjuntos,
usamos a notao infixa xRy para denotar (x, y) R.
Fixada uma relao R sobre um conjunto X, dizemos que R
Reflexiva, se xRx para todo x X;
Transitiva, se xRy e yRz implicam xRz para todos x, y, z X;
Antissimtrica, se xRy e yRx implicam x = y, para todos x, y X;
Total, se para todos x, y X, temos xRy ou yRx;
Bem-fundada, se para todo subconjunto no-vazio Y de X, existe
um y Y tal que nenhum z Y satisfaz zRy e (yRz).
Em particular, uma relao chamada de
Quase-ordem, se for reflexiva e transitiva;
Ordem parcial, se for reflexiva, transitiva e antissimtrica;
Ordem total (ou ordem), se for reflexiva, transitiva, antissimtrica e
total;
Quase-boa-ordem, se for reflexiva, transitiva e bem-fundadada;
Boa-ordem parcial, se for reflexiva, transitiva, antissimtrica e bem-
fundada;
Boa-ordem total (ou boa-ordem), se for reflexiva, transitiva, antissi-
mtrica, total e bem-fundada.
Estamos particularmente interessados em estudar quase-boas-ordens e,
nesse contexto, mais simples trabalhar com uma noo equivalente (sob o
axioma da escolha) de relaes bem-fundadas:
Proposio 9.1 Assumindo o axioma da escolha, uma relao R sobre
um conjunto X bem-fundada se e somente se para toda sequncia infinita
enumervel (xi )iN , existem indces i < j tais que xi Rxj .
A partir deste ponto, assumiremos verdadeiro o axioma da escolha implici-
tamente.
Dada uma relao R sobre um conjunto X, um subconjunto A X dito
uma anticadeia se no existem x, y A distintos tais que xRy.
Usaremos frequentemente o smbolo no estudo de relaes (tipicamente
quase-ordens) e assumiremos sempre que as relaes , e esto definidas
como:
Para todos x, y, temos x y se e somente se x y e (y x);
Para todos x, y, temos x y se e somente se y x;
Para todos x, y, temos x y se e somente se x y e (y x);
Supondo que uma quase-ordem, uma sequncia (xi )iU indexada
por U N dita
Crescente, se para todos ndices i < j, temos xi xj ;
Decrescente, se para todos ndices i < j, temos xj xi ;
Estritamente crescente, se para todos ndices i < j, temos xi xj ;
Estritamente decrescente, se para todos ndices i < j, temos xj xi .
Proposio 9.2 Seja uma quase-ordem sobre X. Ento quase-boa-
ordem se e somente se X no contm nem uma anticadeia infinita nem uma
sequncia infinita estritamente decrescente x0 x1 .

Demonstrao. Observe que se A uma anticadeia infinita, ento qualquer
sequncia (xi )iN em A de elementos distintos tal que no existem i < j
com xi xj .
Por outro lado, se (xi )iN uma sequncia infinita estritamente decrescente,
ento tambm temos que no existem i < j com xi xj .
Portanto, se quase-boa-ordem, ento X no contm nem uma anticadeia
infinita nem uma sequncia infinita estritamente decrescente.
Seja x0 , x1 , . . . , uma sequncia qualquer de X indexada pelos naturais.
Considere o grafo completo (infinito) KN
Faa uma colorao das arestas ij de KN , com i < j com 3 cores:
Atribua a cor verde, se xi xj ;
Atribua a cor amarela, se xi e xj so incomparveis;
Atribua a cor vermelha, se xi xj .
Pelo teorema de Ramsey, sabemos que KN tem um subgrafo completo H
infinito cujas arestas so todas da mesma cor. Pela hiptese da proposio,
tais arestas no podem ser nem amarelas e nem vermelhas.
Portanto, so verdes. Logo, quaisquer dois vrtices i, j (com i < j) de H
so tais que xi xj (bastava uma tal aresta).
Conclumos que uma quase-boa-ordem.
Corolrio 9.3 Se quase-boa-ordem, ento toda sequncia infinita em X

tem uma subsequncia infinita crescente.
Uma quase-ordem sobre X induz uma quase-ordem natural sobre o
conjunto dos subconjuntos finitos de X (denotado por [X]< ). Essa quase-
ordem definida abaixo.
Para conjuntos finitos A, B X, fazemos A B se existe uma funo
injetora f : A B tal que a f (a) para todo a A.
O seguinte lema e a ideia de sua prova tm um papel importante na teoria
da quase-boa-ordem.
Lema 9.4 Se quase-boa-ordem sobre X, ento quase-boa-ordem
sobre [X]< .
Demonstrao. Suponha que seja uma quase-boa-ordem sobre X e que

no seja quase-boa-ordem sobre [X]< .
Chamaremos de sequncias ruins aquelas que violam a propriedade de
boa-fundao das relaes, isto , sequncias infinitas (xi )iN que so ou estri-
tamente decrescentes ou tais que {xi : i N} uma anticadeia. Naturalmente,
chamaremos de sequncias boas aquelas que no so ruins.
Vamos construir uma sequncia ruim (An )nN especial em [X]< recursiva-
mente.
Dado n N, suponha, indutivamente, que Ai foi definido para todo natu-
ral i < n, e que exista uma sequncia ruim em [X]< comeando com A0 , A1 , . . . , An1
(para n = 0, temos que uma sequncia ruim existe por no ser quase-boa-
ordem sobre [X]< )
Escolha ento An [X]< com |An | mnimo e de forma que exista uma
sequncia ruim em [X]< comeando com A0 , A1 , . . . , An .
Claramente temos An 6= para todo n N (caso contrrio teramos An
An+1 . Escolha ento, para cada n N, um elemento an An e tome
Bn = An \ {an }|.
Pelo Corolrio 9.3, a sequncia (an )nN possui uma subsequncia infinita
crescente (ani )iN .

Considere a sequncia de conjuntos
(Ci )iN = (A0 , A1 , . . . An0 1 , Bn0 , Bn1 , . . .)
Note que esta sequncia boa por construo (se a sequncia fosse ruim,
teramos |Bn0 | < |An0 |, contradizendo a escolha de An0 ).
Portanto, existe um par de ndices i0 < j0 tal que Ci0 Cj0 .
Observe que no podemos ter j0 < n0 , caso contrrio, teramos Ai0 Aj0 .
Tambm no podemos ter i0 < n0 j0 , caso contrrio, teramos Ai0
Bj0 Aj0 .
Finalmente, se tivermos n0 i0 , ento, como ai0 aj0 , temos que Bi0
Bj0 implica Ai0 Aj0 (basta estender a funo de Bi0 para Bj0 fazendo a
imagem de ai0 ser aj0 ). Isso uma contradio.
Portanto quase-boa-ordem sobre [X]< .
Seja G a classe de todos os grafos finitos a menos de isomorfismo e a

relao de menor (de) definida sobre G. fcil ver que quase-ordem
sobre G ( inclusive uma ordem parcial).
O Minor Theorem afirma que
A relao quase-boa-ordem sobre G.
Como obviamente uma sequncia estritamente decrescente de menores no

pode ser infinita, a Proposio 9.2 nos d que o Minor Theorem equivalente
a sequinte afirmao:
No existe uma anticadeia infinita em G.
Isto , no existe um conjunto infinito de grafos em G, dois-a-dois incomparveis

quanto relao menor .
Restringindo-nos classe das rvores, existe uma verso mais forte do
Minor Theorem:
Teorema 9.5 Seja T a classe das rvores finitas a menos de isomorfismo e
a relao de menor topolgico (t ). Ento quase-boa-ordem sobre T .
A prova ser baseada numa relao mais forte definida sobre rvores
enraizadas.
Se T uma rvore e r um vrtice qualquer fixo, chamaremos o par (T, r)
de rvore enraizada, e r sua raiz (algumas vezes escrevemos simplesmente T ,
em vez de (T, r).
Dadas rvores enraizadas (T, r) e (T 0 , r1), escrevemos
(T, r) (T 0 , r0 )
se existe um isomorfismo entre alguma subdiviso de T e uma subrvore T 00

de T 0 tal que o caminho de r0 a (r) em T 0 no contm nenhum outro vrtice
de T 00 a no ser (r). Dizemos que um tal isomorfismo respeita r0 .
Seja T o conjunto das rvores enraizadas finitas.
Provaremos ento o teorema abaixo, do qual o Teorema 9.5 segue como
corolrio.
Teorema 9.6 (Kruskal, 1960 [Kru60]). A relao quase-boa-ordem so-
bre T .

Demonstrao. Novamente adotaremos a terminologia de sequncias ruins
para as que violam a propriedade de boa-fundao das relaes e de sequncias
boas para as que no so ruins.
Suponha que no seja quase-boa-ordem sobre T e vamos construir uma
sequncia ruim (Tn , rn )nN especial em T recursivamente.
Dado n N, suponha indutivamente que (Ti , ri ) j foi construdo para
todo i < n, e que exista uma sequncia ruim comeando com (T0 , r0 ), (T1 , r1 ), . . . , (Tn1 , rn1 ).
Escolha ento (Tn , rn ) com |V (Tn )| mnimo e de forma que exista uma
sequncia ruim comeando com (T0 , r0 ), (T1 , r1 ), . . . , (Tn , rn ) (para n = 0,
temos que uma sequncia ruim existe por no ser quase-boa-ordem).
Observe que |V (Tn )| > 1 para todo n N).
Para cada n N, seja An o conjunto das rvores enraizadas (T, r) tal que T
um componente conexo de Tn rn e r adjacente a rn em Tn .
Seja A = nN An .
S
Vamos provar que quase-boa-ordem sobre A.

Seja ((Uk , sk ))kN uma sequncia qualquer de rvores enraizadas do con-
junto A.
Para cada k N escolha n = n(k) tal que Uk An e seja k =
arg min{n(k) : k N} (n(k ) n(k) para todo k N).
Ento a sequncia
(Wn , tn )nN = ((T0 , r0 ), . . . , (Tn(k )1 , rn(k )1 ), (Uk , sk ), (Uk +1 , sk +1 ), . . .)
boa, pois Uk ( Tn(k ) (caso contrrio, teramos uma contradio com a

minimalidade de |V (Tn(k ) )|).
Ou seja, existem ndices i < j tais que (Wi , ti ) (Wj , tj ).
Observe que no podemos ter j n(k )1, caso contrrio, teramos (Ti , ri )
(Tj , rj ).
Tambm no podemos ter i < n(k ) j, caso contrrio, teramos (Ti , ri )
(Uj , sj ) (Tn(j) , rn(j) ) (pois Uj An(j) ).
Logo, temos n(k ) i, ou seja, temos (Ui , si ) (Uj , sj ), o que significa
que a sequncia (Un , sn )nN boa.
Portanto quase-boa-ordem sobre A.
Pelo Lema 9.4, temos que quase-boa-ordem sobre [A]< .
Em particular, isso significa que existem ndices i0 < j0 tais que Ai0 Aj0 .
A partir da funo f : Ai0 Aj0 , das subdivises e isomorfismos que
respeitam raiz que testemunham Ai0 Aj0 , segue que (Ti0 , ri0 ) (Tj0 , rj0 ).
Portanto quase-boa-ordem sobre T .
9.2 o minor theorem para grafos com largura arbrea limitada
Grafos com largura arbrea (la) limitada so suficientemente semelhantes a

rvores tornando possvel adaptar a prova do Teorema de Kruskal (Teorema 9.6)
para a classe desses grafos. Grosseiramente, a ideia iterar o argumento da
sequncia minimal ruim la(G) vezes. A prova desse resultado encontra-se no
artigo graph minors I, de Robertson & Seymour, 1990.
Teorema 9.7 [Robertson & Seymour, 1990] Para todo natural k, os grafos
com largura arbrea menor que k so quase-bem-ordenados pela relao de
menor.
Este teorema nos leva um passo adiante em relao prova do Minor
Theorem (para grafos arbitrrios). Para chegar a esse resultado geral, a
seguinte questo de interesse.

Pergunta: Como so os grafos com largura arbrea limitada?
Mais precisamente, h algum fenmeno estrutural que ocorre num grafo se
e somente se ele tem la grande?
Obstrues cannicas largura arbrea pequena

Dizemos que X V (G) um subconjunto conexo se G[X] conexo.
Seja C um conjunto de subconjuntos conexos de V (G).
Dizemos que um conjunto U V (G) cobre C se U intersecta cada conjunto
em C.
Dizemos que dois elementos de C se tocam (touch) se eles se intersectam
ou G contm uma aresta entre eles.
Exerccio 9.1. Se C um conjunto de subconjuntos conexos de V (G) e quaisquer
dois elementos de C se tocam, ento em toda decomposio arbrea (T, {Wt :
t V (T )}) de G existe t V (T ) tal que Wt cobre C. [Sugesto: imitar a prova
da Proposio 8.6]
Esse resultado prova o lado fcil () da seguinte caracterizao de grafos
com largura arbrea maior ou igual a k.
Teorema 9.8 [Seymour & Thomas, 1993] Seja k um inteiro. Um grafo G
tem la(G) k se e somente se G contm uma coleo de conjuntos de vrtices
conexos que se tocam dois a dois e que no podem ser cobertos por at k
vrtices.
Outro teorema interessante faz uso de uma generalizao de rvores:
Dizemos que um grafo uma k-rvore se um grafo cordal e tal que todas
suas cliques maximais tem cardinalidade no mximo k + 1.
Dizemos que um grafo uma k-rvore-parcial se um subgrafo de uma k-
rvore.
Teorema 9.9 Se G uma k-rvore-parcial, ento la(G) k.
Interesse: Decomposio arbrea que d mais informaes sobre a estru-
tura arbrea do grafo (quo semelhante de uma rvore o grafo). Exigir
apenas largura arbrea pequena no captura como bolsas da decomposio se
relacionam ao longo da rvore (da decomposio).
Dizemos que uma decomposio arbrea (T, {Wt : t V (T )}) de G
interligada (linked) se, para todo s N e todos t1 , t2 V (T ), existem s
caminhos disjuntos de Wt1 a Wt2 .
Dizemos que uma decomposio arbrea (T, {Wt : t V (T )}) de G
enxuta (lean) se, para todo s N e e todos t1 , t2 V (T ), existe t no caminho
de t1 para t2 em T tal que |Wt | < s.
O teorema abaixo afirma que possvel encontrar decomposies arbreas
com largura mnima e que so tambm enxutas:
Teorema 9.10 [Thomas,1990] Todo grafo G possui uma decomposio arbrea
enxuta com largura la(G).
9.3 decomposies arbreas e menores proibidos
Seja X uma classe de grafos. Considere a classe dos grafos sem um menor em
X
Forb (X ) = {G grafo : G 6 X, para todo X X }.
fcil ver que Forb (X ) uma propriedade de grafos, isto , fechada sob
isomorfismo (H Forb (X ) e H = H 0 implicam H 0 Forb (X )).

Quando se tratar apenas de um grafo, escreveremos Forb (G) em vez
de Forb ({G}).
A classe Forb (X ) expressa especificando-se os grafos X X como
menores proibidos (forbidden ou excluded minors).
Exemplo 9.11 Se X = {K5 , K3,3 }, ento Forb (X ) a classe dos grafos
planares.
Se X = {K4 }, ento Forb (X ) a classe dos grafos srie-paralelos.
Se X = {K2,3 , K4 }, ento Forb (X ) a classe dos grafos exoplanares.
Certamente Forb (X ) fechada sob a operao de tomar menores, isto ,
se G Forb (X ) e H G, ento H Forb (X ).
Propriedades de grafos que so fechadas sob tomada de menores so cha-
madas hereditrias.
A proposio abaixo afirma que as propriedades hereditrias coincidem
exatamente com as classes de menores proibidos.
Proposio 9.12 Seja P uma propriedade de grafos. A propriedade P pode
ser expressa atravs de menores proibidos se e somente se P hereditria.
Demonstrao. J vimos que Forb (X ) uma propriedade hereditria para

toda X .
Por outro lado, sabemos que P = Forb (P), onde P o complemento de
P.
Pergunta: Como representar melhor uma propriedade hereditria atravs

de menores proibidos?
Resposta mais adiante.
Por ora, considere a propriedade hereditria: largura arbrea limitada
(bounded tree width).
Proposio 9.13 Para todo k > 0, a propriedade de ter la < k hereditria.
Demonstrao. suficiente provar que a largura arbrea de um grafo no

aumenta quando contramos uma aresta. O resultado segue da Proposio 8.2
e da propriedade de menores.
Pelas proposies anteriores, a propriedade ter largura arbrea menor

que k pode ser expressa por menores proibidos.
Seja G<k = classe dos grafos com largura arbrea menor que k.
Para alguns valores fixos de k, j conhecemos essa classe:
A classe G<2 a classe das florestas (e coincide com Forb (K3 ));
A classe G<3 a classe dos grafos srie-paralelos (e coincide com Forb (K4 )).
natural perguntar se h outros grafos H para os quais os grafos em Forb (H)
tm largura arbrea limitada e como so tais grafos.
Proposio 9.14 Se H um grafo tal que os grafos de Forb (H) possuem
largura arbrea limitada, ento H planar.
Demonstrao. Sabemos que o grafo Gnn da grade n n possui largura

arbrea la(Gnn ) = n, ou seja, existem grafos planares com largura arbrea
arbitrariamente grande.
Como todo menor de um grafo planar planar, se H no for planar,
ento Gnn no o ter como menor.

Teorema 9.15 [Robertson, Seymour & Thomas, 94] Para todo grafo planar H
existe um inteiro n tal que H Gnn .
Teorema 9.16 Para todo grafo planar H existe um inteiro k tal que se um
grafo G tem largura arbrea maior ou igual a k, ento H G.
Corolrio 9.17 Se H um grafo planar, ento os grafos de Forb (H) tm
largura arbrea limitada.
Corolrio 9.18 [Robertson & Seymour] Grafos em Forb (H) tm largura
arbrea limitada se e somente se H planar.
Existe um resultado anlogo: troca-se la por pw e planar por floresta.
Teorema 9.19 [Robertson & Seymour,83] Grafos em Forb (H) tm pw
limitada se e somente se H uma floresta.
Demonstrao. Se H no uma floresta, isto , se H tem um circuito, en-

to Forb (H) contm todas as rvores.
Vamos provar ento que rvores podem ter pw arbitrariamente grande.
Seja G um grafo conexo e (P, {Wt : t V (P )}) uma decomposio em
caminho de G com largura pw(G). Suponha que os vrtices de P so 1, 2, . . . , k
e E(P ) = {ij : i j = 1}.
Tome v1 W1 e vk Wk e seja Q um caminho de v1 a vk em G.
Ento a decomposio em caminho (P, {Wt \ V (Q) : t V (P ))} de G Q
possui largura pw(G) 1, pois Q deve possuir pelo menos um vrtice em cada
bolsa (segue da Proposio 8.5).
Portanto todo grafo conexo G contm um caminho Q tal que pw(G Q)
pw(G) 1. Assim, se pudermos assumir (por alguma hiptese de induo
apropriada) que pw(G Q) grande para todo caminho Q G, ento pw(G)
tambm ser grande.
Usando esse fato, vamos provar que rvores podem ter pw arbitrariamente
grande.
Para todo k 1, seja T3k a rvore ternria com raiz r e todas suas folhas
distncia k de r (a raiz possui grau 3, as folhas possuem grau 1 e todos os
demais vrtices possuem grau 4).
T33
T32
T31
Figura 9.1: rvores ternrias T30 , T31 e T32 .
Observe que, se Q um caminho em T3k+1 , ento Q contm no mximo

duas das arestas incidentes a r. Logo temos T3k+1 Q T3k , donde segue
que pw(T3k+1 pw(T3k ) + 1 para todo k 1.
Como pw(T32 ) 1, segue por induo que pw(T3k ) k para todo k 1.
Portanto existem rvores com pw arbitrariamente grande, logo grafos
de Forb (H) tm pw limitada implica que H uma floresta.

9.4 o minor theorem
Teoremas que caracterizam uma propriedade hereditria P atravs de um

conjunto X de menores proibidos esto entre os resultados mais atraentes na
teoria dos grafos.
Tais teoremas do um sabor de coNP propriedade P, pois para certificar
que um grafo G no satisfaz P, basta apresentar o menor proibido que G
possui.
Claramente, podemos caracterizar P como Forb (P), mas o interessante
caracterizar P como Forb (X ) com X menor possvel.
Proposio 9.20 A classe X P minimal propriedade P = Forb (X ) se
e somente se X contm exatamente uma cpia de cada grafo -minimal em P.
Demonstrao. Claramente, se X possuir um grafo H que no -minimal

em P porque digamos H K P e H 6= K, ento teremos Forb (X ) =
Forb (X \ {H}, pois todos os grafos que possuem H como menor tambm
possuem K como menor.
Por outro lado, se um grafo -minimal H de P no estiver em X , ento
teremos H Forb (X ).
Logo X minimal implica que X contm exatamente os grafos que so -
minimais em P.
Por outro lado, se X contm exatamente os grafos que so -minimais
em P, ento todo grafo H Forb (X ) est em P (caso contrrio H possuiria
um menor -minimal de P).
A outra incluso segue da hereditariedade de P.
A proposio acima implica que existe um nico conjunto minimal de

menores proibidos (a menos de isomorfismo) para uma propriedade hereditria.
Ademais, os elementos desse conjunto so incomparveis sob . O Minor
Theorem (enunciado a seguir) implica que qualquer conjunto de grafos -
incomparveis finito.
Teorema 9.21 [Minor Theorem; Robertson & Seymour, 1986-97] Os grafos
finitos so quase-bem-ordenados pela relao de menor .
Corolrio 9.22 Toda propriedade de grafos que fechada sob tomada de
menores pode ser expressa como Forb (X ) com X finito.
Como a propriedade de ser imersvel numa superfcie fechada sob
tomada de menores, o seguinte corolario segue.
Corolrio 9.23 Para toda superfcie S existe um conjunto finito de grafos X
tal que Forb (X ) contm precisamente os grafos no-imersveis em S.
A ttulo de curiosidade, a propriedade de imersibilidade no plano projetivo
equivale a um total 35 menores proibidos.
9.5 exerccios
Exerccio 9.2. Sejam 1 e 2 quase-boas-ordens sobre Q1 e Q2 respectivamente.

Seja tambm Q = Q1 Q2 e defina a relao sobre Q da seguinte forma:
(q1 , q2 ) (q10 , q20 ) se q1 1 q10 e q2 2 q20 .
Prove que uma quase-boa-ordem sobre Q.

Exerccio 9.3. Mostre que no vale um resultado anlogo ao Lema 9.4 para
subconjuntos infinitos de X, denotado por X .
Para isso, seja Q o conjunto de todos os pares (i, j) de inteiros 1 i < j e
considere a relao sobre Q definida por
(i, j) (i0 , j 0 ) se (i = i0 e j j0) ou (j < i0 ),
e defina Q = {A Q : A infinito} e a relao sobre Q definida por

A B, se existe uma funo injetora f : A B
tal que a f (a) para todo a A.
Prove que quase-boa-ordem sobre Q mas no quase-boa-ordem
sobre Q .
Exerccio 9.4. Prove que a relao de subgrafo no uma quase-boa-ordem
sobre o conjunto das rvores finitas. (Veja Ex 7 do Cap. 12 do Diestel.)
Exerccio 9.5. Prove que a relao de menor topolgico no uma quase-boa-
ordem sobre o conjunto dos grafos finitos. (Veja sugesto no Ex do Cap 12 do
Diestel.)
1989.
1987.
MATICS, 164:51229, 2006.
1970.

Fund. Math, 28:2232, 1937.
Algorithms, 28(2):113179, 2006.
22:625639, 1955.
Soc., 52:113116, 1946.
Theory, 5:225241, 1981.
Graph Theory, 12(4):509517, 1988.
1981.
Combinatorics, 32(5):674676, 2011.

Curso Teoria Grafos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Curso Teoria Grafos

Cargado por

Copyright:

Formatos disponibles

Um curso de Grafos

Verso: 2 de junho de 2015, s 10 37

Yoshiko Wakabayashi alunos tomadores de notas

segundo semestre de 2012

Notas de aula escritas conjuntamente pelos alunos da turma de

O curso no segue um livro propriamente dito, mas algumas

Este um trabalho em progresso. Quaisquer inconsistncias, incorrees,

2 de 104 Verso: 2 de junho de 2015, s 10 37

3 de 104 Verso: 2 de junho de 2015, s 10 37

8 Decomposio arbrea / Largura arbrea 85

9 Menores, rvores e Quase Boa Ordem 95

4 de 104 Verso: 2 de junho de 2015, s 10 37

Dado um conjunto V , possivelmente infinito, e um conjunto E de pares de

Figura 1.1: Estrela com 9 vrtices.

5 de 104 Verso: 2 de junho de 2015, s 10 37

(a) K5 , grafo completo em 5 vrtices. (b) Grafo vazio em 5 vrtices.

Figura 1.2: Exemplos de grafos especiais.

Exemplo 1.4 Seja G = (V, E) um grafo e defina E = {uv : u, v V } \ E.

(a) Um grafo arbitrrio G. (b) G, grafo complementar de G.

Figura 1.3: Exemplo da operao de complemento.

Figura 1.4: Grafo 3-regular.

Exemplo 1.6 Seja G um grafo tal que V (G) = A B, onde A B = , e

Figura 1.5: Grafo bipartido.

6 de 104 Verso: 2 de junho de 2015, s 10 37

(a) Exemplo: subgrafo. (b) Exemplo: subgrafo induzido.

Figura 1.6: Exemplos de subgrafo e subgrafo induzido.

Um isomorfismo entre dois grafos G e H uma funo f : V (G) V (H)

Passeios, Trilhas, circuitos e caminhos

7 de 104 Verso: 2 de junho de 2015, s 10 37

(c) Exemplo: Trilha simples e (d) Exemplo: Trilha simples e fe-

Figura 1.7: Exemplos de passeios especiais.

Definimos o conceito de grafo orientado (ou dirigido) da seguinte forma.

8 de 104 Verso: 2 de junho de 2015, s 10 37

Dados dois grafos G, H no mesmo conjunto de vrtices V , definimos a unio

(a) Exemplo: Grafo G. (b) Exemplo: Grafo G

Figura 1.8: Exemplo de remoo de vrtices.

Dados dois grafos G e H no mesmo conjunto de vrtices, a diferena

Um multigrafo um par ordenado (V, E) onde V um conjunto (chamado

9 de 104 Verso: 2 de junho de 2015, s 10 37

1.5 referncias bibliogrficas

[Bol98] B. Bollobs. Modern graph theory. Graduate Texts in Mathematics

10 de 104 Verso: 2 de junho de 2015, s 10 37

Um conjunto de arestas M de um grafo G chamado de emparelhamento

2.1 emparelhamentos perfeitos

Demonstrao. Demonstramos apenas uma das implicaes. Suponha que no

Corolrio 2.3 Seja G um grafo (A, B)-bipartido. Se | Adj(X)| |X| k

11 de 104 Verso: 2 de junho de 2015, s 10 37

Um conjunto S de vrtices de um grafo G dito uma cobertura (por vrti-

Demonstrao. Demonstramos que Emp G Cob(G). A outra desigualdade

Seja H o subgrafo de G induzido por AC BC . claro que H (AC , BC )-

Emp G |F F 0 | = |F | + |F 0 | = |AC | + |BC | = |C|.

Dado um grafo H, denotamos por co (H) o nmero de componentes conexas

Teorema 2.5 (Tutte, 1947). Um grafo G = (V, E) tem um emparelhamento

12 de 104 Verso: 2 de junho de 2015, s 10 37

Dado um grafo (A, B)-bipartido G e um conjunto X A, dizemos que |X|

Emp(G) = |A| Def A (G).

Demonstrao. A desigualdade Emp G |A| Def A (G) segue diretamente

O teorema 2.6 conclui que a deficincia de um grafo bipartido G o nmero

2.3 defeito em grafos arbitrrios

Seja M um emparelhamento em G. Definimos o defeito de M como sendo o

onde M o conjunto dos emparelhamentos de G. Em 1958, Berge [] provou o

Def(G) = max co (G S) |S| . (2.1)

O teorema 2.7 consequncia do teorema a seguir, que quantifica o tamanho