Mat Discret

Universidade do Algarve - 05/06 Matemtica Discreta
Contedo
1 Nota prvia 1
2 Introduo Lgica 1
2.1 Expresses com signicado . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2.2 Valores lgicos das proposies . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.3 Princpios Fundamentais da Lgica Matemtica . . . . . . . . . . . . . . . 3
2.4 Operaes lgicas sobre proposies . . . . . . . . . . . . . . . . . . . . . . 3
2.5 Operaes lgicas no universo {0, 1} . . . . . . . . . . . . . . . . . . . . . 5
2.6 Propriedades das operaes lgicas: . . . . . . . . . . . . . . . . . . . . . . 8
2.7 Argumentos vlidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.8 Quanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3 Conjuntos 13
3.1 Relaes entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2 Operaes com conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.3 Propriedades das operaes entre conjuntos . . . . . . . . . . . . . . . . . . 14
4 Relaes binrias 14
4.1 Relaes de equivalncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
4.2 Relaes de ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
5 Aplicaes 17
6 Cardinalidade 18
7 Induo Matemtica 19
8 Divisibilidade 21
9 Bases de numerao 22
10 Algoritmos para realizar operaes aritmticas 23
10.1 Clculo de restos de divises inteiras . . . . . . . . . . . . . . . . . . . . . 27
i
11 Critrios de Divisibilidade 27
11.1 Critrios de divisibilidade na base 10 . . . . . . . . . . . . . . . . . . . . . 27
11.2 Critrios de divisibilidade na base , . . . . . . . . . . . . . . . . . . . . . . 27
12 Nmeros Primos 28
12.1 Mximo divisor comum e nmeros primos entre si . . . . . . . . . . . . . . 29
13 Congruncias 30
14 Equaes Diofantinas Lineares 31
15 Clculo Combinatrio 33
15.1 Propriedades da funo C
m
p
. . . . . . . . . . . . . . . . . . . . . . . . . . 34
15.2 Binmio de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
16 Teoria de Grafos 36
16.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
16.2 Denies e conceitos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . 41
16.3 Matrizes de grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
16.4 Graus dos vrtices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
16.5 Sucessores e antecessores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
16.6 Caminhos e conectividade . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
16.7 Circuitos e caminhos de Euler . . . . . . . . . . . . . . . . . . . . . . . . . 55
16.7.1 Algoritmo de Fleury . . . . . . . . . . . . . . . . . . . . . . . . . . 56
16.8 Grafos e relaes binrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
16.8.1 Relaes de equivalncia e componentes fortemente conexas . . . . . 62
16.8.2 Relaes de ordem e grafos . . . . . . . . . . . . . . . . . . . . . . . 63
16.9 Grafos completos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
16.10Grafos bipartidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
16.11Grafos complementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
16.12rvores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
16.12.1rvores de suporte . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
16.12.2rvore de suporte nnima . . . . . . . . . . . . . . . . . . . . . . . 72
16.13Planaridade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
16.14Caminhos mais curtos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
ii
1 Nota prvia
Este texto de apoio destina-se, como o nome indica, a apoiar
o estudo da teoria indispensvel resoluo dos exerccios.
No pretende substituir a frequncia das aulas tericas, nem a
consulta da bibliograa indicada.
2 Introduo Lgica
2.1 Expresses com signicado
Em lgica trabalhamos com expresses com signicado. Estas dividem-se em:
_
_
nomes termos ou designaes
frases ou proposies
Designaes: designam entes (coisas, pessoas, nmeros, ...)
Exemplos de termos:
Lisboa
copo
3
2 +
_
7
Proposies: so expresses a respeito das quais faz sentido dizer que so verdadeiras
ou falsas. As proposies armam factos ou exprimem juzos que formamos a respeito de
entes.
Exemplos de proposies:
Lisboa uma cidade
1
Vasco da Gama descobriu a Austrlia
2 + 3 = 7
_
8 < 3
2.2 Valores lgicos das proposies
As proposies podem ser verdadeiras ou falsas
Exemplos de proposies verdadeiras:
A Terra um planeta
Pedro lvares Cabral descobriu o Brasil
3 + 2 = 5
Exemplos de proposies falsas:
A Lua uma estrela
Dante escreveu a Odisseia
9 um nmero par
Toda a gente sabe que a Lua um planeta, que Homero escreveu a Odisseia e que 9
um nmero mpar.
H, no entanto, proposies a respeito das quais, por ignorncia sobre o assunto ou por
causa da impreciso da linguagem, resultante do uso de termos no denidos ou ambguos,
no fcil dizer se so verdadeiras ou falsas.
Exemplos:
No dia 15 de Janeiro de 2010 vai chover
A msica de Strawinski bela
No h vida fora da Terra
Ningum pode dizer exactamente qual o tempo que far daqui a uns anos. Quanto
beleza da msica de Strawinski, tudo depende do gosto e sensibilidade do ouvinte e a
respeito de haver ou no vida fora da Terra ningum sabe o que acontece.
Em lgica matemtica no se consideram proposies deste tipo.
2
2.3 Princpios Fundamentais da Lgica Matemtica
Em lgica matemtica, adopta-se como regras fundamentais os dois seguintes princpios ou
axiomas:
Princpio da no contradio:
Uma proposio no pode ser simultaneamente verdadeira e falsa.
Princpio do terceiro excludo:
Uma proposio ou verdadeira ou falsa.
2.4 Operaes lgicas sobre proposies
Quando pensamos efectuamos operaes lgicas sobre proposies. Vamos resumir as ope-
raes fundamentais:
Negao: Consiste em converter uma proposio numa outra que ser verdadeira se a
primeira for falsa e falsa se a primeira for verdadeira.
Exemplos:
Negar que "O Sol um planeta" armar que "O Sol no um planeta";
Negar que "Todos os homens so inteligentes" armar que "Nem todos
os homens so inteligentes", isto , armar que "H pelo menos um homem que no
inteligente";
Negar que "Nenhum peixe voa" armar que "H peixes que voam".
Conjuno: Operao que consiste em ligar duas proposies pela conjuno "e".
Exemplos:
A lua um satlite da Terra e o Sol uma estrela
Vnus uma estrela e a Lua um planeta
A baleia um peixe e os lobos voam.
3
A primeira proposio verdadeira, pois ambas as proposies que esto ligadas pela
palavra "e" so verdadeiras, isto , verdade que "A lua um satlite da Terra" e tambm
verdade que "o Sol uma estrela". Por outro lado, as proposies seguintes so ambas
falsas. Na segunda proposio h um "e" entre uma proposio falsa, "Vnus uma
estrela" e uma proposio verdadeira, "a Lua um planeta". Quanto terceira proposio
ambas as proposies ligadas pela conjuno "e" so falsas pois, obviamente, as baleias so
mamferos e os lobos no tm asas.
Conclui-se assim intuitivamente que a conjuno de duas proposies s verdadeira
quando ambas o forem.
Disjuno: Operao que consiste em ligar duas proposies pela conjuno "ou".
Exemplos:
Carlos mdico ou professor ou ambas as coisas
Vamos ao teatro ou ao futebol, mas no ambas as coisas.
Repare-se na diferena entre estes dois exemplos: enquanto que no primeiro caso se
admite que Carlos possa ser mdico ou professor ou ambas as coisas simultaneamente, no
segundo caso s se admite que uma das proposies seja verdadeira. primeira chama-se
disjuno e segunda disjuno exclusiva.
Implicao: operao que consiste em ligar duas proposies usando as conjunes
"se" e "ento".
Exemplos:
Se amanh chover ento vou ao cinema
Se o Joo passar de ano ento vai de frias para o Brasil
Na nossa linguagem de todos os dias omite-se o "ento", mas assume-se o sentido da
frase como se a palavra estivesse l.
Estas frases so falsas sempre que a primeira proposio for verdadeira e a segunda for
falsa. Isto , se amanh chover e eu no for ao cinema ento sou mentirosa. Repare-se que
se o Joo no passar de ano e mesmo assim for de frias para o Brasil ento a frase no
falsa, pois s se est a condicionar o que ele far se passar de ano e no se diz o que
acontece se no passar.
4
2.5 Operaes lgicas no universo {0, 1}
Para simplicar, costume designar-se por \ o valor verdade e por 1 o valor falso. porm
mais simples representar a verdade por 1 e a falsidade por 0. Quando fazemos operaes
com proposies estamos, pois, a trabalhar no universo 0. 1. Uma operao binria uma
lei de transformao (funo) que permite atribuir um valor a um par de valores. Ou seja
a um par (c. /) faz-se corresponder um valor c ~/ a que se chama o resultado da operao
~. As operaes lgicas podem ser denidas como operaes binrias no universo 0. 1.
Para denir uma operao binria em 0. 1 necessrio ter uma lei de transformao que
atribua valores a todos os pares possveis neste universo, ou seja a (0. 0) . (0. 1) . (1. 0) e
(1. 1).
possvel denir 16 operaes binrias neste universo de acordo com a seguinte tabela:
j ~
1
~
2
~
3
~
4
~
5
~
6
~
7
~
8
~
9
~
10
~
11
~
12
~
13
~
14
~
15
~
16
1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1
0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
Cada coluna desta tabela corresponde a uma operao diferente. Algumas so mais
importantes e tm direito a nomes e smbolos especiais.
Vejamos a que colunas correspondem as operaes que denimos atrs.
a) Na negao vimos que a proposio resultante falsa sempre que a proposio inicial
verdadeira e verdadeira se a inicial falsa. Esta no uma operao binria pois s
actua sobre uma proposio. Representando a proposio inicial por j, representamos
a sua negao por s j. Outras notaes aparecem na literatura como j ou j. Na
tabela anterior vericamos que a coluna 8 representa s j enquanto que a coluna 6
representa s . Pode-se ento escrever a tabuada da negao:
j s j
1 0
0 1
5
b) Na conjuno vimos que a proposio resultante s verdadeira quando as duas proposies
ligadas pelo "e" forem verdadeiras. Na tabela das 16 operaes vemos que essa si-
tuao corresponde coluna 11. Representando as proposies iniciais por j e ,
representamos a conjuno por j . .
j j .
1 1 1
1 0 0
0 1 0
0 0 0
c) Para a disjuno ser verdadeira basta que uma das proposies o seja. Ento esta
operao corresponde coluna 9. Representando as proposies iniciais por j e ,
representamos a disjuno por j . .
j j .
1 1 1
1 0 1
0 1 1
0 0 0
d) Para a disjuno exclusiva ser verdadeira necessrio que apenas uma das proposies
o seja. Ento esta operao corresponde coluna 10. Representando as proposies
iniciais por j e , representamos a disjuno exclusiva por j
_
..
j j
_
.
1 1 0
1 0 1
0 1 1
0 0 0
6
e) A implicao s falsa quando a primeira proposio verdadeira e a segunda falsa.
Ento esta operao corresponde coluna 3. Representando as proposies iniciais
por j e , representamos a implicao por j == .
j j ==
1 1 1
1 0 0
0 1 1
0 0 1
f) A equivalncia falsa quando os valores lgicos das duas proposies so diferentes.
Isto corresponde coluna 7 da tabela. Representando as proposies iniciais por j e
, representamos a equivalncia por j ==
j j ==
1 1 1
1 0 0
0 1 0
0 0 1
g) A incompatibilidade falsa se ambas as proposies forem verdadeiras. Corresponde
segunda coluna da tabela inicial. Representando as proposies iniciais por j e ,
representamos a incompatibilidade por j[
j j[
1 1 0
1 0 1
0 1 1
0 0 1
7
h) A negao conexa tem o valor lgico verdade desde que ambas as proposies forem
falsas. Corresponde coluna 8 da tabela.Representando as proposies iniciais por j
e , representamos a negao conexa por j |
j j |
1 1 0
1 0 0
0 1 0
0 0 1
2.6 Propriedades das operaes lgicas:
Denio 1 Duas proposies lgicas so iguais se e s se tm a mesma tabela.
Trabalhando com esta denio estabelecem-se vrias igualdades bsicas que tm um
certo paralelismo com idnticas propriedades das operaes aritmticas
.
Conjuno Disjuno
c . / = / . c c . / = / . c comutativa
(c . /) . c = c . (/ . c) (c . /) . c = c . (/ . c) associativa
c . 1 = c c . 1 = 1 elemento neutro
c . 0 = 0 c . 0 = c elemento absorvente
c . c = c c . c = c idempotncia
Negao
ss c = c Dupla negao
8
Mistas
c . (/ . c) = (c . /) . (c . c) distributiva
c . (/ . c) = (c . /) . (c . c) distributiva
s (c . /) =s c. s / lei de De Morgan
s (c . /) =s c. s / lei de De Morgan
s c . c = 0 no contradio
s c . c = 1 terceiro excludo
Todas as 16 operaes lgicas podem ser expressas na negao e na conjuno, ou na
negao e na disjuno, ou na incompatibilidade ou na negao conexa.
Exemplos:
1. (c == /) = (s c . /) =s (c. s /)
2. (c == /) = (c == /) . (/ == c) = (s c . /) . (s / . c) =s (c. s /) . s (/. s c)
3. c . / =s (s c. s /)
4. c . / =s (s c. s /)
5. c
_
./ = (c. s /) . (s c . /) =s [s (c. s /) . s (s c . /)]
6. s c = c | c
7. (c . /) = (c[/) [ (c[/)
8. (c . /) = (c | c) | (/ | /)
9. (c . /) = (c[c) [ (/[/)
10. (c . /) = (c | /) | (c | /)
A vericao destas igualdades faz-se facilmente construindo as tabelas de ambos os
membros e conrmando que so iguais. Como exemplo vamos vericar a validade da
9
primeira igualdade:
c / s c c == / s c . /
1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
As duas ltimas colunas desta tabela so iguais, como cada uma corresponde a cada uma
das proposies da igualdade 1., de acordo com a denio 1, a igualdade vlida.
Vejamos ainda algumas igualdades importantes que convm saber de cor, pois so de
utilizao frequente:
1. (c == /) = (s / ==s c)
2. s (c == /) = c. s /
3. (c == /) = (c . /) . (s c. s /)
4. (c == /) =s (c
_
./)
Tal como as anteriores, estas igualdades podem ser vericadas por recurso s tabelas.
Mas, tambm se podem vericar por aplicao das propriedades das operaes lgicas.
Vamos exemplicar com a primeira das igualdades.
(c == /) = (s c . /) = (s c. ss /) = (ss /. s c) = (s / ==s c)
2.7 Argumentos vlidos
Quando se demonstram teoremas utilizam-se raciocnios logicamente correctos. Normal-
mente, um teorema traduzido por meio de uma implicao ou de uma equivalncia (se e
s se). Uma das formas de demonstrar teoremas utilizar um raciocnio dedutivo.
Exemplo:
Se este livro tem a minha assinatura, pertence-me.
Este livro tem a minha assinatura.
10
Logo este livro pertence-me.
H, no entanto, outras formas correctas de demonstrar teoremas. So os chamados
argumentos vlidos ou silogismos e foram muito estudados pelos lsofos e matemticos
gregos. Apresentamos uma lista dos mais usuais, bem como dos nomes por que classica-
mente so conhecidos.
Argumento Nome
[(c == /) . c] == / Modus ponens
[(c == /) . s /] ==s c Modus tollens
[(c . /) . s c] == / Silogismo disjuntivo
[(c == /) . (/ == c)] == (c == c) Silogismo Hipottico
[(c == /) . (c == d) . (c . c)] == (/ . d) Dilema construtivo
[(c == /) . (c == d) . (s /. s d)] == (s c. s c) Dilema destrutivo
Como interpretar estes argumentos? Vejamos, por exemplo, o modus ponens: se h
uma implicao (c == /) que se sabe ser verdadeira e se tambm se sabe que a proposio
c verdadeira ento a proposio / tambm tem que ser verdadeira.
ainda possvel encadear todas estas formas numa cadeia de argumentos vlidos.
Exemplo:
Se o ladro saiu pela porta da rua, foi apanhado.
Se o ladro saiu pela varanda das traseiras, foi apanhado.
Se o o ladro foi apanhado est preso.
Se o ladro no saiu pela porta da rua nem pela varanda das traseiras, est escondido.
Ora o ladro no est preso.
Logo no saiu pela porta da rua nem pela varanda das traseiras.
Logo o ladro est escondido.
11
2.8 Quanticadores
Alm das operaes lgicas atrs consideradas, apresentam-se ainda duas operaes que
se aplicam unicamente a expresses proposicionais com variveis. Estas duas operaes
desempenham um papel correspondente s palavras "todo" e "algum" da linguagem cor-
rente.
Quanticador universal
Exemplo
\r. r mortal.
Esta proposio verdadeira no universo dos seres vivos. , por isso, necessrio especi-
car qual o universo em que a varivel r pode tomar valores. Se, por exemplo, se escrever
\r. 2r r , esta proposio verdadeiora em N mas falsa em R.
Quanticador existencial
Exemplo
r : r r
2
. (Algum nmero superior ao seu quadrado).
Esta proposio obviamente verdadeira em R e falsa em N. Mais uma vez necessrio
indicar o universo em que a varivel r pode tomar valores.
Segundas leis de De Morgan
A negao de proposies com quanticadores rege-se por leis conhecidas por segundas
leis de De Morgan. Na nossa linguagem de todos os dias sabemos que negar que "todos
so" armar que "algum no " e negar que "algum " armar que "todos no so".
Ou seja, traduzindo simbolicamente:
s [\r l. j(r)] = r l :s j(r)
s [r l : j(r)] = \r l :s j(r)
(Aqui representa-se por j(r) uma expresso proposicional na varivel r)
Estas leis podem ser aplicadas sucessivamente em expresses com vrios quanticadores.
Exemplo:
s [\r. : \.. t : j(r. . .. t)] = r : \. . : \t. s j(r. . .. t)
Quando uma expresso proposicional verdadeira para qualquer concretizao das
variveis diz-se que uma condio universal.
Quando uma expresso proposicional falsa para qualquer concretizao das variveis
diz-se que uma condio impossvel.
12
3 Conjuntos
Um conjunto pode ser denido em extenso, isto , nomeando todos os seus elementos, ou
em compreenso, ou seja indicando uma propriedade comum a todos os seus elementos,
isto , uma condio que vericada por todos os seus elementos e s por eles.
Exemplo:
Se a Joana tiver 3 irmos com 18, 23 e 25 anos, podemos denir o conjunto A de duas
maneiras diferentes: = 18. 23. 25 = r : r = idades dos irmos da Joana
Se a condio que estiver a denir o conjunto for uma condio universal ento o
conjunto todo o universo e, normalmente, representa-se por l. Se o conjunto estiver a
ser denido por uma condio impossvel ento no ter qualquer elemento, diz-se vazio e
representa-se por c ou por .
3.1 Relaes entre conjuntos
Se todos os elementos de um conjunto 1 forem elementos de um outro conjunto Q, diz-se
que o conjunto 1 est contido no conjunto Q e escreve-se 1 _ Q. Se o conjunto 1 est
contido no conjunto Q tambm se pode dizer que o conjunto Q contm o conjunto 1 e
esceve-se Q _ 1. Quando 1 _ Q diz-se que 1 um subconjunto de Q.
Se o conjunto 1 estiver contido no conjunto Q e o conjunto Q estiver contido num
conjunto 1, ento o conjunto 1 est contido no conjunto 1.
Se o conjunto 1 estiver contido no conjunto Qe o conjunto Qestiver contido no conjunto
1, ento os dois conjuntos so iguais.
Todas estas armaes podem ser traduzidas simbolicamente como se segue:
(r 1 == r Q) == (1 _ Q)
(1 _ Q. Q _ 1) == (1 _ 1)
(1 _ Q. Q _ 1) == 1 = Q
3.2 Operaes com conjuntos
Seja U o universo e considerem-se os conjuntos 1 e Q denidos por: 1 = r l : j(r),
Q = r l : (r). Podem-se denir operaes com conjuntos que esto relacionadas
com as operaes lgicas sobre as expresses proposicionais que denem os conjuntos
13
l 1 = 1 = r l :s j(r) = r l : r , 1 complementar
1 Q = r l : j(r) . (r) = r l : r 1 . r Q interseco
1 ' Q = r l : j(r) . (r) = r l : r 1 . r Q reunio
1 Q = r l : j(r). s (r) = r l : r 1 . r , Q = 1 Q diferena
1Q = r l : r 1
_
.r Q =
_
1 Q
_
'
_
1 Q
_
diferena simtrica
1 Q = r. l : r 1 . Q produto cartesiano
1 Q1 = r. . . l : r 1 . Q. . 1
1
1
1
2
1
n
= (r
1
. r
2
. . r
n
) : r
i
1
i
3.3 Propriedades das operaes entre conjuntos

As propriedades das operaes deduzem-se sem grande diculdade das propriedades das
operaes lgicas entre proposies.
1 Q = Q 1 1 ' Q = Q' 1
(1 Q) 1 = 1 (Q 1) (1 ' Q) ' 1 = 1 ' (Q' 1)
1 l = 1 1 ' l = l
1 c = c 1 ' c = 1
(1 Q) ' 1 = (1 ' 1) (Q' 1) (1 ' Q) 1 = (1 1) ' (Q 1)
1 1 = c 1 ' 1 = c
1 Q = 1 ' Q 1 ' Q = 1 Q
4 Relaes binrias
Qualquer subconjunto de 1 Q uma relao binria entre 1 e Q.
14
Ento se 1 _ 1 Q. 1 uma relao binria entre 1 e Q. Dizer que o par (r. )
verica a relao 1 signica que (r. ) 1 e pode-se escrever r1. Se (r. ) , 1 diz-se
que o par (r. ) no verica a relao 1 e escreve-se r/ 1.
Considere-se 1 _ 1 1. Diz-se que 1 uma relao binria em 1. As relaes binrias
num conjunto classicam-se de acordo com o facto de possuirem ou no as propriedades
que a seguir se enunciam.
E reexiva \r 1. (r. r) 1
E anti-reexiva \r. 1. (r. ) 1 == r ,=
E simtrica \r. 1. (r. ) 1 == (. r) 1
E anti-simtrica \r. 1. (r. ) 1 == (. r) , 1
E anti-simtrica em sentido lato \r. 1. ((r. ) 1 . (. r) 1) == r =
E transitiva \r. . . 1. ((r. ) 1 . (. .) 1) == (r. .) 1
4.1 Relaes de equivalncia
Se uma relao 1 num conjunto 1 reexiva, simtrica e transitiva diz-se que uma
relao de equivalncia no conjunto 1.
Uma relao de equivalncia origina uma partio do conjunto em classes de equi-
valncia. Uma classe de equivalncia formada por todos os elementos do conjunto que
tomados 2 a 2 formam pares que pertencem relao. Todos os elementos de uma classe
de equivalncia tm uma caracterstica comum.
Exemplo:
Seja 1 o conjunto de todas as rectas no plano e 1 a relao denida por (r. ) 1 se
e s se a recta r paralela recta .
Esta relao reexiva (toda a recta paralela a si prpria), simtrica (se a recta r
paralela recta ento a recta paralela recta r) e transitiva (se a recta r paralela
recta e a recta paralela recta . ento a recta r paralela recta .). Considerando
uma determinada recta no plano todas as rectas que lhe so paralelas formam uma classe
de equivalncia denida pela direco dessa recta.
15
4.2 Relaes de ordem
Se uma relao 1 num conjunto 1 anti-simtrica e transitiva diz-se que uma relao de
ordem no conjunto. Conforme a relao for anti-simtrica em sentido estrito ou em sentido
lato, assim se diz de ordem estrita ou lata. Uma relao de ordem lata pode ou no ser
reexiva conforme as aplicaes que se estiverem a trabalhar.
Se a relao de ordem tal que dados dois elementos do conjunto eles esto sempre
relacionados, de uma maneira ou de outra, isto se \r. 1. (r. ) 1.(. r) 1.r = ,
a relao de ordem diz-se total, caso contrrio diz-se parcial. Um conjunto P onde est
denida uma relao de ordem total diz-se ordenado. Um conjunto P onde est denida
uma relao de ordem parcial diz-se parcialmente ordenado.
Exemplos:
1 = 1. 2. 3. 4. 5. 6 e 1 = (r. ) 1 1 : r _ . Esta uma relao de ordem
(em sentido lato) total. Tomando dois quaisquer elementos do conjunto P h um par na
relao formado por eles.
1 = 1. 2. 3. 4. 5. 6 e 1 = (r. ) 1 1 : r < . Esta uma relao de ordem (em
sentido restrito) total. Tomando dois quaisquer elementos diferentes do conjunto P h um
par na relao formado por eles.
1 = 1. 2. 3. 4. 5. 6 e 1 = (r. ) 1 1 : r divisor de . Esta uma relao de
ordem (em sentido lato) parcial. Com efeito, uma relao transitiva (se r divisor de
e divisor de . ento r divisor de .) e anti-simtrica em sentido lato (se r divisor de
e divisor de r ento r igual a ). Tomando dois quaisquer elementos do conjunto
1 eles podem no estar relacionados. Por exemplo, tomando os elementos 2 e 5, nem 2
divisor de 5 nem 5 divisor de 2, ou seja (2. 5) , 1 e (5. 2) , 1.
Um elemento r 1 diz-se elemento mnimo de 1 para uma relao de ordem 1, se
\ 1. (r. ) 1.
Um elemento r 1 diz-se elemento mximo de 1 para uma relao de ordem 1, se
\ 1. (. r) 1.
Se num conjunto nito estiver denida uma relao de ordem total, h sempre um
elemento mximo e um elemento mnimo.
Se num conjunto estiver denida uma relao de ordem parcial, pode no haver elemento
mximo ou elemento mnimo.
Exemplo
1 = 1. 2. 3. 4. 5. 6 e 1 = (r. ) 1 1 : r divisor de . Para esta relao de
ordem 1 elemento mnimo e no h elemento mximo.
16
5 Aplicaes
Dados dois conjuntos no vazios e 1, chama-se aplicao de em 1 a toda a corres-
pondncia unvoca entre e 1. Isto , sendo , uma aplicao de em 1, , fornece um
processo qualquer de a cada elemento r de fazer corresponder um e um s elemento
de 1. Diz-se que a imagem de r por , e escreve-se = ,(r). Repare-se que se
pode encarar uma aplicao , de em 1 como uma relao 1 entre e 1, tal que
(r. ) 1 == = ,(r).
Exemplos
= 1. 2. 3. 4. 5. 6. 1 = /. /. :. q e 1 = (1. q). (2. /) . (3. /) . (4. /) . (5. :) . (6. :).
1 uma aplicao entre e 1.
= 1. 2. 3. 4. 5. 6. 1 = /. /. :. q e 1 = (1. q). (1. /) . (2. :) . (3. /) . (4. /) . (5. :) . (6. :).
1 uma relao entre e 1 mas no uma aplicao entre e 1. Ao elemento 1 de
correspondem dois elementos em 1, o que contrrio denio de aplicao.
Ao conjunto chama-se domnio de ,. Normalmente designa-se o domnio de uma
aplicao , por 1
f
.
Quando uma aplicao denida por meio de uma expresso designatria, sem mais
indicaes, subentende-se que o domnio da aplicao o domnio de existncia da expresso
no universo adoptado.
Diz-se que duas aplicaes , e q so iguais se tiverem o mesmo domnio e transformarem
cada elemento do seu domnio comum da mesma maneira, isto
[1
f
= 1
g
. \r 1
f
. ,(r) = q(r)] == , = q.
Considere-se uma aplicao , de em 1 e 1 _ . Considere-se uma aplicao q de
1 em 1 que satisfaz a condio ,(r) = q(r). \r 1, isto , as duas aplicaes coincidem
no conjunto 1. Diz-se que q uma restrio de , a 1 e diz-se que , uma extenso de
q a .
Exemplo:
o conjunto dos nmeros reais; 1 o conjunto dos nmeros reais positivos (1 ); 1
o conjunto dos nmeros reais.
q : 1 1 denido por q(r) =
_
r
, : 1 denido por ,(r) =
_
[r[
As funes tm o mesmo valor para os elementos do domnio de q e o domnio de q est
contido no domnio de ,. Ento q uma restrio de , a 1 ou , uma extenso de q a .
17
Considere-se uma aplicao , de em1 e 1 um subconjunto de . Chama-se imagem
de 1 por , ao conjunto ,(1) = 1 : r 1 : = ,(r). Ao conjunto ,() chama-se
contradomnio da aplicao ,.
Diz-se que uma aplicao , de em 1 sobrejectiva se 1 = ,(), isto ,
\ 1. r : = ,(r).
Diz-se que uma aplicao , de em 1 biunvoca ou injectiva se
\r. . r ,= == ,(r) ,= ,().
isto , se diferentes elementos tm imagens diferentes.
Uma aplicao diz-se bijectiva se for injectiva e sobrejectiva.
Se , uma aplicao biunvoca de em 1 e se considerarmos 1
0
o contradomnio de
,, isto , 1
0
= ,(), a cada elemento r de 1
0
corresponde um e um s elemento de
tal que ,() = r. Deste modo possvel denir uma aplicao de 1
0
em , chamada
aplicao inversa de , e representada por ,
1
. Assim, ,
1
a aplicao que tem por
domnio o contradomnio de , e tal que
\r 1
0
. \ .
_
= ,
1
(r) == r = ,()
6 Cardinalidade
Denio 2 Dados dois conjuntos e 1, diz-se que equipotente a 1, se e s se for
possvel estabelecer uma correspondncia bijectiva entre e 1.
A relao de equipotncia uma relao de equivalncia.
Denio 3 Um conjunto diz-se innito se for equipotente a pelo menos uma sua parte
estrita.
Denio 4 Um conjunto diz-se nito se no for innito.
Denio 5 Diz-se que dois conjuntos nitos tm o mesmo nmero de elementos se so
equipotentes.
18
Ento, o nmero de elementos ou cardinal (#) de um conjunto A a propriedade que
esse conjunto tem de comum com todos os conjuntos que lhe so equipotentes.
O cardinal do conjunto vazio 0.
Seguidamente apresentam-se algumas propriedades da funo cardinal para conjuntos
nitos.
_ 1 == # _ #1
[ _ 1 . ,= 1] == # < #1
#( ' 1) = # + #1 #( 1)
#('1 'C) = #+#1 +#C #(1) #(C) #(1 C) +#(1 C)
#
_
n
i=1
i
_
=
n
i=1
#
i
1i<j
#(
i

j
) +
n
1i<j<k
#(
i

j

k
)
+(1)
n1
#(
1

2

n
)
#( 1) = # #1
#(11 12 ... 1:) =
n
i=1
#1
i
#(1()) = 2
#A
(1() o conjunto das partes de )
7 Induo Matemtica
Teorema 1 Princpio da Induo Matemtica: Seja o um conjunto de inteiros posi-
tivos. Se 1 o e (: o == (: + 1) o), ento o = N.
Demonstrao. Seja o um conjunto de inteiros positivos tal que
1 o. (: o == (: + 1) o) e o ,= N
Isto , h inteiros positivos que no pertencem a o. Seja 1 = No. 1 no vazio e, pelo
princpio da boa ordem, tem um elemento mnimo. Seja : esse elemento. Como 1 o,
ter que ser : ,= 1, ou seja : 1. Assim, (: 1) um inteiro e no elemento de 1,
logo elemento de o. Mas, de acordo com as caractersticas de o, se (: 1) o ento
(: 1 + 1) o, ou seja : o, o que uma contradio, pois : o menor inteiro que no
pertence a o. Portanto tem que ser o = N.
Exemplo 1 Mostrar que :! _ :
n
.
Procede-se por induo matemtica.
19
Deveramos denir o = : N : :! _ :
n
. Mostrar que 1 o, admitir que : o e
concluir a partir da que (: +1) o. Na prtica omite-se o conjunto o e procede-se como
se segue:
: = 1 1! = 1 _ 1
1
= 1 ento a proposio vlida para : = 1
Hiptese de induo: :! _ :
n
Deve-se agora, assumindo que a hiptese de induo verdadeira, mostrar que
(: + 1)! _ (: + 1)
n+1
(: + 1)! = (: + 1):! _ (: + 1):
n
< (: + 1)(: + 1): _ (: + 1)
n+1
Exemplo 2 Pretende-se encontrar uma expresso que permita calcular, rapidamente, a
soma dos primeiros : nmeros impares.
Comea-se por fazer algumas contas:
1 = 1 = 1
2
1 + 3 = 4 = 2
2
1 + 3 + 5 = 9 = 3
2
1 + 3 + 5 + 7 = 16 = 4
2
1 + 3 + 5 + 7 + 9 = 25 = 5
2
1 + 3 + 5 + 7 + 9 + 11 = 36 = 6
2
Destes valores, pode-se conjecturar que a soma dos : primeiros nmeros inteiros impares
:
2
. Esta conjectura pode ser validada recorrendo a uma demonstrao por induo.
Pretende-se, ento, mostrar que
n
k=1
(2/ 1) = :
2
.
: = 1
1
k=1
(2/ 1) = 2 2 1 = 1 = 1
2
Hiptese de induo :
n
k=1
(2/ 1) = :
2
n+1
k=1
(2/ 1) = 2 (: + 1) 1 +
n
k=1
(2/ 1) = 2 : + 1 +:
2
= (: + 1)
2
Denio 6 Dados nmeros reais c e :, os nmeros reais c. c:. c:
2
. c:
3
. formam uma
progresso geomtrica. A c chama-se termo inicial e a : chama-se razo.
Exemplo 3 Mostrar que
n
k=0
c:
k
=
c:
n+1
c
: 1
= c
:
n+1
1
: 1
, com : ,= 1.
: = 1
1
k=0
c:
k
= c +c: = c(: + 1) = c
(: + 1)(: 1)
: 1
=
c:
2
c
: 1
20
Hiptese de induo :
n
k=0
c:
k
=
c:
n+1
c
: 1
n+1
k=0
c:
k
= c:
n+1
+
n
k=0
c:
k
= c:
n+1
+
c:
n+1
c
: 1
=
=
(: 1)c:
n+1
+c:
n+1
c
: 1
=
c:
n+2
c
: 1
Teorema 2 Segundo Princpio da Induo Matemtica: Seja o um conjunto de
inteiros positivos. Se 1 o e se, para todo o inteiro positivo :, se o contm todos os
inteiros positivos menores que :, ento o tambm contm : + 1, ento o = N.
Demonstrao. Seja 1 um conjunto de inteiros positivos tal que 1 1 e para todo o
inteiro positivo :, se 1. 2. .... : 1 ento : + 1 1. Seja o o conjunto de inteiros
positivos : tal que todos os inteiros positivos inferiores ou iguais a : esto em 1, claro
que o 1. Ento 1 o e, pela hiptese, : + 1 o. Ento, pelo princpio da induo
matemtica, o = N. Mas, como o 1, tambm 1 = N.
Exemplo 4 Mostrar que possvel selar uma carta cuja franquia seja superior a 1 u.m.,
usando s selos de 2 e 3 u.m.
claro que se a franquia for de 2 u.m. usa-se um selo de 2 u.m. e se for de 3 u.m.
usa-se um selo de 3 u.m. Como hiptese de induo assume-se que possvel selar qualquer
carta cuja franquia no exceda : u.m. (: _ 3) usando exclusivamente selos de 2 e 3 u.m.
Ento, para selar uma carta com (: + 1) u.m. procede-se como para selar uma carta cuja
franquia seja (: 1) u.m. (possvel por hiptese de induo) e acrescenta-se um selo de 2
u.m..
8 Divisibilidade
Denio 7 Se c e / so inteiros com c ,= 0, diz-se que c divide /, e escreve-se c[/, se
existe um inteiro / tal que / = c/. Se c divide / tambm se diz que c um divisor de / ou
um factor de /. Caso contrrio diz-se que c no divide / e escreve-se c - /.
Da denio dada resulta imediato que se c divide /, ento / mltiplo de c.
Se c, / e c so inteiros tais que c[/ e /[c, ento c[c, ou seja a relao "ser divisor de"
transitiva. Com efeito, usando a denio, se c um divisor de / e / um divisor de c
ento existem inteiros /
1
e /
2
que satisfazem as igualdades / = /
1
c e c = /
2
/. Substituindo
21
/ na segundo igualdade, obtm-se c = /
1
/
2
c. Como /
1
/
2
um inteiro, usando a denio,
conclui-se que c um divisor de c.
Se c, /, c, :e : so inteiros e c[c e c[/, ento c[(:c+:/). A:c+:/ chama-se combinao
linear de coecientes inteiros de c e de /. Traduzindo este resultado em palavras, podemos
dizer que se um nmero divide outros dois ento divide qualquer combinao linear de
coecientes inteiros desses dois. Vejamos porqu: c[c == /
1
: c = /
1
c e c[/ == /
2
:
/ = /
2
c. Ento :c +:/ = :/
1
c +:/
2
c = (:/
1
+:/
2
) c.
Apresentam-se seguidamente vrios resultados sobre a diviso inteira de nmeros in-
teiros:
Teorema 3 Se c e / so inteiros e / 0 ento existem inteiros e : com 0 _ : < /,
tais que c = / +: e esses inteiros so nicos (c = dividendo, / = divisor, = quociente,
: = resto)
Teorema 4 Se c, / e c so inteiros, c ,= 0 e /[c ento /c[cc.
Teorema 5 Se c, / e c so inteiros, c ,= 0 e /c[cc ento /[c.
Teorema 6 Se c, /, c, d so inteiros e c[/ e c[d ento cc[/d.
Teorema 7 Todo o nmero que divide o divisor e o resto divide o dividendo.
Teorema 8 Todo o nmero que divide o dividendo e o divisor divide o resto.
Teorema 9 Se um nmero divide uma das parcelas de uma soma, ento a outra parcela
e a soma divididas por esse nmero do restos iguais.
9 Bases de numerao
Qualquer nmero inteiro c pode ser expresso numa base de numerao , 1 e inteiro por
uma sequncia de algarismos c
n
c
n1
c
1
c
0()
com o signicado
c
()
= c
n
,
n
+ +c
1
,
1
+c
0
.
Na base , os algarismos so inteiros do conjunto 0. 1. . , 1
Exemplo 5 12321
(4)
= 1 4
4
+ 2 4
3
+ 3 4
2
+ 2 4
1
+ 1 4
0
=
256 + 2 64 + 3 16 + 2 4 + 1 1 = 441
(10)
22
Exemplo 6 Para converter (35101)
16
para notao decimal escreve-se:
(35101)
16
= 10 16
5
+ 3 16
4
+ 5 16
3
+ 11 16
2
+ 0 16
1
+ 15 = (10705679)
10
Exemplo 7 Para converter (2113)
16
para binrio, observa-se que 16 = 2
4
= (10000)
2
.
(2113)
16
= 2 16
3
+ 15 16
2
+ 11 16
1
+ 3 = 2 2
12
+ 15 2
8
+ 11 2
4
+ 3 =
2 2
12
+ (2
3
+ 2
2
+ 2
1
+ 1) 2
8
+ (2
3
+ 2
1
+ 1) 2
4
+ (2 + 1) = (10111110110011)
2
.
Assim, basta converter cada algarismo para binrio e escrever a sua sequncia.
De modo anlogo se pode converter de binrio para hexadecimal, bastando agrupar
os dgitos em grupos de 4 a partir da direita e escrever cada bloco como um algarismo
hexadecimal.
Exemplo 8 (11110111101001)
2
0011. 1101. 1110. 1001 3. 13. 14. 9 (3119)
16
.
, por isso, conveniente construir uma tabela de equivalncias entre algarismos hexa-
decimais e blocos de 4 dgitos:
Hexadecimal Binrio Hexadecimal Binrio
0 0000 8 1000
1 0001 9 1001
2 0010 1010
3 0011 1 1011
4 0100 C 1100
5 0101 1 1101
6 0110 1 1110
7 0111 1 1111
10 Algoritmos para realizar operaes aritmticas
Denio 8 Um algoritmo um conjunto de regras que permitem obter um certo resultado
a partir de dados iniciais.
23
Vamos descrever algoritmos para efectuar adies, subtraces, multiplicaes e divises
em base : com : 1.
ADIO
Considerem-se os inteiros c e / representados por c = (c
n1
c
n2
...c
1
c
0
)
e / = (/
n1
/
n2
.../
1
/
0
)
,
em que se juntam tantos dgitos iguais a 0 esquerda quantos os necessrios para que as
representaes tenham o mesmo comprimento.
c +/ =
n1
j=0
c
j
,
j
+
n1
j=0
/
j
,
j
=
n1
j=0
(c
j
+/
j
),
j
Observe-se que c
0
< , e /
0
< ,, por isso c
0
+/
0
= C
0
,+:
0
, com C
0
= 0 ou C
0
= 1 (pois
0 _ c
0
+/
0
< 2,) e 0 _ :
0
< ,. Do mesmo modo c
1
+/
1
+C
0
= C
1
, +:
1
, com 0 _ :
1
< ,,
e assim por diante. Repetindo o processo, vai-se concluir que c +/ = :
n
:
n1
...:
1
:
0
.
Exemplo 9 Para adicionar (1101)
2
e (1001)
2
pode-se escrever:
+(1) +(1)
1 1 0 1
+ 1 0 0 1
1 0 1 1 0
SUBTRACO
Para subtrair procede-se de modo anlogo. Assume-se que c /:
c / =
n1
j=0
c
j
,
j
n1
j=0
/
j
,
j
=
n1
j=0
(c
j
/
j
),
j
Observe-se que c
0
< , e /
0
< ,, por isso c
0
/
0
= 1
0
, +d
0
, com 1
0
= 0 ou 1
0
= 1
(pois , < c
0
/
0
< , ) e 0 _ d
0
< ,. Do mesmo modo c
1
/
1
+1
0
= 1
1
, +d
1
, com 0 _
d
1
< ,, e assim por diante. Repetindo o processo, vai-se concluir que c/ = :
n
:
n1
...:
1
:
0
.
Exemplo: Para subtrair (10110)
2
de (11011)
2
escreve-se:
24
(1)
1 1 0 1 1
1 0 1 1 0
1 0 1
MULTIPLICAO
Antes de estudarmos o algoritmo vamos analisar o efeito de multiplicar um inteiro por
uma potncia da base.
Seja c = (c
n1
c
n2
...c
1
c
0
)
, ou seja c =
n1
j=0
c
j
,
j
e seja / = ,
k
. O produto de c por
/ vir c / =
n1
j=0
c
j
,
j+k
. Ou seja, os coecientes das potncias de expoente menor que
/ sero todos nulos. Ento, este produto traduz-se em acrescentar / zeros direita do
nmero c.
Vejamos agora o efeito de multiplicar um inteiro por um nmero com um s algarismo:
j = (c
n1
c
n2
...c
1
c
0
)
.(/)
. Repare-se que c
0
/ =
0
, + j
0
, com 0 _ j
0
< , e, como
0 _ c
0
/ _ (, 1)
2
, 0 _
0
_ , 2. Do mesmo modo ser c
1
/ +
0
=
1
, + j
1
, com
0 _ j
1
< , e, como 0 _ c
1
/ +
0
_ (, 1)
2
+ (, 2), ser 0 _
1
_ , 2. De um
modo geral vir: c
i
/ +
i1
=
i
, + j
i
, com 0 _ j
i
< , e 0 _
i
_ , 2. Finalmente ser
j
n
=
n1
. Isto , o produto de um nmero de : algarismos por um nmero de 1 algarismo
poder ter : + 1 algarismos.
Agora para multiplicar 2 nmeros de : algarismos:
c / = c
n1
j=0
/
j
,
j
=
n1
j=0
(c/
j
),
j
isto , multiplica-se um nmero de : algarismos por um nmero com 1 algarismo, depois
multiplica-se por uma potncia da base, faz-se isto : vezes e, nalmente, somam-se todas
as parcelas.
Exemplo 10 Para multiplicar (11101)
2
e (1001)
2
pode-se escrever:
25
1 1 1 0 1
1 0 0 1
1 1 1 0 1
0 0 0 0 0
0 0 0 0 0
+ 1 1 1 0 1
1 0 0 0 0 0 1 0 1
DIVISO
Considere-se c. /. . : inteiros na base ,, com , 1 e / ,= 0. A diviso inteira de c por
/ consiste em determinar inteiros e : tais que:
c = / +: com 0 _ : < /
Comea-se por determinar o nmero de algarismos de :
Se /,
n1
< c < /,
n
ento tem : algarismos. Com efeito, se c < /,
n
ento
/+: < /,
n
como : _ 0 /+: _ /. Ento / _ /+: < /,
n
ou seja < ,
n
Por outro
lado, /,
n1
< c == c / /,
n1
/ == c / /(,
n1
1). Como : < /, c : c /,
donde c : /(,
n1
1), mas como c : = / vem, nalmente, / /(,
n1
1). Ento
ser ,
n1
1 < < ,
n
. Pode-se daqui concluir que tem : algarismos.
Exemplo 11 em base 10 pretende-se dividir 10247 por 251, ou seja determinar e : tais
que 10247 = 251 +:
2510 < 10247 < 25100 == tem 2 algarismos.
(10247 = 251 40 + 207)
Tendo encontrado o nmero de algarismos de , procede-se sua determinao como
se segue:
Se = (
n1
n2

0
)
vir: c = /
n1
j=0
j
,
j
+ : = /
n1
,
n1
+ /
n2
j=0
j
,
j
+ :, ou seja
c /
n1
,
n1
= /
n2
j=0
j
,
j
+:
26
Ora
n2
j=0
j
,
j
_
n2
j=0
(, 1),
j
=
n2
j=0
(,
j+1
,
j
) =
n1
j=1
,
j
n2
j=0
,
j
=
,
n
,
, 1

,
n1
1
, 1
=
,
n1
1 e : < /, donde c /
n1
,
n1
= /
n2
j=0
j
,
j
+ : _ /
_
,
n1
1
_
+ / = /,
n1
. Ora,
como c/
n1
,
n1
_ /,
n1
, esta quantidade representa o resto da diviso de c por /,
n1
.
Assim, vem
n1
=
_
c
/,
n1
_
. Determinado o primeiro algarismo, repete-se o processo para
a diviso de c /
n1
,
n1
por /.
10.1 Clculo de restos de divises inteiras
c = / +: == c
n
= /
0
+:
n
. Se :
n
_ /, torna-se a dividir :
n
por / e obtm-se o resto.
c = / + : . c = /
0
+ :
0
== cc = /
0
+ ::
0
. Se ::
0
_ /, torna-se a dividir ::
0
por / e
obtm-se o resto.
c = / +: .c = /
0
+:
0
== c +c = /( +
0
) +(: +:
0
). Se : +:
0
_ /, torna-se a dividir
: +:
0
por / e obtm-se o resto.
c = / + : . c = /
0
+ :
0
== c c = /(
0
) + (: :
0
).Se : :
0
< 0 ento analisa-se
: :
0
+/ pois a diviso passar a escrever-se c c = /(
0
1) + (: :
0
+/)
11 Critrios de Divisibilidade
11.1 Critrios de divisibilidade na base 10
O resto da diviso de c por 2 ou por 5 igual ao resto da diviso do algarismo das unidades
de c por 2 ou por 5.
O resto da diviso de c por 3 ou por 9 igual ao resto da diviso por 3 ou por 9 da
soma dos algarismos de c.
O resto da diviso de c por 4 igual ao resto da diviso por 4 da soma do dobro do
algarismo das dezenas com o algarismo das unidades de c.
O resto da diviso de c por 11 o resto da diviso por 11 do nmero que se obtm
somando os algarismos de ordem par e subtraindo os algarismos de ordem impar de c.
11.2 Critrios de divisibilidade na base ,
Tm que ser deduzidos caso a caso tendo em ateno que
27
c
()
= c
n
,
n
+ +c
1
,
1
+c
0
, e o resto da diviso de c por / o resto da diviso
por / da soma dos restos das parcelas.
12 Nmeros Primos
Denio 9 j N um nmero primo se j s divisivel por 1 e por j
Teorema 10 O conjunto dos nmeros primos numervel.
Teorema 11 (fundamental) Qualquer nmero inteiro tem pelo menos um divisor primo.
So vrios os resultados que se podem obter acerca de nmeros primos e de divisores
primos. Destacam-se os mais importantes.
impossvel obter um mltiplo de um nmero primo j multiplicando dois inteiros
positivos menores que j.
Se dois nmeros no so mltiplos de um primo j o seu produto tambm no o .
Se um nmero primo divide um produto ento divide pelo menos um dos factores.
Se um inteiro c no tem nenhum divisor (,= 1) inferior ou igual a [
_
c], ento c
um nmero primo.
Qualquer inteiro : _ 2 ou primo ou pode escrever-se como produto de nmeros
primos.
A factorizao em factores primos nica.
Se c divisvel por / ento todos os factores primos da decomposio de / existem
na decomposio de c pelo menos o mesmo nmero de vezes.
Se a decomposio em factores primos de c for c = j
1
1
j
2
2
j
k
k
, ento o nmero
total de divisores de c (c
1
+ 1)(c
2
+ 1)...(c
k
+ 1)
28
12.1 Mximo divisor comum e nmeros primos entre si
Denio 10 Sejam c e / nmeros inteiros. Diz-se que c o mximo divisor comum
de c e /. c = :dc(c. /). se c[c e c[/ e, se existe um inteiro tal que d[c e d[/, ento d < c.
Denio 11 Dois inteiros c e / dizem-se primos entre si se :dc(c. /) = 1.
A determinao do mximo divisor comum de dois inteiros pode ser feita com recurso
ao algoritmo de Euclides tendo em ateno o seguinte resultado:
Teorema 12 Se c e / so inteiros tais que c = / +: ento :dc(c. /) = :dc(/. :)
Denio 12 Sejam c e / nmeros inteiros. Diz-se que c o mnimo mltiplo comum
de c e /. c = ::c(c. /). se c mltiplo de c e de / e, se existe um inteiro d que tambm
seja mltiplo de c e de / ento d c.
Enunciam-se seguidamente alguns resultados referentes ao mximo divisor comum e ao
mnimo mltiplo comum:
:dc(c. /) = d == :dc(c/. //) = d/
[:dc(c. /) = d . =
c
d
. / =
/
d
] == :dc(. /) = 1
Se dois nmeros so primos entre si ento a sua soma e o seu produto tambm o
so
Se um nmero dividir o produto de dois factores e for primo com um deles ento
divide o outro.
Se um inteiro divisivel por c e por / e se c e / forem primos entre si ento esse
inteiro divisvel por c/.
Se :dc(c. /) = d ento j. Z tais que jc +/ = d.
Sejam c e / inteiros, ::c(c. /) =
c/
:dc(c. /)
Sejam c e / inteiros. :dc(c. /) = :dc(c +/. ::c(c. /))
O mximo divisor comum de vrios inteiros igual ao produto dos factores primos
comuns com menor expoente.
O menor mltiplo comum de vrios inteiros igual ao produto dos factores primos
comuns e no comuns com maior expoente.
29
13 Congruncias
Denio 13 Sejam c e / dois inteiros quaisquer e seja : um inteiro positivo xo. Diz-se
que c congruente com / mdulo :, c = /(mod :), se : divide a diferena entre c e
/.
Isto , c = /(mod :) == / Z : c / = /:, em particular: c = 0(:od:) == :[c.
Seguem-se alguns resultados bsicos sobre congruncias que podem facilmente ser de-
duzidos a partir das propriedades dos divisores.
Se c = /(mod :) ento c e / divididos por : do o mesmo resto.
A relao de congruncia (para um inteiro positivo : xo) uma relao de
equivalncia em Z. Cada classe de equivalncia contm todos os inteiros que do o
mesmo resto na diviso por :. H, portanto; : classes de equivalncia para cada :.
Seja : um inteiro positivo xo e sejam c. /. c. d. : inteiros quaisquer. Ento:
1. [c = /(mod :) . :[:. : 0] == c = /(mod :)
2. [c = /(mod :) . c 0] == cc = /c(mod :c)
3. [c = /(mod :) . d 0 . d[c . d[/ . d[:] ==
c
d
=
/
d
(mod
:
d
)
4. [c = /(mod :) . c = d(mod :)] == c +c = / +d(mod :)
5. [c = /(mod :) . c = d(mod :)] == cc = /d(mod :)
6. c = /(mod :) == c
n
= /
n
(mod :)
7. [cc = /c(mod :) . :dc(c. :) = d] == c = /(mod
:
d
)
Denio 14 o = :
1
. .... :
m
diz-se um sistema completo de restos mdulo : se
qualquer inteiro c congruente mdulo : com um nico elemento de o.
Exemplos
o = 0. 1. 2. .... :1 um sistema completo de restos mdulo :.
o = 0. 4. 8 um sistema completo de restos mdulo 3.
30
14 Equaes Diofantinas Lineares
Uma equao diofantina linear da forma cr + / = c, com c. / e c inteiros. Pretende-se
determinar as solues inteiras da equao.
Teorema 13 O mximo divisor comum entre 2 inteiros no nulos c e / o menor inteiro
positivo que se pode escrever como combinao linear de c e de /.
Demonstrao. Seja 1 = r : r = cj +c. j e inteiros e r 0 e d = min 1. (Note-se
que 1 no vazio, pois ou r = 1c + 0/ ou r = (1)c + 0/ um elemento de 1, conforme
c for positivo ou negativo). Seja d = :c + :/. Vamos mostrar que d[c e que d[/. Pelo
algoritmo da diviso: c = d + : com 0 _ : < d. Substituindo d por :c + :/ vem :
c = (:c + :/) + :, ou seja : = (1 :)c :/. Mas como : < d, e d o menor inteiro
positivo que pode ser escrito como combinao linear de c e de / conclui-se que tem que
ser : = 0, logo d[c. De modo anlogo se demonstra que d[/. Falta agora mostrar que d o
maior dos divisores comuns. Basta considerar que, se d = :c + :/, qualquer divisor de c
e de / tambm divisor de d.
Uma vez demonstrado que se d = :dc(c. /) ento d = :c + :/, resta saber como
encontrar os inteiros : e :. Para tal basta aplicar o algoritmo de Euclides determinao
do mximo divisor comum e proceder por substituio para trs.
Exemplo 12 Escrever o mximo divisor comum de 252 e 198 como combinao linear de
252 e 198.
252 = 1 198 + 54
198 = 3 54 + 36
54 = 1 36 + 18
36 = 2 18
Conclui-se assim que 18 = :dc(252. 198).
Pretende-se, pois, escrever 18 = 252:+ 198:.
18 = 1 54 1 36
18 = 1 (252 1 198) 1 (198 3 54) = 1 252 2 198 + 3 54
18 = 1 252 2 198 + 3 (252 1 198))
18 = 4 252 5 198
Teorema 14 Sejam c e / inteiros e d = :dc(c. /). A equao cr+/ = c admite solues
inteiras se e s se d[c, tendo nesse caso uma innidade de solues inteiras. Alm disso,
31
se r
0
e
0
uma soluo da equao ento todas as solues so da forma r = r
0
+:
/
d
e
= o :
c
d
, com : um qualquer inteiro.
Demonstrao. Sejam r e inteiros tais que cr + / = c. Se d = :dc(c. /) ento d[c e
d[/ e, portanto, d[c. Ento, se d no divisor de c, a equao no ter solues inteiras.
Suponhamos agora que d[c. Sabe-se que possvel exprimir o mximo divisor comum
de 2 nmros como combinao linear desses nmeros. Assim, existem inteiros : e t tais
que d = c: + /t. Como d[c, existe um inteiro j tal que c = dj. Multiplicando ambos os
membros da igualdade por j obtm-se: c = dj = (c: + /t)j = c(:j) + /(tj). Assim, foi
encontrada uma soluo da equao, dada por r
0
= :j e
0
= tj.
Para mostrar que h um nmero innito de solues, considere-se r = r
0
+ :
/
d
e
= o :
c
d
, com : um qualquer inteiro. Ento: cr + / = c(r
0
+ :
/
d
) + /(o :
c
d
) =
cr
0
+/
0
= c.
Finalmente, necessrio mostrar que todas as solues so desta forma. Para isso
suponhamos que r e so solues, ento: cr
0
+/
0
= c e cr +/ = c. Subtraindo ambas
as equaes temos que (cr + /) (cr
0
+ /
0
) = 0 ou seja, c(r r
0
) + /(
0
) = 0, ou
ainda c(r r
0
) = /(
0
). Dividindo ambos os membros desta igualdade por d vem:
n(r r
0
) = (
0
), com n e primos entre si. Desta ltima igualdade e do facto de
n e serem primos entre si, conclui-se que n[(
0
). Isto , pode-se armar que h um
inteiro : tal que n: = (
0
), ou seja que =
0

c
d
:. Substituindo este valor de na
igualdade c(r r
0
) = /(
0
) conclui-se nalmente que r = ro +
/
d
:
Exemplo 13 Resolver a equao: 21r = 15(mod 39).
Pretende-se encontrar um inteiro r tal que o resto da diviso de 21r por 39 seja 15,
isto , resolver a equao 21r = 39 + 15, com r e inteiros. Ou seja resolver a equao
diofantina linear 21r 39 = 15. Como :dc(21. 39) = 3 e 3[15 ento a equao tem
soluo. Pelo algoritmo de Euclides temos:
39 = 1 21 + 18
21 = 1 18 + 3
18 = 3 6
donde: 3 = 21 18 = 21 (39 21) = 2 21 1 39 e, multiplicando por 5 vem
15 = 10 21 5 39
Isto o par de inteiros r = 10 e = 5 uma soluo particular da equao diofantina.
32
De acordo com o teorema demonstrado todas as outras solues podem ser obtidas de
r = 10 13: e = 5 7:, com : Z
15 Clculo Combinatrio
O clculo combinatrio tem por objectivo estudar as diferentes maneiras de formar e or-
denar conjuntos, a partir dos elementos de um conjunto dado.
Consideremos o seguinte problema: Com panos de 5 cores - amarelo, verde, preto,
encarnado e branco - quantas bandeiras tricolores diferentes se podem obter, supondo que
os panos so colocados em tiras verticais?
claro que, dadas as condies do problema, 2 bandeiras so diferentes quando tiverem
tiras de cores diferentes, ou quando tiverem tiras das mesmas cores mas em ordem diferente.
Vamos representar as cores pelas suas iniciais: c. . j. c. /. Assim, cada bandeira ser
representada pela sequncia das suas cores, por exemplo: cj. cj. jc/. j/. j/. cc, ... Isto
, as bandeiras tricolores so representadas por ternos ordenados de elementos distintos do
conjunto c. . j. c. /.
Denio 15 Dados : elementos distintos, chamam-se arranjos dos : elementos j a j
aos conjuntos ordenados que possvel obter com j elementos distintos.
O nmero de todos esses conjuntos representado pela notao
m
p
. No difcil
deduzir que:
m
p
=
m
p1
(:j + 1). A partir desta ltima expresso conclui-se que
m
p
=
:!
(:j)!
Se se considerar um arranjo com todos os elementos do conjunto tem-se uma permutao
dos : elementos. O nmero de permutaes facilmente encontrado a partir de:
1
m
=
m
m
=
:!
(::)!
= :!
Quando se pretendem tomar subconjuntos de j elementos de um conjunto de : elemen-
tos, a ordem pela qual os elementos aparecem no interessa. A esses conjuntos chamam-se
33
combinaes de : elementos j a j. O nmero de tais subconjuntos determinado a partir
de
C
m
p
=

m
p
j!
=
:!
(:j)!j!
Finalmente, formar sucesses ordenadas de j elementos quaisquer (no necessariamente
distintos) escolhidos de entre um conjunto de : elementos, a mesma coisa que obter o
produto cartesiano do conjunto de : elementos por si prprio p vezes. A essas sucesses
chamam-se arranjos com repetio ou arranjos completos e o seu nmero dado por:
0m
p
= :
p
15.1 Propriedades da funo C
m
p
a) C
m
p
= C
m
mp
b) C
m
p
= C
m1
p
+C
m1
p1
Estes dois resultados so facilmente vericveis a partir da frmula de clculo e, a partir
deles, possivel justicar a construo do chamado tringulo de Pascal:
C
0
0
C
1
0
C
1
0
C
2
0
C
2
1
C
2
2
C
3
0
C
3
1
C
3
2
C
3
3
Cujas linhas se obtm umas das outras, bastando para tal somar os dois elementos que
se encontram por cima de cada elemento:
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
34
15.2 Binmio de Newton
Uma das aplicaes mais importantes do tringulo de Pascal e das suas propriedades na
deduo e aplicao da frmula do binmio de Newton:
(1 +r)
n
=
n
k=0
C
n
k
r
k
Demonstrao. (por induo)
1) A propriedade vlida para : = 1
(1 +r)
1
=
1
k=0
C
1
k
r
k
= C
1
0
r
0
+C
1
1
r
1
= 1 +r
2) A propriedade hereditria
Hiptese de induo: A propriedade vlida para j _ :, isto ,
(1 +r)
p
=
p
k=0
C
p
k
r
k
para j _ :.
necessrio mostrar que, ento, a propriedade vlida para j = : + 1:
(1 +r)
n+1
= (1 +r)
n
(1 +r) =
_
n
k=0
C
n
k
r
k
_
(1 +r) =
n
k=0
C
n
k
r
k
+
n
k=0
C
n
k
r
k+1
=
= C
n
0
+
n
k=1
_
C
n
k1
+C
n
k
_
r
k
+C
n
n
r
n+1
Vamos agora usar as igualdades C
n+1
k
= C
n
k1
+C
n
k
e C
n
0
= C
n
n
= 1 para obter:
(1 +r)
n+1
= C
n+1
0
+
n
k=1
C
n+1
k
r
k
+C
n+1
n+1
r
n+1
=
n+1
k=0
C
n+1
k
r
k
o que termina a demonstrao.
Esta frmula facilmente generalizada para obter o desenvolvimento de (c +/)
n
. Com
efeito, uma vez que (c +/)
n
= c
n
_
1 +
/
c
_
n
, pode-se agora usar a frmula anterior fazendo
r =
/
c
para obter:
_
1 +
/
c
_
n
=
n
k=0
C
n
k
_
/
c
_
k
e, substituindo, obter, nalmente
(c +/)
n
= c
n
n
k=0
C
n
k
_
/
c
_
k
=
n
k=0
C
n
k
c
nk
/
k
.
35
Exemplo 14 Calcular o termo em r
4
do desenvolvimento de
_
r +
1
2r
_
10
.
_
r +
1
2r
_
10
=
10
k=0
C
10
k
r
10k
_
1
2r
_
k
=
10
k=0
C
10
k
r
102k
2
k
. Ento, o termo procurado cor-
responde a 10 2/ = 4, ou seja / = 3. Assim, o termo pretendido
C
10
3
2
3
r
4
=
10!
7!3!
1
8
r
4
= 15r
4
.
16 Teoria de Grafos
16.1 Introduo
Era uma vez uma cidade no reino da Prssia. A cidade chamava-se Knigsberg e espraiava-
-se por ambas as margens de um rio e por duas ilhas bem no meio do rio. Estvamos
no incio do sculo XVIII. No havia telenovelas, nem futebol, nem telemveis nem se
mandavam e-mails nem SMS. Ao Domingo, quando fazia bom tempo, as famlias, depois
de sarem da igreja, passeavam nos seus melhores trajes. A cidade no era muito grande,
mas tinha a particularidade interessante de ter sete pontes a ligar as margens do rio e as
duas ilhas como se mostra esquematicamente na gura 1.
Havia uma espcie de jogo com que as famlias se divertiam, que consistia em sair
de uma zona da cidade (A, B, C ou D) e tentar regressar ao mesmo stio depois de ter
atravessado todas as sete pontes uma nica vez. Depois de muitos Domingos e de muitos
passeios nunca nenhuma famlia tinha conseguido esse objectivo e comeava-se a pensar na
cidade se tal seria de facto possvel.
S alguns anos mais tarde que Leonard Euler demonstrou que efectivamente
tal passeio era impossvel. A demonstrao apareceu num artigo de 1736 chamado So-
lutio problematis ad geometriam situs pertinentis, o que quer dizer qualquer coisa como:
"Soluo de um problema relacionado com a geometria da posio". Este artigo apareceu
no nmero 8 dos Commentarii Academi Scientiarum Imperialis Petropolitan. A lin-
guagem utilizada no era a actualmente empregue quando se fala de grafos, mas as ideias
estavam todas l.
Na simbologia actualmente utilizada, pode-se representar este problema esquematica-
mente, fazendo corresponder a cada regio da cidade um ponto e a cada ponte entre essas
36
Figura 1: Esquema das pontes de Knigsberg
regies um segmento, recto ou curvo como der mais jeito ao desenho, unindo os pontos cor-
respondentes s regies ligadas pelas pontes que os segmentos representam. Deste modo,
obtm-se o esquema da gura 2.
A cada ponto chamamos vrtice e a cada segmento chamamos aresta. E o que acabou
de se representar um grafo.
A ideia da demonstrao de que o passeio pretendido impossvel muito simples:
Sempre que se atravessa para uma parte da cidade preciso sair de l. Isto , sempre que
se chega a um vrtice do grafo usando uma aresta preciso que haja outra aresta para sair
de l, ou seja, o nmero de arestas que chegam a cada vrtice tem que ser par. Portanto,
como no grafo que representa a cidade h vrtices onde chega um nmero impar de arestas,
tal passeio no possvel.
Mas os grafos no tm utilidade s para encontrar a soluo de jogos. Problemas desde
a colocao de sinais de sentido proibido e o estabelecimento de percursos alternativos,
a regulao da temporizao dos semforos nos cruzamentos, a sequncia de ruas que
um carteiro deve percorrer para entregar a correspondncia, os percursos a efectuar pelos
carros que lavam as ruas das cidades, as rondas dos polcias e muitos outros podem ter uma
soluo mais eciente usando conceitos de grafos. At as agncias de casamentos teriam
37
Figura 2: Esquema de Euler
muito a ganhar em ecincia se tivessem especialistas em grafos no seu pessoal.
Antes de denirmos com todo o rigor matemtico o que um grafo, vejamos mais o
seguinte exemplo: Cinco turistas de diferentes nacionalidades encontram-se num aeroporto
onde passam longas horas espera de um avio de ligao que os levar para um destino
comum. O conhecimento de lnguas destes cinco personagens grande, mas no h uma
lngua que todos falem, pelo que a conversa no se generaliza. Na tabela seguinte listam-se
os idiomas falados pelas cinco pessoas:
Turista
Lngua
Ingls Alemo Francs Espanhol
p * * * -
q - * - *
r * - - *
s - * * -
t * - * *
Quem que fala com quem?
Vamos representar cada turista por um vrtice. Unimos dois vrtices por uma aresta
sempre que esses dois turistas tenham uma lngua em comum:
38
Figura 3: Quem fala com quem?
Por uma simples observao do grafo conclumos que s os turistas r e s no conseguem
falar um com outro, visto no haver nenhuma aresta entre estes dois vrtices, todos os
outros esto ligados directamente, pelo que todos podem falar entre si.
Repare-se que se quisssemos saber quem que fala com quem e em quantas lnguas,
teramos que usar uma aresta para cada lngua, obtendo-se o grafo da gura 4.
Figura 4: Em quantas lnguas?
A representao grca comea a car muito complicada e j bvio que necessrio
encontrar um processo mais eciente de fazer a representao das interligaes existentes
entre os vrtices.
Alm do mais, se o tratamento tiver que ser feito informaticamente, o que ser inevitvel
a partir de certo nmero de vrtices e/ou arestas, o desenho no a forma mais conveniente.
Surgiu assim a ideia de se representar as ligaes entre os vrtices usando uma matriz
quadrada, de dimenso igual ao nmero de vrtices. Cada linha/coluna corresponde a
39
um vrtice. A entrada da matriz na linha i e coluna , representa o nmero de arestas
que unem os vrtices i e ,. Repare-se que nos exemplos at agora apresentados a matriz
correspondente simtrica, mas no difcil encontrar exemplos em que a matriz no seja
simtrica. Pensemos por exemplo num mapa representando as ruas de uma cidade. Neste
caso, os vrtices representam cruzamentos ou rotundas e as arestas representam as ruas
entre esses cruzamentos e essas rotundas. Como inevitvel que numa cidade haja ruas
de sentido nico, temos aqui um exemplo em que a matriz no simtrica, pois se h uma
rua de sentido nico entre os vrtices i e ,, no h aresta ligando directamente , a i. Um
problema interessante (e til) saber qual a forma de ir de , para i, uma vez que no
se pode circular em ruas no sentido proibido. Para representar no grafo situaes em que
uma aresta s pode ser percorrida num determinado sentido usa-se uma seta para indicar
qual o sentido de circulao sobre a aresta, que, neste caso se passa a chamar arco. Se
todos os arcos puderem ser percorridos em ambos os sentidos dizemos que temos um grafo
no orientado e no h necessidade de usar qualquer seta sobre as arestas. Desde que
pelo menos um dos arcos possa ser percorrido num nico sentido necessrio indicar qual
recorrendo a setas e dizemos que temos um grafo orientado.
Vejamos qual o aspecto das matrizes correspondentes aos grafos representados nas g-
uras 3 e 4 respectivamente:
_
_
0 1 1 1 1
1 0 1 1 1
1 1 0 0 1
1 1 0 0 1
1 1 1 1 0
_
_
_
_
0 1 1 2 2
1 0 1 1 1
1 1 0 0 2
2 1 0 0 1
2 1 2 1 0
_
_
Vejamos agora uma representao esquemtica das ruas da baixa de uma cidade. Os
vrtices representam cruzamentos e os arcos representam ruas entre esses cruzamentos.
Nesta cidade todas as ruas so de sentido nico:
A matriz associada a este grafo obviamente no simtrica:
40
Figura 5: Baixa de uma cidade
_
_
0 1 0 0 0
0 0 1 0 1
1 0 0 1 0
0 1 0 0 0
0 0 0 1 0
_
_
Quando se trata de ruas de sentido nico, um problema premente o de saber se cada
cruzamento pode ser alcanado a partir de todos os outros. A este problema chama-se
conexidade do grafo. Antes de o resolver porm necessrio saber mais alguma coisa sobre
grafos.
16.2 Denies e conceitos bsicos
Agora que j sabemos representar grafos de duas maneiras diferentes e que j falmos em
dois tipos diferentes de grafos, est na altura de denirmos rigorosamente o que um grafo.
Denio 16 Chama-se grafo orientado a um par ordenado G = (A. ), em que A um
conjunto e _ A A. A A chama-se conjunto de vrtices e a chama-se conjunto
de arcos. Se G for um conjunto de subconjuntos de A com 2 elementos (isto , pares
no ordenados) o grafo diz-se no orientado. Neste caso aos elementos de G chamam-se
arestas.
41
A m de melhor estudar certos fenmenos que se passam num grafo , muitas vezes,
vantajoso estudar o que se passa em partes desse mesmo grafo. Surgem assim as seguintes
denies:
Denio 17 Seja G = (A. ) um grafo e seja G
Y
= (1.
Y
) outro grafo tal que 1 _ A
e
Y
= (1 1 ). A G
Y
chama-se um subgrafo de G.
Denio 18 Seja G = (A. ) um grafo e seja G
= (A. ) outro grafo tal que _ .

A G
chama-se um grafo parcial de G.

Repare-se na diferena destes dois conceitos. Enquanto que num subgrafo se escolhe um
subconjunto do conjunto de vrtices e se mantm todas as arestas que existiam entre eles,
num grafo parcial mantm-se todos os vrtices e suprimem-se algumas arestas. Vejamos
um exemplo:
Figura 6: Exemplo de subgrafo
Na gura 6 o grafo da direita resulta do grafo da esquerda por supresso do vrtice E
e de todas as arestas que partem dele. De acordo com a denio o grafo da direita um
subgrafo do grafo da esquerda.
Na gura 7 no grafo da direita mantiveram-se os mesmos vrtices do grafo da esquerda
mas retiraram-se algumas arestas. De acordo com a denio, dizemos que o grafo da
direita um grafo parcial do grafo da esquerda.
Repare-se que os grafos no orientados podem ser transformados em grafos orientados
se cada aresta no orientada for substituda por dois arcos de sentidos opostos.
42
Figura 7: Exemplo de grafo parcial
16.3 Matrizes de grafos
Denio 19 Seja G = (A. ) um grafo, tal que #A = :. A matriz de adjacncia de G
uma matriz ` : :, tal que
_
_
:
ij
= 1
:
ij
= 0
se (r
i
. r
j
)
se (r
i
. r
j
) ,
(Estamos a designar os elementos de A por r
i
. i = 1. .... :)
J se viram atrs alguns exemplos de matrizes de adjacncia.
Repare-se que as denies at agora dadas no mencionam o facto de poder haver
mais do que uma aresta ou arco entre dois vrtices. Se houver mais do que uma aresta ou
arco entre dois vrtices, isso signica que se admite que o conjunto G possa ter elementos
repetidos. Nesse caso, a entrada correspondente na matriz de adjacncia em vez de ser 1
ser igual ao nmero de vezes que essa aresta ou arco aparece repetido, como tambm j
se viu atrs. Quando esta situao acontece dizemos que temos arestas mltiplas.
Tambm pode acontecer haver um arco a ligar um vrtice a si prprio, o que corresponde
a haver em um par da forma (r
i
. r
i
). A um tal arco chama-se lao.
Denio 20 Um grafo sem laos e sem arestas mltiplas chama-se simples.
Em termos computacionais, a representao de um grafo depende da situao que se est
a modelar e, muitas vezes, do algoritmo que se pretende utilizar. Uma outra representao
matricial tambm muito utilizada a chamada matriz de incidncia.
43
Denio 21 Seja G = (A. ) um grafo, tal que #A = : e # = :. A matriz de incidncia
de G uma matriz ` : :, tal que
_
_
:
ij
= 1
:
ij
= 1
:
ij
= 0
se / : n
j
= (r
i
. r
k
) . r
i
,= r
k
se / : n
j
= (r
k
. r
i
) . r
i
,= r
k
nos outros casos
.
_
_
i = 1. . . . . :
, = 1. . . . . :
Vejamos como funciona esta matriz com o grafo da gura 5. Primeiro preciso comear
por ordenar os arcos. A numerao mais usual a lexicogrca, isto , comea-se com os
arcos que comeam no primeiro vrtice e numeram-se por ordem do segundo vrtice, depois
faz-se a mesma coisa para o segundo vrtice e assim por diante. Temos ento:
_
_
n
1
= (. 1)
n
2
= (1. C)
n
3
= (1. 1)
n
4
= (C. )
n
5
= (C. 1)
n
6
= (1. 1)
n
7
= (1. 1)
e ` =
_
_
1 0 0 1 0 0 0
1 1 1 0 0 1 0
0 1 0 1 1 0 0
0 0 0 0 1 1 1
0 0 1 0 0 0 1
_
_
Repare-se que em cada coluna h um nico elemento igual a 1 e um nico igual a -1,
sendo todos os outros nulos. O nmero de elementos iguais a 1 numa linha d o nmero de
arcos que sai do vrtice correspondente a essa linha, enquanto que o nmero de elementos
iguais a -1 d o nmero de arcos que chegam ao vrtice correspondente a essa linha.
16.4 Graus dos vrtices
Denio 22 Chama-se semigrau exterior do vrtice r
i
(q:
+
(r
i
)) ao nmero de arcos que
saem de r
i
. Chama-se semigrau interior do vrtice r
i
(q:
(r
i
)) ao nmero de arcos que
chegam a r
i
. Se o grafo for no orientado, estes dois valores so iguais e designam-se
simplesmente por grau de r
i
(q:(r
i
)).
44
A partir da denio de grau de um vrtice num grafo no orientado conclui-se
facilmente que:
Lema 1 A soma dos graus dos vrtices num grafo no orientado um nmero par que
igual ao dobro do nmero de arestas.
Com efeito, cada aresta contada duas vezes no cmputo da soma dos graus: uma
vez para cada um dos vrtices nos seus extremos.
Corolrio 1 Num grafo no orientado o nmero de vrtices com grau impar par.
No difcil estabelecer um resultado anlogo para grafos orientados, agora so-
mando os semigraus exteriores e os semigraus interiores de todos os vrtices.
Tendo a representao do grafo pela matriz de adjacncia, o semigrau exterior
de um vrtice igual ao nmero de elementos iguais a 1 na linha correspondente a esse
vrtice, enquanto que o semigrau interior o nmero de elementos iguais a 1 na coluna
correspondente a esse vrtice. Se o grafo for no orientado, a matriz simtrica e esses
dois valores so iguais.
Tendo a representao do grafo pela matriz de incidncia, o semigrau exterior de
um vrtice igual ao nmero de elementos iguais a 1 na linha correspondente a esse vrtice,
enquanto que o semigrau interior igual ao nmero de elementos iguais a 1 nessa mesma
linha. claro que se o grafo for no orientado estes dois valores so iguais.
Denio 23 Um grafo no orientado em que todos os vrtices tm o mesmo grau diz-se
regular.
Denio 24 Um grafo orientado diz-se pseudo-simtrico se para todos os vrtices r
i
se
verica q:
+
(r
i
) = q:
(r
i
).
16.5 Sucessores e antecessores
A representao por matriz de adjacncia das mais simples, mas, para grafos de grandes
dimenses pouco prtica, pois ocupa muito espao e os programas tornam-se muito
demorados. A representao por matriz de incidncia, normalmente ainda ocupa mais
espao, s sendo por isso utilizada em certos algoritmos que tiram partido da sua estrutura.
Um processo mais econmico (em termos de espao) de representar grafos computa-
cionalmente o das chamadas listas de sucessores e/ou antecessores.
45
Denio 25 Um vrtice r
i
diz-se sucessor do vrtice r
j
se existir o arco (r
j
. r
i
). Neste
caso o vrtice r
j
diz-se antecessor de r
i
.
Vamos representar o grafo da gura 16.5 por meio de uma lista de sucessores:
r 1 C 1 1
+
(r) 1 C . 1 1 . 1. 1
De modo anlogo se pode denir uma lista de antecessores:
r 1 C 1 1
(r) C. 1 . C. 1 1 C. 1 ?
Num computador estas listas podem ser representadas de modo muito mais econmico,
por meio de apontadores, do que atravs de qualquer uma das matrizes anteriormente
denidas.
A noo de sucessor (antecessor) de um vrtice pode ser estendida para um conjunto
de vrtices, como sendo o conjunto de todos os vrtices que so sucessores (antecessores)
dos vrtices do conjunto.
Assim, por exemplo, pode-se escrever
+
(1. C) = . C. 1 e
(1. C) = . 1. C. 1
E agora podemos denir o conjunto sucessor (antecessor) dos sucessores (antecessores)
de um conjunto:
+2
(1. C) =
+
(. C. 1) = . 1. C. 1 e
2
(1. C =
(. 1. C. 1) = . 1. C. 1. 1
46
Continuando a procurar os sucessores dos sucessores e os antecessores dos antecessores,
podemos denir recursivamente o conjunto de sucessores e de antecessores de ordem : de
um vrtice ou de um conjunto de vrtices:
+n
(r
i
) = (
+(n1)
(r
i
)
e
n
(r
i
= (
(n1)
(r
i
))
Fazendo a reunio dos conjuntos de sucessores que se obtm sucessivamente possvel saber
a quais vrtices que se pode chegar partindo de um determinado vrtice. Do mesmo modo,
fazendo a reunio dos conjuntos de antecessores que se obtm sucessivamente possvel
saber de que vrtices que se pode partir para chegar a um determinado vrtice.
16.6 Caminhos e conectividade
Denio 26 Dados dois vrtices distintos r
i
e r
j
chama-se caminho entre r
i
e r
j
a uma
sucesso de arcos tais que cada arco comea onde o anterior acaba, o primeiro arco da
sucesso comea em r
i
e o ltimo termina em r
j
. Ao nmero de arcos desse caminho
chama-se comprimento do caminho. Se o caminho comear e acabar no mesmo vrtice
chama-se circuito.
Para se saber se existe ou no um caminho entre dois vrtice preciso analisar os
sucessivos conjuntos de sucessores do vrtice r
i
.
Denio 27 Chama-se fecho transitivo do vrtice r
i
ao conjunto dos vrtices para os
quais existe um caminho, de qualquer comprimento a partir, de r
i
. Este conjunto pode ser
determinado por
+
(r
i
) = r
i
'
+
(r
i
) '
+2
(r
i
) ' ... '
+n
(r
i
) ' ...
Denio 28 Dene-se fecho transitivo inverso do vrtice r
i
como o conjunto dos vr-
tices a partir dos quais existe um caminho, de qualquer comprimento, que chega a r
i
. e
determina-se atravs de
(r
i
) = r
i
'
(r
i
) '
2
(r
i
) ' ... '
n
(r
i
) ' ...
47
Figura 8: Determinao de caminhos
Vamos exemplicar estes conceitos utilizando o grafo da gura 8.
Comecemos por determinar o fecho transitivo do vrtice r
1
.
+
(r
1
) = r
2
. r
6
+2
(r
1
) =
+
(r
2
. r
6
) = r
1
. r
3
. r
4
. r
5
+3
(r
1
) =
+
(r
1
. r
3
. r
4
. r
5
) = r
1
. r
2
. r
3
. r
4
. r
6
+4
(r
1
) =
+
(r
1
. r
2
. r
3
. r
4
. r
6
) = r
1
. r
2
. r
3
. r
4
. r
5
. r
6
Como j chegamos a um conjunto que tem todos os vrtices do grafo, no necessrio

continuar procura de sucessores.
Temos ento:

+
(r
1
) = r
1
. r
2
. r
3
. r
4
. r
5
. r
6
.
Vejamos agora qual o fecho transitivo inverso do mesmo vrtice:
(r
1
) = r
2
. r
5
. r
6
2
(r
1
) =
(r
2
. r
5
. r
6
) = r
1
. r
2
. r
5
3
(r
1
) =
(r
1
. r
2
. r
5
) = r
2
. r
5
. r
6
Tambm, neste caso, no preciso continuar procura de antecessores uma vez que os
conjuntos r
2
. r
5
. r
6
e r
1
. r
2
. r
5
vo alternar e no se vai obter mais nenhum vrtice.
Temos assim:

(r
1
) = r
1
. r
2
. r
5
. r
6
.
Se zermos a interseco dos dois conjuntos

+
(r
1
) e

(r
1
) obtemos o conjunto
de todos os vrtices que esto ligados a r
1
por um caminho de ida e de volta.
Denio 29 Chama-se componente fortemente conexa de r
i
e representa-se por C(r
i
),
ao conjunto de todos os vrtices que esto ligados a r
i
por um caminho de ida e volta. Ou
seja,
C(r
i
) = .
+
(r
1
)
(r
1
)
48
claro que determinando a componente fortemente conexa de qualquer outro vrtice de
C(r
1
) se obtm exactamente o mesmo conjunto: C(r
1
) = r
1
. r
2
. r
5
. r
6
. Os vrtices
r
3
e r
4
caram de fora desta componente. Vamos agora determinar C(r
3
).
Comea-se por determinar o fecho transitivo de r
3
:
+
(r3) = r4
+2
(r
3
) =
+
(r
4
) = r
3
E no preciso procurar mais sucessores. Temos assim:

+
(r
3
) = r
3
. r
4
.
Vejamos agora qual o fecho transitivo inverso do mesmo vrtice:
(r
3
) = r
4
. r
6
2
(r
3
) =
(r
4
. r
6
) = r
2
. r
3
. r
5
3
(r
3
) =
(r
2
. r
3
. r
5
) = r
1
. r
2
. r
4
. r
6
E no preciso procurar mais antecessores:

(r
1
) = r
1
. r
2
. r
3
. r
4
. r
5
. r
6
.
Fazendo agora a interseco de .
+
(r
1
) e

(r
1
) obtm-se C(r
3
) = r
3
. r
4
.
Conclui-se assim que este grafo tem duas componentes fortemente conexas.
Vamos seguidamente estudar o processo de determinar as componentes fortemente
conexas de um grafo utilizando a sua matriz de adjacncia. Vamo-nos socorrer do grafo da
gura 8. Escreve-se, em primeiro lugar, a sua matriz de adjacncia:
` =
_
_
0 1 0 0 0 1
1 0 0 1 1 0
0 0 0 1 0 0
0 0 1 0 0 0
1 0 0 1 0 1
1 0 1 0 0 0
_
_
Comecemos por determinar o fecho transitivo do vrtice r1. Na primeira linha da
matriz encontramos elementos iguais a 1 nas posies 2 e 6, isso signica que existe um
arco entre o vrtice r1 e os vrtices r2 e r6. Seguidamente inspeccionam-se as linhas
correspondentes a r2 e r6 procura de elementos iguais a 1. Esses elementos do-nos
a informao dos vrtices para aos quais se pode chegar partindo do vrtice r1 usando
caminhos de comprimento dois. Prossegue-se inspeccionando as linhas correspondentes a
estes novos vrtices e assim por diante at que acontea uma de duas situaes: ou j temos
49
todos os vrtices, ou j se inspeccionaram todas as linhas e no se juntaram mais vrtices
ao conjunto. Para simplicar comeamos por denir um vector que colocamos frente da
matriz e onde vamos marcando os vrtices que se podem alcanar com um nmero igual
ao comprimento do menor caminho utilizado. Assim, comeamos por:
` =
_
_
0 1 0 0 0 1
1 0 0 1 1 0
0 0 0 1 0 0
0 0 1 0 0 0
1 0 0 1 0 1
1 0 1 0 0 0
_
_
_
_
0
1
1
_
_
_
_
0
1
2
2
2
1
_
_
isto , pode-se ir de r
1
para r
2
e para r
6
usando um caminho de comprimento 1 e para
os restantes vrtices usando um caminho comprimento 2 ( claro que de r
1
para ele prprio
o comprimento do caminho 0.
Conclumos que

+
(r
1
) = r
1
. r
2
. r
3
. r
4
. r
5
. r
6
. Passemos agora determinao do
fecho transitivo inverso. O processo semelhante, s que, em vez de inspeccionarmos as
linhas, vamos inspeccionar as colunas da matriz de adjacncia. Usamos como auxiliar um
vector linha que colocamos por debaixo da matriz e que construmos usando a mesma
lgica:
` =
_
_
0 1 0 0 0 1
1 0 0 1 1 0
0 0 0 1 0 0
0 0 1 0 0 0
1 0 0 1 0 1
1 0 1 0 0 0
_
_
_
0 1 1 1
_
50
Repare-se que agora inspeccionando as colunas assinaladas com 1 no se conseguem
marcar mais colunas, pelo que temos

(r
1
) = r
1
. r
2
. r
5
. r
6
.
Aps a determinao da componente fortemente conexa que contm r
1
, vamos determi-
nar as componentes fortemente conexas dos vrtices que caram de fora desta componente.
Como C(r
1
) = r
1
. r
2
. r
5
. r
6
, podemos optar por r
3
ou por r
4
. Como j se viu, se
formos estudar a componente de qualquer outro vrtice j includo em C(r
1
) obter-se-
exactamente o mesmo conjunto. Tambm se percebe facilmente que as componentes
conexas dos vrtices que caram de fora no vo incluir qualquer dos vrtices de C(r
1
).
Vamos, portanto, estudar s os sucessores e antecessores no subgrafo em que o conjunto
de vrtices r
1
. r
2
. r
3
. r
4
. r
5
. r
6
C(r
1
), ou seja, toma-se para conjunto de vrtices
do subgrafo r
3
. r
4
. A matriz de adjacncia s tem as linhas e colunas correspondentes a
estes vrtices e o processo repetido:
_
_
0 1
1 0
_
_
_
_
0
1
_
_
_
0 1
_
Conclui-se assim que C(r
3
) = r
3
. r
4
.
Repare-se que cada componente conexa pode ser denida atravs de uma relao no
conjunto dos vrtices: r
i
e r
j
pertencem mesma componente fortemente conexa se e s
se existe uma caminho de ida e volta entre os dois vrtices. fcil vericar que se trata
de uma relao de equivalncia e que, portanto, as componentes fortemente conexas so,
na realidade classes de equivalncia que fazem uma partio no conjunto dos vrtices.
Denio 30 Um grafo orientado em que haja uma s componente fortemente conexa
diz-se fortemente conexo.
Nalguns casos suciente que haja uma ligao entre os vrtices independentemente do
sentido. Nesse caso admite-se a construo de caminhos que utilizem arestas em "sentido
proibido". Na prtica o processo decorre como se todos os arcos se transformassem em
arestas. As componentes obtidas deste modo chamam-se componentes conexas.
Denio 31 Um grafo orientado em que haja uma s componente conexa diz-se conexo.
Denio 32 Num grafo conexo a uma aresta cuja retirada transforma o grafo num grafo
desconexo chama-se um istmo.
51
A determinao das componentes conexas bastante mais simples, pois, neste caso, o
conjunto dos sucessores e dos antecessores o mesmo. S necessrio construir, a partir
da matriz de adjacncia, uma matriz auxiliar, correspondente ao grafo no orientado que
se obtm quando se transformam os arcos em arestas. Esta nova matriz obviamente
simtrica e obtm-se do seguinte modo:
c
ij
=
_
_
0 se :
ij
= :
ji
= 0
1 se nos outros casos
_
_
i = 1. . . . . :
, = 1. . . . :
No exemplo anteriormente tratado, correspondente ao grafo da gura 8, querendo de-
terminar as componentes conexas, comea-se por construir a matriz auxiliar como foi
descrito e fazer a determinao das componentes sobre a matriz auxiliar. Assim:
` =
_
_
0 1 0 0 0 1
1 0 0 1 1 0
0 0 0 1 0 0
0 0 1 0 0 0
1 0 0 1 0 1
1 0 1 0 0 0
_
_
=
_
_
0 1 0 0 1 1
1 0 0 1 1 0
0 0 0 1 0 1
0 1 1 0 1 0
1 1 0 1 0 1
1 0 1 0 1 0
_
_
_
_
0
1
2
2
1
1
_
_
Conclui-se assim que o grafo da gura 8 conexo, pois tem uma nica componente
conexa. Num grafo no orientado no faz sentido em falar em componentes fortemente
conexas, pois os conceitos de conexo e fortemente conexo correspondem mesma realidade.
A determinao das componentes fortemente conexas permite identicar todos os pares
de vrtices entre os quais existem caminhos, mas no nos fornece informao completa
sobre o nmero e o comprimento dos caminhos existentes.
Vejamos no grafo da gura 9 como determinar todos os caminhos entre os vrtices A e
E que no passem mais do que uma vez pelo mesmo vrtice.
Como o grafo de muito reduzida dimenso relativamente fcil, por simples inspeco,
determinar todos os caminhos pretendidos:
52
Figura 9: Determinao de caminhos
C 1;
1 1;
1 1 1;
1 C 1;
1 1 C 1
Este grafo s tem 5 vrtices e pretendem-se caminhos que no repitam vrtices, por isso
no se vai alm dos caminhos de comprimento 4.
Vejamos um processo de encontrar estes caminhos sem ser por observao do grafo.
Comecemos por escrever a matriz de adjacncia deste grafo:
` =
_
_
0 1 1 1 0
0 0 0 1 0
1 0 0 0 1
0 0 1 0 1
0 0 0 0 0
_
_
O elemento :
15
nulo, este facto informa-nos que no existe qualquer caminho de
comprimento 1 entre os vrtices e 1.
Calculando `
2
obtm-se informao sobre os caminhos com dois arcos. Com efeito,
se h um caminho de comprimento 2 entre os vrtices r
i
e r
j
, isso signica que existe
um vrtice r
k
tal que h um arco entre r
i
e r
k
e outro entre r
k
e r
j
, ou seja :
ik
= 1 e
53
:
kj
= 1. Como :
(2)
ij
=
n
k=1
:
ik
:
kj
, facilmente se percebe que este valor d informao
sobre o nmero de caminhos de comprimento 2 entre os vrtices ri e r,.
`
2
=
_
_
0 1 1 1 0
0 0 0 1 0
1 0 0 0 1
0 0 1 0 1
0 0 0 0 0
_
_
_
_
0 1 1 1 0
0 0 0 1 0
1 0 0 0 1
0 0 1 0 1
0 0 0 0 0
_
_
=
_
_
1 0 1 1 2
0 0 1 0 1
0 1 1 1 0
1 0 0 0 1
0 0 0 0 0
_
_
Temos :
(2)
15
= 2, sabemos assim que h dois caminhos de comprimento 2 entre e
1. Para saber quais so esses caminhos preciso averiguar quais os produtos que deram
origem aquele 2: :
(2)
15
= :
13
:
35
+ :
14
:
45
. Temos assim os caminhos: C 1 e
1 1.
De modo anlogo, a matriz `
3
d informao sobre o nmero de caminhos de compri-
mento 3:
`
3
= ``
2
=
_
_
0 1 1 1 0
0 0 0 1 0
1 0 0 0 1
0 0 1 0 1
0 0 0 0 0
_
_
_
_
1 0 1 1 2
0 0 1 0 1
0 1 1 1 0
1 0 0 0 1
0 0 0 0 0
_
_
=
_
_
1 1 2 1 2
1 0 0 0 1
1 0 1 1 2
0 1 1 1 0
0 0 0 0 0
_
_
:
(3)
15
= :
12
:
(2)
25
+ :
14
:
(2)
45
= :
12
:
24
:
45
+ :
14
:
43
:
35
. Temos assim os caminhos
1 1 1 e 1 C 1.
Continuando:
54
`
4
= ``
3
=
_
_
0 1 1 1 0
0 0 0 1 0
1 0 0 0 1
0 0 1 0 1
0 0 0 0 0
_
_
_
_
1 1 2 1 2
1 0 0 0 1
1 0 1 1 2
0 1 1 1 0
0 0 0 0 0
_
_
=
_
_
2 1 2 2 3
0 1 1 1 0
1 1 2 1 2
1 0 1 1 2
0 0 0 0 0
_
_
:
(4)
15
= :
12
:
(3)
25
+:
13
:
(3)
35
= :
12
:
24
:
43
:
35
+:
13
:
31
:
13
:
35
+:
13
:
31
:
14
:
45
. Temos
assim os caminhos 1 1 C 1 , C C 1
e C 1 1. Como o objectivo era encontrar caminhos que no
repetissem vrtices, s o primeiro destes caminhos cumpre esse objectivo.
O problema de, num dado grafo, determinar caminhos que no repitam arestas ou no
repitam vrtices tem inmeras aplicaes prticas, como veremos. Na maior parte dessas
aplicaes, trabalha-se com grafos no orientados e o objectivo encontrar um circuito que
contenha todos os vrtices ou todas as arestas sem repetio.
Denio 33 Um caminho ou circuito diz-se elementar se todos os vrtices por onde passa
so distintos. Um circuito elementar que contenha todos os vrtices de um grafo no
orientado diz-se circuito de Hamilton.
No exemplo anterior procuravam-se todos os caminhos elementares entre os vrtices A
e E.
16.7 Circuitos e caminhos de Euler
Denio 34 Um caminho ou circuito diz-se simples se todos os arcos ou arestas que o
constituem so distintas. Um circuito simples que contenha todas as arestas de um grafo
no orientado diz-se circuito de Euler.
O problema das pontes de Knigsberg na realidade o problema de encontrar um
circuito de Euler, que j sabemos no existir para aquele grafo.
Teorema 15 Num grafo no orientado conexo existe um circuito de Euler se e s se todos
os vrtices tiverem grau par.
55
Demonstrao. Existe circuito de Euler == todos os vrtices tm grau par.
Se existe um circuito de Euler, ento sempre que se chega a um vrtice preciso sair e,
por isso, as arestas incidentes em cada vrtice tm que ser em nmero par.
Todos os vrtices tm grau par == existe circuito de Euler
Se todos os vrtices tm grau par o grafo deve conter pelo menos um circuito. Com
efeito, considere-se um grafo G com : arestas e todos os vrtices com grau par. Seja C o
caminho de maior comprimento que se pode ter em G. Sejam os vrtices desse caminho
r
1
r
2
....r
p1
r
p
. Como r
p
tem grau par ento ele no pode estar ligado s a r
p1
, mas como
C o caminho de maior comprimento em G, ento a outra aresta deve ligar a um dos
outros vrtices deste caminho, obtendo-se assim o circuito desejado.
Para demonstrar a existncia de umcircuito de Euler procede-se por induo matemtica
sobre o nmero de arestas do grafo.
: = 0
O nico grafo conexo com 0 arestas um grafo s com um vrtice de grau zero, onde
claramente h um circuito de Euler.
Por hiptese de induo, considere-se que todos os grafos conexos com nmero de
arestas inferior a : e em que todos os vrtices tm grau par possuem um circuito de Euler.
Seja agora G um grafo conexo com : arestas e em que todos os vrtices tm grau par.
G tem um circuito. Seja C esse circuito. Num circuito cada vrtice est ligado ao vrtice
anterior e ao seguinte. Se retirarmos de G as arestas de C, o grafo resultante G
0
continua
a ter todos os vrtices com grau par. O grafo G
0
pode no ser conexo. Cada uma das
suas componentes conexas obedece hiptese de induo e, por isso, possui um circuito
de Euler. Estamos em condies de construir um circuito de Euler para G, comeando no
circuito C, usando cada circuito de Euler das componentes conexas de G
0
sempre que um
vrtice de C pertencer a uma dessas componentes, regressando a C exactamente a esse
vrtice e continuando at voltar ao ponto de partida.
Esta demonstrao fornece um processo muito pouco prtico de encontrar um circuito
de Euler. Descreve-se a seguir o algoritmo de Fleury para obteno de circuitos de Euler.
Este um algoritmo fcil de utilizar em clculos mo e tambm de fcil implementao
em computador.
16.7.1 Algoritmo de Fleury
1. Escolher um vrtice qualquer para iniciar.
56
2. Escolher qualquer aresta que saia desse vrtice s escolhendo uma aresta que seja um
istmo se no houver mais nenhuma.
3. Destruir a aresta utilizada
4. Repetir 2 e 3 at chegar ao vrtice inicial.
5. Se no h mais arestas o circuito de Euler est encontrado. Caso ainda haja arestas,
recomear o circuito a partir de um dos vrtices do circuito onde ainda haja arestas
incidentes.
Exemplo 15 Encontrar um circuito de Euler no grafo representado na gura 10.
Figura 10: Circuito de Euler
preciso comear por constatar que realmente existe um tal circuito. Com efeito o
grafo conexo e os graus dos vrtices so: 2, 4, 4, 4, 4, 2.
Comea-se com um vrtice qualquer, por exemplo o vrtice 1, escolhe-se uma aresta que
sai de 1, por exemplo (1, 2). Retira-se essa aresta. Escolhe-se uma aresta que sai de 2, por
exemplo (2, 3). Retira-se essa aresta. Escolhe-se uma aresta que sai de 3, por exemplo (3,
4). Retira-se essa aresta. Escolhe-se uma aresta que sai de 4, por exemplo (4, 5). Retira-se
essa aresta. Neste momento o caminho j construdo 1 2 3 4 5 e o grafo
est com o aspecto que se mostra na gura 11
Continuando o processo, escolhe-se agora uma aresta a sair de 5, por exemplo (5, 6),
retira-se a aresta. E repetindo o processo at acabar as arestas obtinha-se o circuito:
1 2 3 4 5 6 4 2 5 3 1
57
Figura 11: Aplicao do algoritmo de Fleury
Este algoritmo tambm de fcil programao em computador, a partir da matriz de
adjacncia. Vejamos com este mesmo exemplo como poderia funcionar um programa de
computador. A matriz de adjacncia correspondente ao grafo da gura 10
=
_
_
0 1 1 0 0 0
1 0 1 1 1 0
1 1 0 1 1 0
0 1 1 0 1 1
0 1 1 1 0 1
0 0 0 1 1 0
_
_
Um programa de computador tem que fazer uma escolha sistemtica. Suponhamos que
o programa construdo de modo a que a aresta escolhida em cada passo a correspondente
primeira entrada no nula da linha correspondente ao vrtice que est a ser considerado
no momento. Note-se que retirar a aresta do vrtice i para o vrtice , corresponde a anular
as entradas c
ij
e c
ji
da matriz.
Comeando no vrtice 1, inspecciona-se a primeira linha e encontra-se a primeira en-
trada no nula correspondente aresta (1. 2). Faz-se c
12
= c
21
= 0. Agora inspecciona-se
a segunda linha. A primeira entrada no nula c
23
correspondente aresta (2. 3). Faz-se
c
23
= c
32
= 0. Inspecciona-se agora a terceira linha. A primeira entrada no nula cor-
responde aresta (3. 1). Faz-se c
31
= c
13
= 0. Neste momento a matriz de adjacncia
58
modicada est com o aspecto:
0
=
_
_
0 0 0 0 0 0
0 0 0 1 1 0
0 0 0 1 1 0
0 1 1 0 1 1
0 1 1 1 0 1
0 0 0 1 1 0
_
_
e o circuito j construdo 1 2 3 1. Mas agora a primeira linha j no
tem nenhuma entrada no nula. Observa-se o circuito construdo e procura-se o primeiro
vrtice que corresponda a uma linha que ainda tenha alguma entrada no nula. Verica-se
que a segunda linha est nessas condies. Rescreve-se o circuito a acabar no vrtice 2:
2 3 1 2 e continua-se com o processo. Agora a primeira entrada no nula da
linha 2 corresponde aresta (2. 4). Faz-se c
24
= c
42
= 0. Na linha 4 a primeira entrada
no nula corresponde aresta (4. 3). Faz-se c
43
= c
34
35
= c
53
52
= c
25
= 0. Neste momento a matriz de
adjacncia modicada est com o aspecto:
00
=
_
_
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 1 1
0 0 0 1 0 1
0 0 0 1 1 0
_
_
e o circuito construdo at ao momento 2 3 1 2 4 3 5 2.
Agora a linha correspondente ao vrtice 2 j no tem nenhuma entrada no nula. Como
se fez antes, percorre-se o circuito de modo a terminar num vrtice correspondente a uma
59
linha que ainda tenha elementos no nulos: 4 3 5 2 3 1 2 4.
Continuando o processo, escolhia-se agora a aresta (4. 5), depois a (5. 6) e, nalmente a
(6. 4), obtendo-se o circuito de Euler 4 3 5 2 3 1 2 4
5 6 4. De notar que no m do processo a matriz A ca nula.
Suponhamos agora que os habitantes de Knigsberg no se importavam de comear
e acabar o seu passeio em partes diferentes da cidade, desde que atravessassem todas as
pontes sem repetio. Isto , por outras palavras, ser possvel encontrar no grafo da gura
10 um caminho (j no um circuito) que use todas as arestas sem repetio? A resposta
mais uma vez negativa.
Teorema 16 Num grafo conexo no orientado existe um caminho de Euler se e s se
houver exactamente duas arestas com grau impar.
Demonstrao. Unindo os dois vrtices de grau impar por uma aresta teremos um grafo
conexo em que todas as arestas tm grau par. Estamos, assim, em condies de encontrar
um circuito de Euler. Basta escrever o circuito de tal modo que a aresta introduzida seja a
primeira ou a ltima e depois retir-la para obter um caminho de Euler, que vai comear
e acabar nos dois vrtices de grau impar.
Tambm possvel formular resultados sobre a existncia de circuitos e caminhos de
Euler em grafos orientados.
Teorema 17 Num grafo orientado fortemente conexo existe um circuito de Euler se e s
se o grafo for pseudo-simtrico.
Teorema 18 Num grafo orientado fortemente conexo existe um caminho de Euler se e s
se existirem dois vrtices r
p
e r
f
tais que q:
+
(r
p
) q:
(r
p
) = 1 e q:
(r
f
) q:
+
(r
f
) = 1
e para todos os outros vrtices r
j
com , ,= j e , ,= , for q:
+
(r
j
) = q:
(r
j
).
A demonstrao destes teoremas semelhante j apresentada para o caso no orien-
tado.
Vejamos o exemplo da gura 12:
60
Figura 12: Circuito de Euler
q:
+
(1) = q:
(1) = 1
q:
+
(2) = q:
(2) = 2
q:
+
(3) = q:
(3) = 2
q:
+
(4) = q:
(4) = 2
q:
+
(5) = q:
(5) = 2
q:
+
(6) = q:
(6) = 1
_
_
Ento o grafo pseudo-simtrico.
Tambm no difcil constatar que o grafo fortemente conexo. Basta determinar a
componente fortemente conexa de um dos seus vrtices, para concluir que o grafo tem uma
nica componente fortemente conexa.
_
_
0 0 1 0 0 0
1 0 1 0 0 0
0 0 0 1 1 0
0 1 0 0 0 1
0 1 0 1 0 0
0 0 0 0 1 0
_
_
_
_
0
3
1
2
2
3
_
_
_
0 1 3 2 2 3
_
61
O processo para encontrar um circuito de Euler semelhante ao descrito para o caso
no orientado. Uma possvel soluo o circuito 4 6 5 2 1 3
4 2 3 5 4.
16.8 Grafos e relaes binrias
Um grafo orientado sem arestas mltiplas est associado a uma relao binria denida no
conjunto dos seus vrtices. As propriedades da relao traduzem-se em propriedades do
grafo.
Uma relao binria denida no conjunto A identicada com um subconjunto do
produto cartesiano A A.
As relaes binrias podem ter ou no alguma das seguintes propriedades:
1. reexiva \r A. (r. r)
2. simtrica \r. A. (r. ) == (. r)
3. anti-simtrica \r. A. (r. ) == (. r) ,
4. anti-simtrica em sentido lato \r. A. (r. ) . (. r) == r =
5. transitiva \r. . . A. (r. ) . (. .) == (r. .)
A uma relao reexiva corresponde um grafo em que todos os vrtices tm laos.
A uma relao simtrica corresponde um grafo no orientado
Numa relao anti-simtrica s h arcos de um nico sentido e no h laos. Se a
relao for anti-simtrica em sentido lato pode ou no haver laos.
16.8.1 Relaes de equivalncia e componentes fortemente conexas
Uma relao de equivalncia satisfaz as propriedades1, 2 e 5. As classes de equivalncia
dessa relao vo corresponder s componentes conexas do grafo.
Exemplo 16 Considere-se a relao binria denida no conjunto A = 1. 2. 3. 4. 5. 6. 7
atravs de _ AA dado por = (1. 1). (1. 2). (1. 3). (1. 4). (2. 1). (2. 2). (2. 3). (2. 4). (3. 1).
(3. 2). (3. 3). (3. 4). (4. 1). (4. 2). (4. 3). (4. 4). (5. 5). (5. 6). (6. 5). (6. 6). (7. 7). O grafo cor-
respondente a esta relao est representado na gura 13.
62
Figura 13: Relao de equivalncia
Como todos os vrtices tm laos e todos os arcos de ida tm um correspondente arco
de volta, convenciona-se representar grafos deste tipo sem os laos e usando arestas em vez
de arcos, isto , usando um grafo no orientado sem laos, como se mostra na gura 14.
Figura 14: Relao de equivalncia
O grafo formado por componentes conexas, correspondentes s classes de equivalncia
da relao. Dentro de cada componente cada vrtice adjacente a todos os outros. Quando
tal acontece as componentes tm o nome de cliques.
16.8.2 Relaes de ordem e grafos
Uma relao de ordem lata satisfaz as propriedades 1, 4 e 5, enquanto uma relao de
ordem estrita satisfaz as propriedades 3 e 5.
Quando se representa uma relao de ordem atravs de um grafo, para simplicar
63
as notaes, convenciona-se que a orientao dos arco de baixo para cima e no se
representam as arestas que decorrem da transitividade.
Exemplo 17 Considere-se o grafo denido por: A = c. /. c. d. c. , e
= (c. /). (c. c). (c. d). (c. c). (c. ,). (/. d). (/. ,). (c. c). (c. ,). (d. ,)
Como o vrtice c est relacionado com todos os outros deve ser o que ca colocado na
parte inferior do desenho. Repare-se que a existncia dos pares (c. /) e (/. d), num relao
transitiva, obriga existncia do par (c. d). Ento, para simplicar notaes, omite-se o
arco correspondente a este ltimo arco, estando subentendida a sua existncia. Com estas
convenes, o grafo desenha-se como se mostra na gura 15.
Figura 15: Relao de ordem
Como a orientao dos arcos de baixo para cima, pode-se dizer que um vrtice est
relacionado com outro sempre que houver um caminho entre os dois, composto exclusiva-
mente de arcos dirigidos de baixo para cima.
Assim, pode-se concluir que existe o par (c. c) mas no existe o par (/. c).
Se o grafo de uma relao de ordem tal que
\r. A. (r. ) . (. r) . r = .
isto , se todos os elementos esto relacionados, a relao diz-se de ordem total. fcil ver
que o grafo correspondente uma cadeia de baixo para cima.
64
Diz-se que um conjunto onde est denida uma relao de ordem parcial tem um
elemento mnimo . se \r A. (.. r) . De modo semelhante diz-se que o conjunto tem
um elemento mximo n se \r A. (r. n) . No grafo da gura 15 h um elemento
mnimo c. mas no h elemento mximo.
16.9 Grafos completos
Denio 35 Seja G = (A. ) um grafo orientado. Se \r. A. (r. ) , == (. r)
, o grafo diz-se completo.
No se deve confundir este conceito com o de relao anti-simtrica. Num grafo orien-
tado completo a no existncia de um arco entre dois vrtices implica a existncia do arco
simtrico desse, enquanto que nas relaes anti-simtricas a existncia de um arco impede
a existncia do arco simtrico, mas pode no haver qualquer arco entre dois vrtices, quer
num sentido quer noutro.
A gura 16 apresenta um exemplo de um grafo orientado completo.
Figura 16: Grafo orientado completo
No caso dos grafos no orientados, os grafos completos so chamados cliques como j
se viu. Para cada nmero de vrtices : existe uma nica clique que se representa por 1
n
.
A determinao de subgrafos de um grafo que formem cliques um problema de grande
interesse terico e que tem inmeras de aplicaes como veremos mais tarde.
Na gura 17 apresenta-se os grafos completos correspondentes a : = 2. : = 3. : = 4 e
: = 5.
De notar que um grafo no orientado completo regular, isto , todos os vrtices tm
o mesmo grau. , assim, imediato concluir que 1
n
tem : vrtices e
: (: 1)
2
arestas.
65
Figura 17: Alguns grafos completos
16.10 Grafos bipartidos
Denio 36 Se num grafo no orientado for possvel encontrar uma partio do conjunto
dos vrtices A = 1 '2. (1 2 = ?) tal que cada aresta do grafo une um vrtice do conjunto
1 a um vrtice do conjunto 2 e no h arestas entre os vrtices de 1 , nem h arestas entre
os vrtices de 2, diz-se que o grafo bipartido. Se todos os vrtices de 1 estiverem ligadas
a todos os vrtices de 2 o grafo diz-se bipartido completo.
Os grafos bipartidos completos so completamente determinados pelo nmero de vr-
tices nos dois conjuntos de ndices. Designa-se por 1
r;s
o grafo bipartido completo em
que um dos conjuntos de vrtices tem : elementos e o outro tem :. Nas guras 18 e 19
apresentam-se alguns exemplos de grafos bipartidos completos para diferentes valores de
: e de :. Para melhor compreenso os vrtices de um conjunto so pretos e os do outro
conjunto so brancos. Na gura 18 representa-se 1
2;4
de duas maneiras diferentes. O grafo
o mesmo, o que mudou foi a posio relativa dos vrtices. Na gura 19 apresentam-se
representaes de 1
1;3
. 1
2;2
e 1
3;3
.
Figura 18: Duas representaes de 1
2;4
66
Figura 19: Representaes de 1
1;3
. 1
2;2
. 1
3;3
O grafo 1
r;s
tem : + : vrtices e : : arestas. Cada um dos : vrtices do primeiro
conjunto tem grau : e cada um dos : vrtices do segundo conjunto tem grau :. Note-se
tambm que os grafos 1
r;s
e 1
s;r
so iguais. Por conveno escreve-se sempre primeiro o
menor dos valores de : e :.
De modo anlogo se pode denir grafo tripartido e grafo tripartido completo, usando
agora trs conjuntos disjuntos de vrtices em lugar de dois.
Denio 37 Se num grafo no orientado for possvel encontrar uma partio do conjunto
dos vrtices A = 1 '2 '\. (1 2 = ?. 1 \ = ?. \ 2 = ?) tal que cada aresta do
grafo une um vrtice de um dos conjuntos 1. 2 ou \ a um vrtice de outro conjunto e no
h arestas entre os vrtices de um mesmo conjunto, diz-se que o grafo tripartido. Se todos
os vrtices de cada conjunto estiverem ligadas a todos os vrtices dos outros conjuntos, o
grafo diz-se tripartido completo.
Os grafos tripartidos completos, tal como os bipartidos completos, so completamente
determinados pelo nmero de vrtices nos dois conjuntos de ndices. Designa-se por 1
r;s;t
o
grafo tripartido completo em que um dos conjuntos de vrtices tem : elementos, outro tem
: elementos e o terceiro tem t elementos. Na gura 20 apresenta-se, a ttulo de exemplo o
grafo tripartido completo 1
2;2;2
.
16.11 Grafos complementares
Quando uma grafo no completo muitas vezes interessante conhecer o grafo que tem as
arestas que lhe faltam para ser completo. Surge assim o conceito de grafo complementar.
Denio 38 Dado o grafo G = (A. ), chama-se grafo complementar de G e representa-
se por G o grafo que tem A como conjunto de vrtices e A A como conjunto de
arestas.
67
Figura 20: Grafo 1
2;2;2
Exemplo 18 Na gura 21 representa-se um grafo e o seu complementar.
Figura 21: Grafos complementares
Facilmente se constata que o complementar de um grafo completo no tem arestas
(todos os vrtices tm grau zero) e que o complementar do grafo bipartido completo 1
r;s
o grafo desconexo composto de duas componentes conexas 1
r
e 1
s
.
16.12 rvores
Um outro tipo de grafos que tem muitas aplicaes conhecido por rvore.
Denio 39 Uma rvore um grafo no orientado conexo sem circuitos
Denio 40 Uma oresta um grafo no orientado cujas componentes conexas so r-
vores.
As rvores tm vrias propriedades sendo as mais importantes resumidas no seguinte
teorema:
68
Teorema 19 Seja G = (A. ) uma rvore com : 2 vrtices. As seguintes proposies
so equivalentes:
a) G conexo e no tem circuitos.
b) G no tem circuitos e tem : 1 arestas.
c) G conexo e tem : 1 arestas.
d) G no tem circuitos e acrescentando uma aresta cria-se um nico circuito.
e) G conexo e a supresso de uma nica aresta torna-o desconexo.
f ) Qualquer que seja o par de vrtices de A h um nico caminho simples que os
une.
Demonstrao. c) == /)
Sendo G conexo e sem circuitos, retirando uma aresta ca no conexo e ter duas
componentes conexas. Continuando a retirar arestas, por cada aresta retirada cria-se
mais uma componente conexa. Quando se tiverem retirado : 1 arestas obtiveram-se :
componentes conexas. Como o grafo tem : vrtices, cada componente conexa corresponde
a um nico vrtice e o grafo cou sem arestas. Ento o grafo tinha exactamente : 1
arestas.
/) == c)
Por absurdo suponha-se que o grafo no era conexo. Existem dois vrtices em G tais
que no existe nenhum caminho entre eles. Unem-se esses vrtices por uma aresta. O
novo grafo continua a no ter circuitos, porque se se tivesse criado um circuito era porque
havia um caminho entre os dois vrtices. Se o grafo continua a no ser conexo repete-se
o processo de adicionar arestas at que o grafo que conexo e continuar sem circuitos.
Suponhamos que o processo tinha sido repetido / vezes. Ento o novo grafo conexo e
sem circuitos e ter (: 1 +/) arestas. Mas para no haver circuitos o grafo tem que ter
: 1 arestas. Ento tem que ser / = 0, concluindo-se assim que o grafo original j era
conexo.
c) == d)
Por absurdo, supor que o grafo possui pelo menos um circuito. Retirando uma aresta
desse circuito obtm-se um grafo com : 2 arestas, que, como tem : vrtices, no poder
ser conexo. Sendo o grafo conexo e sem circuitos, h um caminho entre cada par de vrtices,
acrescentando uma aresta entre um determinado par de vrtices cria-se um circuito formado
pelo caminho que j existia e por essa nova aresta.
d) == c)
69
Por absurdo supor que o grafo no conexo. Ento, h pelo menos um par de vrtices
entre os quais no existe qualquer caminho. Acrescentando ao grafo a aresta entre esses
dois vrtices cria-se um circuito. Mas isso signica que os dois vrtices estavam ligados por
um caminho. Ento o grafo tem que ser conexo.
c) == ,)
Por absurdo, suponha-se que h um par de vrtices unidos por mais do que um caminho
simples. Ento o grafo tem pelo menos um circuito. Suprimindo uma aresta desse circuito
o grafo continua a ser conexo, o que contraria o facto de o grafo deixar de ser conexo
quando uma aresta suprimida.
,) == c)
Se cada par de vrtices est unido por um caminho o grafo conexo. Alm disso, como
esse caminho nico no pode haver circuitos
Teorema 20 Numa rvore h sempre pelo menos dois vrtices de grau 1.
Demonstrao. Seja G um grafo com : vrtices e : arestas que uma rvore. Ento
: = :1. Como a soma dos graus dos vrtices o dobro do nmero de arestas, essa soma
2: 2. Se todos os vrtices tivessem grau igual ou superior a 2, essa soma seria igual
ou superior a 2:. Ento, pelo menos um dos vrtices deve ter grau 1. Se somente um dos
vrtices tivesse grau 1 e todos os outros grau 2 ou mais, a soma dos graus seria igual ou
superior a 2: 1. Por isso tem que haver pelo menos dois vrtices com grau 1.
16.12.1 rvores de suporte
Um problema muito comum o de tentar chegar a todos os vrtices de um grafo usando o
menor nmero de arestas possvel. Ora, para se chegar a todos os vrtices de um grafo ser
necessrio usar um grafo parcial conexo e querendo usar o menor nmero possvel de arestas
no se dever ter nenhum circuito, pois haveria a pelo menos uma aresta desnecessria.
Ou seja, deve-se encontrar um grafo parcial do grafo original que seja uma rvore.
Denio 41 Seja G um grafo. Uma rvore de suporte de G um grafo parcial de G que
uma rvore.
Teorema 21 Um grafo G admite uma rvore de suporte se e s se G conexo.
Demonstrao. G admite uma rvore de suporte == G conexo
70
Suponhamos que G no conexo ento nenhum dos seus grafos parciais ser conexo e,
portanto, nenhum deles pode ser uma rvore.
G conexo == G admite uma rvore de suporte
Supondo G conexo procuremos uma aresta em G que possa ser removida sem que o
grafo se torne desconexo. Uma de duas situaes pode ocorrer:
1. no existe tal aresta;
2. existe tal aresta.
No primeiro caso j encontrmos uma rvore.
No segundo caso removemos a aresta e repetimos o processo at se cair no primeiro
caso.
H fundamentalmente dois processos para encontrar uma rvore de suporte para um
dado grafo conexo: o destrutivo e o construtivo.
O processo destrutivo baseia-se na demonstrao do teorema que garante a existncia
da rvore de suporte. Comea-se por considerar o grafo inicial. Uma aresta cuja remoo
no torna o grafo desconexo tem que pertencer a um circuito. Se no houver nenhum
circuito j se tem uma rvore. Caso contrrio identica-se um circuito e retira-se uma
aresta. Se no houver mais circuitos termina-se o processo, caso contrrio repete-se at
no haver mais circuitos.
No processo construtivo vai-se construindo a rvore comeando com um vrtice do grafo
inicial e, em cada passo, escolhe-se uma aresta do grafo que comece num vrtice da rvore
e termine num vrtice que ainda no esteja na rvore, acrescentando-se ento esse vrtice
e essa aresta rvore. Termina-se quando todos os vrtices estiverem na rvore.
Para um mesmo grafo podem existir vrias rvores de suporte. Nas guras 22 e 23
apresenta-se um exemplo de construo de uma rvore de suporte para um mesmo grafo,
usando o processo destrutivo e o processo construtivo respectivamente.
Na gura 22 observa-se a sucesso de grafos parciais que se vo obtendo medida que
se vai aplicando o processo destrutivo. Comeando por constatar a existncia do circuito
1 C , retirou-se a aresta 1 C, em seguida observou-se a
existncia do circuito 1 1 1 1 e retirou-se a aresta 1 1, depois ao
circuito 1 1 retirou-se a aresta 1 e, nalmente ao circuito
1 1 retirou-se a aresta 1 . O resultado nal um grafo
conexo sem circuitos, ou seja uma rvore, que um grafo parcial do grafo inicial. Repare-
se que para desfazer cada circuito se poderia ter optado por retirar outra aresta que no a
escolhida, sendo o resultado nal outra rvore de suporte.
71
Figura 22: Obteno de uma rvore de suporte
Na gura 23 demonstra-se a aplicao do mtodo construtivo ao mesmo grafo
16.12.2 rvore de suporte nnima
Quando associado a cada aresta de um grafo existe um valor que, normalmente, representa
o custo de utilizao dessa aresta, ento a obteno de uma rvore de suporte tal que a
soma dos custos associados s arestas seja mnimo de particular importncia.
A uma tal rvore chama-se rvore de suporte mnima e existem vrios algoritmos que
permitem a sua obteno. Tal como acontece com a rvore de suporte a resposta pode no
ser nica, embora, neste caso, geralmente, o nmero de opes de escolha mais reduzido.
Sempre que num grafo h custos associados s arestas, diz-se que estamos perante um
grafo valorado. A representao de um tal grafo pode ser feita gracamente escrevendo
os valores correspondentes a cada aresta sobre ela, ou atravs da matriz de adjacncia,
72
Figura 23: Obteno de uma rvore de suporte
substituindo a entrada igual a 1 que informa da existncia de uma aresta pelo custo que
lhe corresponde.
Cronologicamente, o primeiro algoritmo proposto para este efeito, foi o de Kruskal que
apareceu em 1928. Trata-se de uma estratgia vida de escolha das arestas a inserir na
rvore. O algoritmo prope que se comece pela aresta de custo mnimo e que, sequencial-
mente, se vo inserindo na rvore as arestas com os custos mnimos desde que isso no
forme um circuito. Normalmente os algoritmos baseados em estratgias vidas so heurs-
ticas que podem dar bons resultados, mas que podem no conduzir ao ptimo. Neste caso,
consegue-se demonstrar que efectivamente se obtm uma rvore de suporte mnima.
Da maneira como se escolhem as arestas claro que nunca se formam circuitos. Ao
m de : 1 passos obtm-se um grafo com : 1 arestas, com os : vrtices de G e sem
circuitos que j se viu ter que ser uma rvore. Chamemos 1 a essa rvore e designemos o
custo associado por c(1). Suponhamos que existe uma outra rvore de suporte S tal que
c(o) < c(1). Se o e 1 so diferentes, h pelo menos uma aresta de 1 que no est em
o. Seja c a aresta de menor peso de 1 que no est em o. Se inserirmos essa aresta em
o criado um circuito. Nesse circuito deve haver uma aresta c
0
que no est em 1. Pela
construo de 1 o custo associado aresta c no pode ser maior do que o custo associado a
73
c
0
. Substituindo em o a aresta c
0
por c, obtm-se ainda uma rvore de suporte com custo
inferior a o e que tem mais uma aresta em comum com 1 do que o tinha. O processo
pode ser repetido, obtendo-se de cada vez uma rvore de custo inferior ao custo de o com
mais uma aresta em comum com 1 do que a anterior. A certa altura devemos encontrar
1. Mas ento c(1) _ c(o), o que contraria a denio de o.
A utilizao do algoritmo de Kruskal para grafos de pequena dimenso em clculos
mo relativamente simples. Mas j no adequado para programar, pois a identicao
da existncia de circuitos a partir da matriz de adjacncia no tarefa fcil. Por isso, o
que se utiliza normalmente uma variante deste algoritmo, o algoritmo de Prim, que difere
no processo como se vo escolhendo as arestas a inserir no grafo. Tal como no algoritmo
de Kruskal, a rvore obtida pelo processo construtivo. Dene-se o conjunto 1, formado
pelos vrtices que, em cada passo do algoritmo, j foram colocados na rvore. Inicia-se a
construo da rvore escolhendo a aresta com custo mnimo. Colocam-se os dois vrtices
a que essa aresta incidente no conjunto 1. Em cada iterao escolhe-se, entre as arestas
que tm um vrtice em 1 e outro em A 1, a que tiver custo mnimo. Acrescenta-se
essa aresta rvore e o novo vrtice a 1 e repete-se o processo : 1 vezes. Deste modo
garante-se que no se formam circuitos.
Exemplo 19 Considere-se o grafo valorado cuja matriz de adjacncia/custo :
_
_
0 2 1 0 3 6
2 0 1 0 8 5
1 1 0 10 4 2
0 0 10 0 6 0
3 8 4 6 0 1
6 5 2 0 1 0
_
_
Considere-se o conjunto dos vrtices A = r
1
. r
2
. r
3
. r
4
. r
5
. r
6
. Inicialmente 1 = ?.
Escolhe-se uma aresta com custo mnimo para iniciar o processo de construo da rvore.
H vrias hipteses de escolha: (r
1
. r
3
); (r
2
. r
3
); (r
5
. r
6
). Pode-se optar por uma destas
trs. Cada escolha inicial pode, eventualmente, conduzir a uma rvore diferente, mas
sempre com o mesmo custo, com veremos. Escolha-se, por exemplo, a aresta inicial (r
1
. r
3
).
Faz-se 1 = r
1
. r
3
. Escolhe-se agora uma aresta, com um vrtice em 1 e o outro em
74
A 1, com custo mnimo: (r
2
. r
3
). Agora 1 = r
1
. r
2
. r
3
. Repetindo o processo a
aresta que deve ser escolhida agora (r
3
. r
6
) e ca 1 = r
1
. r
2
. r
3
. r
6
. Agora uma aresta
com custo mnimo (r
6
. r
5
) e ca 1 = r
1
. r
2
. r
3
. r
5
. r
6
e, nalmente, escolhe-se a aresta
(r
5
. r
4
).
O custo total associado rvore encontrada : 1 + 1 + 2 + 1 + 6 = 11.
Em termos de implementao computacional, o trabalho sobre a matriz facilitado, se,
de cada vez que se acrescenta um vrtice ao conjunto 1 se retirar a coluna respectiva da
matriz de adjacncia.
16.13 Planaridade
Em muitas aplicaes de grafos importante encontrar um posicionamento dos vrtices
tal que as conexes entre eles, ou seja, as arestas, no se intersectam ou, se tal no for
exequvel, se intersectem o menor nmero de vezes possvel.
Denio 42 Um grafo diz-se planar se existir alguma sua representao no plano de tal
modo que no haja arestas que se intersectem.
Repare-se que para o mesmo grafo podem existir representaes em que as arestas se
cruzem e outras em que no se cruzem. Por isso, no podemos dizer se um grafo no
planar s porque numa determinada representao as arestas se cruzam.
Por exemplo, considere-se o grafo 1
4
.
Figura 24: Representaes de 1
4
Na gura 24 apresentam-se trs representaes diferentes do mesmo grafo. Enquanto
que na primeira as arestas se cruzam nas outras duas j tal no acontece. Repare-se
ainda que, enquanto que na segunda representao houve um posicionamento diferente dos
vrtices no plano, no terceiro caso manteve-se o posicionamento dos vrtices e alterou-se o
desenho de uma das arestas.
75
Conclui-se assim que 1
4
um grafo planar.
De um modo geral no fcil decidir se um grafo planar. Os teoremas sobre grafos
planares do-nos condies que ajudam a descobrir se um grafo no planar, mas no nos
permitem armar se planar.
Considerando um grafo simples no orientado, as arestas de uma sua representao
determinam divises do plano em que o grafo est representado. A cada uma dessas
regies do plano chama-se face do grafo. H sempre uma regio ilimitada (a que ca "por
fora") e a essa chama-se face innita. Ao nmero de arestas que limita uma face chama-se
grau da face. Como cada aresta delimita exactamente duas faces, imediato concluir que
a soma dos graus das faces igual ao dobro do nmero de arestas.
Euler descobriu uma frmula relacionando o nmero de vrtices :, o nmero de arestas
: e o nmero de faces , de um grafo conexo planar: ::+, = 2 . Infelizmente a frmula
tambm pode, eventualmente ser vlida para algum grafo no planar, pelo que no permite
garantir se um grafo planar. No entanto, se a frmula no for satisfeita ento o grafo no
planar.
Considere-se, por exemplo o grafo 1
4
, que como j se viu um grafo planar. Este grafo
tem 4 vrtices, 6 arestas e 4 faces. Ento: 4 6 + 4 = 2
Teorema 22 Seja G um grafo conexo e planar com : vrtices, : arestas e , faces. Ento
: :+, = 2.
Demonstrao. A demonstrao feita por induo sobre o nmero de arestas.
Se um grafo no tem arestas e conexo, ento s tem um vrtice e uma face e a frmula
ca 1 0 + 1 = 2.
Por hiptese de induo suponha-se que a frmula vlida para qualquer grafo com :
ou menos arestas.
Seja G um grafo com : + 1 arestas, : vrtices e , faces. Se G tiver um vrtice com
grau 1, tira-se esse vrtice e a aresta nele incidente. Obtm-se um grafo G
0
com menos
uma aresta e menos um vrtice e o mesmo nmero de faces, uma vez que a retirada de uma
aresta incidente num vrtice de grau 1 no faz desaparecer nenhuma face. Para o grafo
G
0
vlida a frmula de Euler, por hiptese de induo: (: 1) : + , = 2. Ento
:(:+1) +, = 2. Se G no tiver nenhum vrtice de grau 1, ento G no uma rvore e,
por isso, deve ter pelo menos um circuito. Identica-se um circuito e retira-se uma das suas
arestas. Obtm-se um grafo G
0
que continua a ser conexo, tem o mesmo nmero de vrtices
de G, menos uma aresta e menos uma face, pois ao desfazer o circuito houve duas faces
76
que se juntaram numa s. Para G
0
vlida a frmula de Euler, por hiptese de induo:
: :+ (, 1) = 2. Ento vlido : (:+ 1) +, = 2.
A partir da frmula de Euler podem ser deduzidas outras relaes entre o nmero de
vrtices e arestas de um grafo planar, que so bastante teis para descobrir se um grafo
no planar.
Teorema 23 Seja G um grafo conexo e planar com : arestas e , faces. Ento , _
2
3
:.
Demonstrao. J se viu que a soma dos graus das faces 2:. Mas, por outro lado,
cada face limitada pelo menos por 3 arestas. Ento a soma dos graus das faces , no
mnimo 3,. Donde 2: _ 3, e, nalmente, , _
2
3
:.
Teorema 24 Seja G um grafo conexo e planar com : vrtices e : arestas. Ento 3:: _
6.
Demonstrao. Temos, por um lado a frmula de Euler : :+, = 2 e, por outro lado
o resultado , _
2
3
:. Substituindo , por
2
3
: na frmula de Euler vem : : +
2
3
: _ 2.
Ou seja 3: : _ 6.
Com este resultado podemos concluir que 1
5
no planar. Com efeito neste grafo
: = 5 e : = 10, donde 3: : = 3 5 10 = 5 < 6.
Vejamos para que valores de : que 1
n
planar:
3: : = 3:
:(: 1)
2
=
:
2
+ 7:
2
_ 6
Ora esta relao verica-se como igualdade para : = 3 e para : = 4 e no se verica para
mais nenhum valor de n inteiro. Portanto todos os grafos completos 1
n
com : _ 5 no
so planares.
Vejamos o que se passa com os grafos bipartidos completos.
Na gura 25 temos uma representao planar de 1
2;4
. Facilmente se percebe que
qualquer grafo bipartido 1
2;n
, para qualquer valor de : planar.
O que se passa com 1
3;3
?
Vejamos: : = 6. : = 9 e 3: : = 3 6 9 = 18 9 = 9 6. Este resultado no nos
permite concluir nada.
Na gura 27 tentamos outra representao.
Parece que no possvel representar 1
3;3
de forma planar.
77
Figura 25: Representao planar de 1
2;4
Figura 26: Grafo 1
3;3
Teorema 25 Seja G um grafo conexo e planar com : vrtices e : arestas e sem tringulos
(isto , sem circuitos de comprimento 3). Ento : _ 2: 4.
Demonstrao. Como no h circuitos de comprimento 3, todos os circuitos tm 4 ou
mais arestas, ou seja cada face tem grau pelo menos 4, donde a soma dos graus das faces
, no mnimo, 4,. Ento 2: _ 4,, ou seja , _
:
2
. Da frmula de Euler vem que
, = :: + 2, ou seja :: + 2 _
:
2
e, nalmente, : _ 2: 4.
Vejamos se este resultado nos ajuda com 1
3;3
. Neste grafo no h circuitos com 3
arestas. Temos : = 6. : = 9 e 2: 4 = 26 4 = 12 4 = 8 < 9. Ento o grafo no
planar.
Vejamos agora o que se passa com qualquer 1:. : com : _ 3 e : _ 3. Neste grafo
: = : + : e : = : :. So grafos conexos e todos os circuitos tm pelo menos 4 arestas.
Se os grafos fossem planares teria que ser : _ 2:4, ou seja : : _ 2 (: +:) 4. Ora,
para : _ 3 e : _ 3 esta desigualdade no se verica. Conclui-se assim que 1
s;r
com : _ 3
e : _ 3 no planar.
Vejamos ainda mais um resultado til para decidir se um grafo no planar:
Teorema 26 Seja G um grafo conexo simples e planar com : vrtices e : arestas. Ento
78
Figura 27: Outra representao de 1
3;3
tem pelo menos um vrtice com grau igual ou inferior a 5.
Demonstrao. J mostramos que num grafo nestas condies vlida a desigualdade
3: : _ 6, ou seja : _ 3: 6. Se todos os vrtices tivessem grau 6 ou mais seria
2: _ 6:, ou seja : _ 3:. Ento, pelo menos um vrtice tem que ter grau menor ou igual
a 5.
Mesmo com todos estes resultados, no , muitas vezes, fcil determinar se um grafo
ou no planar.
Um dos resultados que mais tem sido utilizado para decidir se um grafo ou no planar
o teorema de Kuratowski.
Antes de o enunciarmos vamos precisar de mais algumas denies.
Denio 43 Diz-se que um grafo sofreu uma modicao por vrtices de grau 2 se se
retirou ou acrescentou um vrtice de grau 2 entre dois outros vrtices. Isto se, sendo
c um vrtice de grau 2 adjacente a c e a / se retira c unindo c directamente a /, ou, ao
contrrio, se se insere um vrtice c numa aresta entre c e /.
No primeiro caso passa-se de para ,enquanto que no segundo
caso se passa de para .
Denio 44 Dois grafos so homeomorfos se um pode ser obtido do outro por modi-
caes de vrtices de grau 2.
Teorema 27 (de Kuratowski): Um grafo no planar se e s se contm um subgrafo
homeomorfo a 1
5
ou a 1
3;3
.
79
Este teorema foi apresentado pelo matemtico polaco Kuratowski em 1930. A sua
demonstrao bastante longa e complexa. Tem a virtude de fornecer uma condio
necessria e suciente para a planaridade de um grafo que no dependente da sua repre-
sentao grca, no entanto na prtica o teorema no tem aplicao. No existe nenhum
algoritmo nele baseado para testar a planaridade/no planaridade de um grafo. Na ver-
dade, testar todos os subgrafos e vericar se so homeomorfos a 1
5
ou a 1
3;3
no tarefa
exequvel em tempo til.
16.14 Caminhos mais curtos
Para grafos valorados, alm de interessar estabelecer a existncia de pelo menos um caminho
entre dois quaisquer vrtices, , muitas vezes, importante obter o caminho de menor custo.
Num grafo valorado chama-se custo de um caminho soma dos valores correspondentes
s arestas que o constituem. Se o grafo for de pequena dimenso, bastar fazer uma lista
de todos os caminhos possveis e escolher o de menor custo. Quando a dimenso do grafo
maior este processo impraticvel. Existem vrios algoritmos para encontrar um caminho
de custo mnimo entre dois quaisquer vrtices de um grafo. Descrevemos seguidamente
o algoritmo de Dijkstra por ser um dos mais simples de aplicar, que funciona tanto para
grafos orientados como no orientados e que tambm se presta a uma fcil implementao
computacional. Este algoritmo, proposto por Dijkstra em 1959, baseia-se no princpio de
que o caminho mais curto entre dois vrtices contm o caminho mais curto entre cada par
de vrtices intermdios. Vamos descrever o algoritmo determinando o caminho mais curto
entre os vrtices c e / do grafo orientado da gura 28.
Partindo do vrtice c, em cada passo do algoritmo determina-se o caminho mais curto
entre esse vrtice e um outro vrtice do grafo que ca no caminho para /. O algoritmo
termina quando se consegue atingir /. Vamos denir dois conjuntos de vrtices o e 1 do
seguinte modo: o o conjunto dos vrtices para onde j se sabe qual o caminho mais
curto e 1 o conjunto dos outros vrtices. Inicialmente o = c e 1 = /. c. d. c. ,. q. /,
pois o caminho mais curto entre c e c obviamente de comprimento nulo. Em cada
iterao vamos tirar um vrtice de 1 e inseri-lo em o. Com esse objectivo construmos
uma tabela em que se indicam as distncias mnimas j determinadas para os vrtices de o
e as distncias estimadas para os vrtices de 1 para onde se pode ir directamente a partir
dos vrtices de o, para os vrtices de 1 aos quais no seja possvel chegar directamente a
partir dos vrtices de o consideramos que a distncia estimada . A coluna "antecedente"
permitir, como veremos construir o caminho mais curto depois de sabermos qual o valor
80
Figura 28: Determinar o caminho mais curto
que lhe corresponde. Inicialmente temos a seguinte tabela:
Vrtice Distncia mnima Distncia estimada Antecedente
c 0
/ 3 c
c 8 c
d 4 c
c
,
q
/
Observando a coluna "distncia estimada", vemos que o menor valor 3 e corresponde
ao vrtice /. Ento o caminho mais curto entre o vrtice c e o vrtice / 3 e j podemos
passar o vrtice / para o conjunto 1. A partir do vrtice / pode-se ir para c e c. O caminho
de c a / tem comprimento 3 e de / a c comprimento 2, logo o caminho de c a c passando
por / tem comprimento 5 que menor do que o valor 8 antes estimado. Actualizamos esse
valor e mudamos o antecedente de c de c para /. A distncia estimada para c passa a ser
81
10, com antecedente /. Temos assim novos conjuntos o = c. / e 1 = c. d. c. ,. q. / e a
nova tabela:
c 0
/ 3 c
c 5 /
d 4 c
c 10 /
,
q
/
Neste momento a menor distncia estimada 4 para o vrtice d. Passamos o vrtice
d do conjunto 1 para o conjunto o (o = c. /. d e 1 = c. c. ,. q. /) e actualizamos os
valores da tabela tendo em ateno os vrtices para onde se pode ir directamente a partir
de d. Repare-se que de d para c a distncia 2, que somados distncia 4 at d daria uma
distncia 6 para c, valor superior ao 5 anteriormente estimado, pelo que no se considera
esse caminho.
82
c 0
/ 3 c
c 5 /
d 4 c
c 10 /
,
q 9 d
/
A distncia estimada mnima neste momento 5 para c. Ento o vrtice c passa para
o conjunto o (o = c. /. c. d e 1 = c. ,. q. /) e repete-se tudo de novo.
c 0
/ 3 c
c 5 /
d 4 c
c 10 /
, 8 c
q 9 d
/
Passa-se , de 1 para o: o = c. /. c. d. , e 1 = c. q. /. De f pode-se ir para c, q e
/. Para c a distncia estimada passa a ser 9 = 8 + 1 < 10 e actualiza-se o antecedente de
83
c para ,. Para q a distncia seria 8 +4 = 12 9 pelo que no se considera e para h temos
agora a diatncia estimada 8 + 3 = 11. Temos assim o novo quadro:
c 0
/ 3 c
c 5 /
d 4 c
c 9 ,
, 8 c
q 9 d
/ 11 ,
No passo seguinte tanto podemos escolher c como q, uma vez que correspondem ambos
distncia estimada mnima. Vamos escolher c: o = c. /. c. d. c. , e 1 = q. / . De
c s possvel chegar a / com a distncia 9 + 8 = 17 11. Seguidamente escolhemos
q: o = c. /. c. d. c. ,. q e 1 = / . De q tambm s se pode ir para / com a distncia
9 + 3 = 12 11. Finalmente, a menor distncia estimada corresponde ao vrtice / com o
valor 11: o = c. /. c. d. c. ,. q. / e 1 = c. Temos o quadro nal
84
c 0
/ 3 c
c 5 /
d 4 c
c 9 ,
, 8 c
q 9 d
/ 11 ,
Conclumos assim que o comprimento do caminho mais curto entre os vrtices c e / 11.
Para saber qual o caminho temos que analisar a coluna dos antecedentes. O antecedente
de / ,, o antecedente de , c, o antecedente de c / e o antecedente de / c. Temos
assim o caminho c / c , /.
85

Mat Discret

Enviado por

Dados do documento

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

Mat Discret

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade do Algarve - 05/06 Matemtica Discreta

3.3 Propriedades das operaes entre conjuntos

= (A. ) outro grafo tal que _ .

chama-se um grafo parcial de G.

Como j chegamos a um conjunto que tem todos os vrtices do grafo, no necessrio

E no preciso procurar mais sucessores. Temos assim:

E no preciso procurar mais antecessores:

Você também pode gostar