Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
12Activity
0 of .
Results for:
No results containing your search query
P. 1
generatrices

generatrices

Ratings: (0)|Views: 1,305 |Likes:
Published by afamer1737
capitulo de ada
capitulo de ada

More info:

Published by: afamer1737 on Nov 04, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PS, PDF, TXT or read online from Scribd
See more
See less

05/04/2013

pdf

text

original

 
FuncionesGeneratrice
Lafunci ongeneratrizesunatransformaci onquepermitecondensartodoslosvaloresdeunasecuenci
;
;:::;
;:::
enuna unicafunci o
)
 
(1ydado 
),escribimoss
correspondientecom
= 
]
).Estatransformaci onpermiteconvertirecuacionesderecurrenciaenecuacionesacercadelafunci o
),quepuedenserm asf acilesderesolverquelarecurrenciaoriginal.Unavezobtenidoelresultado,sedebe antitransformarlafunci onpararecuperarlosvaloresoriginales 
.Noloveremosenelcurso,perotambieessumamente utilparacontarestructurascombinatorias,problemaqueaparecefrecuentementeenelan alisis dealgoritmos(ej.cu antos arbolesbinariosdealtur
hay?).Enelcursonosconcentraremosensuusoparresolverrecurrencias.EnlaTabla1sepresentanlasfuncionesgeneratricesasociadasavariassecuenciasconocidas(latablae utilenambasdirecciones).Puedenvericarse,algunasf acilmenteyotrasnotanto,reemplazando 
porlsecuenciaen(1).Porejemplo,paravericarlaprimera
=1),escribimos 
)
 
 
 
Estaformanoeslam asc omodaparatransformarlasecuencia.Porejemplo,supongamosquesabemosque lafunci ongeneratrizpara 
e
).Cu aleslafunci ongeneratrizpara 
 
?Estaser 
 
 
 
 
 
z
dondehemossupuestoquelanuevasecuenciavaldr aceroenlaprimeracomponente.Hayunaseriedeherramientasquenospermitenmodicarunasecuenciacuyafunci ongeneratrizesconocida,yobtenerinmediatamentelafunci ongeneratrizdelasecuenciamodicada.EnlaTabla2semuestranlas transformacionesm asimportantes.Porejemplo,podemosusarla ultimaparaderivarlafunci ongeneratri d
=
mediantesuponerquelos 
multiplican
 
,dondetodoslo
=1.Deestemodosabemosqu
)
),donde 
)sepuedeobtenerdelaTabla1,demodoqu
)
 
EsunbuenejercicioderivaralgunasidentidadesdelaTabla1usandoestastransformacionessobreotras.Laslneas2,3,4,6y9sonredundantes.
 
SecuenciaFunci ongeneratri
;
;
;:::;
;
;
;
;:::
( 
]
;
;
;
;:::
 
;c;c 
;
;:::
 
c
;
;
;
;:::
(
 
;
;
;:::;
;
+
;:::;
 
 
;:::
(
 
+
;N;
 
 
;:::;
 
 
;:::;
1(1
;
+
;
 
+
 
;
 
+
 
;:::
(
 
+
;
;
2!
;
3!
;:::
;
;
;
;:::
l
 
;
;
1+
;:::;H 
;:::
 
l
 
Table1:Variasdelasfuncionesgeneratricesquem asaparecenenlapr actica.SecuenciaFunci ongeneratri
K
)
K
)
)
 
=0
)
z
+
)
 
n
)
z
=
=0
)
 
d
)
K
=
 
)
Table2:Transformacionesdesecuenciasyfunci ongeneratrizasociada.
 
Veamosunejemplodetransformarunarecurrenciaenfunci ongeneratriz.Losn umerosdebonaccicumplelapropiedad 
 
 
;
(0)
(1)=aunnopodemosaplicarfucionesgeneratricesporquelaecuaci onnoesv alidaparatodo 
,porejemplono est adenidapara0y1.Loqueharemosser areexpresarlacom
+
+
;
(0)=
;
(1)=ahoratomamosfunci ongeneratrizdeamboslados 
 
 
 
multiplicandopor 
deambosladostenemos 
 
z
)
esdeci
)(
 
 
)
)
 
 
Conlocualterminalaprimeraetapadelasoluci on.Hemosmostradoc omoconvertimosunarecurrencienunaecuaci onnormalacercadelafunci ongeneratriz.C omorecuperarahoralasecuencia?Enestecaso, notemosque 
)sepuedeexpandirenfraccionesparciales 
)
 
 
 
 
 
donde 
 
=(1+ 
5
2
 
=(
 
5
2.Estoahoraesf acildeinvertirapartirdelatabla,resultando 
 
 
 
Veamosotroejemplom ascomplicado.TomemoslarecurrenciaquesurgecuandoseanalizaelQuicksort.
)
 
1
 
=
;
(0)=vimosantesc omoinvertirlasuma,cuandollegahast
(i.e.
(
 
)).Ennuestrocasollegahast
 
1,loqueobligaaundesplazamiento(i.e.
z
(
 
)).Ladivisi onpo
noshacerestarl
(0)=0,dividirpor 
eintegrar.Transformar 
 
1esf acilapartirdelatabla.Demodoquetenemos 
)
(
 
 
 
+
 
o,derivando,
)
(
 
 
Estavezlaecuaci onqueden
)esunaecuaci ondiferencial.Estaesdelaclasem assimple(puede resolverseconMaple,porejemplo) 
)
 
+ln(
 
)
(
 
 
(
 
 
ln
 
(
 

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->