RESOLVENDORELAESDERECORRNCIA

ConsiderenovamenteasequnciaSdefinidapor
S(1)=2
S(n)=2*S(n1)paran2
Observeoseucomportamento:
S(1)=2=21
S(2)=2*S(21)=2*S(1)=2*21=22
S(3)=2*S(31)=2*S(2)=2*22=23
S(4)=2*S(41)=2*S(3)=2*23=24

...

PodemosconcluirqueS(n)=2n eusarestaequaoparacalcularS(n)para
qualquervalorden,semprecisarcalcularSparavaloresmenoresquen.
Umaequaodessetipochamadauma SoluodeFormaFechada parauma
relaoderecorrnciasujeitahiptesebsicaestabelecida(isto,pelabasede
recorrncia).
Resolver umaRelaoderecorrncia encontraruma soluodeformafechada
paraarelaoderecorrncia.
Arelaoderecorrnciapodeserresolvidausandoseumaabordagememtrs
etapas:
Expandir
Supor
Verificar
Nestaabordagemarelaoderecorrnciausadarepetidamenteparaexpandir
aexpressoparaonsimotermo,atquesepossadeduzirumpadrogeralde
comportamentodaexpreesso.Porltimo,asuposiodeveserdemonstradapor
induomatemtica.
Exemplo:ExpandindoarelaoderecorrnciadasequnciaSdefinidaanteriormente:
S(n)=2S(n1)
=2[2S(n1)]=22S(n2)
=22[2S(n2)]=23S(n3)
Apskexpansessucessivas:
S(n)=2kS(nk)
AexpansodosvaloresdeSemtermosdovaloresinferioresdeSdeveparar
quandonk=1(porqueabasedarecorrnciadefinidapara1),ouseja,
quandok=n1.Nestepontoteremos:
S(n)=2n1S(n(n1))=(2n/2)*S(1)=(2n/2)*2=2n
S(n)=2nasoluodeformafechadaencontradaparaarelaode
recorrnciaS(n)=2S(n1)
Paraverificarasoluodaformafechadaprecisamosagorademonstrarsua
validadeporinduomatemticaemn
S(n)=2n
BASE:S(1)=21=2
OK
k
HipteseIndutiva: S(k)=2
QueremosmostrarqueS(k+1)=2k+1
DadefiniodeSeusandoahipteseindutiva
S(k+1)=2*S(k+11)=2*S(k)=2*(2k)=2k+1
c.q.d

ExemploEncontreumasoluodeformafechadaparaarelaoderecorrncia
sujeitahiptesebsicaparaasequnciaTaseguir:
1. T(1)=1
2. T(n)=T(n1)+3
Expandindoarelaoderecorrncia
T(n)=T(n1)+3
=T(n2)+3+3=T(n2)+2*3
=T(n3)+3+3+3=T(n3)+3*3
Apskexpansessucessivas:
T(n)=T(nk)+k*3
AexpansodosvaloresdeTemtermosdovaloresinferioresdeTdevepararquando
nk=1,ouseja,quandok=n1.Nestepontoteremos:
T(n)=T(1)+(n1)*3=1+3n3=3n2
Paraverificarasoluodaformafechadaprecisamosagorademonstrarsuavalidade
porinduomatemticaemn
T(n)=3n2
BASE:T(1)=3*12=32=1
OK
HipteseIndutiva: T(k)=3k2
QueremosmostrarqueT(k+1)=3(k+1)2=3k+32=3k+1
DadefiniodeTeusandoahipteseindutiva
T(k+1)=T(k+11)+3=T(k)+3=3k2+3=3k+1
c.q.d

TIPOSDERELAODERECORRNCIA
RelaoderecorrnciaLINEAR
Osvaloresanterioresqueaparecemnadefiniosoapenasdeprimeira
potncia
S(n)=c*f1(n)S(n1)+c*f2(n)S(n2)+...+c*fk(n)S(nk)+g(n)
Ondefiegpodemserexpressesenvolvendon
DizsequearelaoderecorrnciatemCOEFICIENTESCONSTANTESseosfi
sotodosconstantes
DizsequearelaoderecorrnciadePRIMEIRAORDEMseonsimo
termodependeapenasdostermosdeordemn1
UmarecorrnciaLINEARdePRIMEIRAORDEMcomCOEFICIENTES
CONSTANTEStemaforma:
S(n)=c*S(n1)+g(n)
(1)
UmarelaoderecorrnciaHOMOGNEAseg(n)=0paratodon
S(n)=c*S(n1)

SOLUODEFORMAFECHADADAEQUAO(1)
S(n)=c*S(n1)+g(n)umarelaoderecorrnciaLINEAR,dePRIMEIRA
ORDEM,comCOEFICIENTESCONSTANTES,sujeitahipotesebsicaS(1),que
conhecida.

ExpandirSuporVerificar
S(n)=c.S(n1)+g(n)
=c.[c.S(n2)+g(n1)]+g(n)
=c2.S(n2)+c.g(n1)+g(n)
=c2.[c.S(n3)+g(n2)]+c.g(n1)+g(n)
=c3.S(n3)+c2.g(n2)+c.g(n1)+g(n)
Apskexpanses
S(n)=ck.S(nk)+ck1.g(n(k1)+...+c.g(n1)+g(n)
Seasequnciatemvalorbaseiguala1,entoaexpansoterminaquando
nk=1,ouk=n1.Nestepontoteremos:
S(n)=cn1.S(1)+cn2.g(2)+...+c.g(n1)+g(n)
S(n)=cn1.S(1)+cn2.g(2)+...+c1.g(n1)+c0.g(n)
n

S(n)=cn1.S(1)+cni.g(i)
(2)
i=2

Soluodeformafechadaparaarelaoderecorrnciadaequao(1)

Provaporinduo
BASE:

S(1)=c0.S(1)+cni.g(i)=1.S(1)+0=S(1)
i=2

Hipteseindutiva
k

S(k)=ck1.S(1)+cki.g(i)
i=2

Queremosprovarque
k+1

S(k+1)=ck+11.S(1)+ck+1i.g(i)
i=2

k+1

S(k+1)=ck.S(1)+ck+1i.g(i)
i=2

Pelarelaoderecorrncia:
S(k+1)=c.S(k)+g(k+1)
k

=c[ck1.S(1)+cki.g(i)]+g(k+1)

i=2

=ck.S(1)+c.cki.g(i)+g(k+1)

i=2

=ck.S(1)+ck+1i.g(i)+g(k+1)

i=2

k+1

=ck.S(1)+ck+1i.g(i)c(k+1)(k+1).g(k+1)+g(k+1)

i=2

k+1

=ck.S(1)+ck+1i.g(i)c0.g(k+1)+g(k+1)

i=2

k+1

=ck.S(1)+ck+1i.g(i)g(k+1)+g(k+1)

i=2

k+1

=ck.S(1)+ck+1i.g(i)

i=2

(c.q.d)

EXEMPLO:
1. S(1)=2
2. S(n)=2.S(n1)

S(n)umarelaoderecorrncia:
LINEARvaloresanterioresdeSqueaparecemnadefinioocorremapenas
primeirapotncia
DEPRIMEIRAORDEMonsimotermodependeapenasdostermosde
ordemn1
COMCOEFICIENTESCONSTANTESfssoconstantes(c=2)
Emoutraspalavras,elaferificacomaequao(1),comc=2eg(n)=0para
todon
Daequao(2)
n

S(n)=cn1.S(1)+cni.g(i)
i=2
S(n)=2n1.2=2n

confirmandooresultadoobtidoanteriormente