Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Ecuaciones de Recurrencia: Def 1: Una ecuacin de recurrencia (ER) de orden k es una ecuacin funcional

F (n, xn , xn1,......, xnk ) = 0

donde cada

(1.1)

xn , es una funcin , xn :

y nk .

La incgnita xn , es una funcin, o mejor dicho una familia de funciones. Ejemplos:

x n nxn 1 = 0 , n 1 x n x n 1 = 2 n , n 1 x n = x n 1 + x n 2 , n 2
f
n

La ecuacin (1.1) tambin se puede escribir como:

xn = f (n, xn1, xn2,......, xnk )

En general trabajaremos con ER escritas en la forma (1.2)

(1.2)

Objetivo: Dada una ecuacin de recurrencia de la forma (1.2) nuestro objetivo en este tema, es obtener el trmino general de x n , es decir una frmula
xn = g ( xk )

que no dependa de xk con k < n Def 2: Una ER es lineal si tiene la forma

xn + g1 (n) xn1 + g 2 (n) xn2 + ....... + g k (n) xnk = h(n)

(1.3)

Def 3: Una ER lineal es homognea si h(n) = 0

Estructuras Discretas para Ciencias de la Computacin Pag 1 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Def 4: Una ER lineal es de coeficientes constantes si g i ( n ) = a i , co n a i Def 5: Una ER lineal de coeficientes constantes homognea, es una ER de la forma (1.4) xn + a1 xn1 + a2 xn2 + ....... + ak xnk = 0 Para encontrar una solucin de la ER (1.4), se precisa conocer k condiciones iniciales ( x0 , x1 , x2 ,....., xk 1 ) , siendo k el orden de la ecuacin. Existen varias tcnicas para resolver ER, las principales son: Mtodo de la ecuacin caracterstica Mtodo de despliegue de recurrencias Mtodo del cambio de variables Mtodo de la funcin caracterstica El uso de cada mtodo anterior depende, en algunos casos, de la forma de la ecuacin. a) Mtodo de la ecuacin caracterstica Aplicaremos este mtodo a ecuaciones de recurrencia lineal homognea con coeficientes constantes, de la forma (1.4), es decir a ecuaciones como
xn + a1 xn1 + a2 xn2 + ....... + ak xnk = 0

(*)

En este caso se supone solucin de la forma xn = n con 0 . Como es solucin, entonces debe satisfacer la ecuacin (*), con lo que al reemplazar, se obtiene:

n + a1 n1 + a2 n2 + ....... + ak nk = 0 n (1+ a1 1 + a2 2 + ..... + ak k ) = 0

Como 0 entonces n 0 , por lo que de (**) se tiene que (**)

1+ a1 1 + a2 2 + ...... + ak k = 0
al multiplicar la ecuacin precedente por k , se obtiene

k + a1 k 1 +a2 k 2 + ..... + ak 1 1 + ak = 0
Estructuras Discretas para Ciencias de la Computacin Pag 2 de 25

(***)

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

La ecuacin (***) recibe el nombre de ecuacin caracterstica, la cual tiene k races, estas k races pueden ser reales y distintas, es decir, cada una de ellas de multiplicidad uno; o pueden ser reales con multiplicidad mayor que uno, o complejas conjugadas. Caso 1: Races reales y distintas. Supongamos que las races son 1 , 2 ,......., n con i j i j . En este caso la solucin de la ecuacin (*), es una combinacin lineal de las races de la ecuacin caracterstica, es decir:

xn = c11n + c22n +...... + ck kn

donde las constantes ci se determinan de manera nica mediante las condiciones iniciales ( x0 , x1 , x2 ,....., xk 1 ) . Ejemplos: 1.- Resolver la ecuacin

xn = 5 xn1 6 xn2 n 2 x0 = 0 x1 =1
Solucin: La ecuacin anterior es una ecuacin de recurrencia lineal homognea con coeficientes constantes de orden 2. De acuerdo al esquema anterior suponemos solucin de la forma xn = n , con 0 . Como xn = n , con 0 es solucin entonces debe satisfacer dicha ecuacin, por lo tanto, al reemplazar en la ecuacin propuesta se tiene:

n 5 n1 + 6 n2 = 0 n (1 5 1 + 6 n ) = 0
Como 0 entonces n 0 , por lo que en la ecuacin se debe cumplir que 1 5 1 + 6 2 = 0 . Al multiplicar por 2 , la ecuacin anterior nos queda:

2 5 + 6 = 0

Estructuras Discretas para Ciencias de la Computacin Pag 3 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Cuyas soluciones son 1 = 3 y 2 =2 . Por lo tanto la solucin general es:

xn = c11n + c22n xn = c1 3n + c2 2n
Las condiciones iniciales son x0 = 0 y x1 =1 , que reemplazando en la solucin general obtenemos, haciendo n=0:
x0 = c1 30 + c2 20 0 = c1 + c2 c1 = c2

Ahora, haciendo n=1 en la solucin general

x1 = c1 31 + c2 21 1= 3c1 + 2c2 1= 3c2 + 2c2 c2 = 1 c1 =1

Reemplazando los valores de las constantes en la solucin general, se obtiene la solucin de la ER para las condiciones iniciales dadas.
xn = 3n 2n , n 0

Caso 2: Races reales y repetidas La ecuacin caracterstica de una ecuacin de recurrencia lineal homognea de coeficientes constantes, de orden k, tiene k races. Supongamos que estas races son reales y que al menos una de ellas tiene multiplicidad mayor que uno. Sean estas races 1 , 2 ,......, t con multiplicidades respectivas k1 , k2 ,....., kt donde k = k1 + k2 + ..... + kt . En este caso cada raz del polinomio caracterstico contribuye con tantas soluciones como indique su multiplicidad. Esto es, para cada j=1, 2, ,t se tiene que las k j sucesiones

jn , njn , n2jn , n3jn ,......, n jn

Son soluciones linealmente independientes de la ecuacin de recurrencia lineal homognea de coeficientes constantes.
Estructuras Discretas para Ciencias de la Computacin Pag 4 de 25

n j 1

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Ejemplos: 2.- Determine la solucin xn 3xn1 + 3 xn2 xn3 = 0, n 3 . general de la ecuacin de recurrencia

Solucin: Suponemos solucin de la forma xn = n , 0 . Reemplazando en la ecuacin se obtiene:

n 3 n1 + 3 n2 + n3 = 0 n (1 3 1 + 3 2 3 ) = 0
1 3 1 + 3 2 3 = 0 / 3

3 3 2 + 3 1= 0
Buscamos las races de la ecuacin caracterstica anterior, con los divisores de -1. 1 -3 1 1 1 -2 3 -2 1 -1 1 0

-2 1

1 -1 0

-1

-1 1

Estructuras Discretas para Ciencias de la Computacin Pag 5 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

De esta manera la ecuacin tiene sus tres races reales y todas iguales a 1. La solucin general es de la forma:
xn = c11n + c2 n1n + c3n 21n xn = c11n + c2 n1n + c3n 21n , n 0 xn = c1 + c2 n + c3n 2
n0

3.- Encuentre la solucin general de la recurrencia

xn+4 7 xn+3 +13 xn+2 + 3 xn+1 18 xn = 0

Solucin: Suponemos solucin de la forma xn = n , 0 . Reemplazando en la ecuacin dada, tenemos:

n+4 7 n+3 +13 n+2 + 3 n+1 18 n = 0 n ( 4 7 3 +13 2 + 3 18 ) = 0 4 7 3 +13 2 + 3 18 = 0

Usando la regla de Ruffini Horner, determinamos las races de la ecuacin caracterstica anterior. Obteniendo 1 = 1, 2 = 2 y la raz 3 = 3 de multiplicidad dos. La solucin general, en este caso, es una combinacin del caso 1 y del caso 2.
xn = c1 (1) n + c2 2n + c3 3n + c4 n3n , n 0

4.- Resuelva la ecuacin de recurrencia

n si n = 0,1,2 tn = 5tn1 8tn2 + 4tn3 , n 3

Solucin: La ecuacin anterior se puede escribir como
tn 5tn1 + 8tn2 4tn3 = 0

n 5 n1 + 8 n2 4 n3 = 0, haciendo tn = n n (1 5 1 + 8 2 4 3 ) = 0 3 5 2 + 8 4 = 0
Estructuras Discretas para Ciencias de la Computacin Pag 6 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

La ecuacin anterior tiene la raz 1 =1 y la raz 2 = 2 de multiplicidad dos. Nuevamente la solucin general es una combinacin del caso 1 y del caso 2
tn = c11n + c2 2n + c3n 2n , n 0

Al imponer las condiciones iniciales, se llega al sistema de ecuaciones lineales

n = 0 c1 + c2 =0

n =1 c1 + 2c2 + 2c3 =1 n = 2 c1 + 4c2 + 8c3 = 2 1 Cuya solucin es c1 = 2, c2 = 2 y c3 = . De esta manera la solucin de la 2 ecuacin de recurrencia, para las condiciones iniciales dadas es:

tn = 2 + 2n+1 n2n1 , n 0

Caso 3: Races Imaginarias

b) Mtodo de Expansin de Recurrencias Consiste en aplicar varias veces la frmula recurrente hasta obtener una frmula general que relaciona la funcin para el tamao original con otros tamaos menores. A partir de esta frmula se obtiene la frmula que relaciona con el caso base. Ejemplo: Resolver la ecuacin de recurrencia de las Torres de Hanoi
tn = 2tn1 +1 t1 =1

Solucin: Observemos que la ecuacin de las Torres de Hanoi es una ER no homognea, ya que h(n) =1 . De la expresin tn = 2tn1 +1 vamos obteniendo sucesivamente la expresin para tn1 = 2tn2 +1 que reemplazamos en la expresin de tn
tn = 2tn1 +1= 2 ( 2tn2 +1) + 1 t n = 2 2 tn 2 + 2 + 1

Estructuras Discretas para Ciencias de la Computacin Pag 7 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Ahora reemplazamos tn2 = 2tn3 +1 en la ltima expresin de tn

tn = 22 ( 2tn3 +1) + 2 +1= 23 tn3 + 22 + 2 +1

De acuerdo a la ley de formacin, podemos inferir, el siguiente trmino general

tn = 2k tnk + 2k 1 + 2k 2 + ..... + 22 + 2 +1 t n = 2 k t n k + 2 k 1

al hacer uso que la suma 2k 1 + 2k 2 + ....... + 2 +1= 2k 1 . Se llega al caso base, determinado por la condicin inicial t1 =1 , cuando se impone la condicin que tnk = t1 , lo que implica que n k =1 , o bien cuando k = n 1 . Reemplazando, k = n 1 en la expresin anterior de tn , se tiene:
tn = 2n1 tn( n1) + 2n1 1 tn = 2n1 t1 + 2n1 1 tn = 2n11+ 2n1 1 , pues t1 =1 tn = 22n1 1 , n 1 tn = 2n 1 , n 1

Observacin: La tcnica de expansin de recurrencias es adecuada solamente cuando hay un trmino recurrente o cuando la ecuacin es no lineal. No se debe aplicar cuando aparecen varios trminos recurrentes, por ejemplo, en la ecuacin de recurrencia de los nmeros de Fibonacci:
f n = f n1 + f n2 , n 2 f0 = 0 f1 =1

Ejemplo: Resolver la ecuacin de recurrencia:

n T (n) = 3T ( ) n 2 2 T (1) = 2

Estructuras Discretas para Ciencias de la Computacin Pag 8 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

n Solucin: De la expresin T (n) = 3T ( ) obtenemos sucesivamente la expresin 2 n n n en T (n) = 3T ( ) , es decir, correspondiente a T ( ) reemplazando n por 2 2 2 n n T ( ) = 3T ( 2 ) 2 2 n n T ( ) = 3T ( 2 ) 2 2
De esta forma la expresin para T (n) queda:

n n T (n) = 3 3T ( 2 ) = 32 T ( 2 ) 2 2
n n ) en la expresin para T (n) = 3T ( ) reemplazamos n 2 2 2 n 2 n n n por 2 , obteniendo T ( 2 ) = 3T ( 2 ) = 3T ( 3 ) que al reemplazar en la ltima 2 2 2 2 expresin de T (n) se obtiene
Ahora para determinar T (
n n T (n) = 3 32 T ( 3 ) = 33T ( 3 ) 2 2

Repitiendo este mismo proceso k veces podemos escribir la siguiente expresin para T (n) .

T (n) = 3k T (

n ) 2k

En este momento debemos hacer uso del caso base, o condicin inicial T (1) = 2 . La idea, es la misma que en caso anterior, la condicin para k se obtiene al hacer imponer que

T(

n n ) = T (1) k =1 2k = n k = log 2 n k 2 2
T (n) = 3log2 n T (1) como T (1) = 2 T (n) = 2i3log2 n , n 1

Estructuras Discretas para Ciencias de la Computacin Pag 9 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Antes de examinar los mtodos de cambio de variables y de la funcin generatriz, veremos el caso no homogneo, es decir el caso en que la funcin h ( n) 0 . Un esquema particular para resolver una ER no homognea, es cuando h(n) es una constante, es decir, es un nmero. La idea es hacer el siguiente truco: escribir la ecuacin dada y la recurrencia siguiente, reemplazando n por n+1, y despus restar, para transformarla en una ecuacin homognea. Ilustraremos este esquema mediante un ejemplo, concretamente mediante la ecuacin de las Torres de Hanoi. Resolver
tn = 2tn1 +1

t1 =1 Solucin: Escribimos la ecuacin propuesta y la que resulta de sustituir en la misma ecuacin n por n + 1 , y las restamos

tn = 2tn1 +1 tn+1 = 2tn +1

despus de restar, queda.

tn tn+1 = (2tn1 +1) (2tn +1) tn tn+1 = 2tn1 2tn tn+1 3tn + 2tn1 = 0

esta ltima ecuacin la resolvemos, como las ecuaciones homogneas, es decir, suponiendo que tn = n con 0 ., quedando despus de reemplazar

n+1 3 n + 2 n1 = 0 n ( 3 + 2 1 ) = 0 3 + 2 1 = 0 ya que n 0
Despus de multiplicar por , se obtiene la ecuacin caracterstica

2 3 + 2 = 0
cuyas races son 1 = 2 y 2 =1 . La solucin general de la ecuacin de las Torres de Hanoi es:

Estructuras Discretas para Ciencias de la Computacin Pag 10 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

tn = c1 2n c21n , n 1
Las constantes c1 y c2 las determinados de las condiciones iniciales. Sin embargo, en este caso, slo conocemos una condicin inicial, t1 =1 . La otra condicin inicial la determinados de la ecuacin tn = 2tn1 +1 , que es vlida para n 2 , haciendo n = 2 , obteniendo t2 = 2t21 +1= 2t1 +1= 2i1+1= 3 . De la solucin general, imponiendo las condiciones iniciales, se tiene: n =1 t1 = c1 2 c2 n = 2 t2 = c1 4 c2 1= 2c1 c2 3 = 4c1 c2 Resolviendo el sistema de ecuaciones con dos incgnitas, obtenemos c1 = c2 =1 , por lo tanto la solucin es tn = 2n 1 , n 1 Un esquema ms general para resolver una ecuacin no homognea xn + a1 xn1 + a2 xn2 + .... + ak xnk = h(n) es determinar la solucin general de la ecuacin de recurrencia homognea asociada xn + a1 xn1 + a2 xn2 + ..... + ak xnk = 0 Solucin que llamaremos
h xn . Posteriormente determinamos una solucin

particular de la ecuacin no homognea, que llamaremos xnp . La solucin general de la ecuacin no homognea xn , es la suma de la solucin de la homognea y la particular, es decir:
h xn = xn + xnp

Las constantes ci se determinan despus de haber encontrado la solucin particular xnp , concretamente se determinan con la solucin general de la ecuacin
h no homognea xn = xn + xnp .

Estructuras Discretas para Ciencias de la Computacin Pag 11 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

No existe un mtodo general para determinar

xnp , sin embargo

dependiendo de la forma de h(n) , ser la forma de xnp . Construiremos una solucin particular de la ecuacin no homognea segn los siguientes criterios: i) Si h(n) es un mltiplo constante de una de las siguientes formas y no es solucin de la ecuacin homognea asociada, entonces xnp tiene una de las formas mostradas en la siguiente tabla:

h( n)
K n n2
rn nt r n sen( n) cos( n)

xnp
A a1n + a0

a2 n 2 + a1n + a0
Ar n r n (at nt + at 1nt 1 + .... + a1n + a0 ) asen( n) + b cos( n) asen( n) + b cos( n)

En la tabla anterior K , r , , A, at , at 1 , at 2 ,..., a0 son constantes. Las constantes A, at , at 1 ,...., a0 , se determinan sustituyendo xnp en la ecuacin dada ii) Si h(n) consta de una suma de mltiplos constantes de trminos como los de la primera columna de la tabla anterior, entonces xnp est formada por la suma de los trminos correspondientes de la suma de la segunda columna. Si un sumando de h(n) contiene un factor r n que es la solucin de la ecuacin homognea asociada y r es raz de multiplicidad k en el polinomio caracterstico, entonces la parte de xnp correspondiente a ese sumando debe multiplicarse por n k Ejemplos: 1.- Resuelva la ecuacin xn + 2 xn1 = 3 , n 1, x0 = 2 Solucin: En este caso h(n) = 3 y la ecuacin homognea asociada es xn + 2 xn1 = 0 . Como debemos suponer que xn = n , con 0 , entonces :

iii)

Estructuras Discretas para Ciencias de la Computacin Pag 12 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

n + 2 n1 = 0 n (1+2 1 ) = 0
1+ 2 1 = 0 + 2 =0

= 2
De esta manera la solucin general de la ecuacin homognea asociada es
h xn = (2) n c

Como h(n) = 3 es una constante, de acuerdo a la tabla, suponemos la solucin particular de la forma xnp = A , que al reemplazar en la ecuacin no homognea nos queda:

A + 2A=3 3A = 3 A =1 p Luego xn =1 y por lo tanto la solucin general de la ecuacin no homognea es.

h xn = xn + xnp

xn = (2) n c + 1

En este momento aplicamos la condicin inicial para determinar las constante c .

x0 = (2)0 c + 1

Como x0 = 2 entonces

x0 = c + 1 2= c + 1 c =1

La solucin general es

xn = (2) n + 1, n 0
2.- Resuelva, ahora la ecuacin, de recurrencia xn 3 xn1 = 5 7 n , n 1 con x0 =1 Solucin: La ecuacin homognea asociada es xn 3 x n1 = 0 , para la cual suponemos solucin de la forma xn = n , 0

Estructuras Discretas para Ciencias de la Computacin Pag 13 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

n 3 n1 = 0 n (1 3 1 ) = 0 3= 0 =3
h La solucin de la ecuacin homognea es xn = c3n . La forma de la solucin

particular es xnp = A7 n ya que h(n) = Ar n . Reemplazando xnp =A7 n en la ecuacin no homognea propuesta:

A 7 n 3 A 7 n 1 = 5 7 n / 7 A 3A =57 4 A = 35 A = 35 4

1 7 n 1

La solucin de la ecuacin particular es xnp = (

35 n )7 . 4

La solucin general de la ecuacin no homognea es

h xn = xn + xnp

xn = c3n + (

35 n )7 , n 0 4

La constante c la determinamos mediante la condicin inicial x0 =1 .

x0 = c + 35 4

1= c +

35 4 35 31 c =1 = 4 4

Por lo tanto la solucin de la ecuacin no homognea, para la condicin inicial dada es:

xn =

31 n 35 3 + ( )7 n , n 0 4 4

Estructuras Discretas para Ciencias de la Computacin Pag 14 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

3.- Resuelva la ecuacin de recurrencia

xn 3xn1 = 5 3n , n 1 x0 = 2
Solucin:
h La solucin de la ecuacin homognea asociada es xn = c3n . Como h h(n) = 5 3n y xn = c3n son linealmente dependientes, es decir estamos en el caso (iii) donde r = 3 es raz de la ecuacin homognea asociada, de multiplicidad k =1 ,

entonces la forma de la solucin particular hay que multiplicarla por n k , en este caso por n1 = n . As, la solucin particular tiene la forma

xnp = Anr n = An3n Sustituyendo en la ecuacin no homognea propuesta

An3n 3 A(n 1)3n1 = 5 3n / 3 An 3 An + 3 A =15 3 A =15 A=5 xnp = 5n3n
La solucin general de la ecuacin no homognea dada es:
h xn = xn + xnp

1 3n1

xn = c3n + 5n3n , n 0
Aplicando la condicin inicial, x0 = 2 , para determinar la constante c , se tiene

x0 = c30 + 5 0 30 x0 = c xn = 2 3n + 5n3n , n 0 xn = (2 + 5n)3n , n 0

4.- Resuelva la recurrencia

Estructuras Discretas para Ciencias de la Computacin Pag 15 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

xn 2 xn1 + xn2 = 3, n 2 1 2 x1 = 3 Solucin: La ecuacin homognea asociada es x0 = xn 2 xn1 + xn2 = 0

Suponiendo solucin de la forma xn = n , 0 , se llega a la ecuacin caracterstica

2 2 + 1 = 0 Que tiene como solucin la raz =1 , de multiplicidad dos. Por lo que la solucin
de la ecuacin homognea asociada es
h xn = c1 (1) n + c2 n(1) n

Adems debemos de observar que la ecuacin propuesta puede ser escrita como

xn 2 xn1 + xn2 = 3 1n
Lo que nos dice que 1n es una combinacin lineal de h(n) = 3 = 3 1n . Por el caso (iii), la forma de la solucin particular se debe multiplicar por n k , donde k es la multiplicidad de la raz, en este caso k = 2 .

xnp = An 2
Compruebe que la solucin de la ecuacin es xn = c) Mtodo de la Funcin Generatriz Consideremos una sucesin infinita de nmeros reales a0 , a1 , a2 ,......

1 3 + n + n2 , n 0 2 2

llamaremos funcin generatriz de la sucesin {an }n=0 a la suma infinita

F ( z ) = an z n
n =0

Al aplicar esta tcnica se usan inmediatamente las condiciones iniciales y la propia ecuacin a partir del valor de n para el cual es vlida. Introduciremos la mecnica de la funcin generatriz con un ejemplo.
Estructuras Discretas para Ciencias de la Computacin Pag 16 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Ejemplo: Resolver

un = 5un1 6un2 , n 2 u0 = 0 u1 =1 Solucin: Como conocemos los trmino u0 = 0 y u1 =1 y un para n 2 , la funcin generatriz la escribimos como
F ( z ) = u0 z 0 + u1 z1 + un z n
n=2

F ( z ) = 0 z 0 +1 z1 + (5un1 6un2 ) z n
n=2

En la ltima expresin podemos darnos cuenta de la aplicacin inmediata de las condiciones iniciales y de un para n 2 .
F ( z ) = z + 5 un1 z n 6 un2 z n
n=2 n=2

F ( z ) = z + 5 un1 zz n1 6 un2 z 2 z n2
n=2 n=2

F ( z ) = z + 5 z un1 z n1 6 z 2 un2 z n2
n=2 n=2

Las sumas anteriores se deben expresar en trminos de la funcin generatriz F ( z ) , de la siguiente manera:

u
n=2

n 1

z n1 = u1 z1 + u2 z 2 + u3 z 3 + ........ z n2 = u0 z 0 + u1 z1 + u2 z 2 + ...... = F ( z )

u
n=2

n2

Podemos observar que la ltima suma es justamente F ( z ) . Ahora expresaremos la primera de las dos sumas anteriores en trminos de F ( z ) .

Estructuras Discretas para Ciencias de la Computacin Pag 17 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

F ( z ) = un z n = u0 z 0 + u1 z1 + u2 z 2 + u3 z 3 + .........
n =0

F ( z ) = u0 z 0 + un1 z n1
n=2

F ( z ) = 0 z 0 + un1 z n1
n=2

u
n=2

n 1

z n1 = F ( z )

De esta manera

F ( z ) = z + 5 zF ( z ) 6 z 2 F ( z ) 6 z 2 F ( z ) 5 zF ( z ) + F ( z ) = z F ( z ) ( 6 z 2 5 z +1) = z F ( z) = F ( z) = z 6 z 5 z +1
2

z 1 1 6( z )( z ) 2 3

La descomposicin de la ltima expresin en fracciones parciales, tiene la forma

z 1 1 ( z )( z ) 2 3

A z 1 2

B z 1 3

1 1 z = A( z ) + B( z ) 3 2
Haciendo:

1 1 1 1 1 1 z = = B( ) = B B = 2 3 3 3 2 3 6

z=

1 1 1 1 1 1 = A( ) = A A = 3 2 2 2 3 2 6

La funcin generatriz queda:

Estructuras Discretas para Ciencias de la Computacin Pag 18 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

2 1 3 + F ( z) = 6z1 z1 3 2 1 1 F ( z) = 2z1 2 1 1 3z1 3

1 1 1 1 F ( z) = 1 2 1 (1 2 z ) 3 (1 3 z ) 2 3 1 1 F ( z) = (1 3z ) (1 2 z )

F ( z ) = 3i z i
i =0

2 z
i i =0

La solucin de la ecuacin de recurrencia, se obtiene de esta ltima suma, considerando el (n+1)-simo trmino de las sucesiones {3i } obtiene tomando i=n) y restando, es decir
i =0

y de {2i }

i =0

(que se

F(z)=3n 2n , n0
d) Mtodo del Cambio de Variables Consideremos el problema que surge al dividir un problema de tamao n n en a problemas de tamao . Por conveniencia, se supone que un problema de b tamao 1 requiere de una unidad de tiempo y que el tiempo para reunir las soluciones de los subproblemas y obtener una solucin del problema de tamao n es d(n), en las mismas unidades de tiempo. Entonces si T (n) es el tiempo para resolver el problema de tamao n, se tiene
n T (n) = aT ( ) + d (n) , n 2 b T (1) = 1
Estructuras Discretas para Ciencias de la Computacin Pag 19 de 25

(*)

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Para resolver la ecuacin (*) se aplica la tcnica de expansin de recurrencias o la tcnica del cambio de variables. La idea de base es suponer que n es una potencia de b, es decir se supone que n es de la forma n = b k .Ilustraremos esta tcnica con el siguiente ejemplo. Ejermplo: Mediante la tcnica del cambio de variables resuelva la ecuacin de recurrencia

n T (n) = 4T ( ) + n , n 2 2 T (1) = 2 Solucin: En este caso el problema de tamao n se ha dividido en dos n subproblemas de tamao , por lo que debemos suponer que n es una potencia 2 de 2, es decir n = 2k . Adems, d(n) = n.
La idea es reemplazar n = 2k en la ecuacin propuesta, con lo que se tiene:

2k ) + 2k 2 T (2k ) = 4T (2k 1 ) + 2k T (2k ) = 4T (

El cambio de variables que se debe realizar debe garantizar que la recurrencia que nos quede sea una ecuacin de recurrencia con coeficientes constantes. Dividiendo la ltima ecuacin por 2k

T (2k ) T (2k 1 ) 4 =1 2k 2k T (2k ) T (2k 1 ) 4 =1 2k 2 2k 1 T (2k ) T (2k 1 ) 2 k 1 =1 2k 2

Hacemos el cambio de variables xk =

T (2k ) , con lo que la ecuacin queda: 2k

xk 2 xk 1 = 1

Estructuras Discretas para Ciencias de la Computacin Pag 20 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

De la condicin inicial T (1) = 2 , debemos determinar la condicin inicial en la variable xk . Si hacemos k = 0 en la expresin de xk =

T (2k ) , obtenemos 2k

T (20 ) T (1) 2 = = =2 20 1 1 x0 = 2 En definitiva lo que hay que resolver es x0 = xk 2 xk 1 =1 x0 = 2

Esta ltima ecuacin la podemos resolver mediante el truco

xk 2 xk 1 =1 xk +1 2 xk =1
Restando las dos ecuaciones:

( xk 2 xk 1 ) ( xk +1 2 xk ) =11 xk 2 xk 1 xk +1 + 2 xk = 0 xk +1 3 xk 2 xk 1 = 0
Haciendo xk = k , 0

k +1 3 k 2 k 1 = 0 k ( 3 2 1 ) = 0 2 3 2 = 0
Cuyas soluciones son 1 = 2 y 2 =1 . La solucin general de la ecuacin es

xk = c11k + c22k xk = 2k c1 + c2
Para determinar las constantes, debemos conocer dos condiciones iniciales, ya que la solucin general est en funcin de dos constantes. En este caso conocemos slo una, la otra condicin inicial la obtenemos de xk 2 xk 1 =1 , haciendo uso de la condicin inicial conocida x0 = 2 . Para ello en la ecuacin hacemos k = 1 , obteniendo x1 2 x0 =1 x1 =1+ 2 x0 x1 =1+ 2 2 = 5 x1 = 5 . As, se obtiene el siguiente sistema de ecuaciones
Estructuras Discretas para Ciencias de la Computacin Pag 21 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

2 = c1 + c2 5 = 2c1 + c2

Obteniendo c1 = 3 y c2 = 1 , y entonces la solucin queda

xk = 3 2k 1
T (2k ) Pero, ahora debemos recordar que xk = k , entonces 2 T (2k ) = 3 2k 1 2k T (2k ) = 3 2k 2k 2k
Por ltimo, recordamos que n = 2k

T (n) = 3n 2 n , n 1
solucin al problema propuesto.

Determinar el nmero de comparaciones para los siguientes problemas:

1.- Dado un conjunto S con n elementos se desea encontrar el mximo y mnimo de S.

a) Solucin trivial: Hacer dos pasadas sobre el conjunto, una para encontrar el mximo (n-1 comparaciones) y otra para encontrar el mnimo (n-1 comparaciones). Si T(n) es el nmero de comparaciones para encontrar el mximo y el mnimo de S, entonces T(n) = 2n 2 b) Solucin Recursiva: Dividir el conjunto S, sucesivamente en dos subconjuntos, encontrar los mximos y mnimos parciales, y posteriormente determinar la solucin global

Estructuras Discretas para Ciencias de la Computacin Pag 22 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Algoritmo:
Maxmin(S) { if(S)2 = if(a > b) else return(b, a) else { dividir S en dos subconjuntos S1 y S2 cada uno con la mitad de los elementos (max1, min1) maxmin(S1) (max2, min2) maxmin(S2) return(max(max1, max2), min(min1, min2)) } } sea S = {a, b} return(a, b)

Solucin: Denotemos por T(n) al nmero de comparaciones que realiza maxmin cuando el tamao del conjunto S es n.

Como S se divide en dos conjuntos de tamao n/2, entonces cada conjunto ocupa T(n/2) comparaciones. Adems, para calcular el mximo de los mximos y el mnimo de los mnimos, se ocupan en cada caso una comparacin, en total 2. De esta manera el nmero total de comparaciones es: T(n) = 2T(n/2) + 2 Por otro lado, cuando el tamao del conjunto es dos (paso bsico), se debe realizar una comparacin para determinar el mximo (por defecto el mnimo), lo que se escribe como: T(2) = 1
5

Estructuras Discretas para Ciencias de la Computacin Pag 23 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

2.- Bsqueda Binaria: Se tiene un arreglo a de tamao n, ordenado (supongamos ascendentemente). Se desea recuperar el elemento x. La idea de la bsqueda binaria, es examinar si el elemento x se encuentra en la mitad (o aproximadamente la mitad) del arreglo, digamos la posicin k. Si a(k) = x, la bsqueda termina, y se retorna verdadero o la posicin k. De lo contrario se examina si x > a(k). Si es verdadero entonces la bsqueda se centra desde la posiciones k+1 hasta n, descartando la bsqueda desde las posiciones 1 a k-1. En caso contrario la bsqueda se centra desde las posiciones 1 a k-1, descartando la parte del arreglo desde las posiciones k+1 a n.

Seudo Cdigo

Busca(i, j) If (i < j) then k = [(i+j)/2] ; If( a(k)==x) then Busca(i, k -1) else Busca(k +1, j)

Estructuras Discretas para Ciencias de la Computacin Pag 24 de 25

Universidad del Bo-Bo Facultad de Ciencias Empresariales Departamento de Sistemas de Informacin

Solucin: Sea T(n) el nmero de comparaciones que realiza la bsqueda binaria para recuperar el elemento x. Se necesita una comparacin para verificar un elemento, como hay que suponer que no se encontr, hay que buscar con el mismo mtodo en una mitad el arreglo (el que se ha dividido en dos), lo cual cuesta T(n/2) comparaciones. De esta manera T(n) = T(n/2) + 1

Estructuras Discretas para Ciencias de la Computacin Pag 25 de 25