Escolar Documentos
Profissional Documentos
Cultura Documentos
rodrigo.u.math@gmail.com
Sum
ario
1 Grafos
1.1
Denicoes basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1
1.1.2
d(v) = 2m. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.1.3
1.1.4
Isomorsmo de grafos . . . . . . . . . . . . . . . . . . . . . . . . . . 31
vV
1.2
1.3
1.4
Problemas de trajeto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.5
1.6
Algoritmos de caminho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.7
1.6.1
Algoritmo de Fleury . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.6.2
1.6.3
1.6.4
1.6.5
Grafos e palavras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
1.7.1
1.8
Exemplos de grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.8.1
Captulo 1
Grafos
1.1
Definic
oes b
asicas
Defini
c
ao 1 (Grafos).
CAPITULO 1. GRAFOS
Defini
c
ao 2 (Ordem e tamanho de um grafo). Se o conjunto de vertices e arestas de G
forem nitos, denotamos esses n
umeros, respectivamente, por
X v(G) = v = |V | = |V (G)| = n ,n
umero de vertices chamado de ordem de G.
X e(G) = |E(G)| = |E| = m, n
umero de arestas chamado de tamanho de G.
1.1.1
Representa
c
ao gr
afica dos grafos
Figura 1.1: V1 e V2 sao vertices adjacentes pois existe uma aresta incidente em ambos, V2
e V3 nao sao adjacentes, pois nao existe aresta que os liga.
Defini
c
ao 4 (Arestas adjacentes). Duas arestas sao ditas adjacentes se incidem em um
mesmo vertice.
Defini
c
ao 5 (Vertices vizinhos). Dois vertices distintos sao ditos vizinhos se existe uma
aresta incidente em ambos. O conjunto dos vizinhos de um vertice v e denotado por
NG (v).
CAPITULO 1. GRAFOS
Figura 1.2: e1 e e2 sao arestas adjacentes pois incidem em v1 , e1 e e3 nao sao adjacentes
pois nao incidem em um mesmo vertice. V1 e V2 sao vizinhos, porem V1 e V4 nao sao
vizinhos.
Defini
c
ao 6 (Laco). Uma aresta com extremos identicos e chamado de Laco.
Defini
c
ao 7 (Link). Uma aresta com extremos distintos e chamado de link (qual nome
e usado em portugues para esse conceito?).
Defini
c
ao 8 (Arestas paralelas). Duas arestas sao paralelas, se sao links com mesmos
extremos.
CAPITULO 1. GRAFOS
Defini
c
ao 14 (Sequencia de Graus). Se enumeramos os vertices de um grafo como (vk )n1 ,
entao (d(vk ))n1 e chamada sequencia de graus do grafo.
Propriedade 1. Seja G um grafo simples, entao G possui pelo menos dois vertices de
mesmo grau.
Esse resultado modela o fato de num grupo de duas ou mais pessoas, existem pelo
menos duas pessoas que possuem exatamente o mesmo n
umero de amigos no grupo. A
CAPITULO 1. GRAFOS
Figura 1.6: Grafo em forma de Garra, chamado Claw.Temos os vertices enumerados, d(V1 ) = 3 e d(V2 ) = d(V3 ) = d(V4 ) = 1, logo temos a sequencia de graus
(d(V1 ), d(V2 ), d(V3 ), d(V4 )) = (3, 1, 1, 1).
modelagem pode ser feita com grafos simples, pois se A e amigo de B entao B e amigo
de A, nao considerando que uma pessoa seja amiga de si mesma (sem lacos) ou amiga de
outra pessoa mais de uma vez (sem arestas paralelas).
Demonstrac
ao. O grau de cada vertice pode variar de 0 ate n 1, pois o vertice
pode incidir no maximo 1 vez em cada um dos outros n 1 vertices. Nao podem existir
vertices vt e vs tais que d(vt ) = 0 e d(vs ) = n 1, pois vs deveria incidir em vt , da vt
nao teria grau nulo, entao temos n vertices para n 1 graus possveis, o que implica pelo
princpio da casa dos pombos que devem haver dois vertices com mesmo grau.
Exemplo 1. Pode existir um grupo de cinco pessoas, tais que quaisquer duas delas tem
exatamente um amigo em comum, como mostra a construcao da tabela abaixo.
CAPITULO 1. GRAFOS
v1
v1
v2
v3
v4
v5
v2 (v1 , v2 )
v3 (v1 , v3 ) (v2 , v3 )
(v3 , v2 )
v4 (v1 , v4 )
(v5 , v4 )
v5 (v1 , v5 )
(v4 , v5 )
v1
v1
B = v2
v2
v4
(v3 , v1 )
v3 (v1 , v3 ) (v2 , v3 )
v4
v3
(v3 , v2 )
CAPITULO 1. GRAFOS
v1
v1
v2
v3 (v1 , v3 ) (v2 , v3 )
v4 (v1 , v4 )
v4
(v3 , v1 ) (v4 , v1 )
B1 = v2
v3
(v3 , v2 )
(v4 , v3 )
(v3 , v4 )
v1
v1
B11 = v2 (v1 , v2 )
v2
v4
v3 (v1 , v3 ) (v2 , v3 )
v4 (v1 , v4 )
v3
(v3 , v2 )
(v4 , v3 )
(v3 , v4 )
de onde segue v1 v3 = {v2 , v4 } o que nao pode acontecer, o grafo dessa conguracao
segue abaixo
Se temosv2 v3 = v4 , adicionamos a aresta (v2 , v4 ) ao grafo de B1 e camos com a
conguracao abaixo
que e semelhante a anterior , apenas por uma mudanca do nome dos vertices, logo
essa conguracao nao fornece uma solucao para o problema.
Analisamos agora o caso de V1 V3 = v2 . Que a princpio nao causa nenhum problema,
vejamos entao as possbilidades para v1 v4 , que sao v3 ou v2 , se temos v3 , ainda nao
temos problemas, camos com o grafo
CAPITULO 1. GRAFOS
10
Figura 1.10:
em que tambem nao temos problemas, agora olhamos as possibilidades para v3 v4
que podem ser v1 ou v2 , suponha v1 camos com um grafo exatamente igual ao da gura
B11 o que nao pode acontecer. Supondo ser v2 entao v1 v4 = {v2 , v3 } como podemos
perceber na gura abaixo
Agora no u
ltimo caso que falta se v1 v4 = v2 , temos o grafo
que tem a mesma conguracao do grafo B3 , portanto nao e possvel encontrar a conguracao pedida. Como testamos todos possveis casos, ca provado que nao existe um
grupo de quatro pessoas, tais que quaisquer duas delas tem exatamente um amigo em
comum.
Defini
c
ao 15 (Grafo regular de grau r). Um grafo G e dito ser regular de grau r quando
vale d(v) = r v V, isto e, todos os vertices possuem o mesmo grau r.
Propriedade 3 (Caracterizacao dos grafos k-regulares, k = 0, 1, 2).
Defini
c
ao 16 (t-cubo). O t-cubo, denotado como Qt , e um grafo simples cujos vertices
CAPITULO 1. GRAFOS
11
Figura 1.11: B3
Figura 1.12:
sao t-uplas ordenadas de coordenadas em {0, 1}, de tal maneira que dois vertices sao
adjacentes diferem em exatamente uma coordenada.
Propriedade 4. Seja um n-cubo, entao cada vertice possui exatamente n vertices adjacentes, isto e, um n-cubo e um grafo regular de grau n.
Demonstrac
ao. Tomamos um vertice qualquer do n-cubo, (a1 , , an ), xamos
n 1 coordenadas da n-upla e deixamos a outra coordenada ak variar, existem duas
possibilidades para ak , ou ak = 0 ou ak = 1, supondo sem perda de generalidade que
ak = 0, entao existe apenas uma outra upla com ak = 1, que difere na k-esima coordenada
com a upla dada. Para cada uma das n coordenadas podemos aplicar o mesmo argumento,
chegando num total de n vertices adjacentes.
Corol
ario 1. O n
umero de vertices do n-cubo e 2n , pois para cada coordenada temos 2
escolhas ak = 0 ou ak = 1.
CAPITULO 1. GRAFOS
12
Figura 1.13: B3
Figura 1.14: Grafo regular de grau 3, pois todo vertice possui grau 3.
n2n
pois cada vertice possui n
2
arestas entao com 2n vertices contamos n2n arestas, porem contamos duas vezes o n
umero
Corol
ario 2. O n
umero de arestas em um n-cubo e de
1
d(v).
n vV
Corol
ario 3. Vale que
(G) d(G) (G),
tal propriedade e corolario direto da propriedade de medias.
Defini
c
ao 19. Dado um grafo G, denimos m(v,e) como o n
umero de vezes em que a
aresta e incide no vertice v.
CAPITULO 1. GRAFOS
13
m(v,ek ) .
k=1
kV
m(k,et ) = 2
CAPITULO 1. GRAFOS
14
m(k,et ) =
kV \{vm ,vs }
kV
=0
caso et seja um laco, existe vm tal que 2 = m(vm ,et ) e para todo outro k vale m(vk ,et ) = 0,
da
kV
m(k,et ) =
kV \{vm }
=0
CAPITULO 1. GRAFOS
1.1.2
15
d(v) = 2m.
vV
d(v) = 2m
vV
d(v) =
vV
porem d(vk ) =
d(vk )
k=1
t=1
d(v) =
m
n
m(vk ,et ) =
k=1 t=1
vV
m
n
m(vk ,et ) =
t=1 k=1
2 = 2m.
t=1
=2
Demonstrac
ao.[2] Seja n , o n
umero de vertices xado. Demonstramos por inducao
sobre m. Para m = 0 o resultado vale, pois nao existe aresta incidente em nenhum
vertice. Suponha que vale para m arestas. Adicionamos mais uma aresta, seja d (v)
a nova contagem do grau. Existem vm e vs (nao necessariamente distintos), tais que
d (v) =
d(v) + 2 portanto a soma ca como
v{vs ,vm }
vV
d (v) =
v{vs ,vm }
d (v) +
vV \{vm ,vs }
v{vs ,vm }
d (v) =
d(v) +
vV \{vm ,vs }
d(v) + 2 =
v{vs ,vm }
d(v) + 2 = 2m + 2 = 2(m + 1)
vV
CAPITULO 1. GRAFOS
16
d(v) =
vV
d(v) +
vVp
vVi
Tal resultado e chamado de Lema do aperto de maos, pois implica que se os convidados
de uma festa apertarem as maos quando se encontrarem pela primeira vez, entao o n
umero
de convidados que aperta maos um n
umero mpar de vezes e par. Pois de n convidados,
associamos a cada um um vertice vk , se ligamos uma aresta entre vk e vt , se e somente
se, vk e vt apertam as maos.
Exemplo 2.
Defini
c
ao 20 (Caminho-Passeio). Um caminho e uma sequencia de vertices (vk )n1 onde
vk e vk+1 sao adjacentes para todo k de 1 ate n 1. Dado um caminho (vk )n1 dizemos que
v1 alcanca ou atinge vn . Se o grafo tiver arestas paralelas ou lacos a notacao (vk )n1 pode
ser ambgua , pois pode existir mais de uma aresta ligando dois vertices vs e vs+1 por isso,
podemos denotar entre dois vertices do caminho a aresta que percorremos.
Um caminho tambem pode ser chamada de passeio. Perceba que em um passeio
podemos ter vertices ou arestas iguais.
Defini
c
ao 21 (Caminhos independentes). Dois caminhos (vk )n1 e (tk )m
ao ditos inde1 s
pendentes quando nenhum tk pertence a (vk )n1 e nenhum vk pertence a (tk )n1
Defini
c
ao 22 (Caminho simples). Se todos os vertices do caminho (vk )n1 sao distintos o
caminho e dito simples ou elementar.
Defini
c
ao 23 (Trajeto-Trilha). Se todos as arestas de um caminho forem distintas o
caminho e chamado de trajeto. Um trajeto tambem pode ser chamado de trilha.
Defini
c
ao 24 (Trilha fechada). Uma trilha fechada e uma trilha (vk )n1 onde v1 = vn .
Podemos denir vk para todo k inteiro, por meio de congruencia mod p, da , por exemplo
vp+2 = v2 pois p + 2 2 mod p.
CAPITULO 1. GRAFOS
17
Propriedade 8. Todo caminho simples e trilha e nem toda trilha e caminho simples.
Demonstrac
ao. Se o caminho simples nao fosse trilha, entao haveria repeticao de
aresta o que implicaria em repeticao de vertice o que contraria denicao de caminho
simples. Um trilha fechada nao e caminho simples pois repete vertice.
Defini
c
ao 25 (Ciclo). Um ciclo2 e uma trilha fechada (vk )p+1
, isto e, v1 = vp+1 onde
1
(vk )p1 e uma trilha simples. Isto e, em ciclos nao temos arestas repetidas e o u
nico vertice
repetido e v1 .
X Um ciclo de um vertice consiste em um vertice com um laco.
X Um ciclo com dois vertices consiste em dois vertices e duas arestas paralelas.
CAPITULO 1. GRAFOS
18
Figura 1.19: (V1 , V2 , V3 , V4 ) e um caminho simples, pois todos vertices sao distintos,
tambem e um trajeto pois todas arestas sao distintas, tal caminho tem comprimento
3.
Defini
c
ao 29 (Cintura). Cintura de um grafo G e o comprimento do menor ciclo simples
de G.
Defini
c
ao 30 (Circunferencia). Circunferencia de um grafo G e o comprimento do maior
ciclo simples de G.
Num grafo acclico denimos a cintura e a circunferencia como sendo innitos.
Defini
c
ao 31 (Caminho Hamiltoniano). Um caminho (vk )n1 de um grafo G e dito ser
hamiltoniano se e simples e contem todos vertices do grafo G, isto e, todos os vertices
sao distintos e qualquer vertice do grafo e elemento do caminho. Observe que com essa
denicao o caminho pode conter mais de uma vez a mesma arestas do grafo, a restricao
ca apenas para vertices.
Defini
c
ao 32 (Caminho Euleriano-Trajeto Euleriano). Um caminho (vk )n1 de um grafo
G e dito ser euleriano, quando e um trajeto e possui todas arestas do grafo G, isto e,
todas arestas sao distintas e qualquer aresta do grafo e elemento do caminho. Observe
que com essa denicao o caminho pode conter mais de uma vez o mesmo vertice do grafo,
a restricao ca apenas para arestas. Tambem chamado de trilha euleriana.
CAPITULO 1. GRAFOS
19
Defini
c
ao 33 (Grafo atravessavel). Um grafo e dito atravessavel3 se ele possui um caminho Euleriano.
Defini
c
ao 34 (Ciclo Euleriano). O ciclo (vk )n+1
e dito euleriano quando o caminho (vk )n1
1
e euleriano. Tambem chamado de circuito euleriano.
Defini
c
ao 35 (Ciclo Hamiltoniano). O ciclo (vk )n+1
e dito hamiltoniano quando o cami1
nho (vk )n1 e Hamiltoniano.
Defini
c
ao 36 (Grafo conexo). Um grafo G e dito ser conexo, se para quaisquer dois
vertices distintos u e v existe um caminho que os conecta. Caso o grafo nao seja conexo
ele e chamado de desconexo.
Propriedade 9. Um grafo conexo tem pelo menos n 1 arestas, isto e, se o grafo tem
menos de n 1 arestas entao ele e desconexo. Lembrando que n e o n
umero de vertices.
Demonstrac
ao. Tomamos v1 um vertice do grafo, ele deve se conectar a um vertice
v2 , logo contamos uma aresta, deve haver um vertice v3 que se conecta no subgrafo conexo
{v1 , v2 }, logo contamos duas arestas, aplicamos o mesmo procedimento existindo v4 que
se conecta em um dos vertices {v1 , v2 , v3 } contando tres arestas, continuamos o processo
ate termos o subgrafo conexo com vertices {v1 , , vn1 } onde devemos conectar o vertice
vn , contando n 1 arestas no total, pelo menos.
Propriedade 10. Se adicionamos arestas em um grafo conexo ele continua sendo conexo.
Demonstrac
ao. Sejam v1 e vs dois vertices quaisquer de G um grafo conexo, entao
existe um passeio (vk )s1 , que leva v1 ate vs . Se adicionamos arestas ao grafo tal caminho
continua valido, logo o grafo e conexo.
(
)
n1
Propriedade 11. Se G e simples e m >
entao G e conexo. m e o n
umero de
2
arestas.
3
CAPITULO 1. GRAFOS
20
Demonstrac
ao.
(
)
(
)
n1
n1
Primeiro notamos que se m >
entao m
+1. Se qualquer grafo com
2
2)
(
)
(
n1
n1
m=
+ 1 e conexo, entao grafos com m >
+ 1 sao conexos. Tomemos
2
2
(
)
n1
um grafo qualquer G com m >
+ 1 , retirando arestas de G ate que o grafo
2(
)
n1
resultante Gn tenha exatamente m =
+ 1, Gn e conexo, agora recolocamos as
2
arestas que retiramos , colocar arestas em um grafo nao altera conexidade, entao G e
conexo.
(
)
n1
Sabemos que se G e desconexo entao G e conexo. Seja G com m =
+ 1 entao
2
G possui
( ) (
)
n
n1
=
1 = n 2 arestas
2
2
portanto G e desconexo e da G e conexo.
)
(
n1
.
Exemplo 3. Encontre um grafo desconexo simples com m =
(2
)
n1
Dos n vertices podemos separar n 1 vertices usando todas
arestas nesses
2
n1 vertices separados, O n-esimo vertice e entao um vertice isolado e o grafo e desconexo.
CAPITULO 1. GRAFOS
21
v1 , ele incide nos vertices v2 , v3 , , v n+1 +1 , que juntos com v1 formam todos elementos
2
n1
de V1 , que e conexo. Em V2 colocamos os vertices v n+1 +2 , , vn , que possui
1
2
2
n+1
vertices e pode incidir em no maximo
vertices. v n+1 +2 em V2 deve se conectar `a
2
2
n1
2 vertices em em V2 , sobrando 3 arestas que devem incidir em V1 , a partir de
2
agora utilizamos o mesmo procedimento do caso par, feito acima e chegamos no m que
V1 adicionado dos vertices v n+1 +2 , , vn e conexo, que e o conjunto de vertices de G.
2
n2
-regular, onde n e par.
2
Separamos 2 conjuntos de n vertices (v1 , , vn ) e (vn+1 , , v2n ), vamos dar um
exemplo em que esses dois conjuntos nao se conectam, mostrando que podemos usar
n2
arestas dentro de um desses conjuntos. Desenhamos as seguintes arestas
todas
2
(trocamos n por 2n para facilitar as contas, com isso temos n 1 como grau de cada
vertice)
Arestas desenhadas
(1)
(2)
(v1 , v2 )
(v1 , v3 )
(v2 , v3 )
..
..
.
.
(v1 , vn )
(v2 , vn )
d(v1 ) = n 1
d(v1 ) = 0
d(v2 ) = 1
d(v2 ) = n 2
..
..
.
.
d(vn1 ) = 1
d(vn1 ) = 1
d(vn ) = 1
d(vn ) = 1
(n 1)
..
.
..
.
(vn1 , vn )
d(v1 ) = 0
..
.
d(v2 ) = 0
..
.
d(vn1 ) = 1
d(vn ) = 1
CAPITULO 1. GRAFOS
22
Demonstrac
ao.
X Os grafos 0-regulares consistem em vertices desconexos pois nao podemos adicionar
arestas.
X Os grafos 1-regulares consistem em arestas desconexas, dado v1 no grafo deve haver
v2 tal que v1 incide em v2 , v1 e v2 nao podem incidir em mais nenhum outro vertice,
pois se nao o grau de algum deles seria maior que 1. O n
umero de vertices de grafos
1-regulares deve sempre ser par, pois para cada aresta contamos dois vertices.
X Dado um vertice v1 num grafo com n
umero nito de vertices, v1 deve incidir em
Defini
c
ao 37 (Ponte). Uma ponte e uma aresta de um grafo que se retirada torna o
grafo desconexo.
Defini
c
ao 38 (Grafo Euleriano). Um grafo conexo G e dito ser Euleriano se possui um
ciclo euleriano.
Defini
c
ao 39 (Grafo Hamiltoniano). Um grafo conexo G e dito ser Hamiltoniano se
possui um ciclo Hamiltoniano.
CAPITULO 1. GRAFOS
23
CAPITULO 1. GRAFOS
24
1.1.3
Defini
c
ao 41 (Subgrafo). Um subgrafo H de um grafo G, e qualquer grafo que V (H)
V (G) e E(H) H(G). Caso H seja subgrafo de G, denotamos tal fato por H G e
dizemos que H esta contido em G ou G contem H.
Podemos obter subgrafos de um grafo deletando arestas ou vertices .
CAPITULO 1. GRAFOS
25
Figura 1.23: Exemplo de grafo totalmente desconexo, todos os vertices sao isolados, isto
e, possuem grau zero.
Figura 1.24: No grafo acima, temos um subgrafo destacado, com arestas e vertices vermelhos, seu conjunto de vertices {B, C, D, E}, seu conjunto de arestas {(C, E)}.
Defini
c
ao 42 (Componentes conexas). Uma componente conexa de um grafo G e um
subgrafo H de G conexo, tal que nao existe H subgrafo conexo de G tal que H H
propriamente.
Defini
c
ao 43 (Distancia entre vertices). A distancia entre dois vertices v e w e o comprimento do menor caminho entre v e w.
Defini
c
ao 44 (Subgrafo induzido). Um subgrafo de G e dito induzido quando e obtido
atraves de G apos a remocao de alguma quantidade de vertices, sem remocao de arestas
adicionais alem daquelas retiradas ao se remover os vertices. Em smbolos, um subgrafo
H de G e dito induzido se para todo par de vertices x, y H, (x, y) e aresta de H
(x, y) e aresta de G.
CAPITULO 1. GRAFOS
26
Defini
c
ao 45 (Caminho induzido). Um caminho induzido em um grafo nao direcionado
G e um caminho em um subgrafo induzido de G, isto e, uma sequencia de vertices de G,
tais que cada dois vertices na sequencia sao conectados por arestas em G.
um ciclo que tambem e um grafo induzido de G.
Defini
c
ao 46 (Ciclo induzido). E
Defini
c
ao 47 (Grafos esparsos). Um grafo e dito esparso se possui mais pares de vertices
nao adjacentes do que pares de vertices adjacentes.
Defini
c
ao 48 (Exclusao de arestas). Seja G um grafo e S um conjunto de arestas de G,
denotamos por G S o grafo obtido a partir de G pela exclusao de todas arestas contidas
em S.
Defini
c
ao 49 (Exclusao de vertices). Seja G um grafo e S um conjunto de vertices de
G, denotamos por G S o grafo obtido a partir de G pela exclusao de todos os vertices
contidos em S e as arestas incidentes em tal vertice.
Defini
c
ao 50 (Inclusao de arestas). Seja S um conjunto de pares de vertices nao adjacentes em G, denotamos por G + S o grafo obtido a partir de G pela adicao das arestas
que ligam cada par de S.
Defini
c
ao 51 (Inclusao de vertices). Seja S um conjunto de vertices nao contidos em G,
denotamos por G + S o grafo obtido por adicionar os vertices de S.
Defini
c
ao 52 (Grafo direcional-dgrafo). Um grafo direcional, e um grafo onde estabelecemos um sentido ( orientacao) para as arestas . O sentido da orientacao pode ser
denotado pelo uso de uma seta. Nesse caso as arestas podem ser chamadas de arcos.
Defini
c
ao 53 (Grafo completo). Um grafo simples G e dito completo4 quando qualquer
dois vertices de G sao adjacentes (todos os vertices sao ligados por arestas). Um grafo
completo de n vertices pode ser denotado por K n ou Kn .
Corol
ario 8. Um grafo completo e n 1-regular, pois cada vertice e adjacente a todos
outros n 1 vertices.
4
CAPITULO 1. GRAFOS
27
n(n 1)
Propriedade 17. Um grafo completo possui
=
2
( )
n
arestas .
2
Demonstrac
ao. Seja f (n) o n
umero de arestas em funcao do n
umero de vertices de
um grafo completo. Para n = 1, temos f (1) = 0. Supondo que um grafo completo com
n vertices , tendo f (n) arestas, adicionamos mais um vertice an+1 e com isso devemos
adicionar as arestas (an+1 , ak ) com k variando de 1 ate n para que o grafo seja completo,
entao
f (n + 1) = f (n) + n f (k + 1) f (k) = k
aplicando
n1
k=1
f (n) =
pois
n1
k=1
k=
n(n 1)
2
n(n 1)
.
2
( )
n
Corol
ario 9. Para todo grafo simples vale m
, valendo a igualdade quando o grafo
2
e completo.
Defini
c
ao 54 (Grafo vazio). Um grafo e dito vazio quando o conjunto de aresta e vazio.
Em grafos vazios nao existem vertices adjacentes.
Defini
c
ao 55 (Grafo Bipartido). Um grafo G e dito ser bipartido se o conjunto dos
vertices pode ser particionado numa uniao disjunta V = A B onde cada aresta de G
possui um extremo A e outro extremo em B (nao existem arestas ligando vertices no
mesmo conjunto A ou B ). A particao A B = V pode ser denotada como (A, B) e e
chamada biparticao do grafo G, A e B sao chamados de partes de G. Podemos denotar o
grafo bipartido como G[A, B]. Denotamos |A| e |B| para o n
umero de vertices de A e B
respectivamente.
Defini
c
ao 56 (Grafo t-partido). Um grafo t-partido e tal que o conjunto dos seus vertices
V podem ser particionados em t subconjuntos (vk )t1 dois-a-dois disjuntos tais que V =
t
vk de tal forma que os vertices do mesmo subconjunto nao sao adjacentes. Cada
k=1
CAPITULO 1. GRAFOS
28
d(v).
vY
Demonstrac
ao. Vale que
vX
d(v) +
vY
d(v) =
vX
d(v) =
vX
d(v) e equivalente a demonstrar que cada uma das somas vale m. Nao existe arestas
vY
conectando vertices em X, toda aresta do grafo deve incidir em algum vertice de X por
isso
d(v) = m.
vX
Propriedade 19. Seja G um grafo bipartido com particao (X, Y ). Se G e regular entao
X e Y tem o mesmo n
umero de elementos.
Demonstrac
ao. Para todo x X e y Y vale
d(x) = d(y) = k
CAPITULO 1. GRAFOS
29
d(x) =
xX
yY
vX
d(v) = |Y |
1 = |Y ||X|.
vX
Corol
ario 11. Para qualquer grafo bipartido simples G[x, y] vale m |X||Y | pois o grafo
deve possuir n
umero de arestas menor do que do grafo bipartido completo.
Propriedade 21. Em um grafo simples G[x, y] bipartido, vale que m
n2
.
4
n2
.
4
Sabemos que n = |X|+|Y | logo a desigualdade e equivalente `a 4|X||Y | |X|2 +2|X||Y |+
Demonstrac
ao. Sabemos que vale m |X||Y |, mostramos agora que |X||Y |
|Y |2 que por sua vez equivale `a 0 (|X| |Y |)2 que e uma desigualdade verdadeira, como
queramos demonstrar. Um dos casos mais simples onde a identidade se verica e quando
|X| = |Y | = 1, logo n = 2, m = 1.
Propriedade 22.
Denimos A como conjunto dos elementos vk com k mpar e B dos vk tais que
k e par. Temos a biparticao do grafo G[A, B]. Um procedimento para gerar uma
biparticao do caminho e o seguinte, inicialmente colocamos v1 em A, v2 nao pode
CAPITULO 1. GRAFOS
30
Podemos associar o reticulado booleano BLn ao grafo n-cubo, associando uma n-upla
ao subconjunto de X de P (In ), da seguinte maneira a k-esima coordenada do reticulado
e nula se k
/ In e tem valor 1 se k In a relacao de incidencia tambem e preservada
pois a diferenca simetrica de dois conjuntos tem apenas um elemento os subconjunto
diferem em um elemento, assim como a relacao de incidencia entre os vertices do n-cubo.
Portanto todas propriedades demonstrada para o n-cubo tambem valem para o Reticulado
booleano.
CAPITULO 1. GRAFOS
31
Defini
c
ao 62 (Estrela). Uma estrela e um grafo completo bipartido G[x, y] onde |X| = 1
ou |Y | = 1.
um grafo que pode ser desenhado no plano sem que suas
Defini
c
ao 63 (Grafo planar). E
arestas se interceptem em pontos que nao sejam extremos.
Propriedade 23. Existem grafos que nao sao planares.
Demonstrac
ao.
Propriedade 24. Para qualquer grafo G existe uma superfcie S tal que o grafo pode ser
desenhado na superfcie S sem que suas arestas se interceptem em pontos que nao sejam
extremos.
Demonstrac
ao.
1.1.4
Isomorfismo de grafos
Defini
c
ao 64 (Grafos isomorfos). Dois grafos F (V1 , E1 ) e G(V2 , E2 ) sao ditos isomorfos,
quando existe uma bijecao f : V1 V2 , tal que existe aresta (v, p) F (f (v), f (p))
G. Tal funcao f e chamada de isomorsmo de grafos.
Corol
ario 12. Como f e uma bijecao entre V1 e V2 , se ambos sao nitos, entao possuem
o mesmo n
umero de elementos n = |V1 | = |V2 |. Se os grafos F (V1 , E1 ) e G(V2 , E2 ) tem
n
umero de vertices distintos entao nao pode ser isomorfos e se possuem mesmo n
umero
de vertices n, entao e possvel vericar se existe um isomorsmo entre eles, testando as
n! funcoes que existem entre V1 e V2 . Ainda nao se sabe se existe ou nao um algoritmo
eciente para testar se dois grafos sao isomorfos.
Defini
c
ao 65 (Grafo complementar). Um grafo G e dito ser um grafo complementar de
um grafo G, quando G possui os mesmos vertices de G e arestas que faltam para G ser
um grafo completo.
Corol
ario 13 (Idempotencia). Vale que G = G.
CAPITULO 1. GRAFOS
32
Corol
ario 14. Seja (d(vk ))n1 sequencia de graus de G entao a sequencia de graus de G e
( )
n
(
d(vk ))n1 , pois cada vertice de G possui as arestas que faltam para G ser um grafo
2
completo.
Propriedade 25 (Festa com 6 pessoas). Para qualquer grafo simples G com 6 vertices,
G ou G possuem triangulo um triangulo (K3 , grafo completo com tres vertices) como
subgrafo.
Demonstrac
ao. Seja v um vertice de G, a soma dos graus de v nos grafos G e G e
5, portanto num deles, v esta unido a pelo menos 3 vertices ( pelo princpio da casa dos
pombos).
Supondo sem perda de generalidade que isso se passa em G, v se liga em 3 vertices,
(v1 , v2 , v3 ), se dois quaisquer desses vertices forem adjacentes em G entao eles formam
um triangulo, na pior das hipoteses, se eles nao sao adjacentes em G, entao eles formam
triangulo em G, como podemos ver na gura abaixo.
Com tal resultado podemos concluir que numa festa com 6 pessoas, existem 3 pessoas
que se conhecem mutuamente ou se desconhecem mutuamente.
Modelamos o problema com grafos, associando a cada pessoa um vertice, dois vertices
sendo ligados por uma aresta se as pessoas indicadas pelos vertices se conhecem. Consideramos que conhecerseja uma propriedade reexiva, isto e, se A conhece B, entao B
conhece A. Ter um triangulo em G signica que os tres envolvidos se conhecem mutuamente e ter um triangulo em G, signica que se desconhecem mutuamente.
Figura 1.26: Exemplo de grafo e seu complementar, servindo como exemplo tambem para
o pior caso na demonstracao, quando nenhum dos vertices v1 , v2 ou v3 sao adjacentes.
CAPITULO 1. GRAFOS
33
Defini
c
ao 66 (Grafo autocomplementar). Um grafo G e dito ser autocomplementar se o
seu grafo complementar G e isomorfo a G.
Propriedade 26. Se G e desconexo entao G e conexo.
Demonstrac
ao. Sejam v1 , v2 vertices quaisquer de V , se (v1 , v2 )
/ E entao (v1 , v2 )
E. Caso contrario, existe v3 V que nao se liga a v1 nem em v2 em G, pois se valesse para
todos vertices vk de V entao G seria conexo. Portanto temos (v1 , v3 , v2 ) em E, portanto
em qualquer dos casos temos caminhos unindo os vertices v1 e v2 em G.
Exemplo 6. Nao vale a recproca G pode ser conexo e G tambem ser conexo. Basta
tomar G como um grafo autocomplementar conexo.
Corol
ario 15. Podemos aplicar o resultado com G no lugar de G, entao vale, se G e
desconexo entao G e conexo.
Defini
c
ao 67 (Arvore).
Um grafo G e dito ser uma arvore se e um grafo conexo que nao
possui ciclos.
Defini
c
ao 68 (Folhas). Todo vertice de grau 1 de uma arvore e chamado de folha.
1.2
Matriz de incid
encia e de adjac
encia
Defini
c
ao 69 (Matriz de incidencia). A matriz de incidencia de G e a matriz n m,
MG := (m(v,e) ), onde m(v,e) e o n
umero de vezes que a aresta e incide no vertice v.
CAPITULO 1. GRAFOS
34
m(v,e) pode assumir tres valores 0 quando e nao possui extremo em v, 1 quando e
possui extremo em v e nao e laco e por u
ltimo 2 quando temos um laco.
Defini
c
ao 70 (Matriz de adjacencia). A matriz de adjacencia de G e a matriz n n,
AG := (m(v,u) ), onde m(v,u) e o n
umero de arestas que conectam os vertices u e v de G .
Contamos um laco como duas arestas.
Exemplo 7. Um grafo e totalmente desconexo sua matriz de adjacencia e a matriz
nula.
Corol
ario 16. A matriz de adjacencia de um grafo onde nao existe laco, possui a diagonal
nula, pois m(v,v) = 0. Em especial um grafo simples tem matriz de adjacencia com diagonal
nula.
Corol
ario 17. Um grafo completo possui matriz de adjacencia com diagonal principal
nula, pois m(v,v) = 0 o grafo e simples, alem disso todo outra entrada tem valor 1 , pois
todas arestas sao adjacentes, m(v,u) = 1 .
Defini
c
ao 71 (Matriz de adjacencia bipartida). Suponha G[x, y] um grafo bipartido onde
X = {x1 , , xr } e Y = {y1 , , ys }, denimos a matriz de adjacencia bipartida de G
como a matriz r s BG = (bij ) onde bij e o n
umero de arestas ligando xi e yj .
1.3
Defini
c
ao 72 (Mapa de estrada). Um mapa de estrada e um grafo cujos vertices correspondem a cidades e as arestas correspondem a cidades.
Defini
c
ao 73 (Problema do explorador). Um explorador deseja encontrar um trajeto que
posse por todos caminhos exatamente uma vez e retorne ao ponto inicial.
O problema do explorador consiste em achar um ciclo euleriano.
Defini
c
ao 74 (Problema do viajante). Um viajante deseja encontrar um trajeto que
posse por todas cidades exatamente uma vez e retorne ao ponto inicial.
O problema do viajante consiste em achar um ciclo Hammiltoniano.
CAPITULO 1. GRAFOS
1.4
35
Problemas de trajeto
O proximo teorema vale tanto para grafos simples quanto para multigrafos.
Teorema 1 (Classicacao de grafos Eulerianos). Um grafo conexo G = (V, E) e euleriano
o grau de todo vertice e par.
Demonstrac
ao.
). Supondo que o grafo e euleriano, entao ele possui um ciclo euleriano (vk )n+1
, onde
1
v1 = vn+1 , o ciclo contem todos os vertices do grafo G e cada aresta do grafo aparece
apenas uma vez no ciclo. Dado um vertice qualquer do grafo v, existe k tal que v = vk ,
supondo que para s arbitrario tenhamos (vs , vs+1 ) entao (vs+1 , vs+2 ), se ( vs , vs+1 ) entao
vk
vk
vk
).
Suponha que todo vertice de G tenha grau par. Tomamos um vertice qualquer do
grafo v1 e comecamos a percorrer o grafo a partir dele sem repetir arestas, tal processo
deve ter um m e ao seu nal voltamos ao vertice v1 (ate nao conseguir mais prosseguir
ou ate voltar ao vertice v1 ), nao podendo ser outro vertice do grafo, pois cada vertice
tem grau par, tendo pelo menos uma entrada e sada e nao repetimos arestas, se fosse
um vertice qualquer diferente de v1 teramos duas opcoes, o vertice ja foi atravessado,
entao ja foram contadas um n
umero par de vezes de passagem por ele (entrada e sada)
entao ao entrar nele mais uma vez teramos pelo menos uma outra sada para completar
o n
umero par para o grau do vertice, o mesmo se o vertice nao foi ainda percorrido. Se o
ciclo C1 construdo por esse processo contem todas arestas do grafo a construcao termina.
Se nao, deletamos todas as arestas de C1 e possveis vertices isolados. No novo grafo G1
obtido temos ainda todo grau par pois reduzimos um n
umero par ao grau de cada vertice
( sempre uma entrada associado associado a uma sada de um vertice). Nesse novo grafo
podemos novamente achar um ciclo C2 simples, que possui algum vertice em comum com
C1 percorremos a partir desse vertice o ciclo C2 depois o ciclo C1 , se o ciclo resultante
conter todas arestas do grafo G paramos, se nao deletamos todas arestas de G1 comuns ao
ciclo C2 e possveis vertices isolados e aplicamos o processo novamente. Tal processo chega
ao m, pois o n
umero de aresta e vertices sao nitos , no m de tal processo podemos
construir um ciclo Euleriano no grafo G, ligando os ciclos5 encontrados.
5
Perceba tambem que os ciclos nao possuem arestas em comum por construcao
CAPITULO 1. GRAFOS
36
Figura 1.28: Todos os vertices do Grafo acima tem grau par, podemos achar nele um ciclo
euleriano, por exemplo percorrendo inicialmente (P2 P1 (c1 )P4 (C2 )P3 P2 ) e depois deletando
as arestas e percorrendo (P1 P3 (C5 )P4 (C3 )P1 juntando ambos ciclos conseguimos um ciclo
euleriano (P2 P1 P3 (C5 )P4 (C3 )P1 (c1 )P4 (C2 )P3 P2 ) .
Defini
c
ao 75 (Grafo Par). Um grafo Par e aquele que possui todos os seus vertices com
grau pau.
Corol
ario 18. Um grafo conexo e par e euleriano.
Corol
ario 19. Todo grafo conexo par pode ser dividido em ciclos, tais que quaisquer dois
deles nao possui aresta em comum.
Propriedade 27. Um t-cubo e um grafo bipartido.
Demonstrac
ao. Se t e par, cada vertice possui grau par t, logo o grafo e euleriano,
sendo de comprimento par o grafo e bipartido.
Se t e mpar tomamos a particao dos vertices como A B, onde A contem as uplas
com n
umero par de entradas 1 e B o conjunto das uplas que possuem um n
umero mpar
de entradas 1.
Teorema 2 (Classicacao de grafos atravessaveis). Um multigrafo G e atravessavel G
e conexo e tem exatamente dois vertices de grau mpar. Alem disso todo trajeto euleriano
em G comeca em um vertice de grau mpar e termina no outro vertice de grau mpar.
Demonstrac
ao.
CAPITULO 1. GRAFOS
37
CAPITULO 1. GRAFOS
38
Figura 1.29: O grafo da gura e atravessavel. Nao se pode construir um grafo euleriano
a partir dele adicionando uma aresta, ja que passa a ser multigrafo, ou deletando uma
aresta, pois o grafo passa a ser desconexo.
Defini
c
ao 76 (Clique). Uma clique de G de tamanho K e um subgrafo completo de G
com k vertices. Ou de forma equivalente conjunto de vertices de cardinalidade k, tais que
dois quaisquer vertice desse conjunto sejam adjacentes.
CAPITULO 1. GRAFOS
39
CAPITULO 1. GRAFOS
40
1.5
Considere uma crianca entre duas de suas lojas de brinquedo prediletas: O ursinho
fonho (A) e o ponei saltitante (B). A cada minuto a crianca se comporta de uma maneira
com as seguintes probabilidades:
X Ela anda dez metros em direcao `a A com probabilidade
1
.
2
1
.
3
1
.
6
Vamos supor que as duas lojas estejam ha 50 metros de distancia e a crianca esta
inicialmente ha 20 metros de B. Vamos denotar os varios pontos em que ela pode parar
por {E1 , E2 , E3 , E4 , E5 , E6 }, onde E1 e E6 sao as duas lojas. Sua posicao inicial e E4 e
pode ser descrita por
x0 = [0, 0, 0, 1, 0, 0]
CAPITULO 1. GRAFOS
41
onde a k-esima componente e a probabilidade dela estar inicialmente em Ek . A probabilidade de sua posicao apos 1 minutos e dada pelo vetor
1 1 1
x1 = [0, 0, , , , 0]
2 6 3
e apos dois minutos
1 1 13 1 1
x2 = [0, , , , , ].
4 6 36 12 9
Pode ser complicado calcular diretamente probabilidade dele estar em um local apos t
minutos, porem ha uma modo mais conveniente de fazer esses calculos, que e introduzindo
a ideia de matriz de transicao.
Seja Pij a probabilidade dela se mover de Ei para Ej em um minuto, tal probabilidade
e chamada de transicao e a matriz P66 = (Pij ) e chamada de matriz de transicao. Cada
entrada de P e nao negativa e a soma de toda coluna e 1 . No caso do nosso problema
temos
P =
1 0
1
0
2
0 0
0 0
0
1
3
1
2
1
2
0
0 0
0 0
0
1
6
1
3
1
3
1
2
0
0
1
6
1
6
1
6
0
0
0
0
1
3
1
CAPITULO 1. GRAFOS
42
Estamos interessados em saber quando podemos passar de um estado para outro estado e se possvel quanto tempo demoraria. Em nosso problema ir de E4 para E1 em
tres minutos, mas nunca poderia ir de E1 para E4 , nossa preocupacao nao e com a probabilidade mas sim quando elas sao nao nulas. Para decidir isso nos representamos essa
situacao por um digrafo cujos vertices correspondem aos estados e cujos arcos nos dizem
se podemos ou nao ir de um estado para o outro em um minuto.
Se cada Ek e representado por um vertice vk entao o digrafo obtido por ligar vk e vj
se e somente se Pkj = 0 e chamado de digrafo associado a cadeia de Markov.
O grafo do problema anterior e (entra desenho).
A matriz de adjacencia do digrafo associado a cadeia de Markov e chamada de matriz
associada, ela pode ser facilmente obtida pela matriz de Transicao P ao trocar cada
entrada nao nula de P por 1, entao a matriz do nosso problema e
A=
1 0 0 0 0 0
0 1 1 1 0 0
0 0 1 1 1 0
0 0 1 1 1 0
0 0 0 1 1 1
0 0 0 0 0 1
Como outro exemplo, suponha que seja dada uma cadeia de Markov cuja matriz de
transicao e dada abaixo
P = 2
1
4
1
1
3
0
1
2
0
1
4
0 0 0
1
1
0
12
12
0 1 0
A=
1
0
0 1 1 0 0 1
0 1 0 0 0 0
1 1 0 1 0 1
0 0 0 0 1 0
0 0 0 0 0 1
0 0 0 1 0 0
CAPITULO 1. GRAFOS
43
1.6
Algoritmos de caminho
1.6.1
Algoritmo de Fleury
1.6.2
O problema chin
es do carteiro
O problema chin
es do carteiro7 .
Um carteiro deseja entregar cartas ao longo de todas as ruas em sua area e entao voltar
ao deposito. Como ele pode planejar sua rota de maneira que cubra a menor distancia?
Se o mapa de sua area for um grafo Euleriano, entao nao ha diculdade no problema,
ele pode simplesmente percorrer um ciclo Euleriano tal que o ciclo tenha comprimento
mnimo, essa situacao ocorre quando todos os vertices do grafo possuem grau par.
O que `as vezes acontece na pratica e que o carteiro precisa visitar algumas partes de
sua rota mais de uma vez e deseja minimizar os trajetos. Iremos assumir que sabemos o
comprimento de cada parte da rota.
6
CAPITULO 1. GRAFOS
44
CAPITULO 1. GRAFOS
45
Figura 1.32:
uma modicacao do algoritmo de Fleury) e entao encontramos o caminho mais curto de
w de volta para v. A combinacao desses caminhos e o trajeto de peso mnimo. Para o
grafo acima obtemos a rota
vdcvbcwbawcbv.
1.6.3
Defini
c
ao 92 (O problema das pontes de Konigsberg8 ). O problema das pontes de
Konigsberg (1736) e considerado o primeiro e mais famoso problema de teoria dos grafos, ele foi resolvido por Euler em 1736. Na cidade de Konigsberg sete pontes cruzam o
rio Pregel, conectando duas ilhas e as margens opostas do rio. A questao colocada era
saber se e possvel fazer um passeio comecando e terminando no mesmo ponto cruzando
cada ponte exatamente uma vez. Euler deu uma solucao negativa para tal problema,
mostrando que nao existe tal caminho.
Em termo de grafos o problema consiste em achar um ciclo euleriano no Grafo formado
pelas margens (superior e inferior) e as ilhas como vertices tomando as pontes como
arestas.
O trabalho de Euler foi apresentado a Academia de Sao Petersburgo em 26 de agosto de
1735 e publicado com o o ttulo : Solutio problematis ad geometriam situs pertinentis (A
8
CAPITULO 1. GRAFOS
46
Figura 1.33: Mapa de Konigsberg (Kaliningrado como hoje e chamada) reconstruda apos
sua destruicao na Segunda Guerra Mundial.
solucao de um problema relativo a geometria de posicao) no jornal Commentarii academiae
scientiarum Petropolitanae em 1741. A solucao de Euler para o problema das pontes de
Konigsberg, e considerado o primeiro teorema de teoria dos grafos
Figura 1.34: Desenho de como seria Konigsberg nos dias de Euler. Konigsberg e as pontes
sobre o Rio Pregel.
Por meio do grafo do problema, podemos perceber que em tal grafo nao e euleriano,
pois todos os vertices sao de grau mpar e tambem nao e atravessavel, pois temos 4 vertices
de grau mpar. Entao o grafo nao possui ciclo euleriano nem trajeto euleriano, nao sendo
possvel atravessar todas as pontes de Konigsberg e voltar ao ponto inicial.
CAPITULO 1. GRAFOS
47
1.6.4
O cenario abaixo e a residencia do bilionario Count Van Diamond, que acaba de ser
assassinado. James Bomb (um conhecido detetive que nas horas vagas e um estudioso
da teoria dos grafos) foi chamado para investigar o caso. O mordomo alega ter visto o
jardineiro entrar na sala da piscina (lugar onde ocorreu o assassinato) e logo em seguida
deixar aquela sala pela mesma porta que havia entrado. O jardineiro, contudo, arma que
ele nao poderia ser a pessoa vista pelo mordomo, pois ele havia entrado na casa, passado
por todas as portas uma u
nica vez e, em seguida, deixado a casa. Sherlock Gomes avaliou a
planta da residencia (conforme gura abaixo) e em poucos minutos declarou solucionado o
caso. Quem poderia ser o suspeito indicado por James Bomb? Qual o raciocnio utilizado
pelo detetive para apontar o suspeito?
No grafo acima podemos perceber que e impossvel percorrer todos os aposentos passando uma vez apenas por cada porta e voltar ao ponto inicial, pois o grafo possui vertice
de grau mpar, como e o caso do vertice associado ao dormitorio .
CAPITULO 1. GRAFOS
48
1.6.5
Uma crianca diz ter posto a ponta do lapis numa das bolinhas do desenho da gura
abaixo, e com movimentos contnuos (sem levantar e sem retroceder o lapis) tracou as
linhas que formam o desenho da casa, tracando cada linha uma u
nica vez. A mae da
crianca acha que ela trapaceou, pois nao foi capaz de achar nenhuma sequencia que
pudesse produzir tal resultado. Voce concorda com esta mae?
Modelamos o problema em questao associando cada bolinha do desenho da casa a um
vertice. As linhas que ligam as bolinhas correspondem `as arestas do grafo. Percebe-se que
o problema e equivalente a determinar se existe uma trilha euleriana no grafo. Nota-se
que o grafo acima possui vertices de grau mpar e, portanto, pelo nao e euleriano. No
entanto ele possui uma trilha euleriana ja que possui exatamente dois vertices de grau
mpar, a saber v3 e v4 . Entao qualquer trilha euleriana inicia-se em v3 e termina em v4 , ou
vice-versa. Por exemplo, v3 , v2 , v1 , v5 , v2 , v6 , v4 , v5 , v6 , v3 , v4 corresponde a uma trilha
euleriana. Ou seja, e possvel colocar o lapis sobre uma das bolinhas do desenho da casa
e, sem tira-lo do papel ou retroceder, tracar todas as linhas que formam a casa. Logo, a
CAPITULO 1. GRAFOS
49
1.7
1.7.1
Grafos e palavras
Grafos e Doublets de Lewis Carrol
Defini
c
ao 93 (Doublets de Lewis Carrol9 ). Um Doublet e um par de palavras (A, B)
com o mesmo n
umero de letras. O objetivo do jogo e transformar uma palavra A numa
palavra B, substituindo uma letra por vez, sendo que as palavras resultantes tem que ter
sentido na lngua portuguesa10 .
9
10
CAPITULO 1. GRAFOS
50
1.8
1.8.1
Exemplos de grafos
WWW a rede mundial de internet
A rede mundial de internet, pode ser pensada como um grafo, onde cada computador
e um vertice e as arestas sao as conexoes entre os computadores.