APUNTES PARA ALGORITMOS Y ESTRUCTURAS DE DATOS II

19

Recurrencias lineales homogneas. (Fundamentos de Algoritmia, pginas 135 a 140) 1. llevar la recurrencia a una ecuacin caracterstica de la forma ak tn + . . . + a0 tnk = 0, 2. considerar el polinomio caracterstico asociado ak xk + . . . + a0 , 3. determinar las races r1 , . . . , rj del polinomio caracterstico, de multiplicidad m1 , . . . , mj respectivamente (se tiene mi 1 y m1 + . . . + mj = k), 4. considerar la forma general de las soluciones de la ecuacin caracterstica: t(n) = + . . . . . .
n n n c1 r1 + c2 nr1 + . . . + cm1 nm1 1 r1 + n n n cm1 +1 r2 + cm1 +2 nr2 + . . . + cm1 +m2 nm2 1 r2 + . . .

n n n + cm1 +...+mj1 +1 rj + cm1 +...+mj1 +2 nrj + . . . + cm1 +...+mj nmj 1 rj

como m1 + . . . + mj = k, tenemos k incgnitas: c1 , . . . , ck , 5. con las k condiciones iniciales tn0 , . . . , tn0 +k1 (n0 es usualmente 0 1) plantear un sistema de k ecuaciones con k incgnitas: t(n0 ) = tn0 t(n0 + 1) = tn0 +1 . . . . . . . . . t(n0 + k 1) = tn0 +k1

que es la secuencia de bonacci. Apliquemos el mtodo presentado para las recurrencias homogneas: 1. ecuacin caracterstica tn tn1 tn2 = 0, k = 2. 2. polinomio caracterstico asociado x2 x 1.

6. obtener de este sistema los valores de c1 , . . . , ck , 7. escribir la solucin nal de la forma tn = t (n), donde t (n) se obtiene a partir de t(n) reemplazando ci y ri por sus valores y simplicando la expresin nal. 8. corroborar que efectivamente t(n0 + k) = tn0 +k , donde tn0 +k puede obtenerse utilizando la ecuacin caracterstica. Un ejemplo puede darse contando tn , el nmero de veces que se ejecuta la accin A en el siguiente procedimiento cuando se llama con parmetro n: proc p (in n: int) {pre : n 0} if n = 0 skip n=1A n > 1 p(n-1) p(n-2) end proc Al calcular tn , obtenemos n=0 0 1 n=1 tn = t n1 + tn2

20

CLASE 05

3. races r1 = 1+2 5 de multiplicidad m1 = y r2 = 12 5 de multiplicidad m2 = 1. 1 1+ 5 n 1 5 n 4. forma general t(n) = c1 ( 2 ) + c2 ( 2 ) . 5. condiciones iniciales t0 = 0 y t1 = 1. Sistema de ecuaciones: c1 + c2 = 0 1+ 5 c1 ( 2 ) + c2 ( 12 5 ) = 1 1 1 despejando, c1 = 5 y c2 = 5 . 1 1 solucin nal tn = 5 ( 1+2 5 )n 5 ( 12 5 )n . (t(0) = t0 ) (t(1) = t1 )

6.

7. 8. efectivamente, con la solucin nal t2 = 1 coincidiendo con el resultado obtenido para calcular t2 usando la recurrencia original. El siguiente ejemplo no proviene de un algoritmo. Calcular explcitamente tn donde tn = n 5tn1 8tn2 + 4tn3 n = 0, 1, 2

usando la tcnica presentada. 1. ecuacin caracterstica tn 5tn1 + 8tn2 4tn3 = 0, k = 3. 2. polinomio caracterstico asociado x3 5x2 + 8x 4. 3. races r1 = 1 de multiplicidad m1 = 1 y r2 = 2 de multiplicidad m2 = 2. 4. forma general t(n) = c1 1n + c2 2n + c3 n2n , simplicando t(n) = c1 + c2 2n + c3 n2n . 5. condiciones iniciales t0 = 0, t1 = 1 y t2 = 2. Sistema de ecuaciones: c1 + c2 = 0 c1 + 2c2 + 2c3 = 1 c1 + 4c2 + 8c3 = 2 (t(0) = t0 ) (t(1) = t1 ) (t(2) = t2 )

6. despejando, c1 = 2, c2 = 2 y c3 = 1/2. 7. solucin nal tn = 2 + 2 2n 1 n2n , simplicando tn = 2n+1 n2n1 2. 2 8. efectivamente, con la solucin nal t3 = 2 coincidiendo con el resultado obtenido para calcular t3 usando la recurrencia original.