INE5403 F UNDAMENTOS DE M ATEMTICA D ISCRETA PARA A C OMPUTAO

M ATERIAL
EXTRA I DO DOS LIVROS - TEXTOS

(R OSEN /KOLMAN )

UFSC - CTC - INE

UFSC/CTC/INE p. 1

9 - I NTROD .

A NLISE C OMBINATRIA II

9.1) Relaes de Recorrncia 9.2) Sequncias Geradas por Polinmios 9.3) Relaes de Recorrncia e Algoritmos Dividir-e-Conquistar

UFSC/CTC/INE p. 2

R ELAES DE R ECORRNCIA

Uma relao de recorrncia para a sequncia {an } uma equao que, n inteiro, n n0 , expressa an em funo de um ou mais termos anteriores (a0 , a1 , . . . , an1 ) n0 um inteiro no negativo

UFSC/CTC/INE p. 3

R ELAES DE R ECORRNCIA
H uma importante conexo entre recurso e relaes de recorrncia: algoritmo recursivo: soluo de um problema de tamanho n em termos de solues de instncias do mesmo problema com tamanho menor logo, a anlise de complexidade de um algoritmo recursivo leva a uma relao de recorrncia que expressa: nro de operaes para resolver um problema de tamanho n em termos de: nro de operaes para resolver instncias de menor tamanho do mesmo problema

UFSC/CTC/INE p. 4

R ELAES DE R ECORRNCIA
Exemplo: Seja {an } uma sequncia que satisfaz a relao: a0 = 3 e a1 = 5

an = an1 + an2 , para n = 2, 3, 4, . . . O que so a2 e a3 ?

UFSC/CTC/INE p. 5

R ELAES DE R ECORRNCIA
Exemplo: Seja {an } uma sequncia que satisfaz a relao: a0 = 3 e a1 = 5

an = an1 + an2 , para n = 2, 3, 4, . . . O que so a2 e a3 ? Soluo: a2 = a1 a0 = 5 3 = 2 a 3 = a 2 a 1 = 2 5 = 3 2

UFSC/CTC/INE p. 6

R ELAES DE R ECORRNCIA

Uma sequncia uma soluo de uma relao de recorrncia se os seus termos satisfazem esta relao de recorrncia

UFSC/CTC/INE p. 7

R ELAES DE R ECORRNCIA
Exemplo: Determine se as sequncias {an }, n inteiro e no negativo, dadas por: an = 3 n , an = 2 n e an = 5 an = 2an1 an2

so solues da relao de recorrncia dada por:

UFSC/CTC/INE p. 8

R ELAES DE R ECORRNCIA
Exemplo: Determine se as sequncias {an }, n inteiro e no negativo, dadas por: an = 3 n , an = 2 n e an = 5 an = 2an1 an2

so solues da relao de recorrncia dada por: Soluo: 1. se an = 3n, ento, para n 2:

2an1 an2 = 2[3(n 1)] 3(n 2) = 3n = an

UFSC/CTC/INE p. 9

R ELAES DE R ECORRNCIA
Exemplo: Determine se as sequncias {an }, n inteiro e no negativo, dadas por: an = 3 n , an = 2 n e an = 5 an = 2an1 an2

so solues da relao de recorrncia dada por: Soluo: 1. se an = 3n, ento, para n 2:

2an1 an2 = 2[3(n 1)] 3(n 2) = 3n = an 2. se an = 2n , temos que: a0 = 1, a1 = 2 e a2 = 4 ento: 2a1 a0 = 2 2 1 = 3 = a2

UFSC/CTC/INE p. 10

R ELAES DE R ECORRNCIA
Exemplo: Determine se as sequncias {an }, n inteiro e no negativo, dadas por: an = 3 n , an = 2 n e an = 5 an = 2an1 an2

so solues da relao de recorrncia dada por: Soluo: 1. se an = 3n, ento, para n 2:

2an1 an2 = 2[3(n 1)] 3(n 2) = 3n = an 2. se an = 2n , temos que: a0 = 1, a1 = 2 e a2 = 4 ento: 2a1 a0 = 2 2 1 = 3 = a2 3. se an = 5, ento, para n 2: 2an1 an2 = 2 5 5 = 5 = an concluso: 1 e 3 so solues e 2 no 2

UFSC/CTC/INE p. 11

R ELAES DE R ECORRNCIA
Condies iniciais para uma sequncia: especicam os termos que precedem o 1ro termo aonde a relao de recorrncia atua

Exemplo: a0 = 3 e a1 = 5 an = an1 + an2 , para n = 2, 3, 4, . . .

A relao de recorrncia e as condies iniciais denem unicamente uma sequncia pois juntos so uma denio recursiva da sequncia: qualquer termo pode ser encontrado a partir das cindies iniciais utilizando-se a relao um nro suciente de vezes

UFSC/CTC/INE p. 12

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Seja A = {0, 1}. Fornea uma relao de recorrncia para: cn : nro de strings de comprimento n em A que no contm 0s adjacentes

UFSC/CTC/INE p. 13

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Seja A = {0, 1}. Fornea uma relao de recorrncia para: cn : nro de strings de comprimento n em A que no contm 0s adjacentes Soluo: 0 e 1 so as nicas strings de comprimento 1 c1 = 2 c2 = 3: as nicas strings deste tipo so 01, 10, 11

UFSC/CTC/INE p. 14

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Seja A = {0, 1}. Fornea uma relao de recorrncia para: cn : nro de strings de comprimento n em A que no contm 0s adjacentes Soluo: 0 e 1 so as nicas strings de comprimento 1 c1 = 2 c2 = 3: as nicas strings deste tipo so 01, 10, 11 em geral, seja uma string w de comprimento n 1 que (j) no contem 00: se concatenada com 1, forma uma string 1 w de comprimento n e que no contem 00

UFSC/CTC/INE p. 15

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Seja A = {0, 1}. Fornea uma relao de recorrncia para: cn : nro de strings de comprimento n em A que no contm 0s adjacentes Soluo: 0 e 1 so as nicas strings de comprimento 1 c1 = 2 c2 = 3: as nicas strings deste tipo so 01, 10, 11 em geral, seja uma string w de comprimento n 1 que (j) no contem 00: se concatenada com 1, forma uma string 1 w de comprimento n e que no contem 00 nica outra possibilidade de incio para uma string boa de comprimento n: 01 pode at comear com 0, desde que seguido por 1 estas strings so da forma 01 v onde v uma string boa de comprimento n 2

UFSC/CTC/INE p. 16

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Seja A = {0, 1}. Fornea uma relao de recorrncia para: cn : nro de strings de comprimento n em A que no contm 0s adjacentes Soluo: 0 e 1 so as nicas strings de comprimento 1 c1 = 2 c2 = 3: as nicas strings deste tipo so 01, 10, 11 em geral, seja uma string w de comprimento n 1 que (j) no contem 00: se concatenada com 1, forma uma string 1 w de comprimento n e que no contem 00 nica outra possibilidade de incio para uma string boa de comprimento n: 01 pode at comear com 0, desde que seguido por 1 estas strings so da forma 01 v onde v uma string boa de comprimento n 2 portanto: cn = cn1 + cn2 com as condies iniciais: c1 = 2 e c2 = 3 2
UFSC/CTC/INE p. 17

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Listar todas as sequncias de n elementos sem repeties que podem ser construdas a partir de {1, 2, 3, . . . , n}

UFSC/CTC/INE p. 18

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Listar todas as sequncias de n elementos sem repeties que podem ser construdas a partir de {1, 2, 3, . . . , n} Soluo: uma abordagem para resolver este problema proceder recursivamente: Passo 1: listas todas as sequncias sem repeties a partir de {1, 2, 3, . . . , n 1} Passo 2: para cada sequncia, inserir n em cada um dos n locais possveis: no incio, no nal ou entre cada par de nmeros na sequncia imprimir resultado e remover n

UFSC/CTC/INE p. 19

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Listar todas as sequncias de n elementos sem repeties que podem ser construdas a partir de {1, 2, 3, . . . , n} Soluo: uma abordagem para resolver este problema proceder recursivamente: Passo 1: listas todas as sequncias sem repeties a partir de {1, 2, 3, . . . , n 1} Passo 2: para cada sequncia, inserir n em cada um dos n locais possveis: no incio, no nal ou entre cada par de nmeros na sequncia imprimir resultado e remover n nro de aes do tipo inserir-imprimir-remover: = n nro de sequncias produzidas no passo 2 = nro de sequncias de n elementos

UFSC/CTC/INE p. 20

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Listar todas as sequncias de n elementos sem repeties que podem ser construdas a partir de {1, 2, 3, . . . , n} Soluo: uma abordagem para resolver este problema proceder recursivamente: Passo 1: listas todas as sequncias sem repeties a partir de {1, 2, 3, . . . , n 1} Passo 2: para cada sequncia, inserir n em cada um dos n locais possveis: no incio, no nal ou entre cada par de nmeros na sequncia imprimir resultado e remover n nro de aes do tipo inserir-imprimir-remover: = n nro de sequncias produzidas no passo 2 = nro de sequncias de n elementos logo: nro de seqs de n elems = n (nro de seqs de (n 1) elems)

frmula recursiva para o nmero de sequncias de n elementos condio inicial?

UFSC/CTC/INE p. 21

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo (Torre de Hani): Sejam 3 pinos montados sobre uma placa e discos de diferentes tamanhos:

inicialmente, os discos so colocados sobre o 1ro pino em ordem de tamanho, com o maior ao fundo os discos podem ser movidos um a um, de um pino para outro um disco nunca pode ser colocado sobre um menor do que ele objetivo: colocar todos os discos no 2o pino, com o maior ao fundo

UFSC/CTC/INE p. 22

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo (Torre de Hani): Sejam 3 pinos montados sobre uma placa e discos de diferentes tamanhos:

inicialmente, os discos so colocados sobre o 1ro pino em ordem de tamanho, com o maior ao fundo os discos podem ser movidos um a um, de um pino para outro um disco nunca pode ser colocado sobre um menor do que ele objetivo: colocar todos os discos no 2o pino, com o maior ao fundo Seja Hn = nro de movimentos para resolver a torre com n discos Questo: obter uma relao de recorrncia para a sequncia {Hn }
UFSC/CTC/INE p. 23

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo (Torre de Hani): relao de recorrncia para a sequncia {Hn } comece com n discos no pino 1 transra os n 1 discos do topo para o pino 3 usando Hn1 movimentos:

UFSC/CTC/INE p. 24

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo (Torre de Hani): relao de recorrncia para a sequncia {Hn } comece com n discos no pino 1 transra os n 1 discos do topo para o pino 3 usando Hn1 movimentos:

ento use um movimento para transferir o disco maior para o pino 2

UFSC/CTC/INE p. 25

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo (Torre de Hani): relao de recorrncia para a sequncia {Hn } comece com n discos no pino 1 transra os n 1 discos do topo para o pino 3 usando Hn1 movimentos:

ento use um movimento para transferir o disco maior para o pino 2 mais Hn1 movimentos deixam os n 1 discos do pino 3 no pino 2

UFSC/CTC/INE p. 26

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo (Torre de Hani): relao de recorrncia para a sequncia {Hn } comece com n discos no pino 1 transra os n 1 discos do topo para o pino 3 usando Hn1 movimentos:

ento use um movimento para transferir o disco maior para o pino 2 mais Hn1 movimentos deixam os n 1 discos do pino 3 no pino 2 como no possvel resolver em menos passos, obtemos: Hn = 2Hn1 + 1 resolvendo: (para H1 = 1) (prove isto) 2
UFSC/CTC/INE p. 27

Hn = 2 n 1

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Encontre uma relao de recorrncia para: Cn : nro de modos de parentetizar o produto de n + 1 nros x0 x1 x2 xn Nota: C3 = 5, pois h 5 modos de especicar a ordem do produto de 4 nros: ((x0 x1 ) x2 ) x3 , x0 ((x1 x2 ) x3 ) (x0 (x1 x2 )) x3 , e x0 (x1 (x2 x3 )) (x 0 x 1 ) (x 2 x 3 )

UFSC/CTC/INE p. 28

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Encontre uma relao de recorrncia para: Cn : nro de modos de parentetizar o produto de n + 1 nros x0 x1 x2 xn Nota: C3 = 5, pois h 5 modos de especicar a ordem do produto de 4 nros: ((x0 x1 ) x2 ) x3 , x0 ((x1 x2 ) x3 ) Soluo: note que, independente do modo como inserimos ()s no produto, um ca fora (o operador correspondente ltima multiplicao) (x0 (x1 x2 )) x3 , e x0 (x1 (x2 x3 )) (x 0 x 1 ) (x 2 x 3 )

UFSC/CTC/INE p. 29

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Encontre uma relao de recorrncia para: Cn : nro de modos de parentetizar o produto de n + 1 nros x0 x1 x2 xn Nota: C3 = 5, pois h 5 modos de especicar a ordem do produto de 4 nros: ((x0 x1 ) x2 ) x3 , x0 ((x1 x2 ) x3 ) Soluo: note que, independente do modo como inserimos ()s no produto, um ca fora (o operador correspondente ltima multiplicao) digamos que este operador nal aparece entre os nros xk e xk+1 : neste caso, h Ck Cnk1 modos de inserir ()s, pois: h Ck modos de inserir ()s no produto x0 x1 xk e: h Cnk1 modos de inserir ()s no produto xk+1 xk+2 xn (x0 (x1 x2 )) x3 , e x0 (x1 (x2 x3 )) (x 0 x 1 ) (x 2 x 3 )

UFSC/CTC/INE p. 30

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: Encontre uma relao de recorrncia para: Cn : nro de modos de parentetizar o produto de n + 1 nros x0 x1 x2 xn Nota: C3 = 5, pois h 5 modos de especicar a ordem do produto de 4 nros: ((x0 x1 ) x2 ) x3 , x0 ((x1 x2 ) x3 ) Soluo: note que, independente do modo como inserimos ()s no produto, um ca fora (o operador correspondente ltima multiplicao) digamos que este operador nal aparece entre os nros xk e xk+1 : neste caso, h Ck Cnk1 modos de inserir ()s, pois: h Ck modos de inserir ()s no produto x0 x1 xk e: h Cnk1 modos de inserir ()s no produto xk+1 xk+2 xn como o nal pode ser qualquer das multiplicaes: Cn =
n1 k=0

(x0 (x1 x2 )) x3 , e x0 (x1 (x2 x3 ))

(x 0 x 1 ) (x 2 x 3 )

Ck Cnk1
UFSC/CTC/INE p. 31

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: modos de parentetizar o produto de n + 1 nros x0 x1 x2 xn
n1 k=0

Cn =

Ck Cnk1

condies iniciais:

C0 = 1

C1 = 1

C2 = C0 C1 + C1 C0 = 2 C3 = C0 C2 + C1 C1 + C2 C0 = 5 C4 = 14, C5 = 42, . . .

esta a sequncia dos Nmeros de Catalo

UFSC/CTC/INE p. 32

M ODELANDO COM R ELAES DE R ECORRNCIA

Exemplo: modos de parentetizar o produto de n + 1 nros x0 x1 x2 xn
n1 k=0

Cn =

Ck Cnk1

condies iniciais:

C0 = 1

C1 = 1

C2 = C0 C1 + C1 C0 = 2 C3 = C0 C2 + C1 C1 + C2 C0 = 5 C4 = 14, C5 = 42, . . .

pode-se mostrar que a soluo desta relao : Cn =

2n Cn

n+1

2n Cn

2n Cn1

UFSC/CTC/INE p. 33

R ESOLVENDO R ELAES DE R ECORRNCIA

Uma tcnica para encontrar uma frmula explcita para a sequncia denida por uma relao de recorrncia o backtracking (ou tcnica iterativa) Ilustrado no exemplo a seguir...

UFSC/CTC/INE p. 34

BACKTRACKING
Exemplo (1/2): A relao de recorrncia an = an1 + 3 com a1 = 2 dene a sequncia: 2, 5, 8, . . .. Fazemos o backtracking de an substituindo a denio de an1 , an2 e assim por diante at que um padro que claro: a n = a n1 + 3 = (an2 + 3) + 3 = ((an3 + 3) + 3) + 3 ou a n = a n1 + 3 = a n2 + 2 3 = a n3 + 3 3

UFSC/CTC/INE p. 35

BACKTRACKING
Exemplo (2/2): A relao de recorrncia an = an1 + 3 com a1 = 2 dene a sequncia: 2, 5, 8, . . .. eventualmente, chegaremos a: an = an(n1) + (n 1) 3 = a1 + (n 1) 3 = 2 + (n 1) 3 logo, uma frmula explcita para a sequncia : an = 2 + (n 1)3 2

UFSC/CTC/INE p. 36

BACKTRACKING
Exemplo (1/2): Use o backtracking para encontrar uma frmula explcita para a sequncia denida pela relao de recorrncia bn = 2.bn1 + 1 com condio inicial b1 = 7. Soluo: substituir denio do termo anterior na frmula: bn = 2bn1 + 1 = 2(2bn2 + 1) + 1

UFSC/CTC/INE p. 37

BACKTRACKING
Exemplo (1/2): Use o backtracking para encontrar uma frmula explcita para a sequncia denida pela relao de recorrncia bn = 2.bn1 + 1 com condio inicial b1 = 7. Soluo: substituir denio do termo anterior na frmula: bn = 2bn1 + 1 = 2(2bn2 + 1) + 1 = 2[2(2bn3 + 1) + 1] + 1 = 23 bn3 + 4 + 2 + 1 = 23 bn3 + 22 + 21 + 1

UFSC/CTC/INE p. 38

BACKTRACKING
Exemplo (2/2): Use o backtracking para encontrar uma frmula explcita para a sequncia denida por bn = 2.bn1 + 1 com condio inicial b1 = 7. Soluo: Note que um padro est aparecendo com as re-escritas de bn . O backtracking terminar em: bn = 2n1 bn(n1) + 2n2 + 2n3 + + 22 + 21 + 1

UFSC/CTC/INE p. 39

BACKTRACKING
Exemplo (2/2): Use o backtracking para encontrar uma frmula explcita para a sequncia denida por bn = 2.bn1 + 1 com condio inicial b1 = 7. Soluo: Note que um padro est aparecendo com as re-escritas de bn . O backtracking terminar em: bn = 2n1 bn(n1) + 2n2 + 2n3 + + 22 + 21 + 1 = 2n1 b1 + 2n1 1 = 7 2n1 + 2n1 1 = 8 2n1 1 = 2n+2 1 (ver exerc. de induo) (usando b1 = 7) 2

UFSC/CTC/INE p. 40

BACKTRACKING
Nota 1: no h regras prontas para esta re-escrita: pode ser necessrio experimentar um pouco

Nota 2: duas somas muito teis, que j foram provadas: 1 + a + a + a + + a 1 + 2 + 3 + + n =

2 3 n1

an 1 a1

n(n+1) 2

Nota 3: o backtracking pode nunca chegar a revelar um padro explcito em seguida, veremos uma tcnica mais geral para resolver uma relao de recorrncia...
UFSC/CTC/INE p. 41

R ELAES DE R ECORRNCIA H OMOGNEAS

Uma relao de recorrncia uma relao homognea linear de grau k se for da forma: a n = r 1 a n1 + r 2 a n2 + + r k a nk aonde os ri s so constantes

UFSC/CTC/INE p. 42

R ELAES DE R ECORRNCIA H OMOGNEAS

Uma relao de recorrncia uma relao homognea linear de grau k se for da forma: a n = r 1 a n1 + r 2 a n2 + + r k a nk aonde os ri s so constantes

Descrio: cada parcela construda do mesmo (homogneo) modo cada parcela um mltiplo de um dos k (grau k) termos que antecedem an (linear)

UFSC/CTC/INE p. 43

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplos: (a) A relao cn = (2)cn1 uma relao de recorrncia homognea linear de grau 1.

UFSC/CTC/INE p. 44

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplos: (a) A relao cn = (2)cn1 uma relao de recorrncia homognea linear de grau 1. (b) A relao an = an1 + 3 no uma relao de recorrncia homognea linear.

UFSC/CTC/INE p. 45

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplos: (a) A relao cn = (2)cn1 uma relao de recorrncia homognea linear de grau 1. (b) A relao an = an1 + 3 no uma relao de recorrncia homognea linear. (c) A relao fn = fn1 + fn2 uma relao de recorrncia homognea linear de grau 2.

UFSC/CTC/INE p. 46

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplos: (a) A relao cn = (2)cn1 uma relao de recorrncia homognea linear de grau 1. (b) A relao an = an1 + 3 no uma relao de recorrncia homognea linear. (c) A relao fn = fn1 + fn2 uma relao de recorrncia homognea linear de grau 2.
2 (d) A relao gn = gn 1 + gn2 no uma relao homognea linear.

UFSC/CTC/INE p. 47

R ELAES DE R ECORRNCIA H OMOGNEAS

Seja uma relao de recorrncia homognea linear de grau k: an = c1 an1 + c2 an2 + + ck ank Abordagem bsica para resolv-la: buscar solues da forma an = r n , aonde r uma constante

UFSC/CTC/INE p. 48

R ELAES DE R ECORRNCIA H OMOGNEAS

Seja uma relao de recorrncia homognea linear de grau k: an = c1 an1 + c2 an2 + + ck ank Abordagem bsica para resolv-la: buscar solues da forma an = r n , aonde r uma constante note que an = r n uma soluo se e somente se: r n = c1 r n1 + c2 r n2 + + ck r nk

UFSC/CTC/INE p. 49

R ELAES DE R ECORRNCIA H OMOGNEAS

Seja uma relao de recorrncia homognea linear de grau k: an = c1 an1 + c2 an2 + + ck ank Abordagem bsica para resolv-la: buscar solues da forma an = r n , aonde r uma constante note que an = r n uma soluo se e somente se: r n = c1 r n1 + c2 r n2 + + ck r nk dividindo os dois lados por r nk , obtemos a equao caracterstica: r k c1 r k1 c2 r k2 ck = 0

UFSC/CTC/INE p. 50

R ELAES DE R ECORRNCIA H OMOGNEAS

Seja uma relao de recorrncia homognea linear de grau k: an = c1 an1 + c2 an2 + + ck ank Abordagem bsica para resolv-la: buscar solues da forma an = r n , aonde r uma constante note que an = r n uma soluo se e somente se: r n = c1 r n1 + c2 r n2 + + ck r nk dividindo os dois lados por r nk , obtemos a equao caracterstica: r k c1 r k1 c2 r k2 ck = 0 Logo: an = r n soluo da recorrncia linear, sse r soluo da equao acima as solues desta equao so as razes caractersticas da relao estas razes caractersticas fornecero uma frmula explcita para todas as solues da relao de recorrncia

UFSC/CTC/INE p. 51

R ELAES DE R ECORRNCIA H OMOGNEAS

Primeiro, veremos o grau 2 em detalhes Ento os resultados correspondentes para grau > 2 sero apenas enunciados

UFSC/CTC/INE p. 52

R ELAES DE R ECORRNCIA H OMOGNEAS

Teorema 1: (a) Se a equao caracterstica r 2 c1 .r c2 = 0, da relao de recorrncia an = c1 .an1 + c2 .an2 , tem duas razes distintas r1 e r2 , ento a frmula explcita para a sequncia dada por:
n n + v.r2 an = u.r1

UFSC/CTC/INE p. 53

R ELAES DE R ECORRNCIA H OMOGNEAS

Teorema 1: (a) Se a equao caracterstica r 2 c1 .r c2 = 0, da relao de recorrncia an = c1 .an1 + c2 .an2 , tem duas razes distintas r1 e r2 , ento a frmula explcita para a sequncia dada por:
n n + v.r2 an = u.r1

(b) Se a equao caracterstica r 2 c1 .r c2 = 0 tem uma raiz nica r0 , a frmula explcita dada por: an = u.r0 n + v.n.r0 n onde u e v dependem das condies iniciais.

UFSC/CTC/INE p. 54

R ELAES DE R ECORRNCIA H OMOGNEAS

n n + v.r2 Prova de (a): (duas razes distintas: an = u.r1 )

vamos mostrar que: dene a mesma sequncia que:

n + v.r n , an = u.r1 2

n1

an = c1 .an1 + c2 an2

UFSC/CTC/INE p. 55

R ELAES DE R ECORRNCIA H OMOGNEAS

n n + v.r2 Prova de (a): (duas razes distintas: an = u.r1 )

vamos mostrar que: dene a mesma sequncia que:

n + v.r n , an = u.r1 2

n1

an = c1 .an1 + c2 an2

primeiro, note que as condies iniciais so satisfeitas, pois u e v vm de: a1 = u.r1 + v.r2 e
2 + v.r 2 a2 = u.r1 2

UFSC/CTC/INE p. 56

R ELAES DE R ECORRNCIA H OMOGNEAS

n n + v.r2 Prova de (a): (duas razes distintas: an = u.r1 )

vamos mostrar que: dene a mesma sequncia que:

n + v.r n , an = u.r1 2

n1

an = c1 .an1 + c2 an2

primeiro, note que as condies iniciais so satisfeitas, pois u e v vm de: a1 = u.r1 + v.r2 e
2 + v.r 2 a2 = u.r1 2

j que r1 e r2 so razes de r 2 c1 .r c2 = 0, temos:

2 c .r c = 0 r1 1 1 2

2 c .r c = 0 r2 1 2 2

ento:

n + v.r n an = u.r1 2

UFSC/CTC/INE p. 57

R ELAES DE R ECORRNCIA H OMOGNEAS

n n + v.r2 Prova de (a): (duas razes distintas: an = u.r1 )

vamos mostrar que: dene a mesma sequncia que:

n + v.r n , an = u.r1 2

n1

an = c1 .an1 + c2 an2

primeiro, note que as condies iniciais so satisfeitas, pois u e v vm de: a1 = u.r1 + v.r2 e
2 + v.r 2 a2 = u.r1 2

j que r1 e r2 so razes de r 2 c1 .r c2 = 0, temos:

2 c .r c = 0 r1 1 1 2

2 c .r c = 0 r2 1 2 2

ento:

n + v.r n an = u.r1 2

= u.r1

n2 2 r1

+ v.r2

n2 2 r2

UFSC/CTC/INE p. 58

R ELAES DE R ECORRNCIA H OMOGNEAS

n n + v.r2 Prova de (a): (duas razes distintas: an = u.r1 )

vamos mostrar que: dene a mesma sequncia que:

n + v.r n , an = u.r1 2

n1

an = c1 .an1 + c2 an2

primeiro, note que as condies iniciais so satisfeitas, pois u e v vm de: a1 = u.r1 + v.r2 e
2 + v.r 2 a2 = u.r1 2

j que r1 e r2 so razes de r 2 c1 .r c2 = 0, temos:

2 c .r c = 0 r1 1 1 2

2 c .r c = 0 r2 1 2 2

ento:

n + v.r n an = u.r1 2

= u.r1 =

n2 2 n2 2 r1 + v.r2 r2 n2 u.r1 (c1 .r1 + c2 ) +

v.r2

n2

(c1 .r2 + c2 )

UFSC/CTC/INE p. 59

R ELAES DE R ECORRNCIA H OMOGNEAS

n n + v.r2 Prova de (a): (duas razes distintas: an = u.r1 )

vamos mostrar que: dene a mesma sequncia que:

n + v.r n , an = u.r1 2

n1

an = c1 .an1 + c2 an2

primeiro, note que as condies iniciais so satisfeitas, pois u e v vm de: a1 = u.r1 + v.r2 e
2 + v.r 2 a2 = u.r1 2

j que r1 e r2 so razes de r 2 c1 .r c2 = 0, temos:

2 c .r c = 0 r1 1 1 2

2 c .r c = 0 r2 1 2 2

ento:

n + v.r n an = u.r1 2

= u.r1 = =

n2 2 n2 2 r1 + v.r2 r2 n2 n2 u.r1 (c1 .r1 + c2 ) + v.r2 (c1 .r2 + c2 ) n2 n1 n2 n1 ) + c2 .v.r2 ) + (c1 .v.r2 + c2 .u.r1 (c1 .u.r1

UFSC/CTC/INE p. 60

R ELAES DE R ECORRNCIA H OMOGNEAS

n n + v.r2 Prova de (a): (duas razes distintas: an = u.r1 )

vamos mostrar que: dene a mesma sequncia que:

n + v.r n , an = u.r1 2

n1

an = c1 .an1 + c2 an2

primeiro, note que as condies iniciais so satisfeitas, pois u e v vm de: a1 = u.r1 + v.r2 e
2 + v.r 2 a2 = u.r1 2

j que r1 e r2 so razes de r 2 c1 .r c2 = 0, temos:

2 c .r c = 0 r1 1 1 2

2 c .r c = 0 r2 1 2 2

ento:

n + v.r n an = u.r1 2

= u.r1 = = =

n2 2 n2 2 r1 + v.r2 r2 n2 n2 u.r1 (c1 .r1 + c2 ) + v.r2 (c1 .r2 + c2 ) n2 n1 n2 n1 ) + c2 .v.r2 ) + (c1 .v.r2 + c2 .u.r1 (c1 .u.r1 n1 n1 n2 n2 (c1 .u.r1 + c1 .v.r2 ) + (c2 .u.r1 + c2 .v.r2 )

= c1 .an1 + c2 .an2

Prova de (b): totalmente similar.

UFSC/CTC/INE p. 61

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre uma frmula explcita para a sequncia: an = 3.an1 2.an2 aonde: a1 = 5 e a2 = 3

UFSC/CTC/INE p. 62

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre uma frmula explcita para a sequncia: an = 3.an1 2.an2 aonde: a1 = 5 e a2 = 3 Soluo: a relao dada homognea linear de grau 2 equao associada: r 2 = 3r 2 ou: r 2 3r + 2 = 0, razes: 1 e 2

UFSC/CTC/INE p. 63

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre uma frmula explcita para a sequncia: an = 3.an1 2.an2 aonde: a1 = 5 e a2 = 3 Soluo: a relao dada homognea linear de grau 2 equao associada: r 2 = 3r 2 ou: r 2 3r + 2 = 0, razes: 1 e 2 o teorema 1 mostra que u e v vm da soluo de: a1 = u.(1) + v.(2) e a2 = u.(1)2 + v.(2)2

levando a: u = 7 e v = 1

UFSC/CTC/INE p. 64

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre uma frmula explcita para a sequncia: an = 3.an1 2.an2 aonde: a1 = 5 e a2 = 3 Soluo: a relao dada homognea linear de grau 2 equao associada: r 2 = 3r 2 ou: r 2 3r + 2 = 0, razes: 1 e 2 o teorema 1 mostra que u e v vm da soluo de: a1 = u.(1) + v.(2) e a2 = u.(1)2 + v.(2)2

levando a: u = 7 e v = 1 da, pelo teorema 1, temos: an = 7 1n + (1) 2n = 7 2n 2

UFSC/CTC/INE p. 65

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Resolva a relao de recorrncia dn = 2dn1 dn2 , com condies iniciais d1 = 1.5 e d2 = 3

UFSC/CTC/INE p. 66

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Resolva a relao de recorrncia dn = 2dn1 dn2 , com condies iniciais d1 = 1.5 e d2 = 3 Soluo: equao associada: r 2 2.r + 1 = 0 com uma raiz mltipla: 1

UFSC/CTC/INE p. 67

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Resolva a relao de recorrncia dn = 2dn1 dn2 , com condies iniciais d1 = 1.5 e d2 = 3 Soluo: equao associada: r 2 2.r + 1 = 0 com uma raiz mltipla: 1 pelo teorema 1(b): dn = u.(1)n + v.n.(1)n

UFSC/CTC/INE p. 68

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Resolva a relao de recorrncia dn = 2dn1 dn2 , com condies iniciais d1 = 1.5 e d2 = 3 Soluo: equao associada: r 2 2.r + 1 = 0 com uma raiz mltipla: 1 pelo teorema 1(b): dn = u.(1)n + v.n.(1)n

usando esta frmula e as condies iniciais, temos que: d1 = 1.5 = u + v.(1) d2 = 3 = u + v.(2) cuja soluo : u = 0 e v = 1.5 2

logo: dn = 1.5 n

UFSC/CTC/INE p. 69

R ELAES DE R ECORRNCIA H OMOGNEAS

Nota: apesar da sequncia de Fibonacci ser bem conhecida, a sua forma explcita levou mais de 200 anos para ser encontrada...

UFSC/CTC/INE p. 70

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre uma frmula explcita para a sequncia de fn = fn1 + fn2 , onde f1 = f2 = 1 Fibonacci:

UFSC/CTC/INE p. 71

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre uma frmula explcita para a sequncia de fn = fn1 + fn2 , onde f1 = f2 = 1 Fibonacci: Soluo:
relao de recorrncia homognea linear de grau 2 equao caracterstica: r 2 r 1 = 0

UFSC/CTC/INE p. 72

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre uma frmula explcita para a sequncia de fn = fn1 + fn2 , onde f1 = f2 = 1 Fibonacci: Soluo:
relao de recorrncia homognea linear de grau 2 equao caracterstica: r 2 r 1 = 0 cujas razes so: r1 =
1+ 5 2 1 5 2

r2 =

UFSC/CTC/INE p. 73

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre uma frmula explcita para a sequncia de fn = fn1 + fn2 , onde f1 = f2 = 1 Fibonacci: Soluo:
relao de recorrncia homognea linear de grau 2 equao caracterstica: r 2 r 1 = 0 cujas razes so: r1 =
1+ 5 2 1 5 2

r2 =

O u e o v do teorema 1 vm da soluo de: u.( 1+ 5 ) + v.( 1 5 ) = 1 2 2 u.( 1+ 5 )2 + v.( 1 5 )2 = 1

2 2

UFSC/CTC/INE p. 74

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre uma frmula explcita para a sequncia de fn = fn1 + fn2 , onde f1 = f2 = 1 Fibonacci: Soluo:
relao de recorrncia homognea linear de grau 2 equao caracterstica: r 2 r 1 = 0 cujas razes so: r1 =
1+ 5 2 1 5 2

r2 =

O u e o v do teorema 1 vm da soluo de: u.( 1+ 5 ) + v.( 1 5 ) = 1 2 2 u.( 1+ 5 )2 + v.( 1 5 )2 = 1

2 2

o que leva a:

u=

1 5

1 v =

e a frmula explcita para a sequncia de Fibonacci ca: fn =

1+ 5 n 1 ( ) 2 5

1 5 n 1 ( ) 2 5

UFSC/CTC/INE p. 75

R ELAES DE R ECORRNCIA H OMOGNEAS

A seguir, resultado geral sobre: soluo de relaes de recorrncia homogneas lineares com coecientes constantes aonde o grau pode ser > 2 assumindo que a equao caracterstica tem razes distintas

UFSC/CTC/INE p. 76

R ELAES DE R ECORRNCIA H OMOGNEAS

Teorema: Suponha que a equao caracterstica r k c1 .r k1 ck = 0 (ci s reais) tem k razes distintas r1 , r2 , . . . , rk . Ento uma sequncia {an } uma soluo da relao de recorrncia: an = c1 .an1 + c2 .an2 + + ck .ank se e somente se: an = 1 .r1 n + 2 .r2 n + + k .rk n aonde 1 , 2 , . . . , k so constantes

Prova: extenso do caso k = 2 (exerccio)

UFSC/CTC/INE p. 77

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre a soluo de: aonde: a0 = 2, a1 = 5 e an = 6.an1 11.an2 + 6.an3 a2 = 15

UFSC/CTC/INE p. 78

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre a soluo de: aonde: a0 = 2, a1 = 5 Soluo: polinmio caracterstico: r 3 6.r 2 + 11.r 6 = 0 e an = 6.an1 11.an2 + 6.an3 a2 = 15

UFSC/CTC/INE p. 79

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre a soluo de: aonde: a0 = 2, a1 = 5 Soluo: polinmio caracterstico: r 3 6.r 2 + 11.r 6 = 0 razes caractersticas: r = 1, r = 2 e r = 3 e an = 6.an1 11.an2 + 6.an3 a2 = 15

UFSC/CTC/INE p. 80

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre a soluo de: aonde: a0 = 2, a1 = 5 Soluo: polinmio caracterstico: r 3 6.r 2 + 11.r 6 = 0 razes caractersticas: r = 1, r = 2 e r = 3 de modo que as solues para esta recorrncia so da forma: an = 1 1 n + 2 2 n + 3 3 n e an = 6.an1 11.an2 + 6.an3 a2 = 15

UFSC/CTC/INE p. 81

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre a soluo de: aonde: a0 = 2, a1 = 5 Soluo: polinmio caracterstico: r 3 6.r 2 + 11.r 6 = 0 razes caractersticas: r = 1, r = 2 e r = 3 de modo que as solues para esta recorrncia so da forma: an = 1 1 n + 2 2 n + 3 3 n as condies iniciais fornecem: a0 = 2 = 1 + 2 + 3 a1 = 5 = 1 + 2 2 + 3 3 a2 = 15 = 1 + 2 4 + 3 9 1 = 1, 2 = 1 e 3 = 2 e an = 6.an1 11.an2 + 6.an3 a2 = 15

UFSC/CTC/INE p. 82

R ELAES DE R ECORRNCIA H OMOGNEAS

Exemplo: Encontre a soluo de: aonde: a0 = 2, a1 = 5 Soluo: polinmio caracterstico: r 3 6.r 2 + 11.r 6 = 0 razes caractersticas: r = 1, r = 2 e r = 3 de modo que as solues para esta recorrncia so da forma: an = 1 1 n + 2 2 n + 3 3 n as condies iniciais fornecem: a0 = 2 = 1 + 2 + 3 a1 = 5 = 1 + 2 2 + 3 3 a2 = 15 = 1 + 2 4 + 3 9 1 = 1, 2 = 1 e 3 = 2 an = 1 2 n + 2 3 n 2 e an = 6.an1 11.an2 + 6.an3 a2 = 15

soluo da relao de recorrncia:

UFSC/CTC/INE p. 83

L EITURAS SOBRE R ELAES DE R ECORRNCIA

Kolman5: item 3.5 Rosen6: itens 7.1 e 7.2

UFSC/CTC/INE p. 84