ee Anliis dele eficencia de los aljortmas 3. Resolucién de recurrencias por el método de la ecuacién caracteristica abamos de ver que Is resol de recurrence es « menudo una etap final lispensable en el andlss de un algortmo, Con un poco de experiencia ¢ icin, dichasrecurencas punden resolve a simple vista, Pare reslver a recurrencin fe daa generaipente custo pass: determinar alguien valores cals de la recurencn, borcar una ley ene ellon,eoneturr une formula nal 3, fnalmente, demosterla por indvecia, Alortanadamente, hay un od que perte reaver csi automdticamente certas clases de ecarrencis, 1.1, Recurrencias homogéneas punto de partide ela reoluciin de recurencns linens homogénces con conte contante, ex dei, de Isr ate Haters boost Onte-t =0 se Pewee abr tad, Le remem teen trmians del rma fuer Geates tn ontnir yo ean iavenmesc homoplre pore a combine on il Busnes uo skin daft 2” donde ne cnt, 5 whine ee env (0) stents eae tae bhatt (olucién teva que no nos interes), ytambign ees past tp tan <0. ecutsin de grado kn 2s Uamaa ecuacin earacteristien de a recurren o ‘Sapongamos de momento quelarEraicesr1f2-...ru dela eewacén earac- inca, que pueden ser eomplejs, son ditntas Entoces ex fll eomaprobar Yoda combinacén neal 6= Det términcs rf ex una solucin dela rcurreni (2) donde las constantes ee , fq no dthucniionn:&: partir dt Jas emlidamn bbtdhn (note Reslucign de recurrncias por el métado dels eeacién caracerstica 60 BIEMPLO 22.1 Ses la recurenca a ecuniéncaracleriatin eta? 92 ‘general tended la forma aya races on 1 y 4. Le slueia te =a(-t tet 1s condiciones inca ns dan ata=o, nao de donde 6; = 1/5 y 6) = 1/. Finalmente se btiene = har. ° 5 EJEMPLO 23.2, (Fibonaci). Soa In rsuerecin e=0, Wl (Eats ola dtiniisn de la sucsién de Fibonsce: ver seed 1.7.5.) Se puede esrbir est reeurencia en le forma ty ~ far —ty-a = 0. Su ‘ouncinearacterision on 2? = —1'= 0 y mu aes som ve La slucin general es de Ia forma ty = ey ow dan “fear. Law condiciones inal ate=o, an terel, de donde e obtiene fcment c= 1/8 y = -1/V6. Por tantoAnalisis dela eficiencia de los elyoritmas * PROBLEMA 25.1. Sen la recusrencia nostra que t= 2°/sn(n/4) sguiendo el método de Ix ecuncén cara tien en ves de po induced. a ‘Supongamos ahora que ls racus dels ecuciénearateistca no son tos ita Sen Ha) tt tare! ooo polinomio de In ecuncién carocteiatca y sear una rai mille, Pare lon > k considerenns el panomio de gro definido por f(z) = 2 (2**p4a))' Sauna ei(n— De pe bayln = Bah 2 a(2) un polisomio tl que pe) =P): Se ine exons Mz) = 2 (x — Pa" *a(e))' na (ene) eH cn particular, H(r)= 0 Esto demestea que *a(2y') aan 4 ay(n— Ie too ani BA = 0, que ty = m0 ea también wna soci de (+). En genera sim es fa picidad de, fy =F, ty =e, fy = ney ty = HT, wo oat solucones postbles de (0). La slucién general es unt curhinacién linea de os téminesy de oe términos apotadon por lag otas rales de ln cevacin acterstia, Tenemos de mevo que deterainarF constants en funcia de as scones nicils. EJEMPLO 2.83, Sea a securencin Heo, puede exeibie sccuacén caracteristica es pct esolucign de recurrenci por el métads de ls eu in ceraterttice 71 ‘Las ences som 1 (con mltipicidad 1) y 2 (con muliplicidad 2), La colin general es temel peat payne as condiciones inicio nos dan ate eb 2ee be, ea tles $86, 2.3.2. Recurrencias no homogéneas CConsderemoeshora recurrence algo mi generale ata + tates Hi hantacn = phn) roy a parte iequierda es la misms que (+) pero en In paste danecha hay ¥p(n), senda 1) Bes une constantes 5) pln) ea un polinomio de grado den n Por ejemplo, muestra reeurecia podria ser ty ~ 2-1 = 3%. Ba ene caso, = 8 y p(n) = 1, un pelinomio de grado 0. Con wn poco de habilidad se puede reduce eae ejemplo I forma (+). En efecto, ve ve sue Sty Oty = 3" (ctiplcando por 3) yque typi Bg 3 (euhtitayendo por 2+). Restando le ecunconesanterones ce obtiene ot Bite Flys =O. Se puede resolver eta recurenia pore méodo dela seein 23.1 Su ecuncién—————s—§|-||Wwn~“¥*s- |" _—«=—=",;' “"“ ‘(| , Andlisis dele eSciencia de los egeritmes snitvamente sve que ol facoe (2-2) coreapone ala parte nquierda de se 2 ejemplo y el factor (2 ~8)sparece como consecuenda de as waaipalaciones ara hacer desaparecer la parte derecha. Probemos eon un segundo ejemplo ty Maan = (04 5", oe trucos neceearoe son ahora mie complica Bg —18la-r = (n+8)8"7 (emulipline por 0) tea Bann (n+ 7)BF (cubstituirm porn +2) Biggs $1My = Bln + 6)8" (oubsttirn porn ty después maltipicar por ~6.) omando las tes ecuacouts te obtiene taps Stags F218 a examin caractertion de eta nueva recurtenia«& Post eae 18 (e-2(-9)) Je asevo, se ve que el factor (= ~ 2) provine de Ia parte inquierda de la cureacia orginal ye fctor (2—3)? a el elie de mutnras manipuciones Generaliando eta atrategia x posible demostrar que, para resolver (+), sce tomar como ecuncin earactrstiea (ops! aust? bo baalle BM <0, oa ver obtenida extn eosin se proctde del mismo modo que en el caso omogineo. BIEMPLO 23.4. El nimero de veces qu se reli la accn de mover ua co en el problems dels tores de Hane: (ver ejemplo 2.21) viene dado por te =Qerth azd nao, srecurrencia se puede oveibir fy ~2ty-4 1 quees dela forma (+4) con b (n) <1, um polinomio de grads 0. La ecunciia cacacteristica et pune -Resolucibn de recerrncies yore métado de ls eusc a nla que factor (z ~2)proviene de In parte inguirda ol factor (21) dele parte derecha Las eaees do esta ecuscin son 1y 2, y la soluién genera dela teal een" [Necesitamoe doe condiciones iasales, So sabe que f = 0; pera hallar una segunda condiién inca we wiz In propia recurrencia fa My t1= 4, Finalmente veobliene gy a0, on atta] mel 4o que peemitehallar Ia slucin teeta o Notemoe gut, si slo se deen l orden de ty no hace alt enlular las constantn de In toleén genera. En el ejemplo precedente, cuando ae he sbtenido tema tar™ ‘se puede ya concur que ty € O(2%). Para esto basta notar que ty (el nimero {Se movimteaten de discar) uo en negativo al constantey ea certo que fy > Por tanto. > 0, lo que nor conde a resultado mencionad En realidad, ve puede conseguir slg mia, Sie subatituye a saluiéa general cela recurrence orginal se obtiene Det Baot 1 $e — Ble +2 *) CCunlguera que cea Ia condicin inicial he de cumplise necesaramente que anal PROBLEMA 2.2. No hay nada srprendente en el echo de poder de- termina una de ls constants de In slucin general sin mirar las condiionse Iniinles. Mix bien al eontrerio, por qu? 0 EJEMPLO 25. La recurencin ty 2qay =n que os dela forma (2+) comb (gado 1. La ecutién earaceretin (222-9 =0 on soleus 2y 1 (ta de multiplicdad 2) La sclucign general Baca +n puede escribir ty — 1'y wn) =m, wn polinomio de teat" tel" tent".EEE SE Andis dele eficiencia de los sgoritmos PROBLEMA 2.33, Para el ejemplo anterior demostias, ebstituyendo In saci general en In ecurents, gue an a Wdependientemente de la condi invial. Se conehuye pues que todas Jat uciones de Ia recurrencin que nos interean han de tener ey >'0y som, pot nto, 2"), 5 Une nueve generaliacin de este tipo de razonamiento-aoe permite final- ate resolver vecurrenins de I forma aly Ontnns +--+ antuce = ban) + 8p) + fone) bade Ins son constants diferentes y Toe p(n) son plinrnios enn cada uno velos de grado dy. Baste carr In couacn carnctevntien siguecte (att tars! boot ane bye — BJ a we iene un factor correspondiente ala pate iagsierdsy un factor para cada rino de In pate drecha. Hl problema se reele igual que ate. BIEMPLO 2.36 Resolver tant n tO, Bd ty Pty nt a en or) mb = 3) = 9 b= 8, ‘no)ri yds pn) Lacon erst (e=2\2-17@-2)=0 races 1 y 2, amas de multplicdad 2 La soli general de In recurrencia ela frsaa te weal" ean best bead ba In ayuda de In recurenca se obtiene = 3, ty = 12, = 85, Ahora es ible dterminae cy, cn ¥ ex 8 pari de a te 0, at atta tam 8 ete tet Bey =12, HS tS Mey 35, nS Resolucin de recurrencios yor el modo dele ceuncién carsteritica 75 PROBLEMA 2.3.4, Demostrar qu, para cuslgsiercondicin iii, todas las soluciones de Ie recureein son O{n2") 0 PROBLEMA 23.5. Sila ccunci carateitca de In ecurrncia (+4) c= grado HG tYG++ le lucida general contiene m constantes 10 os Gm: {Cudts etrecones| se pueden obtener sobre estas eonstantes sin considers Tas condiciones ince? (Verloe problemas 23.9 72.14), 3D 23.3. Cambio de variable ‘A veces se pueden reste recrrenias més conplicadassnediante un cambio {e variable. En los ejemplos que tguen, lamaremor T(n) al termina de wna securenca general yt, al tering de una neva recurenca cbtena. por un ‘cambio de vile EJEMPLO 2.3.7. Veamos ino obtener el orden de T(n) sin e# una po- tencin de2y sf Tin) =ATn/2)4, n> subatituimos n por 2 (lego k= ign) y ebtenemoe Te) ret 4 qe puede excibire como tena tt siendo ty = 1(2) = 7(n). Sabemor cémo resolver esta ue recurencia. Su fea earacterstic es (2 —4(2 2) =0 y por tanto theedt eh Deshaciendo el cambio de variable, se ebtiene ee peeé Andis dele eficiencia de os algortnas EXEMPLO 23.8, Voamoe cimo obtener el orden de T(n) sin es une po- ncn do2 ye To) nj) nt, n> ual que anes se obtienesuotsivaente Th) = arQe) 448 0 T\n) € Ofn#logn | nex potencn de 2), o BJEMPLO 23.9, Voumos cima obtener el orden de T(n) sin es una por nein dey Tin) =27(n/2)+nlgm, n>. ul que antes obtenesoe 7) =27(28*) 4 108 tea my tet + ecuacn caractrsticn ex (2 ~2)" = Oy entonces 2h + yk! + 82! sm teanlgn + enlgn ego T(n) € O(n log n | n ee potencia de 2) a BJEMPLO 23.0. (Mutipliacia de entero grandes, Ver Ins secio- #172, 4.1 y 47) Se dese encontrar el arden de T(n) con n potencia de 2 Tn) =3T(n/2) +e, mao nie € 6s une constant, Se cbtiene scesvamente Tah) = a7") 4 <2* test, bet ecuncn carsteritca ex (2 ~3){x ~2} = Oy eatonces 2 tet eee, esol de rcurrencias yor el mtdo de ln ecunién carctevitce TT (Obsersacién: Bn los ejemplos 23.7 a 2.8.10 slo se da I recstrenin para 8 potencia de 2. Ea por tanto inevitable que se obtengs una solucéa en fra ‘atten condiconal. Sin embargo, en los cuatro casos, astara aid la ‘eondicia de que 7(n) sea sit Sticamente no deereiente pare conta lee ‘rsultadoe obtenidos para cualquier valor den, Esto et pose de acwedo fem al probleme 2.1.20 porque lat fencioner m?,ntlogn, log? n y nit? sn Parndion, + PROBLEMA 286. Sean mp > 1, b> 2.y & constaates naturals y sean ‘2 enimeroe reales postivos, Sea T:.V = Runa funcdn asintieamente no ‘ecreiente tal que Tir)=eNn +e, n>m siempre que n/n eon uaa potncia deb, Demoeteur que el orden exacto de Tn) > Ont) shack Nin) e} Olntbogn) ian (niet) a> Ba verde demostrarlo por induccin construstiva, hero mediate el método dela ecuacin carateiticay del cambio de variable 0 PROBLEMA 2.7. Resolver exactamente la recuvensia Tir) =27(n/2)+1gm, mB? m)=1 ‘cuando n es potencia de 2. Expresa la slucin del modo més simple posible en botacéa 8, a PROBLEMA 2.3.8. Resolver exactamente Is recurrencin Tin) = 2a) +ign, nd 7@)=1 xan de rn 2". ron sua de odo ms sin pe fn notacién ©. 2.3.4, Transformacién de la imagen EL método del cambio de variable realize uns trneformecisn del dominio de IaAndlisis del efcienci de los elgoritmos [EJEMPLO 2.3.11. Se tsta de resolver Ia recurencia tendo n ex pots de 2. El primer puto oun cambio de variable: hace 18 te = T(24) y tenemos My, Do & Primer vista noes posible apicar eta securenca ninguna de las tdnicas tas ya que noes lineal y tiene un coeiciente no constant La trasnornacin In imagen consiste en ecibir una nueva rcarrencia con Vi = igte Veek+hr, >0 Ve=lgs, secunen caracteitien er (2 —2)(2~ 1) = 0y entonces Vir ath tet tqbtt oesto que Vo = 14163, Vi = 342143 y Vs = 84g obtenemee = 3+1g3, = =2y c= 15; por tanta = (+lea2—E-2, so ty = 2% y Tn tagn se obtine oalmente in) = 2°29"), ° 3.5. Problemas adicionales PROBLEMA 2.9. Resolver exactamente la ecuacin de reeurencia paftrttcs oy inde Referencias Wig ius - PROBLEMA 23:10. Rslverexastamente I ceunia de recurrence, Tepn {OM +(oten), nd? con m potenca de 2. Expresar Is ealuién del modo més ssnple posible en sotacda ©. a PROBLEMA 23.11. Resolver exacamente la ecuscn de reeurencia byw {tage t Baca 2h = {one 15m + 106, xpresar Ia slucis del modo més simple posible en aotacién @. o nda H0Sn<2 PROBLEMA 25.12. Resolver exactamente ln ecuacin de recurencia — 1s, Sn PROBLEMA 24.18, Resolver exacamente In ecuscin de ecurrencin eTnt) Ting 2)=TtTCSD, naa TO) =a, 70) en fancin de las condiciones ican 0 yb 0 2.4. Referencias bibliogréficas las notacionesasitétcas estan presetes en la matemticas desde hace tmi- ‘ho tempo [Bachmann 1802, de Brajn 1061). Su historia esta resunida en [Kath 197), donde we propone su aormakzacin. Las notaionesasiniicas fontdicionales y el probleme 21.20 esti tomados de [Brassard 1965, donde seems se sugiere substi las igualdades por Ia notacin de teorn de conju tos. El cileulo de limites y Is rep de Hopital se eden enconter en ewalyier libro de andisis matemtco[Spege! 1073) eo Made