Introdução à Teoria dos Grafos com exemplos de aplicações

GrafosModfrancisca
2009/6/30
page 1
Estilo OBMEP
Grafos Uma Introduo
Samuel Jurkiewicz
GrafosModfrancisca
2009/6/30
page 2
Estilo OBMEP
Texto j revisado pela nova ortograa.
GrafosModfrancisca
2009/6/30
page 3
Estilo OBMEP
Sobre o Autor
Samuel Jurkiewicz carioca e Doutor em Matemtica pela Universi-
dade Pierre et Marie, em Paris. Atualmente professor da Escola de
Engenharia da UFRJ. J atuou como docente em todos os nveis, in-
clusive no pr-escolar. Alm do ensino de graduao e ps-graduao,
tem desenvolvido atividades junto a professores e alunos do Ensino
Mdio atravs de ocinas de Matemtica Discreta.
GrafosModfrancisca
2009/6/30
page 4
Estilo OBMEP
GrafosModfrancisca
2009/6/30
page i
Estilo OBMEP
Sumrio
1 O que um Grafo? 5
1.1 Primeiras Noes . . . . . . . . . . . . . . . . . . . . . 5
1.2 Grau de um Vrtice . . . . . . . . . . . . . . . . . . . 7
1.3 Nosso Primeiro Resultado . . . . . . . . . . . . . . . . 10
1.4 Alguns Problemas com as Denies . . . . . . . . . . 11
1.5 Isomorsmo . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Outras Denies . . . . . . . . . . . . . . . . . . . . . 16
1.7 Tipos Especiais de Grafos . . . . . . . . . . . . . . . . 17
1.8 Representao por Matrizes . . . . . . . . . . . . . . . 22
2 Ciclos e Caminhos 28
2.1 Conexidade Outra Vez . . . . . . . . . . . . . . . . . . 28
2.2 O Problema do Menor Caminho . . . . . . . . . . . . 31
Algoritmos e Computadores . . . . . . . . . . . . . . . 31
Qual o Menor Caminho at a Escola? . . . . . . . . . . 32
3 Mais Ciclos e mais Caminhos 45
i
GrafosModfrancisca
2009/6/30
page ii
Estilo OBMEP
ii SUMRIO
3.1 Euler e as Pontes de Kenisberg . . . . . . . . . . . . . 45
Esse Problema Importante? . . . . . . . . . . . . . . 47
3.2 Estrutura de Dados . . . . . . . . . . . . . . . . . . . . 48
3.3 Grafos Eulerianos . . . . . . . . . . . . . . . . . . . . . 51
3.4 O Problema Chins do Carteiro . . . . . . . . . . . . . 57
3.5 Grafos e Ciclos Hamiltonianos . . . . . . . . . . . . . . 58
3.6 O Problema do Caixeiro Viajante PCV . . . . . . . . 59
3.7 Uma Palavra sobre Complexidade . . . . . . . . . . . . 62
4 rvores 66
4.1 Denies e Caracterizaes . . . . . . . . . . . . . . . 66
4.2 rvores Geradoras . . . . . . . . . . . . . . . . . . . . 68
O Problema de Conexo de Peso Mnimo . . . . . . . . 68
5 Subconjuntos Especiais de um Grafo 73
5.1 Conjuntos Independentes . . . . . . . . . . . . . . . . 73
5.2 Colorao . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.3 Aplicaes de Colorao . . . . . . . . . . . . . . . . . 77
5.4 Cliques . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
5.5 Acoplamentos . . . . . . . . . . . . . . . . . . . . . . . 82
5.6 Acoplamentos em Grafos Bipartidos . . . . . . . . . . 84
GrafosModfrancisca
2009/6/30
page iii
Estilo OBMEP
iii
5.7 Colorao de Arestas . . . . . . . . . . . . . . . . . . . 85
5.8 Outros Subconjuntos . . . . . . . . . . . . . . . . . . . 92
6 Grafos Planares 95
6.1 Denies e Resultados Simples . . . . . . . . . . . . . 95
6.2 Teorema de Kuratowski . . . . . . . . . . . . . . . . . 99
6.3 Dualidade . . . . . . . . . . . . . . . . . . . . . . . . . 100
6.4 O Problema das 4 Cores . . . . . . . . . . . . . . . . . 101
ndice 111
GrafosModfrancisca
2009/6/30
page iv
Estilo OBMEP
GrafosModfrancisca
2009/6/30
page 1
Estilo OBMEP
Introduo
O leitor seria capaz de desenhar a gura 1 abaixo sem tirar o
lpis do papel? Tem que ir de ponto a ponto e no pode passar pela
mesma linha duas vezes.
A
B
C
D
E
Figura 1
Foi fcil? Experimente agora comear pelo ponto B.
Bem, esse problema importante? Pensemos numa pequena
cidade com pequeno oramento. O servio de recolhimento de lixo
feito por um pequeno caminho. Queremos evitar o desperdcio;
uma boa ideia seria fazer o caminho passar uma nica vez por cada
1
GrafosModfrancisca
2009/6/30
page 2
Estilo OBMEP
2
rua e retornar ao ponto de partida. Na verdade, o mesmo problema.
Um outro problema que propomos s crianas para que se
aquietem o seguinte: temos que ligar Luz, Gs e Telefone a trs
casas sem que as linhas se cruzem. Voc j tentou? (veja a gura 2)
casa 1
casa 2
casa 3
L
G
T
Figura 2
Outra vez, cabe a pergunta: esse problema importante? Pense-
mos ento numa fbrica de placas de circuito integrado. Encontrar
esquemas de ligao que evitem cruzamento crucial para baratear os
custos de manufatura; quanto menos camadas, mais rpido e rentvel
se torna o servio.
Nos dois casos s nos interessou considerar um conjunto de pontos
e um conjunto de ligaes entre eles. a essa estrutura que chamamos
grafo.
Estas notas tratam da Teoria dos Grafos uma modesta intro-
duo. Desde o sculo XVIII at nossos dias essa teoria tem conhecido
extraordinrio desenvolvimento terico e aplicado. Adotamos ento
GrafosModfrancisca
2009/6/30
page 3
Estilo OBMEP
3
a prtica de introduzir alguns temas gerais que dessem uma pequena
ideia da variedade de abordagens e problemas que ela pode oferecer.
Certamente, muito cou para depois. O que esperamos que ao -
nal o leitor tenha se convencido da utilidade dos conceitos e processos
apresentados, mas guardamos o secreto desejo de que o aspecto ldico
dos grafos o contaminem com o que costumamos chamar de graphical
desease, ou melhor, traduzindo, a febre dos grafos.
Uma observao: sendo essa uma primeira abordagem da teoria
dos grafos, tratamos aqui apenas de grafos sem orientao. A inteno
foi apresentar os conceitos da forma mais simplicada possvel. Para
o leitor interessado, a bibliograa contempla grafos com orientao.
Cada captulo acompanhado de exerccios sem a soluo, prefe-
rimos deixar o prazer desta tarefa ao leitor. A bibliograa ao m
das notas mais do que suciente para adquirir um conhecimento
razovel de teoria dos grafos, e inclui trabalhos de nvel diversicado.
Enm, deve haver erros; as crticas (construtivas, por favor) so
bem vindas.
Esperamos que apreciem estas notas.
Samuel Jurkiewicz
Escola de Engenharia/UFRJ Departamento de Engenharia Indus-
trial
COPPE/UFRJ Programa de Engenharia de Produo
jurki@pep.ufrj.br
GrafosModfrancisca
2009/6/30
page 4
Estilo OBMEP
GrafosModfrancisca
2009/6/30
page 5
Estilo OBMEP
Captulo 1
O que um Grafo?
1.1 Primeiras Noes
Numa escola algumas turmas resolveram realizar um torneio
de vlei. Participam do torneio as turmas 6A, 6B, 7A, 7B, 8A e 8B.
Alguns jogos foram realizados at agora:
6A jogou com 7A, 7B, 8B
6B jogou com 7A, 8A, 8B
7A jogou com 6A, 6B
7B jogou com 6A, 8A, 8B
8A jogou com 6B, 7B, 8B
8B jogou com 6A, 6B, 7B, 8A
Mas ser que isto est correto? Pode ter havido um erro na
listagem. Uma maneira de representar a situao atravs de uma
gura. As turmas sero representadas por pontos e os jogos sero
representados por linhas.
No difcil agora constatar a consistncia das informaes. A
estrutura que acabamos de conhecer um grafo. Apresentamos duas
formas de representar esta estrutura
5
GrafosModfrancisca
2009/6/30
page 6
Estilo OBMEP
6 CAP. 1: O QUE UM GRAFO?
6A
6B
7A
7B
8A
8B
Figura 1.1: Grafo do Campeonato de Vlei
Por uma lista, dizendo quem se relaciona com quem.
Por um desenho, isto , uma representao grca.
Qual a forma correta? As duas so corretas. A estrutura grafo
admite vrias maneiras de ser representada. Isso no novidade:
a palavra dois e o smbolo 2 representam o mesmo conceito
matemtico.
Para que um grafo que bem denido temos que ter dois conjuntos:
O conjunto V , dos vrtices no nosso exemplo, o conjunto das
turmas.
O conjunto A, das arestas no nosso exemplo, so os jogos
realizados.
Em outra palavras, o que nos interessa num grafo :
Quem so os vrtices.
GrafosModfrancisca
2009/6/30
page 7
Estilo OBMEP
SEC. 1.2: GRAU DE UM VRTICE 7
Que pares de vrtices esto ligados e quais no esto (isto ,
quem so as arestas).
Quando existe uma aresta ligando dois vrtices dizemos que os vrtices
so adjacentes e que a aresta incidente aos vrtices. No nosso
exemplo podemos representar o grafo de forma sucinta como:
V = 6A; 6B; 7A; 7B; 8A; 8B
A = (6A; 7A); (6A; 7B); (6A; 8B); (6B; 7A); (6B; 8A); (6B; 8B); (7B; 8A);
(7B; 8B); (8A; 8B)
Observe que no precisamos colocar (8A; 7B) no conjunto de
arestas pois j tnhamos colocado (7B; 8A).
O nmero de vrtices ser simbolizado por [V [ ou pela letra n.
O nmero de arestas ser simbolizado por [A[ ou pela letra m.
No nosso exemplo n = 6 e m = 9.
1.2 Grau de um Vrtice
No nosso exemplo vimos que cada turma jogou um nmero dife-
rente de jogos:
GrafosModfrancisca
2009/6/30
page 8
Estilo OBMEP
6A jogou 3 jogos
6B jogou 3 jogos
7A jogou 2 jogos
7B jogou 3 jogos
8A jogou 3 jogos
8B jogou 4 jogos
Por isso, no nosso desenho, o vrtice 6A tem 3 arestas ligadas a
ele, o vrtice A7 tem 2 arestas ligadas a ele e assim por diante.
Dizemos que estas arestas so incidentes ao vrtice. O nmero
de vezes que as arestas incidem sobre o vrtice v chamado grau
do vrtice v, simbolizado por d(v). No nosso exemplo, d(6A) = 3;
d(7A) = 2.
Exerccios
1. Usando o grafo do campeonato:
(a) D o grau de cada um dos vrtices
(b) Qual a soma de todos os graus?
(c) Qual o nmero de arestas?
(d) O que voc observou? Ser coincidncia?
2. Faa o mesmo exerccio anterior usando os grafos da gura 1.2:
GrafosModfrancisca
2009/6/30
page 9
Estilo OBMEP
SEC. 1.2: GRAU DE UM VRTICE 9

Figura 1.2:
GrafosModfrancisca
2009/6/30
page 10
Estilo OBMEP
1.3 Nosso Primeiro Resultado
No exerccio anterior voc deve ter observado que a soma dos graus
de um grafo sempre o dobro do nmero de arestas (e isso no deve
ser coincidncia...). Isso pode ser escrito em linguagem matemtica.
Para isso, denotaremos um grafo pela letra G e representaremos
por V (G) e A(G) respectivamente, os conjuntos de vrtices e das
arestas de G.
Teorema. Para todo grafo G
vV (G)
d(v) = 2 m.
Isto : A soma dos graus dos vrtices de um grafo sempre o dobro
do nmero de arestas.
Demonstrao. Quando contamos os graus dos vrtices estamos con-
tando as extremidades das arestas uma vez. Como cada aresta tem
duas extremidades, cada aresta foi contada duas vezes.
Corolrio. Todo grafo G possui um nmero par de vrtices de grau
mpar.
Demonstrao. Se tivssemos um nmero mpar de vrtices de grau
mpar a soma dos graus seria mpar. Mas a soma dos graus o dobro
do nmero de arestas e, portanto um nmero par.
GrafosModfrancisca
2009/6/30
page 11
Estilo OBMEP
SEC. 1.4: ALGUNS PROBLEMAS COM AS DEFINIES 11
1.4 Alguns Problemas com as Denies
Algumas perguntas acerca das denies podem nos deixar
atrapa-lhados. Vamos examinar algumas.
Uma aresta pode ligar um vrtice a ele mesmo?
Pode. o que chamamos de lao (veja gura 1.3). Por
exemplo, vamos construir o grafo em que V = 2, 3, 4, 5, 6 e
dois vrtices sero ligados quando tiverem um divisor comum
(diferente de 1).
Figura 1.3: Grafo com laos
Pela denio do grafo vemos que o 5 no est ligado a ne-
nhum outro vrtice mas tem um lao (como alis todos os outros
vrtices deste grafo). Para haver coerncia com os resultados da
seo anterior, temos que contar o lao duas vezes (uma para
cada extremidade) quando calcularmos o grau do vrtice. No
nosso exemplo:
d(2) = 4; d(3) = 3; d(4) = 4; d(5) = 2; d(6) = 5
e o teorema continua valendo.
GrafosModfrancisca
2009/6/30
page 12
Estilo OBMEP
Dois vrtices podem estar ligados por mais de uma aresta?
Podem. Neste caso usamos o nome especial de multigrafo
(veja gura 1.4). Um exemplo que veremos adiante resulta no
seguinte grafo:
Figura 1.4: Multigrafo (com arestas mltiplas)
Grafos sem laos ou arestas mltiplas so chamados de grafos
simples. Neste texto estaremos trabalhando quase sempre com
grafos simples.
A gura 1.5 mostra um grafo ou dois grafos?
Figura 1.5: Um grafo ou dois?
Depende da situao. Em princpio parecem dois grafos distin-
tos, e podemos consider-los assim. Mas podemos pensar que
esse grafo representa as ligaes entre casas de uma cidade onde
passa um rio (veja gura a seguir).
Se as pontes forem destrudas em um temporal a cidade ainda
GrafosModfrancisca
2009/6/30
page 13
Estilo OBMEP
SEC. 1.5: ISOMORFISMO 13
Figura 1.6:
uma s, apenas foi desconectada. O grafo da gura 1.5
poderia ser o que chamamos de grafo desconexo. Essa uma
noo importante e voltaremos a ela algumas vezes. Cada parte
conexa do grafo (no nosso exemplo o quadrado e o tringulo)
chamada de componente conexa do grafo. Dizemos que
um grafo conexo se qualquer par de pontos ligado por ao
menos um caminho.
1.5 Isomorsmo
Observe o grafo mostrado na gura adiante.
Verique que a situao representada exatamente a mesma do
grafo inicial do campeonato. Apenas nesse caso procuramos fazer o
desenho de forma a no haver pontos comuns entre as arestas (fora dos
vrtices, claro). Quando dois grafos representam a mesma situao
dizemos que eles so grafos isomorfos.
Esse conceito s vezes gera polmica. o mesmo grafo ou no?
Claramente as caractersticas de um e de outro so as mesmas (graus,
nmero de arestas e outras que veremos mais tarde). E na verdade
GrafosModfrancisca
2009/6/30
page 14
Estilo OBMEP
6A
6B
7A
7B
8A
8B
Figura 1.7:
esta no uma questo realmente importante. O essencial saber
discernir quando dois grafos so isomorfos ou no. Para isso vamos
usar uma denio tcnica.
Dois grafos G
1
e G
2
so ditos isomorfos se existe uma
correspondncia 1-a-1 entre seus conjuntos de vrtices que preserve as
adjacncias.
Vejamos um exemplo:
a
b
c
d
w
x
y
z
Figura 1.8:
Vamos estabelecer uma correspondncia 1 1 entre os conjuntos
GrafosModfrancisca
2009/6/30
page 15
Estilo OBMEP
SEC. 1.5: ISOMORFISMO 15
de vrtices:
f : a w
b x
c z
d y
Esta funo funciona perfeitamente. Se tomarmos uma aresta no
primeiro grafo (digamos (a; d)) a funo far a correspondncia com
(w; y) que uma aresta no segundo grafo. Se tomarmos dois vrtices
que no so ligados por uma aresta (digamos a e c) a funo far
corresponder dois vrtices (w e z) que tambm no so ligados.
Exerccios
1. Verique que a correspondncia a seguir no serve para mostrar
o isomorsmo dos grafos da gura 1.8.
Sugesto: Tome dois vrtices que no sejam ligados, faa a
correspondncia e veja o que acontece.
f : a x
b y
c z
d w
GrafosModfrancisca
2009/6/30
page 16
Estilo OBMEP
2. Mostre que os pares de grafos da gura 1.9 e 1.10 so isomorfos:
v
Figura 1.9:
Figura 1.10:
3. Mostre que os grafos 1.11 e 1.12 no so isomorfos:
Figura 1.11:
Figura 1.12:
1.6 Outras Denies
O conjunto de vrtices adjacentes a v chamado vizinhana
aberta de v, denotado por N(v). A vizinhana fechada de v
denotada e denida por N[v] = N(v) v, isto , inclui a vizinhana
e o prprio vrtice. Podemos estender esta denio para conjuntos de
vrtices (N(S)eN[S]). Por exemplo, no grafo do campeonato temos
N(7B) = 6A; 8A; 8B e N[7B] = 6A; 7B; 8A; 8B.
GrafosModfrancisca
2009/6/30
page 17
Estilo OBMEP
SEC. 1.7: TIPOS ESPECIAIS DE GRAFOS 17
Um vrtice de grau 0 dito isolado; um vrtice de grau 1 dito
pendente. A sequncia de graus de um grafo a sequncia no
crescente formada pelos graus dos vrtices dos grafos. Por exemplo,
a sequncia de graus do grafo do campeonato (4, 3, 3, 3, 3, 2).
O menor grau de um vrtice em G o grau mnimo, denotado
(G), e o maior o grau mximo, denotado (G). No caso do
campeonato temos (G) = 4 e (G) = 2.
G
dito um subgrafo de G se V (G
) V (G) e A(G
) A(G).
Na gura a seguir, o grafo G
um subgrafo de G. O grafo G
dito um subgrafo induzido pelo subconjunto a, b, c, d de V (G),
pois todas as arestas incidentes aos vrtices de a, b, c, d em G esto
presentes em G(veja a gura 1.13).
d
a
b
c
e
d
a
b
c
e
d
a
b
c
e
G
G
G
Figura 1.13:
1.7 Tipos Especiais de Grafos
Grafo completo Imagine o grafo do campeonato quando todos
os jogos tiverem sido jogados. Ele caria com o aspecto da 1.14:
GrafosModfrancisca
2009/6/30
page 18
Estilo OBMEP
6A
6B
7A
7B
8A
8B
Figura 1.14: O grafo completo K
6
Isto o que chamamos um grafo completo. Um grafo com-
pleto denido como um grafo onde todo par de vrtices
ligado por uma aresta. Um grafo completo com n vrtices
denotado por K
n
(O nosso exemplo K
6
).
Exerccios
1. Quantas arestas tm K
7
? e K
12
? e K
n
?
2. Quantos vrtices um grafo simples precisa ter para poder
ter 200 arestas?
Grafo complementar (veja gura 1.15)
Imagine agora que temos o grafo do campeonato e queremos
fazer o grafo dos jogos que faltam. Faramos um grafo com o
mesmo conjunto de vrtices mas com as arestas que faltam no
grafo original. Veja a gura.
GrafosModfrancisca
2009/6/30
page 19
Estilo OBMEP
6A
6B
7A
7
B
8A
8B
6A
6B
7A
7
B
8A
8B
Figura 1.15: Dois grafos complementares
Chamamos este grafo de grafo complementar do grafo G,
denotado por G. fcil perceber que V (G) = V (G) e que
A(G) A(G) inclui todas as arestas de G.
Grafo nulo ou vazio (gura 1.16)
Um grafo G nulo ou vazio quando o conjunto de arestas
A(G) vazio.
Por exemplo, antes de comear o campeonato nenhum jogo
havia sido jogado. Nosso grafo caria como na gura 1.16:
6A
6B
7A
7B
8A
8B
Figura 1.16: Grafo nulo ou vazio
GrafosModfrancisca
2009/6/30
page 20
Estilo OBMEP
Grafo regular (gura 1.17)
Um grafo regular (de grau k, ou ainda k-regular) quando
todos os seus vrtices tm o mesmo grau (k). A gura 1.17
mostra um grafo 3-regular, isto , todos os vrtices tem grau 3.
Figura 1.17: Um grafo k-regular de grau 3
Ciclo (gura 1.18)
Um ciclo um grafo conexo regular de grau 2. A notao C
n
Figura 1.18: Exemplos de ciclo: C
5
e C
6
Caminho (gura 1.19)
Um caminho um ciclo do qual retiramos uma aresta. O com-
primento do caminho dado pelo nmero de arestas (o que faz
sentido: o nmero de passos que gastamos para percorrer o
caminho). Assim, o caminho P
n
obtido retirando uma aresta
do ciclo C
n+1
.
GrafosModfrancisca
2009/6/30
page 21
Estilo OBMEP
Figura 1.19: Exemplos de caminho: P
4
e P
5
rvores (gura 1.20)
Uma rvore um grafo conexo sem ciclos como subgrafos. Note
que o fato de no ter ciclos faz com que a rvore seja a maneira
mais econmica de conectar os vrtices. As rvores formam
uma famlia importante de grafos e voltaremos a elas mais tarde.
Figura 1.20: Exemplos de rvores
Grafos bipartidos (gura 1.21)
um grafo em que o conjunto V de vrtices pode ser parti-
cionado em dois subconjuntos disjuntos V
1
e V
2
tal que toda
aresta de G tem uma extremidade em V
1
e outra em V
2
. O sub-
conjunto V
1
dito um subconjunto independente de vr-
tices do grafo G pois no h arestas ligando dois vrtices de
V
1
. Temos tambm que V
2
um subconjunto independente de
GrafosModfrancisca
2009/6/30
page 22
Estilo OBMEP
vrtices de G.
Figura 1.21: Grafo bipartido
Grafos bipartidos completos Notao K
p,q
(gura 1.22).
um grafo bipartido em que todos os vrtices de V
1
so ligados
a todos os vrtices de V
2
.
Figura 1.22: Grafo bipartido completo K
2,4
1.8 Representao por Matrizes
Matrizes um assunto tpico do ensino mdio mas o que
mostraremos aqui pode ser entendido por todos. Uma das formas
GrafosModfrancisca
2009/6/30
page 23
Estilo OBMEP
SEC. 1.8: REPRESENTAO POR MATRIZES 23
mais comuns de informar uma estrutura de grafo para um com-
putador atravs de matrizes. Uma matriz nada mais do que uma
tabela com linhas e colunas. Um exemplo bastante conhecido a
tabuada:
0 1 2 3 4 5 6 7 8 9
0 0 0 0 0 0 0 0 0 0 0
1 0 1 2 3 4 5 6 7 8 9
2 0 2 4 6 8 10 12 14 16 18
3 0 3 6 9 12 15 18 21 24 27
4 0 4 8 12 16 20 24 28 32 36
5 0 5 10 15 20 25 30 35 40 45
6 0 6 12 18 24 30 36 42 48 54
7 0 7 14 21 28 35 42 49 56 63
8 0 8 16 24 32 40 48 56 64 72
9 0 9 18 27 36 45 54 63 72 81
Se quisermos saber o valor de 3 5 procuramos o valor na linha
do 3 e na coluna do 5, isto 15.
Mas as matrizes tm outras utilidades. No caso dos grafos elas
podem ser usadas na representao de vrias formas. Eis algumas
delas. Exemplicaremos com as representaes do grafo a seguir:
GrafosModfrancisca
2009/6/30
page 24
Estilo OBMEP
a
b c
d
Figura 1.23:
Matriz de adjacncia a matriz denida por
x
ij
=
1 se ij A(G)
0 se ij / A(G)
No exemplo da gura 1.23, a matriz de adjacncia :
0 1 1 1
1 0 1 0
1 1 0 1
1 0 1 0
Matriz de incidncia a matriz n m denida por
x
ij
=
1 se a aresta e
j
incidente em v
i
0 caso contrrio
GrafosModfrancisca
2009/6/30
page 25
Estilo OBMEP
No exemplo da gura 1.23 a matriz de incidncia :
ab ac ad bc cd
a 1 1 1 0 0
b 1 0 0 1 0
c 0 1 0 1 1
d 0 0 1 0 1
Exerccios
1. Qual o grafo complementar do grafo desconexo formado por
duas componentes conexas isomorfas a K
3
e K
7
?
2. Qual o grafo complementar do grafo desconexo formado por
duas componentes conexas isomorfas a K
r
e K
s
?
3. Mostre que um grafo G desconexo, ento seu complementar
G tem um subgrafo bipartido completo. Mostre que a recproca
no verdadeira.
4. Mostre que as sequncias (9,8,7,6,5,5,4,3,3) e (7,7, 7,6,5,4,3,2)
no correspondem a sequncias de graus de nenhum grafo.
5. Mostre que a sequncia (3, 3, 3, 3, 3, 3) corresponde a pelo menos
dois grafos no isomorfos.
6. Mostre que uma mesma sequncia pode corresponder a grafos
no isomorfos.
7. Prove que
2.m
n
.
GrafosModfrancisca
2009/6/30
page 26
Estilo OBMEP
8. Mostre que em um grafo bipartido m
n
2
4
.
9. (a) Mostre que se G conexo, ento m n 1.
(b) Mostre que a recproca no verdadeira.
(c) Qual o menor valor de m que garante que G conexo?
10. Desenhe uma representao do grafo cuja matriz de adjacncia
:
0 1 0 1 1
1 0 1 1 0
0 1 0 1 0
1 1 1 0 1
1 0 0 1 0
11. Um grafo autocomplementar se for isomorfo ao seu com-
plemento. Mostre que se G autocomplementar, ento n = 4k
ou n = 4.k + 1 para algum k inteiro.
12. O grafo de linha ou grafo adjunto, notao L(G), o grafo
cujos vrtices esto em correspondncia 1 a 1 com as arestas
de G e cujas arestas ligam vrtices que correspondem a arestas
incidentes em G.
(a) Mostre que L(K
3
) = L(K
1,3
).
(b) Mostre que se G regular de grau k, L(G) regular de
grau 2.k 2.
(c) Encontre uma expresso para o nmero de arestas de L(G)
em funo dos graus de G.
GrafosModfrancisca
2009/6/30
page 27
Estilo OBMEP
13. Suponha que as arestas de K
6
sejam coloridas de azul ou de
vermelho. Mostre que, seja qual for a forma de colorir, o grafo
ter um subgrafo isomorfo a K
3
colorido com uma s cor.
Roteiro: Suponha, por absurdo, que isso no verdade.
(a) Escolha um vrtice v qualquer; mostre que existem (pelo
menos) 3 arestas incidentes a v com a mesma cor (diga-
mos, sem perda de generalidade, (v; a); (v; b); e (v; c) so
coloridas de azul).
(b) Mostre que (a; b); (a; c); e (b; c) no podem ser coloridas de
azul.
(c) Conclua que (a; b); (a; c); e (b; c) devem ser coloridas de
vermelho, mostrando o absurdo, e provando a armao.
14. Suponha que as arestas de K
17
sejam coloridas de azul, verde
ou de vermelho. Mostre que, seja qual for a forma de colorir, o
grafo ter um subgrafo isomorfo a K
3
colorido com uma s cor.
Sugesto: Use o exerccio anterior.
15. Mostre que num grafo simples pelo menos dois vrtices tm o
mesmo grau.
GrafosModfrancisca
2009/6/30
page 28
Estilo OBMEP
Captulo 2
Ciclos e Caminhos
2.1 Conexidade Outra Vez
Observao. Quando no houver risco de confuso a aresta (v, w)
ser denotada simplesmente por vw.
Um passeio uma sequncia de arestas do tipo
v
0
v
1
,v
1
v
2
,v
2
v
3
,...v
s1
v
s
; s o comprimento do passeio. Se
todas as arestas do passeio so distintas, o passeio chamado
trilha; se v
0
= v
s
o passeio uma trilha fechada. Se, alm das
arestas, todos os vrtices so distintos ento temos um caminho
e se v
0
= v
s
temos um ciclo (como visto anteriormente). Uma
outra forma de denir a conexidade observar que um grafo G
conexo se, e s se, existe um caminho entre quaisquer dois vrtices
de G. As componentes conexas podem ser vistas como as classes de
equivalncia da relao:
x y se, e somente se, existe um caminho ligando x a y.
(Para isso, estamos considerando que entre um vrtice e ele mesmo
existe um caminho de comprimento 0.) O menor comprimento pos-
28
GrafosModfrancisca
2009/6/30
page 29
Estilo OBMEP
SEC. 2.1: CONEXIDADE OUTRA VEZ 29
svel para um caminho entre os vrtices u e v chamado de distncia
entre u e v. Podemos tambm sinalizar as sequncias de arestas des-
critas acima pela sucesso de vrtices v
0
,v
1
,v
2
,...,v
s1
,v
s
.
Dizemos que um grafo conexo k-conexo se, ao retirarmos k 1
vrtices do grafo, ele continua conexo. Por exemplo, o grafo da gura
1.17 3 conexo, pois podemos escolher 2 vrtices quaisquer para
retirar, e mesmo assim o grafo continuar conexo.
Teorema. Um grafo G bipartido se, e somente se, no contm
ciclos de comprimento mpar.
Demonstrao.
() Seja G bipartido. Se no houver ciclo em G, no h o que
mostrar. Se h um ciclo em G este alterna vrtices de V
1
e V
2
,
dois subconjuntos independentes e disjuntos. Partindo de V
1
(por
exemplo), para retornar ao ponto de partida teremos que utilizar um
nmero par de arestas. O ciclo , portanto, de comprimento par.
() Podemos considerar apenas grafos conexos. Seja G um grafo sem
ciclos mpares. Vamos particionar seu conjunto de vrtices em dois
subconjuntos V
1
e V
2
, independentes e disjuntos. Tomamos primeira-
mente um vrtice qualquer v. O subconjunto V
1
ser formado por
todos os vrtices w tais que exista um caminho de comprimento par
entre v e w. O subconjunto V
2
ser formado por todos os vrtices
w tais que exista um caminho de comprimento mpar entre v e w.
Os conjuntos V
1
e V
2
so disjuntos, pois se w estivesse em V
1
e V
2
ao mesmo tempo, haveria um caminho de comprimento par e um
GrafosModfrancisca
2009/6/30
page 30
Estilo OBMEP
30 CAP. 2: CICLOS E CAMINHOS
caminho de comprimento mpar ligando v a w. Esses dois cami-
nhos podem se cruzar (ou no) antes de chegar em w, produzindo
alguns ciclos (veja a gura a seguir). Como o nmero de arestas
usado nestes ciclos mpar ( a soma do nmero de arestas dos dois
caminhos) isso produziria pelo menos um ciclo mpar em G, contra-
riando a hiptese.
Figura 2.1:
J sabemos que o conjunto de vrtices de um grafo bipartido
particionado em dois subconjuntos V
1
e V
2
. O conjunto V
1
(e tambm
o conjunto V
2
) chamado conjunto independente, isto , se w e t
forem ambos vrtices de V
1
eles no so adjacentes.
Exerccio
Nos pares de grafos das guras 2.2 e 2.3, mostre qual dos grafos
bipartido e qual no .
Figura 2.2:
Figura 2.3:
GrafosModfrancisca
2009/6/30
page 31
Estilo OBMEP
SEC. 2.2: O PROBLEMA DO MENOR CAMINHO 31
2.2 O Problema do Menor Caminho
Algoritmos e Computadores
Nesta seo vamos tratar de um problema relativamente simples.
Por exemplo, algum precisa se deslocar de uma cidade para outra e
para isso dispe de vrias estradas que passam por diversas cidades.
Qual caminho oferece uma trajetria de menor comprimento?
O algoritmo que soluciona este problema (e at hoje no se en-
controu forma melhor) foi criado por Edsger Wybe Dijkstra, em 1952.
Dijkstra nasceu em 1930, na cidade de Roterdan Holanda, e morreu
em 2002. Foi um cientista de computao e recebeu o Turing Award
de 1972 por suas contribuies fundamentais na rea de linguagens
de programao.
Notem um fato interessante: geralmente o que estudamos em
Matemtica foi criado h muito tempo. Mas a Matemtica, como
veremos no problema que estamos estudando, continua a oferecer
solues e com o desenvolvimento da Informtica a ideia de uma
soluo para um problema tem se modicado. Em vez de procurar-
mos um nmero, uma resposta (o que em muitos casos necessrio),
procuramos um algoritmo, isto , uma srie de procedimentos que nos
levem soluo. A vantagem que, se o problema for muito extenso,
poderemos programar um computador para realizar este algoritmo.
Este problema um excelente exemplo disso.
Veremos mais tarde que isso no quer dizer que no precisamos
de teoria, muito pelo contrrio. Um bom algoritmo depende de boa
matemtica. Mas, voltaremos a isso adiante. Por enquanto vamos ver
GrafosModfrancisca
2009/6/30
page 32
Estilo OBMEP
a soluo, simples e interessante, oferecida por Dijkstra, que viveu no
nosso tempo, ou dos nossos pais.
Observe que trabalharemos com grafos valorados, isto , estare-
mos atribuindo valores s arestas. Estes valores podem ser distn-
cias, tempo gasto no trajeto, custo com a ligao etc. Usaremos as
expresses custo ou distncia para nos referirmos a estes valores.
Estes valores geralmente so estimados por engenheiros, economistas
e consideraremos nos prximos exemplos que eles so dados. Este al-
goritmo trabalha apenas com grafos valorados com valores positivos
e nossa tarefa minimizar custo ou distncia.
Qual o Menor Caminho at a Escola?
Armazem
Pracinha
Banca de
Jornal
Quitanda
Cancela
Escola
Casa do
Joo
5
6
10
3
6
11
6
4
8
13
3

Armazm
Banca de
Jornal
Escola
Cancela
Quitanda
Pracinha
Casa do
Joo
Figura 2.4:
Lembremos que este grafo valorado, isto , atribumos valores
GrafosModfrancisca
2009/6/30
page 33
Estilo OBMEP
s arestas. A distncia diferente da que estamos acostumados.
Por exemplo, na gura 2.4, entre a Pracinha (P) e a Banca de Jornal
(B) colocamos a distncia 11 pois h um cachorro que nos assusta.
Entre a Quitanda (Q) e a Cancela (C) a distncia 4 pois h uma
moa (ou rapaz) interessante. Usaremos este grafo simples e pequeno
para vermos como o algoritmo de Dijkstra funciona. Comeamos cal-
culando todas as distncias a partir da Casa de Joo (J). A distncia
de J at J 0 (zero).
Vamos comear com o mapa sem ligaes (2.5).
Armazem
Pracinha
Banca de
Jornal
Quitanda
Cancela
Escola
Casa do
Joo
0
8
Armazm
Banca de
Jornal
Escola
Cancela
Quitanda
Pracinha
Figura 2.5:
At onde posso chegar a partir da casa de Joo (J) em uma nica
etapa? Qual o custo? Vamos preencher a tabela a seguir.
GrafosModfrancisca
2009/6/30
page 34
Estilo OBMEP
Determinado Posso chegar ...com custo ...vindo de...
(fechado) at... ou distncia...
J - Casa de Joo 0 ***
A - Armazm Ainda no atingimos
P - Pracinha Ainda no atingimos
Q - Quitanda Ainda no atingimos
B - Banca de Jornal Ainda no atingimos
C - Cancela Ainda no atingimos
E - Escola Ainda no atingimos
Ateno: colocamos a distncia para dizer que ainda no atingi-
mos este vrtice.
Vamos entender a gura e a tabela; na gura escurecemos a Casa
de Joo, pois j sabemos a menor distncia: 0. Os outros vrtices
ainda podem ser melhorados, por isso no esto escurecidos, e a eti-
queta mostra que ainda no foram atingidos.
A partir da casa de Joo, quem podemos atingir imediatamente?
O Armazm, que est a distncia 5 da Casa de Joo, a Pracinha que
est a distncia 6 e a Quitanda, que est a distncia 10. Vou assinalar
isto no meu grafo. Mais ainda, eu agora percebo que a distncia ao
armazm no ir diminuir. De fato, qualquer outro caminho que
eu tome, j comea com um valor maior que 5 (ou eventualmente
igual). Ento escureo o vrtice do armazm para mostrar que ele
est fechado.
GrafosModfrancisca
2009/6/30
page 35
Estilo OBMEP
Armazem
Pracinha
Banca de
Jornal
Quitanda
Cancela
Escola
Casa do
Joo
0
10
6
5
8
5
6
10
Armazm
Casa do
Joo
Pracinha
Banca de
Jornal
Quitanda
Cancela Escola
Figura 2.6:
Vamos preencher a tabela de acordo:
* J - Casa de Joo 0 ***
* A - Armazm 5 J
P - Pracinha 6 J
Q - Quitanda 10 J
B - Banca de Jornal Ainda no atingimos
Como a distncia at o armazm no vai diminuir, a nossa vez
de investigar se indo pelo caminho do armazm poderemos melhorar
as distncias. A partir do Armazm s podemos chegar Banca de
GrafosModfrancisca
2009/6/30
page 36
Estilo OBMEP
Jornais (B) (Lembre-se que J j est fechado). Note que a etiqueta de
distncia da Banca de Jornal passa a ser 18 = 5+13 (5 da etiqueta do
Armazm mais 13 da distncia Armazm-Banca de Jornais). Como
18 < a melhor distncia at a Banca de 18.
Nosso grafo e tabela cam assim e o prximo vrtice a ser fechado
a Pracinha (P).
Armazem
Pracinha
Banca de
Jornal
Quitanda
Cancela
Escola
Casa do
Joo
0
10
6
5
18
8
5
6
10
13
Armazm Casa do
Joo
Pracinha
Banca de
Jornal
Quitanda
Cancela
Escola
Figura 2.7:
* A - Armazm 5 J
* P - Pracinha 6 J
Q - Quitanda 10 J
B - Banca de Jornal 18 A
GrafosModfrancisca
2009/6/30
page 37
Estilo OBMEP
Como a distncia Pracinha no pode ser melhorada a partir
dela que investigaremos. Podemos chegar, passando pela Pracinha
Quitanda, Banca de Jornal e Cancela. Vamos ver o que acontece
nos trs casos:
Quitanda: 6 (etiqueta da Pracinha) + 3 (distncia Pracinha-
Quitanda) = 9; como 9 < 10 (que a etiqueta atual da Qui-
tanda), o caminho melhor passa a ser pela Pracinha.
Cancela: 6 + 6 = 12 < logo o caminho para a cancela passa a ser
pela Pracinha.
Banca de Jornal: 6 + 11 = 17 < 18 e o caminho para a Banca de
Jornal passa a ser pela Pracinha.
O vrtice a ser fechado a Quitanda pois o menor valor em aberto.
Nosso grafo e tabela cam assim:
GrafosModfrancisca
2009/6/30
page 38
Estilo OBMEP
Armazem
Pracinha
Banca de
Jornal
Quitanda
Cancela
Escola
Casa do
Joo
0
9
6
5
17
12 8
5
6
3
11
6
Casa do
Joo
Armazm
Pracinha
Quitanda
Cancela
Escola
Banca de
Jornal
Figura 2.8:
* A - Armazm 5 J
* P - Pracinha 6 J
* Q - Quitanda 9 P
B - Banca de Jornal 17 P
C - Cancela 12 P
Agora vamos estudar se podemos melhorar a distncia a partir da
Quitanda (que fechamos por ser o menor valor em aberto).
GrafosModfrancisca
2009/6/30
page 39
Estilo OBMEP
Da Quitanda posso alcanar a Banca de Jornais com distncia
total 9 + 6 = 15 < 17 logo meu caminho para a Banca de Jornais
passa a usar a Quitanda.
Tambm posso alcanar a Cancela mas com distncia
9 + 4 = 13 > 12.
Ento no vantagem, e continuo a ir para a Cancela passando pela
Pracinha.
Nosso grafo e tabela cam assim:
Armazem
Pracinha
Banca de
Jornal
Quitanda
Cancela
Escola
Casa do
Joo
0
9
6
5
15
12 8
5
6
3
11
6
6
Figura 2.9:
GrafosModfrancisca
2009/6/30
page 40
Estilo OBMEP
* A - Armazm 5 J
* P - Pracinha 6 J
* Q - Quitanda 9 P
B - Banca de Jornal 15 Q
* C - Cancela 12 P
Observe que escurecemos o vrtice da Cancela, que o que tem
menor distncia acumulada entre os abertos. Isso mostra que nem
sempre fechamos os vrtices na ordem da tabela. Neste caso
fechamos a Cancela antes da Banca de Jornal.
J estamos quase terminando. Da Cancela s consigo ir Escola
com distncia acumulada 12 + 8 = 20 < .
Minha tabela e grafo cam assim (escurecemos o vrtice da Banca
de Jornais):
* A - Armazm 5 J
* P - Pracinha 6 J
* Q - Quitanda 9 P
* B - Banca de Jornal 17 Q
* C - Cancela 12 P
E - Escola 20 C
GrafosModfrancisca
2009/6/30
page 41
Estilo OBMEP
Armazem
Pracinha
Banca de
Jornal
Quitanda
Cancela
Escola
Casa do
Joo
0
9
6
5
15
12
20
5
6
3
11
6
8
6
Figura 2.10:
E nalmente, vemos que pela Banca de Jornal conseguimos chegar
Escola com distncia acumulada de 15 + 3 < 20.
A tabela e o grafo nais cam:
* A - Armazm 5 J
* P - Pracinha 6 J
* Q - Quitanda 9 P
* B - Banca de Jornal 17 Q
* C - Cancela 12 P
* E - Escola 18 B
GrafosModfrancisca
2009/6/30
page 42
Estilo OBMEP
Armazem
Pracinha
Banca de
Jornal
Quitanda
Cancela
Escola
Casa do
Joo
0
9
6
5
15
12
18
5
6
3
11
6
3 6
Figura 2.11:
Observe que:
O grafo nal uma rvore conexa e sem ciclos (sempre que
chegvamos num vrtice, eliminvamos uma aresta, impedindo
a formao de ciclos).
O algoritmo encontra o menor caminho da Casa de Joo a todos
os outros pontos. Ele no encontra o menor caminho entre dois
vrtices quaisquer. Por exemplo para ir da Cancela Banca de
Jornais a distncia 11 e no 15 como a rvore sugere.
A representao grca foi til para entendermos o problema,
mas poderamos perfeitamente ter usado apenas uma matriz
de distncia:
GrafosModfrancisca
2009/6/30
page 43
Estilo OBMEP
J A P Q B C E
J 0 5 6 10
A 5 0 13
P 6 0 3 11 6
Q 10 3 0 6 4
B 13 11 6 0 3
C 6 4 0 8
E 3 8 0
Exerccios
1. Nas gura abaixo, use o algoritmo de Dijkstra para descobrir
qual o menor caminho do vrtice A a todos os outros vrtices.
N
P
M L
J
H I
G
E
D
C
F
B
A
70
110
31
70
65
100
67
30
126
105
74
30
39 19
26
12
61
140 85
Figura 2.12:
GrafosModfrancisca
2009/6/30
page 44
Estilo OBMEP
2. Abaixo, temos uma tabela de distncias entre uma Mercearia
e as localidades onde ela faz entregas. Use o algoritmo de
Dijkstra para descobrir qual o menor caminho da Mercearia a
todas as outras localidades.
Mercearia B C D E F G H
Mercearia 0 11 5 8
B 11 0 3 8
C 5 0 2 8
D 8 3 2 0 4 12 11
E 8 4 0 15 4
F 15 0 3 7
G 8 12 3 0 2
H 11 4 7 2 0
GrafosModfrancisca
2009/6/30
page 45
Estilo OBMEP
Captulo 3
Mais Ciclos e mais
Caminhos
3.1 Euler e as Pontes de Kenisberg
Na introduo, perguntamos se voc conseguiria desenhar a
casinha abaixo sem tirar o lpis do papel. A gura mostra uma
soluo e, na verdade, o problema bastante fcil.
Figura 3.1:
45
GrafosModfrancisca
2009/6/30
page 46
Estilo OBMEP
46 CAP. 3: MAIS CICLOS E MAIS CAMINHOS
Mas se quisermos comear pelo vrtice B? (voc pode tentar o
tempo que quiser).
O fato que esse outro problema impossvel. Todas as solues
comeam/terminam pelo vrtice A/E. Se comeam em A terminam
em E, e vice-versa.
O problema tem origem no famoso problema das pontes de
Kenisberg, considerado o marco fundador da Teoria dos Grafos.
Os habitantes de Kenisberg (hoje Kaliningrado) se perguntavam se
seria possvel atravessar as sete pontes do Rio Prega, sem passar duas
vezes na mesma ponte, retornando ao ponto de partida. O problema
e sua modelagem por grafos est apresentada na gura a seguir.
Figura 3.2:
Observamos que o problema d origem a um grafo com arestas
mltiplas, o que no afetar a soluo. Leonard Euler mostrou que a
resposta era negativa, estabelecendo assim uma condio necessria;
embora se acredite que a sucincia no lhe fosse desconhecida. Esta
segunda parte foi publicada por Hierholzer em 1873, muito mais tarde.
GrafosModfrancisca
2009/6/30
page 47
Estilo OBMEP
SEC. 3.1: EULER E AS PONTES DE KENISBERG 47
Antes de prosseguir com a soluo, vamos tecer algumas conside-
raes sobre grafos, computadores e problemas nitos.
Esse Problema Importante?
Sim! Para comeo de conversa, ele interessante, simples de pro-
por e veremos que sua soluo atraente, interessante e tem conse-
quncias importantes.
Mas no aspecto imediato, pense numa pequena cidade com um
nico caminho para recolher o lixo onde o prefeito deseja economizar,
o que signica que ele prefere que o caminho passe uma nica vez
por todas as ruas e retorne ao ponto de partida.
O problema idntico ao problema da casinha e, se a cidade tivesse
essa congurao, no teria soluo (pois o caminho no retornaria
ao ponto inicial (Voc experimentou?). Se o mapa da cidade fosse
como na gura a seguir, o prefeito caria contente (experimente de-
senhar esta gura sem tirar o lpis do papel mas voltando ao ponto
inicial).
Figura 3.3:
GrafosModfrancisca
2009/6/30
page 48
Estilo OBMEP
E em que um computador pode nos ajudar neste caso?
3.2 Estrutura de Dados
O desenho ajuda a ns, pessoas, mas os computadores pre-
ferem letras e nmeros. Lembre-se que a casinha repre-
senta o grafo G(V, A) em que V (G) = A, B, C, D, E e
A(G) = (A; B); (A; D); (A; E); (B; C); (B; D); (B; E); (C; D); (D; E).
Observe que usamos uma ordem semelhante ordem do dicionrio;
isso facilita encontrar a aresta que procuramos e isso vale para o
computador tambm (essa ordem tem o nome de ordem lexicogr-
ca).
Bem, queremos saber se realmente todas as solues
comeam/terminam por A/E. No haver exceo? Como o nosso
problema tem um nmero de possibilidades nito e pequeno, podemos
examinar todas. Como um computador pode fazer isso?
Calma! No precisamos saber programao de computadores.
Basta lembrar que computadores tm facilidade para tratar infor-
maes organizadas. Como isso funciona no nosso caso?
Digamos que achei a soluo codicada pela sequncia de letras
AEBDCBADE. Mesmo sem o desenho, podemos vericar que esta
de fato uma soluo. As arestas disponveis so:
AB AD AE BC BD BE CD DE
Comeamos pela aresta AE. Ela est disponvel? Sim. Retiramos ela
GrafosModfrancisca
2009/6/30
page 49
Estilo OBMEP
SEC. 3.2: ESTRUTURA DE DADOS 49
da lista de disponveis:
AB AD AE == BC BD BE CD DE
A prxima aresta a ser examinada EB. Est disponvel? Sim.
Retiramos ela da lista de disponveis:
AB AD AE == BC BD BE == CD DE
(Repare que no nosso problema EB e BE so a mesma coisa.)
E assim por diante. A sequncia da vericao est a abaixo:
AEBDCBADE AB AD AE == BC BD BE CD DE
AEBDCBADE AB AD AE == BC BD BE == CD DE
AEBDCBADE AB AD AE == BC BD == BE == CD DE
AEBDCBADE AB AD AE == BC BD == BE == CD == DE
AEBDCBADE AB AD AE == BC == BD == BE == CD == DE
AEBDCBADE AB == AD AE == BC == BD == BE == CD == DE
AEBDCBADE AB == AD == AE == BC == BD == BE == CD == DE
AEBDCBADE AB == AD == AE == BC == BD == BE == CD == DE ==
E a vericao mostra que a soluo boa.
Observe que no usamos o desenho. E que foi fundamental a
maneira como apresentamos os dados. o que chamamos uma es-
trutura de dados. Lembre-se, computadores so mquinas e no
GrafosModfrancisca
2009/6/30
page 50
Estilo OBMEP
podemos passar informaes de qualquer jeito. A estrutura de dados
fundamental.
No temos a inteno aqui de explicitar o funcionamento de um
computador, mas intuitivamente percebemos que com a estrutura ade-
quada e uma sequncia de procedimentos (um programa!), isto , um
algoritmo, podemos vericar se uma sequncia de 9 letras (por qu
9?) ou no uma soluo.
Vamos fazer algumas contas. Temos 8 arestas disponveis e pode-
mos numer-las de 1 a 8. Podemos pensar num procedimento (dife-
rente do que usamos antes) que verique se uma determinada sequn-
cia de 8 algarismos do tipo (1, 2, 3, 4, 5, 6, 7, 8) ou (3, 5, 6, 2, 8, 4, 7, 1)
ou no uma soluo para o problema da casinha. Melhor ainda,
podemos colocar estas sequncias em ordem de (1, 2, 3, 4, 5, 6, 7, 8) at
(8, 7, 6, 5, 4, 3, 2, 1).
Quantas sequncias temos? Na apostila [2] vimos que teremos
8! = 8 7 6 5 4 3 2 1 = 40 320 sequncias. So as per-
mutaes de 8 elementos. Ora, um bom computador pode gerar e
vericar estas sequncias todas em segundos! Poderemos ter certeza
de que todas as solues realmente comeam (ou terminam) com a
letra A ou E.
Isto se chama uma soluo por fora bruta e no usamos
nenhuma sosticao matemtica, nenhum teorema. Ser o m da
Matemtica? No bem assim...
Lembre-se do prefeito. Digamos que a cidade dele no tenha 8
ruas, mas 20. No uma grande cidade e podemos tentar usar a
mesma fora bruta do computador para resolver o problema de per-
GrafosModfrancisca
2009/6/30
page 51
Estilo OBMEP
SEC. 3.3: GRAFOS EULERIANOS 51
correr com o caminho sem repetio de ruas. Se temos 20 ruas,
teremos 20! sequncias. Quanto isso?
20! = 2 432 902 008 176 640 000 sequncias
So muitas sequncias. Mas ser que um bom computador no
resolveria este problema? Se o computador vericasse um milho
de sequncias por segundo (e poucos computadores o fazem hoje em
dia) ele demoraria (os clculos s incluem a parte inteira):
2 432 902 008 176 640 000 1 000 000 2 432 902 008 170 segundos
2 432 902 008 170 60 40 548 366 800 minutos
40 548 366 800 60 675 806 110 horas
675 806 110 24 28 158 580 dias
28 158 580 365 77 140 anos
77 140 1 000 77 milnios
O prefeito no pode esperar tanto tempo (nem ns, nem ningum).
Quem vir nos socorrer? Um teorema de Euler.
3.3 Grafos Eulerianos
Um grafo com m arestas dito euleriano se existe uma trilha
fechada de comprimento m em G; em outras palavras, se podemos
percorrer cada aresta uma e s uma vez partindo de um vrtice e a
GrafosModfrancisca
2009/6/30
page 52
Estilo OBMEP
ele retornando. Se o grafo no euleriano mas tem uma trilha aberta
de comprimento m, ele dito semieuleriano.
Em outras palavras, podemos desenhar um grafo euleriano (ou
melhor, uma representao grca dele) sem retirar o lpis do papel
e retornando ao ponto inicial. Num grafo semieuleriano comeamos
num ponto e terminamos em outro.
Figura 3.4:
Na gura acima, G
1
euleriano (a trilha pode ser a-b-c-d-e-f-a-d-
b-e-a), G
2
semieuleriano (a trilha pode ser a-e-b-d-c-b-a-d-e) e G
3
no euleriano, nem semieuleriano.
J vimos que o problema (e o nome euleriano) se originou com
o problema das pontes de Kenisberg. Euler mostrou que a resposta
era negativa, estabelecendo assim uma condio necessria.
Comeamos por um lema simples porm necessrio.
Lema. Se todo vrtice de um grafo (no necessariamente simples) G
tem grau maior ou igual a 2, ento G contm um ciclo.
Demonstrao. Se G contm laos ou arestas mltiplas, no h o que
GrafosModfrancisca
2009/6/30
page 53
Estilo OBMEP
provar, pois, automaticamente, G contm um ciclo. Consideramos,
portanto, apenas os grafos simples. partir de um vrtice v
0
, qual-
quer, iniciamos nossa trilha. Quando chegamos a um vrtice qual-
quer, ou o estamos visitando pela primeira vez e podemos continuar,
ou chegamos a um vrtice j visitado, produzindo um ciclo. Como o
nmero de vrtices nito, o lema est provado.
E agora, o teorema.
Teorema de Euler (Euler 1736). Um grafo conexo (no
necessariamente simples) G euleriano se, e somente se, todos os
seus vrtices tem grau par.
Demonstrao.
() Suponhamos que G tenha uma trilha fechada de comprimento m.
Cada vez que a trilha passa por um vrtice utiliza duas novas arestas,
uma para entrar e outra para sair. Logo, o grau de cada vrtice deve
ser obrigatoriamente par.
() Usaremos induo sobre o nmero de arestas m do grafo. Por
vacuidade, o teorema vlido quando m = 0. Suponhamos que o
teorema seja vlido para todos os grafos com menos do que m arestas.
Sendo G conexo, todos os vrtices tm grau maior do que 2, pois os
graus so pares. Pelo lema anterior, G contm um ciclo (que uma
trilha fechada). Dentre todos as trilhas fechadas em G escolhemos
uma trilha T com comprimento mximo. Se T tem comprimento
m, o teorema est provado. Caso contrrio, consideramos o grafo H
resultante da retirada das arestas de T. Como retiramos um nmero
GrafosModfrancisca
2009/6/30
page 54
Estilo OBMEP
par de arestas de cada vrtice de T, e todos os vrtices do grafo tem
grau par (pela hiptese), pelo menos uma das componentes de H
tem um vrtice em comum com T e tem todos os vrtices com grau
par. Pela hiptese de induo, H tem uma trilha fechada que passa
por todos os vrtices de H, e podemos formar uma trilha fechada
maior concatenando T com a trilha em H. Mas isto contraria a
maximalidade na escolha de T.
Corolrio. Um grafo conexo (no necessariamente simples) G
semieuleriano se, e somente se, no mximo, dois vrtices tm grau
mpar.
Demonstrao. Deixada ao leitor. (Sugesto: pense em acrescentar
uma aresta a dois vrtices de grau mpar.)
Um algoritmo decorrente da demonstrao do teorema acima asse-
gura a construo de uma trilha fechada de comprimento m num grafo
euleriano. A demonstrao da correo do algoritmo pode ser encon-
trada em [6]. Podemos dar uma ideia do funcionamento do algoritmo e
do motivo pelo qual ele funciona. Veja a gura 3.5. Comeando nossa
trilha pelo vrtice a poderamos percorrer abfcedcbefa, chegando a
um beco sem sada. Repare que os graus eram todos pares e a retirada
de um ciclo subtrai sempre nmeros pares dos graus.
O grafo restante tambm tem vrtices com grau par (veja ainda a
gura 3.5).
Este resto pode ser percorrido pela trilha fechada dghijkcjhd.
Basta agora incluir essa trilha na trilha inicial onde est o vrtice d.
GrafosModfrancisca
2009/6/30
page 55
Estilo OBMEP
a
b
c
d
e
f
g
h
i
j
k
d
h
i
j
g
c
Figura 3.5:
Nossa trilha ca abfced(dghijkcjhd)dcbefa(veja a gura 3.6).
a
b
c
d
e
f
g
h
i
j
k
Figura 3.6:
GrafosModfrancisca
2009/6/30
page 56
Estilo OBMEP
Exerccio
Na gura 3.7, quais grafos so eulerianos? Quais so semieule-
rianos? No caso dos semieulerianos, por onde devemos comear (ter-
minar) nossa trilha?

Figura 3.7:
GrafosModfrancisca
2009/6/30
page 57
Estilo OBMEP
SEC. 3.4: O PROBLEMA CHINS DO CARTEIRO 57
3.4 O Problema Chins do Carteiro
Esse problema uma aplicao bastante importante do conceito
de grafo euleriano. Usamos um grafo valorado onde s arestas
associado um peso, isto , uma funo f : A '
+
. Este peso pode
representar comprimento, custo, tempo, ou o que a modelagem do
problema exigir. J vimos este conceito no caso do algoritmo de
Dijkstra.
O problema chins do carteiro (que tem este nome por ter sido
apresentado pela primeira vez por um pesquisador chins e no pela
nacionalidade do carteiro...) consiste em minimizar o esforo de um
carteiro que percorre todas as ruas de uma cidade. Ora, se o grafo
em questo euleriano, no h problema. Mas se este no for o caso,
teremos que eulerizar o grafo. Lembramos que o nmero de vrtices
de grau mpar par (veja o corolrio na seo 2.3), logo poderemos
unir pares destes vrtices por novas arestas, tornando-os pares.
claro que no construiremos novas ruas! A ideia fazer o carteiro
percorrer ruas repetidas de forma econmica. O problema pode se
complicar bastante, mas hoje h algoritmos que produzem resultados
aproximados com bastante ecincia. um problema bastante es-
tudado devido economia que uma boa soluo pode gerar. Vamos
ilustrar o caso mais simples possvel, quando o grafo semi-euleriano,
isto , quando tem apenas dois vrtices de grau mpar.
O menor caminho entre os vrtices a e b (calculado pelo algoritmo
de Dijkstra) indica que o melhor meio de eulerizar o grafo construir
uma aresta virtual entre a e b, o que signica simplesmente percor-
rer o caminho av
2
, v
2
v
3
, v
3
v
4
, v
4
b como se fosse uma aresta. Assim,
GrafosModfrancisca
2009/6/30
page 58
Estilo OBMEP
12
5
3
5
3
5
3
4
3
8
8
7
2
10
a
b
v
1
v
3
v
4
2
v
5
v
6
v
2
aresta virtual
12
5
3
5
3
5
3 4
3
8
8
7
2
10
a
b
v
1
v
3
v
4
2
v
5
v
6
v
2
Figura 3.8:
gastaremos menos a sola do carteiro.
3.5 Grafos e Ciclos Hamiltonianos
Um problema aparentemente similar ao dos grafos eulerianos o
de procurar em G uma trilha fechada que passe por todos os vr-
tices uma e s uma vez. Uma trilha assim teria de ser necessa-
riamente um ciclo (salvo no caso do grafo nulo com um vrtice);
chamamos um tal ciclo de ciclo hamiltoniano. O nome home-
nageia Sir Willian R. Hamilton, que estudou e divulgou o problema
embora a primeira formulao tenha sido feita por Kirkman em
1885. As primeiras denies de grafo hamiltoniano e de grafo
semi-hamiltoniano seguem as mesmas diretrizes dos grafos eule-
rianos. Um grafo e seu ciclo hamiltoniano aparecem na gura 3.9(a);
um grafo semi-hamiltoniano aparece na gura 3.9(b).
GrafosModfrancisca
2009/6/30
page 59
Estilo OBMEP
SEC. 3.6: O PROBLEMA DO CAIXEIRO VIAJANTE PCV 59
(a)
(b)
Figura 3.9:
As semelhanas, entretanto, param por aqui. O problema de saber
se um grafo ou no hamiltoniano um dos mais estudados da teo-
ria dos grafos por sua aplicabilidade em comunicao, transporte e
planejamento. Entretanto, at hoje, nenhuma condio necessria e
suciente elegante para que um grafo seja hamiltoniano foi encon-
trada. Na verdade, todos os teoremas se encontram muito longe de
oferecer uma previso razovel de soluo.
3.6 O Problema do Caixeiro Viajante PCV
O PCV um dos problemas mais estudados no campo da pesquisa
operacional, mas at hoje no foi encontrado um algoritmo com-
putacionalmente eciente para resolv-lo. Sua formulao simples:
dado um grafo completo valorado G, desejamos determinar o valor
do menor ciclo hamiltoniano de G. Tomemos o exemplo dado pela
seguinte matriz valorada de adjacncia
GrafosModfrancisca
2009/6/30
page 60
Estilo OBMEP
a b c d e f g
a XXX 404 270 490 490 338 258
b 404 XXX 618 890 890 460 320
c 270 618 XXX 360 360 210 240
d 490 890 360 XXX 78 390 330
e 490 890 360 78 XXX 390 330
f 338 460 210 390 390 XXX 270
g 258 320 240 390 330 270 XXX
Como o grafo em questo K
7
, uma soluo bvia seria examinar
todas as permutaes entre os vrtices, cada uma correspondendo a
um ciclo hamiltoniano.
Com 7 vrtices, teremos 7! = 5760 permutaes; na verdade so
6! = 820, pois so permutaes circulares. Seja como for, uma tarefa
at modesta para um computador. Mas o PCV frequentemente trata
de grafos com mais de 60 vrtices. Isso nos daria 60!, o que nos
tomaria milnios, mesmo usando todos os computadores do mundo!
Nossa atitude ser ento de procurar um algoritmo heurstico,
isto , que usa uma ideia razovel, mesmo que no assegure a me-
lhor soluo, a soluo tima. A primeira tentativa um algoritmo
guloso que parte do ponto A e procura sempre a menor distncia
ao ponto da vez. No nosso caso, o ciclo produzido seria a-g-c-f-g-
b-d-e-a, com valor 2470. A contraindicao para o algoritmo guloso
que no nal terminamos por aceitar arestas de valores muito al-
tos. Observamos, entretanto, que estamos procura de um ciclo, e
no temos portanto necessidade de agir sequencialmente. Uma outra
tentativa heurstica seria procurar agregar sempre a aresta de menor
valor que no produza ciclo com menos de 7 vrtices nem produza
GrafosModfrancisca
2009/6/30
page 61
Estilo OBMEP
SEC. 3.6: O PROBLEMA DO CAIXEIRO VIAJANTE PCV 61
vrtices de grau 3 (num ciclo, todos os vrtices so de grau 2). As
escolhas recaem sobre:
Aresta Valor
DE 78
CF 210
CG 240
GA 258
AC Bifurcao
FG Bifurcao
AF Fecha ciclo
CD Bifurcao
CE Bifurcao
DF 390
BE 890
AB 404
O ciclo a-c-d-e-f-g-b-a e o valor conseguido tambm 2 470. Isso
foi coincidncia, como veremos em outros exemplos. A ideia parecia
boa e o resultado foi um pouco melhor. Entretanto, o melhor valor
encontrado, examinando todas as possibilidades, corresponde ao ciclo
a-c-d-e-f-g-b-a com o valor, bem inferior, de 2 092.
claro, se tivermos que examinar o PCV para 20 cidades teramos
que examinar cerca de 20! permutaes e j vimos que este um
nmero muito grande. Pior ainda, no foi descoberto at o momento
um algoritmo eciente para este problema (como no caso euleriano,
em que o teorema de Euler nos salvou). E, ainda pior, os cientistas
da computao acreditam que ele pertena a uma classe de problema
para os quais no h uma soluo elegante. Vamos falar um pouco
sobre isto adiante.
GrafosModfrancisca
2009/6/30
page 62
Estilo OBMEP
Exerccio
Na gura 3.10 temos um grafo completo, valorado nas arestas,
e desejamos encontrar o ciclo hamiltoniano com menor valor total
(Problema do Caixeiro Viajante). Para isto, use os algoritmos gulosos
descritos nesta seo e constate que o valor obtido sempre maior do
que o melhor valor (que pode ser encontrado por exame exaustivo).
A
B C
D
10
80
50
70
150
20
Figura 3.10:
3.7 Uma Palavra sobre Complexidade
A anlise da complexidade de algoritmos um assunto bastante
tcnico e que foge inteno destas notas. Entretanto, as diculdades
enfrentadas por quem trabalha com problemas combinatrios (entre
os quais os da teoria dos grafos) podem ser informalmente compreen-
didas. J viemos fazendo isto quando falamos de solues elegantes,
ecincia computacional, enm, sugerindo qualitativamente que cer-
tos problemas tm sido mais resistentes a uma abordagem algortmica
e computacional do que outros.
GrafosModfrancisca
2009/6/30
page 63
Estilo OBMEP
SEC. 3.7: UMA PALAVRA SOBRE COMPLEXIDADE 63
Um algoritmo composto de passos elementares; se a totalidade
dos passos exigidos por qualquer problema que este algoritmo resolva
dado por uma funo polinomial do tamanho da entrada do algoritmo,
um aumento de poder computacional pode reduzir signicativamente
o tempo utilizado.
Entretanto, se a totalidade dos passos do algoritmo, no pior dos
casos, uma funo exponencial do tamanho da entrada, o aumento
do poder computacional tem pouco efeito sobre o tempo de execuo;
basta um pequeno incremento na entrada para inutilizar o aumento
computacional.
Dos algoritmos que j examinamos, o de pesquisa de menor dis-
tncia (Dijkstra) de complexidade polinomial assim como o da de-
terminao se um grafo ou no euleriano (e de sua exibio, se este
for o caso). Para o PCV, entretanto, at hoje no foi descoberto um
algoritmo polinomial; mais ainda, a maior parte dos pesquisadores
acredita que isto no ser mesmo possvel.
Maior informao sobre complexidade computacional pode ser en-
contrada em Garey e Johnson [5].
Exerccios
1. Uma ponte uma aresta que, quando retirada, desconecta o
grafo.
Dado um grafo conexo G, um vrtice v ser chamado de vrtice
separador quando a sua retirada resultar num grafo desconexo
ou nulo. Prove que um grafo s tem uma ponte se tiver um
GrafosModfrancisca
2009/6/30
page 64
Estilo OBMEP
Ponte
Figura 3.11:
vrtice separador, mas a recproca no verdadeira.
2. Prove que dentre G e G, pelo menos um conexo.
3. Mostre que A
2
, o quadrado da matriz de adjacncia de um grafo,
nos d o nmero de caminhos de comprimento 2 entre cada par
de vrtices do grafo. Que nmero aparece na diagonal princi-
pal de A
2
? Qual o signicado da matriz A
k
? (Teorema de
Festinger).
4. Mostre que se um grafo tem 2.k vrtices de grau mpar seu con-
junto de arestas pode ser particionado em k caminhos disjuntos.
5. Para que valores de n, p e q os grafos K
n
, K
p,q
, P
n
so euleria-
nos? semieulerianos? hamiltonianos? semi-hamiltonianos?
6. Mostre que K
i,j
hamiltoniano se e s se i = j; e que neste
caso, existem
i
2
| ciclos hamiltonianos disjuntos.
Observao: x| o maior nmero inteiro menor ou igual a x.
Por exemplo:
5
7
| = 0,
41
3
| = 13 e
6
2
| = 3.
7. Seja o grafo Q
j
= (X
j
, U
j
) no qual X
j
= {vetores de j coorde-
nadas, cada uma igual a 0 ou 1 } e U
j
= {(v
j
, w
j
)[v
j
difere de
w
j
por uma s coordenada}.
GrafosModfrancisca
2009/6/30
page 65
Estilo OBMEP
SEC. 3.7: UMA PALAVRA SOBRE COMPLEXIDADE 65
A gura 3.12 mostra Q
1
, Q
2
e Q
3
.
(0) (1)
(0,0)
(1,0) (1,1)
(0,1) (0,0,0)
(0,0,1)
(1,0,0)
(1,1,0)
(0,1,1)
(1,1,1)
(0,1,0)
(1,0
,1)
Q
1
Q
2
Q
3
Figura 3.12:
(a) Calcule n
j
= [X
j
[ e m
j
= [U
j
[.
(b) Para que valores de j Q
j
euleriano? Justique.
(c) Mostre que Q
j
bipartido.
(d) Para que valores de j Q
j
hamiltoniano? Justique.
8. Mostre que o grafo de Petersen (ver gura 3.13) no hamilto-
niano.
Figura 3.13:
9. Mostre que se G for euleriano, L(G) ser hamiltoniano, mas a
recproca no verdadeira.
GrafosModfrancisca
2009/6/30
page 66
Estilo OBMEP
Captulo 4
rvores
4.1 Denies e Caracterizaes
Um dos tipos mais frequentes de grafos so as rvores, j denidos
anteriormente como grafos conexos sem ciclos. Um grafo cujas com-
ponentes conexas so rvores chamado de oresta.
rvore
floresta
Figura 4.1:
Para um dado nmero de vrtices n, uma rvore o grafo conexo
com menor nmero de arestas. As vrias caracterizaes das rvores
podem ser reunidas no teorema a seguir.
66
GrafosModfrancisca
2009/6/30
page 67
Estilo OBMEP
SEC. 4.1: DEFINIES E CARACTERIZAES 67
Teorema. Seja T um grafo com n vrtices. As seguintes armaes
so equivalentes:
(i) T uma rvore.
(ii) T no contm ciclos e tem n 1 arestas.
(iii) T conexo e tem n 1 arestas.
(iv) T conexo e toda aresta uma ponte.
(v) Todo par de vrtices de T ligado por um nico caminho.
(vi) T no contm ciclos, mas a adio de uma aresta produz um
nico ciclo.
Demonstrao.
(i) (ii): Pela denio de rvore, T no contm ciclos. Portanto, a
retirada de uma aresta uv separa u de v e o grafo separado em um
par de rvores T
e T
com n
e n
vrtices, respectivamente, tais que

n = n
+n
. Por induo, o nmero de arestas de T
1 e o nmero
de arestas de T
1. Acrescentando a aresta uv, conclumos que

o nmero de arestas de T , portanto, (n
1) +(n
1) +1 = n1.
(ii) (iii): Se T fosse desconexo, cada componente seria uma rvore.
Por induo, o nmero de arestas em cada componente inferior em
uma unidade ao nmero de vrtices e o nmero total de arestas seria
inferior a n 1.
(iii) (iv): A retirada de qualquer aresta separa o grafo, pois n 2
arestas so insucientes para conectar o grafo.
GrafosModfrancisca
2009/6/30
page 68
Estilo OBMEP
68 CAP. 4: RVORES
(iv) (v): Se existisse mais de um caminho entre dois vrtices, o
grafo teria um ciclo e haveria uma aresta que no separaria o grafo.
(v) (vi): Se T contivesse um ciclo, haveria um par de vrtices liga-
do por mais de um caminho. A adio de uma aresta uv, concatenada
com o caminho (nico) entre u e v, produz um ciclo. Se este ciclo no
fosse nico, a retirada da aresta uv deixaria dois caminhos distintos
entre u e v.
(vi) (i): Basta mostrar que T conexo. Se T fosse desconexo, uma
aresta ligando duas componentes no produziria um ciclo.
4.2 rvores Geradoras
O Problema de Conexo de Peso Mnimo
Uma rvore geradora de uma componente conexa de um grafo
G, com n vrtices, um subgrafo que uma rvore com n1 arestas;
isto , toca todos os vrtices.
Vimos que um algoritmo guloso pode ser fcil de implemen-
tar, mas dicilmente dar um bom resultado (da o nome...). Uma
exceo ocorre na soluo do seguinte problema: Dado um grafo G
valorado, qual a rvore geradora de menor valor?. Por exemplo, se
queremos realizar a ligao de computadores em rede a custo mnimo,
que ligaes deveremos fazer?
A resposta ser uma rvore geradora, claro. Mas qual?
GrafosModfrancisca
2009/6/30
page 69
Estilo OBMEP
SEC. 4.2: RVORES GERADORAS 69
O grafo da gura 4.2 mostra o custo entre as ligaes de um grafo
K
5
.
a
b
c d
e
40
100
44
46
44
102
42
60
6
42
Figura 4.2:
Para resolver o problema, usaremos o algoritmo de Kruskal.
Este algoritmo consiste em tomar a aresta de menor valor; se ela no
forma ciclo, a acrescentamos nossa rvore. Caso contrrio, ns a
desprezamos. Quando tivermos conseguido n1 arestas, nossa rvore
estar pronta.
No nosso caso:
c e 6
a e 40
Agora h um empate entre ac e bd. Podemos escolher qualquer
uma.
a c forma ciclo.
GrafosModfrancisca
2009/6/30
page 70
Estilo OBMEP
70 CAP. 4: RVORES
b d 42
Temos outro empate, agora entre b c e d e. Podemos escolher
qualquer uma.
b c 44
Ja temos 4 arestas. Nossa rvore est completa.
Total: 132
Nossa rvore car assim:
d
e
a
b
c
40
42
44
6
Figura 4.3:
Teorema. O algoritmo de Kruskal fornece uma soluo tima para
o problema da conexo de peso mnimo.
Demonstrao. O algoritmo, evidentemente, fornece uma rvore ge-
radora T. Suponhamos que T no tenha peso mnimo, isto , existe
uma rvore geradora T
tal que o peso de T
menor do que o peso

de T. Seja e a primeira aresta escolhida para T que no pertence a
T
. Se adicionarmos e a T
obtemos um ciclo que contm uma aresta

e
k
que no est em T. Retiramos a aresta e
k
e temos uma rvore
GrafosModfrancisca
2009/6/30
page 71
Estilo OBMEP
SEC. 4.2: RVORES GERADORAS 71
T
com peso menor que T. Mas neste caso, esta aresta e

k
teria sido
escolhida pelo algoritmo no lugar de e, o que mostra que o algoritmo
constri efetivamente uma rvore de menor peso.
Um algoritmo guloso pode ser usado para obter um limite inferior
para o PCV. Como um ciclo um caminho adicionado de uma aresta,
um limite inferior para o PCV dado pelo valor da rvore geradora
mnima (obtido por um algoritmo guloso) mais o menor valor de uma
aresta no usada na rvore.
Exerccios
1. Desenhe todas as rvores com 6 vrtices e com 7 vrtices.
2. Mostre que um grafo conexo, com n vrtices e m arestas, tem,
no mnimo, mn + 1 ciclos distintos.
3. Determine todas as rvores geradoras do grafo da gura 4.4.
a
b
c
d
e
Figura 4.4:
4. (a) Mostre que toda rvore um grafo bipartido.
(b) Quais rvores so tambm grafos bipartidos completos?
GrafosModfrancisca
2009/6/30
page 72
Estilo OBMEP
72 CAP. 4: RVORES
5. Como podemos adaptar o algoritmo de Kruskal para obter o
valor de uma rvore geradora de valor mximo?
6. Prove que um grafo conexo uma rvore se, e somente se, tem
uma nica rvore geradora.
7. Prove que uma rvore com > 1 tem, no mnimo, vrtices
pendentes.
8. Prove que uma rvore em que exatamente 2 vrtices no so
vrtices separadores um caminho.
GrafosModfrancisca
2009/6/30
page 73
Estilo OBMEP
Captulo 5
Subconjuntos Especiais de
um Grafo
5.1 Conjuntos Independentes
J vimos, pelo menos, um exemplo de subconjunto notvel de um
grafo: um subgrafo independente, no qual nenhum par de vrtices
est ligado. Um conjunto independente pode desempenhar papel im-
portante em uma modelagem.
Suponhamos que um grafo represente a incompatibilidade de
horrios entre professores que devem dar prova nal; os vrtices x
e y estaro ligados se representarem professores que tm alunos em
comum para ministrar a prova. Qual o maior nmero de professores
que podem dar prova ao mesmo tempo? A resposta dada pelo sub-
conjunto independente mximo de vrtices do grafo.
O subconjunto assinalado com quadrados negros no grafo da -
gura 5.1 mostra um conjunto com estas caractersticas. O nmero
de independncia (G) a cardinalidade do subconjunto indepen-
dente mximo de vrtices do grafo. No nosso exemplo (gura 5.1),
73
GrafosModfrancisca
2009/6/30
page 74
Estilo OBMEP
74 CAP. 5: SUBCONJUNTOS ESPECIAIS DE UM GRAFO
(G) = 4.
Figura 5.1:
Aplicaes do conceito de conjunto independente surgem quando,
por exemplo, desejamos evitar duplicao de esforos. Suponhamos
que num parque, representado pelo grafo da gura 5.2, eu quisesse
instalar barracas para venda de sorvete. A operadora das barracas
faz as seguintes restries:
Uma barraca deve ser localizada em uma esquina (vrtice).
Esquinas prximas (vrtices adjacentes) s admitem uma bar-
raca.
Estamos procurando ento um conjunto independente. Para ins-
talar o mximo de barracas procuramos um conjunto independente
mximo. J vimos que esta pode ser uma tarefa complexa. Na -
gura 5.3 a congurao da esquerda mostra um conjunto independente
maximal, isto , no podemos acrescentar mais barracas de sorvete.
Mas a congurao da direita tambm independente e contm quase
o dobro de barracas.
GrafosModfrancisca
2009/6/30
page 75
Estilo OBMEP
SEC. 5.1: CONJUNTOS INDEPENDENTES 75
Figura 5.2:
Figura 5.3:
GrafosModfrancisca
2009/6/30
page 76
Estilo OBMEP
5.2 Colorao
Suponha, no exemplo anterior, que quisssemos saber qual o
menor nmero de horrios necessrios para ministrar as provas. Para
isto, devemos resolver o problema de particionar o conjunto de vr-
tices do grafo em subconjuntos independentes; cada conjunto corres-
ponder a um horrio de prova. Uma forma de resolver o problema
atribuir cores aos vrtices de forma que vrtices adjacentes tenham
necessariamente cores diferentes. O menor nmero de cores que se
pode utilizar ser portanto a soluo do problema.
Observao. No precisamos efetivamente colorir os vrtices,
basta atribuir um nmero ou um smbolo aos vrtices.
Podemos colorir os vrtices com 12 cores (uma para cada vrtice),
mas o menor nmero possvel de cores 4 (veja a gura 5.1). O
menor nmero de cores para colorir os vrtices de um grafo G
chamado nmero cromtico de G e denotado por (G). No caso,
(G) = 4.
Teorema. Para todo grafo G, tem-se que (G) + 1.
Demonstrao. Colorimos vrtice por vrtice. Cada vrtice pode ser
adjacente a, no mximo, vrtices. Podemos sempre encontrar uma
cor com a qual colorir o vrtice da vez.
A demonstrao acima fornece um algoritmo para colorir um grafo
com + 1 cores.
GrafosModfrancisca
2009/6/30
page 77
Estilo OBMEP
SEC. 5.3: APLICAES DE COLORAO 77
Apresentamos, sem demonstrar, um teorema clssico que reduz
um pouco o limite acima.
Teorema (Brooks 1941). Se G um grafo conexo que no seja
K
n
e tal que (G) 3, ento (G) (G).
Teorema. Um grafo G bipartido se, e somente se, (G) = 2.
Demonstrao. Basta fazer corresponder cada uma das parties in-
dependentes de G a uma cor.
5.3 Aplicaes de Colorao
As aplicaes de colorao aparecem quando precisamos repartir o
conjunto de vrtices em conjuntos de vrtices independentes disjuntos.
Voltando ao problema do parque da Seo 6.1, suponha que quissse-
mos instalar barracas de sorvete, pipocas, cachorro-quente etc. As
restries agora sero:
Uma barraca deve ser localizada em uma esquina (vrtice).
Esquinas prximas (vrtices adjacentes) s admitem barracas
com servios diferentes.
Por motivos comerciais, queremos evitar a diversicao excessiva
de servios. Qual seria o menor nmero de servios que poderamos
usar? Vemos na gura 5.4 que podemos colorir os vrtices com ape-
nas 3 cores. Este nmero mnimo pois o grafo inclui um subgrafo
isomorfo a K
3
.
GrafosModfrancisca
2009/6/30
page 78
Estilo OBMEP
Figura 5.4:
Uma outra aplicao clssica de colorao o problema dos exa-
mes. A tabela abaixo mostra a alocao de alunos nos exames nais
que eles devem prestar:
Alunos 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Matemtica X X X X
Portugus X X X X
Ingls X X X X
Geograa X X X X X
Histria X X X X X
Fsica X X X
Qumica X X X X X
Biologia X X
Duas disciplinas s podem ter exames realizados simultaneamente
se no houver alunos comuns. Vamos construir um grafo com os vr-
tices M, P, I, G, H, F, Q, B; dois vrtices estaro ligados se tiverem
um aluno em comum.
A gura 5.5 mostra uma partio dos vrtices em dois conjun-
tos independentes disjuntos. Os exames podem ser realizados em 2
horrios, um para B, G, H, M e outro para F, I, P, Q.
GrafosModfrancisca
2009/6/30
page 79
Estilo OBMEP
M
P
I
G
H F
Q
B
Figura 5.5:
Uma outra aplicao a determinao de perodos de um sinal de
trnsito. O desenho abaixo representa um cruzamento. As direes
permitidas esto assinaladas por setas. Veja a gura 5.6.
A
B
C
D
E
Figura 5.6:
Como organizar o trnsito? Vamos formar um grafo de incompa-
tibilidade. Os vrtices sero as direes possveis:
V = AB, AC, AD, BA, BC, BD, DA, DB, DC, EA, EB, EC, ED
GrafosModfrancisca
2009/6/30
page 80
Estilo OBMEP
Ligamos dois vrtices sempre que as direes forem incompatveis
(por exemplo AD e EB). Veja a gura 5.7.
Figura 5.7:
Observe que BA, DC e ED so compatveis com todas as direes,
sendo por isso vrtices isolados. Uma colorao dos vrtices corres-
ponde a uma diviso em perodos. Poderamos usar 13 cores, uma
para cada direo, mas isso seria um desperdcio de tempo. Como os
vrtices AC, BD, DA e EB formam um K
4
precisamos de pelo menos
4 cores. A partio em conjuntos independentes AB, AC, AD,
BC, BD, EA, BA, EB, EC, ED, DA, DB, DC mostra que de
fato 4 cores (4 perodos) so sucientes, isto , (G) = 4.
Exerccios
1. O dono de uma loja de animais comprou uma certa quantidade
de peixes ornamentais de diversas espcies. Alguns destes peixes
GrafosModfrancisca
2009/6/30
page 81
Estilo OBMEP
no podem car no mesmo aqurio. A compatibilidade entre as
espcies est retratada na tabela a seguir, onde X signica que
as espcies no devem car no mesmo aqurio.
(a) Qual o menor nmero de aqurios necessrio para abrigar
sem problemas todos os peixes?
(b) possvel distribuir os peixes de forma que cada aqurio
tenha (aproximadamente) o mesmo nmero de peixes?
A B C D E F G H I
A X X X
B X X
C X X X
D X X X
E X X X
F X X X X
G X X X X X
H X X X X
I X X X
2. Para os cruzamentos da gura 5.8, d uma sequncia econmica
de perodos para o sinal de trnsito.
A
B
C
D
Figura 5.8:
GrafosModfrancisca
2009/6/30
page 82
Estilo OBMEP
3. Determine o nmero cromtico dos grafos da gura 5.9.
v
Figura 5.9:
5.4 Cliques
Uma clique de G um subgrafo completo de G. O nmero de
vrtices da clique mxima o nmero de clique de G, denotado
por (G). Note-se que uma clique de G corresponde a um conjunto
independente em G, isto (G) = (G).
5.5 Acoplamentos
Da mesma forma que selecionamos um conjunto independente de
vrtices, podemos considerar um conjunto independente de arestas,
GrafosModfrancisca
2009/6/30
page 83
Estilo OBMEP
SEC. 5.5: ACOPLAMENTOS 83
isto , de arestas no incidentes duas a duas. Um conjunto deste tipo
chamado um acoplamento do grafo G.
G
1
G
2
G
3
Figura 5.10:
Na gura 5.10 o acoplamento em G
1
maximal (pois no pode
ser aumentado) mas no mximo. O acoplamento em G
2
mximo,
mas no toca todos os vrtices; os que so tocados so ditos vrtices
saturados e os outros vrtices no saturados. O acoplamento
em G
3
mximo e satura todos os vrtices; dizemos ento que um
acoplamento perfeito. O nmero de acoplamento de um grafo G,
denotado por
(G), a cardinalidade do maior acoplamento de G.

Observao. Note a diferena entre os conceitos de mximo (o
conjunto de maior cardinal possvel dentro das condies exigidas)
e maximal (um conjunto que no pode ser aumentado sem violar as
condies exigidas). A mesma ideia se aplica a conjuntos mnimos
e minimais.
Dado um grafo G e um acoplamento M, um caminho M-
aumentante em G um caminho que liga dois vrtices no
saturados por M que alternam arestas de M e arestas de GM.
GrafosModfrancisca
2009/6/30
page 84
Estilo OBMEP
Teorema (Berge). Um acoplamento M de um grafo G mximo
se, e somente se, no contm um caminho M-aumentante.
Demonstrao.
() Se h um caminho M-aumentante, podemos obter um acopla-
mento uma unidade maior adicionando as arestas do caminho fora de
M ao acoplamento e retirando as arestas em M do acoplamento. A
denio de caminho aumentante garante que o resultado ainda um
acoplamento.
() Se M no mximo, ento existe M
mximo. Considere
D = MM
, a diferena simtrica entre M e M
(isto , o con-
junto de arestas de M e M
que no pertencem a M M
); como
so acoplamentos, os vrtices em D tm grau no mximo 2. Logo, as
componentes de D so ciclos pares (alternam arestas de M e M
) ou
caminhos. Como [M
[ [M[, uma das componentes, ao menos, um

caminho alternando arestas de [M
[ e [M[ comeando e terminando

em M
. Este um caminho M-alternante.

5.6 Acoplamentos em Grafos Bipartidos
O acoplamento modela situaes em que formamos pares; se o
grafo G for bipartido, o acoplamento assume a forma de formao de
casais, e estudado de forma ligeiramente diferente. Seja G um grafo
bipartido com parties dos vrtices X e Y . Dizemos que temos um
acoplamento de X em Y quando um acoplamento de G satura Y
(mas no necessariamente X).
GrafosModfrancisca
2009/6/30
page 85
Estilo OBMEP
SEC. 5.7: COLORAO DE ARESTAS 85
Apresentamos o seguinte teorema, sem demonstrao.
Teorema. Se G um grafo bipartido com parties de vrtices X
e Y , ento G tem um acoplamento de X em Y se, e somente se,
[N(S)[ [S[, S X, sendo N(S) a vizinhana aberta de S.
Demonstrao. Ver em West [6].
A condio deste teorema tambm conhecida como Condio
de Hall.
Teorema. Se k > 0, qualquer grafo k-regular bipartido admite um
acoplamento perfeito.
Demonstrao. Comeamos contando as arestas pelas extremidades
em X e Y , as parties de vrtices. Cada aresta tem uma extremidade
em X e outra em Y , logo k.[X[ = k.[Y [ e, portanto, [X[ = [Y [. S
precisamos ento provar a condio de Hall. Considere S X, tal
que haja r arestas entre S e N(S). Como G k-regular, temos que
r = k[S[. Do lado de Y temos r k.[N(S)[. Logo, k.[S[ k.[N(S)[
e, nalmente, [S[ [N(S)[.
5.7 Colorao de Arestas
Suponhamos que num grupo de pessoas vrias duplas devam ser
formadas para cumprir determinadas tarefas num laboratrio. O
grafo da gura 5.11 ilustra esta situao. Observe que uma mesma
GrafosModfrancisca
2009/6/30
page 86
Estilo OBMEP
pessoa pode ter que cumprir uma tarefa em diversas duplas. Cada
tarefa destas necessita de 1 hora para ser executada. Qual o menor
nmero de horas necessrias para que todas as tarefas sejam reali-
zadas?
a
b
c
d
e
f
Figura 5.11:
As arestas representam as duplas e, como cada indivduo s pode
trabalhar em uma tarefa de cada vez, tarefas executadas simultanea-
mente correspondem a um acoplamento. Podemos fazer corresponder
uma cor a cada horrio (j sabemos que esta cor pode ser um nmero
ou um smbolo) e nossa pergunta passa a ser:
Qual o mnimo de cores para colorir as arestas do grafo de modo
que arestas incidentes num mesmo vrtice recebam cores diferentes?
O menor nmero usado para colorir (propriamente) as arestas de
um grafo chamado ndice cromtico do grafo, notado por
(G). No
nosso exemplo conseguimos colorir as arestas com 4 cores (veja gura
GrafosModfrancisca
2009/6/30
page 87
Estilo OBMEP
5.12) que evidentemente o menor nmero possvel pois o vrtice a
tem quatro arestas incidentes. Logo
(G) = 4. Os horrios cariam

assim distribudos:
4
2
2
1
1
4
3
3
b
d
c
e
a
3
1
4
2
f
Figura 5.12:
Horrio(cor) Duplas
1 ab, ce, df
2 ac, bd, ef
3 af, bc, de
4 ae, cd
Pelo que vimos acima, ca claro que
(G) . O teorema
a seguir (que apresentamos sem demonstrao) nos d um limite
superior bem estreito.
GrafosModfrancisca
2009/6/30
page 88
Estilo OBMEP
Teorema (Vizing). Para qualquer grafo G, tem-se que

(G) + 1.
Para grafos bipartidos, entretanto,
(G) conhecido.
Teorema (Vizing). Para qualquer grafo G bipartido,
(G) = .
Demonstrao. Suponha que estamos colorindo as arestas uma por
uma, dispondo de cores. Ao colorir a aresta xy tentaremos encon-
trar uma cor que no esteja presente em arestas incidentes a x e nem
em arestas incidentes a y. Se for possvel, tudo bem. Se este no for
o caso, observemos que as arestas incidentes a x ocupam no mximo
1 cores (pois xy no est colorida), o mesmo acontecendo com
y. Isto nos garante que h uma aresta incidente a x que est colorida
com a cor c
x
, ausente nas arestas incidentes em y; por seu lado, existe
uma cor c
y
presente nas arestas incidentes em y e ausente nas arestas
incidentes a x. Formemos uma cadeia de arestas comeando em x
e alternando arestas de cor c
x
e c
y
(esta cadeia pode at, eventual-
mente, s possuir uma aresta). Com o grafo bipartido, as arestas c
x
vo de uma partio para outra e as arestas c
y
retornam primeira
partio. Como c
x
est ausente em y, esta cadeia no passa pelo vr-
tice y. Podemos ento recolorir a cadeia intercambiando as cores c
x
e
c
y
, sem afetar a propriedade da colorao. Depois deste intercmbio
a cor c
x
estar ausente em x e y e podemos colorir a aresta xy. Isto
mostra que todas as arestas podem ser coloridas utilizando apenas
cores.
GrafosModfrancisca
2009/6/30
page 89
Estilo OBMEP
Observao. A tcnica desta demonstrao se baseia numa ideia de
Kempe e retornaremos a ela quando falarmos do Problema das 4 cores
no captulo sobre planaridade.
Uma aplicao conhecida da colorao de arestas o problema dos
exames orais. Trs professores devem examinar 6 estudantes, segundo
a seguinte lista:
Professor 11 A, C, D
Professor 22 A, C
Professor 33 A, B, D
A cada hora um professor chama um dos alunos para ser exami-
nado. Dois professores no podem examinar um aluno e cada pro-
fessor examina apenas um aluno. Qual o menor espao de tempo
que podemos utilizar? Usaremos um modelo de grafo bipartido (veja
gura 5.13) de um lado os professores, do outro os alunos. Uma
colorao das arestas representa uma diviso de horrios. A colo-
rao P1A, P2C, P3D, P1C, P2A, P3B, P1D, P2E, P3F,
uma partio das arestas em acoplamentos disjuntos o que garan-
tido pelo teorema demonstrado anteriormente.
Outro problema clssico da colorao de arestas a organizao de
passeios por duplas. Suponha que um batalho com 2.t soldados sai
para marchar todo dia. Quantos passeios podemos fazer de modo que
cada soldado tenha sempre um companheiro diferente? Este nmero
, no mximo 2.t 1 pois este o nmero de companheiros que cada
soldado tem. Veremos que este o nmero exato. Para melhor enxer-
gar este fato vamos dar o exemplo com t = 3, isto , com 6 soldados.
GrafosModfrancisca
2009/6/30
page 90
Estilo OBMEP
P1
P2
P3
A
B
C
D
E
F
Figura 5.13:
Se pensarmos em todas as duplas possveis estamos pensando no grafo
K
6
, os soldados sendo os vrtices e as arestas as duplas. Um passeio
corresponder a um acoplamento perfeito e uma colorao das arestas
usando acoplamentos perfeitos nos dar o nmero possvel de passeios.
Desenhamos K
6
da seguinte forma:
Figura 5.14:
Os acoplamentos so obtidos pelas arestas paralelas e perpendi-
culares (gura 5.15):
GrafosModfrancisca
2009/6/30
page 91
Estilo OBMEP
Figura 5.15:
A colorao produzida :
12, 36, 45, 13, 24, 56, 14, 26, 35, 15, 23, 46, 16, 25, 34
Exerccios
1. Exiba uma colorao mnima das arestas de K
10
.
2. (ndice cromtico de K
2t1
)
(a) K
5
tem 5 vrtices e 10 arestas. Um acoplamento de K
5
pode ter no mximo ......... arestas.
(b) Para uma colorao das 10 arestas de K
5
precisamos de
(no mnimo) ......... acoplamentos (cores).
(c) Mostre que para obter uma colorao de K
5
basta tomar
GrafosModfrancisca
2009/6/30
page 92
Estilo OBMEP
uma colorao de K
6
e desconsiderar as arestas que con-
tenham o vrtice 6.
(d) Mostre que:

(K
t
) = t 1, se t par.

(K
t
) = t, se t mpar.
5.8 Outros Subconjuntos
Outros tipos de subconjuntos e de invariantes tm sido estudados.
Citaremos apenas trs.
Coberturas de vrtices um subconjunto de vrtices tal que
toda aresta incidente a um vrtice do conjunto. O nmero
de cobertura de vrtices de um grafo G, denotado por (G),
a cardinalidade da maior cobertura de vrtices de G.
Coberturas de arestas um subconjunto de arestas tal que
todo vrtice tocado por uma aresta do conjunto. O nmero
de cobertura de arestas de um grafo G, denotado por
(G),
a cardinalidade da maior cobertura de arestas de G.
Conjuntos dominantes um subconjunto de vrtices tal que
todo vrtice do grafo est no conjunto ou adjacente a um de
seus vrtices. O nmero de dominncia de um grafo G, deno-
tado por (G), a cardinalidade do maior conjunto dominante
de G.
GrafosModfrancisca
2009/6/30
page 93
Estilo OBMEP
SEC. 5.8: OUTROS SUBCONJUNTOS 93
Exerccios
1. Qual o nmero de independncia (Pet) do grafo de Petersen?
2. Qual o nmero de colorao (Pet) do grafo de Petersen?
3. Apresente um acoplamento maximal do grafo de Petersen com 3
arestas. Encontre caminhos aumentantes que forneam acopla-
mentos de 4 e 5 arestas.
4. Prove que
n
2
(G) n + 1
5. Mostre que se K
t
subgrafo de G, ento (G) t. verdade
que se (G) = t, ento K
t
subgrafo de G?
6. O ndice cromtico do grafo G, denotado por
(G), o menor
nmero de cores com que podemos colorir as arestas de maneira
que duas arestas incidentes tenham cores diferentes.
(a) Calcule
(K
n
).
(b) Calcule
(Pet), o ndice cromtico do grafo de Petersen.

7. (a) Prove que um conjunto independente maximal um con-
junto dominante.
(b) Prove que um conjunto dominante minimal pode no ser
um conjunto independente.
8. Mostre que:
(a)
(G) (G).
(b) (G)
(G).
GrafosModfrancisca
2009/6/30
page 94
Estilo OBMEP
(c) (G).(G) n.
(d) (G)
n
2
.
GrafosModfrancisca
2009/6/30
page 95
Estilo OBMEP
Captulo 6
Grafos Planares
6.1 Denies e Resultados Simples
Um grafo planar um grafo que admite uma representao gr-
ca em que as arestas s se encontrem (possivelmente) nos vrtices a
que so incidentes. Exemplos clssicos de grafos planares so dados
pelos grafos que representam os poliedros. Na gura 6.1, apresen-
tamos os grafos dos 5 slidos platnicos: tetraedro, cubo, octaedro,
dodecaedro e icosaedro.
Figura 6.1:
95
GrafosModfrancisca
2009/6/30
page 96
Estilo OBMEP
96 CAP. 6: GRAFOS PLANARES
Uma pergunta que pode ser feita se existe um grafo que no
seja planar. Mostraremos que o grafo K
5
no planar. De fato,
qualquer representao de K
5
dever ter um ciclo de comprimento 5
que divida o plano em interior e exterior. S conseguimos colocar
duas arestas no interior sem que se cruzem; no exterior, a situao
a mesma. Nos sobra uma aresta.
Quantas arestas pode ter um grafo planar? Uma representao
grca de um grafo com pelo menos um ciclo separa o plano em
regies (no caso das rvores, temos uma nica regio). Estas regies
so chamadas faces; no devemos esquecer que uma das faces tudo
que sobra do plano a face ilimitada. O nmero de faces de um
grafo ser designado por f. A gura 6.2 mostra duas representaes
do mesmo grafo, ilustrando que qualquer face pode ser colocada como
face ilimitada.
Figura 6.2:
Para grafos planares, vale a relao de Euler para poliedros
convexos.
Teorema de Euler. Num grafo planar conexo vale f m+n = 2.
GrafosModfrancisca
2009/6/30
page 97
Estilo OBMEP
SEC. 6.1: DEFINIES E RESULTADOS SIMPLES 97
Demonstrao. Demonstraremos o teorema por induo sobre o
nmero de arestas. Tomemos um grafo conexo qualquer. Se for uma
rvore, temos f m+n = 1 (n 1) + n = 2. Se houver um ciclo,
retiramos uma aresta do ciclo, e o grafo ca com uma face a menos,
mas pela hiptese de induo a relao vale para o novo grafo. Temos
ento (f 1) (m1) +n = 2 e, portanto, f m+n = 2.
Observamos que podemos acrescentar arestas a um grafo planar
sempre que uma poro do plano estiver limitada por um ciclo de
comprimento maior do que 3. Logo, um grafo maximal planar
(i.e., um grafo ao qual no poderemos acrescentar arestas sem
comprometer a planaridade) tem uma representao composta por
ciclos de comprimento 3. Isto nos d outra relao importante.
Teorema. Num grafo planar conexo G vale m 3.n6; a igualdade
vale se G maximal planar.
Demonstrao. Se formos contar as arestas de cada face, contaremos
duas vezes cada aresta do grafo. Como cada face tem no mnimo 3
arestas (a igualdade valendo no caso maximal) temos:
3.f 2.m.
Substituindo na frmla de Euler:
f m+n = 2,
3.f 3.m+ 3.n, = 6,
GrafosModfrancisca
2009/6/30
page 98
Estilo OBMEP
2.m3.m+ 3.n 6,
m 3.n 6.
Este teorema nos d outra demonstrao de que K
5
no planar.
De fato, K
5
(e de resto todos os grafos completos com mais do que 4
vrtices) no obedece relao acima: 10 > 3.5 6.
Teorema. Num grafo planar bipartido conexo G vale
m 2.n 4.
Demonstrao. Observamos que um grafo bipartido s tem ciclos
pares. Cada face tem no mnimo 4 arestas.
4.f 2.m.
Substituindo na frmula de Euler:
f m+n = 2,
4.f 4.m+ 4.n = 8,
2.m4.m+ 4.n 8,
m 2.n 4.
GrafosModfrancisca
2009/6/30
page 99
Estilo OBMEP
SEC. 6.2: TEOREMA DE KURATOWSKI 99
Vemos agora que K
3,3
no planar, pois 9 > 2.6 4. O problema
das casinhas, na introduo, acaba de ser resolvido.
6.2 Teorema de Kuratowski
A ideia de planaridade aparentemente topolgica, mas sempre
pairou a questo sobre se haveria uma caracterizao combinatria
dos grafos planares. A resposta foi dada atravs de um teorema, que
apresentaremos, sem demonstrao, depois de algumas denies.
Uma subdiviso do grafo G o grafo G
que obtemos pela in-

sero de P
2
(caminho de comprimento 2) no lugar de uma aresta
de G. Um grafo G
dito homeomorfo ao grafo G se G
puder ser
obtido de G por sucessivas operaes de subdiviso (veja gura 6.3)
G G
Figura 6.3:
Teorema (Kuratowski). Um grafo planar se no contiver subgrafo
homeomorfo a K
5
ou a K
3,3
.
Demonstrao: Ver em Fournier[7].
Como aplicao mostramos na gura 6.4 que o grafo de Petersen
no planar.
GrafosModfrancisca
2009/6/30
page 100
Estilo OBMEP
a
a
a
b
b
b
K
3,3
Figura 6.4:
Observamos que embora tenhamos tratado o exemplo graca-
mente, a vericao das condies do teorema pode ser feita de forma
computacional (embora possa ser complexa).
6.3 Dualidade
O Dual G
D
de um grafo simples planar G o grafo construdo
da seguinte maneira:
(i) A cada face de G associamos um vrtice em G
D
.
(ii) A cada aresta de G (que separa duas faces) associamos uma
aresta em G
D
ligando os vrtices correspondentes s faces.
Um bom exemplo so os slidos platnicos apresentados na gura
6.4. O cubo o dual do octaedro, o icosaedro o dual do dodecaedro e
o tetraedro o dual dele mesmo (autodual). Esses duais correspondem
aos duais da geometria clssica. A gura 6.5 mostra a correspondncia
entre as faces do cubo e os vrtices do octaedro.
GrafosModfrancisca
2009/6/30
page 101
Estilo OBMEP
SEC. 6.4: O PROBLEMA DAS 4 CORES 101
f
i
f
1
f
5
f
3
f
4
f
2
f
6
v
1
v
3
v
2
v
5
v
4
v
6
v
i
Figura 6.5:
Verica-se com facilidade que o dual do dual de G o prprio
grafo G (desde que G tenha conexidade maior ou igual a 3).
A dualidade aparece num dos problemas mais famosos, no s da
teoria dos grafos, mas da matemtica.
6.4 O Problema das 4 Cores
Em 1852 Frederick Guthrie, aluno de Augustus de Morgan,
trouxe a este um problema proposto por seu irmo Francis Guthrie.
Na verdade, tratava-se de uma conjectura, hoje um teorema.
Teorema das 4 cores. Um mapa pode ser colorido com 4 cores.
Colorir um mapa colorir as regies de maneira que regies
fronteirias no sejam coloridas com a mesma cor. Usando a dua-
lidade podemos formular o teorema em forma de colorao de vrtices.
GrafosModfrancisca
2009/6/30
page 102
Estilo OBMEP
Teorema das 4 cores formulao. Num grafo planar G tem-se que
(G) 4.
O grafo K
4
mostra que 4 cores so necessrias, mas sero su-
cientes? O problema demorou um sculo para ser resolvido. Em
1976, Appel, Haken e Koch, com o auxlio de 1200 horas do computa-
dor mais rpido de sua poca, executando mais do que 10
10
operaes
computacionais, provaram o teorema. Embora a teoria envolvida seja
profunda muitos consideram esta a mais feia prova da matemtica.
As tentativas anteriores so, entretanto, dignas de nota. Kempe
utilizou uma tcnica (por isso chamada de cadeias de Kempe) e
apresentou uma demonstrao em 1879. Heawood, 11 anos depois,
percebeu uma falha sutil na demonstrao, que a invalidava. Entre-
tanto, utilizou as cadeias de Kempe para demonstrar um resultado
um pouco mais fraco. Comearemos por um lema.
Lema. Num grafo planar h pelo menos um vrtice com grau menor
ou igual a 5.
Demonstrao. J sabemos que
vV (G)
d(v) = 2.m.
Se d(v) > 5, v V , ento
6.n
vV (G)
d(v) = 2.m.
Mas num grafo planar temos m 3.n 6; isto , 2m 6.n 12.
Ficamos com
6.n 6.n 12,
GrafosModfrancisca
2009/6/30
page 103
Estilo OBMEP
o que impossvel.
Teorema das 5 cores. Num grafo planar simples G, tem-se
(G) 5.
Demonstrao. Em todo grafo planar existe um vrtice com grau
menor ou igual a 5. Podemos decompor o grafo retirando sempre
um vrtice de grau menor que 5 e recomp-lo colorindo, vrtice a vr-
tice. Desta forma, podemos sempre supor que estamos colorindo um
vrtice v de grau menor ou igual a 5. Se os vrtices em N(v) esto
coloridas com menos do que 5 cores, basta colorir o vrtice v. Pode-
mos ento supor que o vrtice est cercado por 5 vrtices coloridos
cada um com uma cor do conjunto a, b, c, d, e.
Consideremos o subgrafo induzido pelos vrtices coloridos com as
cores a e c. Se a componente que contm o vrtice de N(v) colorido
com a no contiver o vrtice colorido com c, podemos trocar as cores
desta componente: quem est colorido com a ca colorido com c e
vice-versa. Podemos ento colorir o vrtice v com a cor a.
Se a componente que contm o vrtice de N(v), colorido com a,
for o mesmo do vrtice colorido com c, existe um caminho de vrtices
que cerca o vrtice b (veja gura 6.6).
Ento, tomamos a componente do grafo induzido por vrtices co-
loridos com b e d, que contm o vrtice de N(v) colorido com b. Depois
de trocar as cores b e d nesta componente, podemos colorir o vrtice
v com a cor b.
GrafosModfrancisca
2009/6/30
page 104
Estilo OBMEP
Figura 6.6:
Exerccios
1. Construa o grafo com sequncia de graus (4, 4, 3, 3, 3, 3):
(a) Que seja planar.
(b) Que no seja planar.
2. Mostre que um grafo planar com = 5 tem no mnimo 12
vrtices. D um exemplo de grafo com = 5 e n = 12.
3. Um grafo autodual se G
D
isomorfo a G.
(a) Mostre que se G autodual ento 2.n = m+ 2.
(b) Um grafo roda (notao W
n
) o grafo obtido pela adio
de um vrtice de grau n1 a C
n1
(ver gura 6.7). Mostre
que os grafos roda W
n
so autoduais.
4. Mostre que um grafo planar G bipartido se e s se G
D
euleriano.
GrafosModfrancisca
2009/6/30
page 105
Estilo OBMEP
W
6
Figura 6.7:
5. Mostre que um grafo planar conexo pode ter suas faces coloridas
com 2 cores se, e somente se, G euleriano.
6. Mostre que os grafos abaixo (gura 6.8) so isomorfos mas seus
duais no so. Este fato contraria o texto do captulo?
Figura 6.8:
7. A cintura de um grafo, denotada por g(G) o comprimento do
seu menor ciclo. Mostre que num grafo planar temos:
m
(n 2).g
g 2
.
Sugesto: adapte a demonstrao dos dois ltimos teoremas da
Seo 7.1.
GrafosModfrancisca
2009/6/30
page 106
Estilo OBMEP
8. Mostre que possvel obter um grafo planar a partir do grafo
de Petersen pela retirada de 2 arestas.
9. Mostre que um grafo no planar tem 5 vrtices de grau no m-
nimo 4 ou tem 6 vrtices de grau no mnimo 3.
10. (a) (Resolvido) Mostre que o grafo no planar K
3,3
pode ser
desenhado sem cruzamentos num toro. E numa esfera,
pode?
Soluo: A sequncia apresentada na gura 6.9 mostra
como podemos recortar o toro para transform-lo num
retngulo. As setas mostram como podemos passar as
arestas pelos cortes.
(b) Mostre como podemos desenhar K
5
num toro. O teorema
das 4 cores vale para o toro?
(c) Mostre como podemos desenhar K
7
num toro. Voc con-
segue dividir o toro em 7 regies de maneira que cada uma
faa fronteira com todas as outras 6?
GrafosModfrancisca
2009/6/30
page 107
Estilo OBMEP
a a
b b
c
c
d
d
Figura 6.9:
GrafosModfrancisca
2009/6/30
page 108
Estilo OBMEP
11. Um jogo, usando a gura 6.10 tem as seguintes regras: Dois jo-
gadores escolhem alternadamente uma regio para colorir. Duas
regies no podem receber a mesma cor. Quem for obrigado a
usar uma quinta cor ser o perdedor.
1
2
3
4
5
6
Figura 6.10:
12. Exiba uma colorao desses mapas com o menor nmero de
cores possvel.
(a) Quem ser o vencedor o primeiro ou o segundo jogador?
(b) Como modicar o tabuleiro para que a vantagem seja in-
vertida?
GrafosModfrancisca
2009/6/30
page 109
Estilo OBMEP
Figura 6.11:
GrafosModfrancisca
2009/6/30
page 110
Estilo OBMEP
110
GrafosModfrancisca
2009/6/30
page 111
Estilo OBMEP
Referncias Bibliogrcas
[1] BOAVENTURA NETTO, P. O. Grafos: Teoria, Modelos, Algo-
ritmos. 2 ed, Edgard Blcher (1996).
[2] CARVALHO, P. C. P. Contagem. Apostila 2 do Estgio de treina-
mento dos alunos premiados da OBMEP, 2006.
[3] WILSON, R. Introduction to Graph Theory. Addison
Wesley(1996).
[4] BALAKRISHNAN, J.; RANGANATHAN, K. A Textbook of
Graph Theory. Springer-Verlag (1999).
[5] GAREY, M. R.; JOHNSON, D. S. Computers and Intractability:
A Guide to the Theory of NP-Completeness. W.WH. Freeman
(1979).
[6] WEST, D. Introduction to Graph Theory. Prentice Hall (1996).
[7] FOURNIER, J-C. Demonstration simple du thoreme de
Kuratowski et de sa forme duale. Discrete Mathematics, 31
(1980) 329-332.
111

Introdução à Teoria dos Grafos com exemplos de aplicações

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Introdução à Teoria dos Grafos com exemplos de aplicações

Enviado por

Direitos autorais:

Formatos disponíveis

GrafosModfrancisca

vrtices, respectivamente, tais que

. Por induo, o nmero de arestas de T

1. Acrescentando a aresta uv, conclumos que

tal que o peso de T

menor do que o peso

obtemos um ciclo que contm uma aresta

com peso menor que T. Mas neste caso, esta aresta e

(G), a cardinalidade do maior acoplamento de G.

, a diferena simtrica entre M e M

[ [M[, uma das componentes, ao menos, um

[ e [M[ comeando e terminando

. Este um caminho M-alternante.

(G) = 4. Os horrios cariam

(Pet), o ndice cromtico do grafo de Petersen.

que obtemos pela in-

dito homeomorfo ao grafo G se G

Você também pode gostar