Unidad 3.Relaciones de Recurrencia.

3.1Introduccion. (Conceptos Bsicos) 3.2 Relaciones de Recurrencia. 3.3 Soluciones de las Relaciones de Recurrencia. 3.4 Aplicaciones (Algoritmos de Ordenamiento).

3.2 Relacin de recurrencia Es una ecuacin que define una secuencia recursiva; cada trmino de la secuencia es definido como una funcin de trminos anteriores. stas suelen ser, por lo general, ecuaciones de tercer o cuarto grado. Una ecuacin recurrente, es un tipo especfico de relacin de recurrencia. Una relacin de recurrencia para la sucesin es una ecuacin que relaciona con alguno de sus predecesores . Las condiciones iniciales para la sucesin son valores dados en forma explcita para un nmero finito de trminos de la sucesin. Resolver una relacin de recurrencia consiste en determinar una frmula explcita (cerrada) para el trmino general , es decir una funcin no recursiva de n. Un ejemplo de una relacin de recurrencia es el siguiente:

3.3 SOLUCION DE RELACIONES DE RECURRENCIA Lo haremos resolviendo una relacin de recurrencia asociada a la sucesin que consiste en determinar una frmula explcita para el trmino general. Existen dos mtodos para resolver relaciones de recurrencia: la iteracin y un mtodo especial que se aplica a las relaciones de recurrencia lineales homogneas con coeficientes constantes, aunque existen otros mtodos ms poderosos, como aquellos que utilizan funciones generatrices. Para resolver una relacin de recurrencia asociada a la sucesin . por iteracin , utilizamos la relacin de recurrencia para escribir el n-simo trmino an en trminos de algunos de sus predecesores Continuamos hasta obtener una frmula explcita. Emplearemos el mtodo iterativo para resolver la relacin de recurrencia. *EJEMPLO Podemos resolver la relacin de recurrencia (3.3.1)

sujeta a la condicin inicial

por iteracin. Al reemplazar n con n 1 en la ecuacin(3.3.1), obtendremos

entonces si sustituimos esta expresin para obtendremos

en la ecuacin (3.3.1),

Al reemplazar n con n 2 en la ecuacin 3.3.1, obtenemos

por lo tanto si sustituimos esta expresin para obtendremos

en la ecuacin (3.3.2),

En general , tenemos

Si hacemos k = n 1 es est ltima expresin, tendremos

Como

, ahora obtenemos la frmula explcita para la sucesin de a.

EJEMPLO. (Crecimiento de Poblaciones ) Suponga que la poblacin de venados en Rustic Country es de 1000 en el instante n = 0 y que el incremento desde el instante n 1 hasta el instante n es 10% del tamao en el instante n 1. Escriba una relacin de recurrencia y una condicin inicial que defina la poblacin de venados en el instante n, y luego resuelva la relacin de recurrencia.

Sea

la poblacin de venados en el instante n.

Como condicin inicial tenemos

El incremento del instante n 1 al instante n es . Como este incremento es igual a 10% del tamao en el instante n 1 , obtenemos la relacin de recurrencia

que tambin se puede escribir como .

Entonces resolviendo la relacin de recurrencia por medio del mtodo de iteracin resulta:

3.4 Aplicaciones (Algoritmos de Ordenamiento) La conexin con el anlisis de algoritmos estriba en que la forma que se ha adoptado para medir las complejidades, utiliza funciones cuyo dominio son los nmeros naturales, o en otras palabras, sucesiones. Si el algoritmo es recurrente, es de esperarse que las complejidades, como funciones que estiman la demanda de recursos a lo largo de la ejecucin, sean sucesiones que satisfacen ciertas ecuaciones de recurrencia. En un algoritmo recursivo, la funcin t(n) que establece su complejidad viene dada por una ecuacin de recurrencia. Una ecuacin de recurrencia nos permiten indicar el tiempo de ejecucin para los distintos casos del algoritmo recursivo (casos base y recursivo). Ejemplo : Clculo del factorial int Fact(int n){ if(n<=1) return 1; else return n*Fact(n-1); } Considerando el producto como operacin bsica, podemos construir la ecuacin recurrente para calcular la complejidad del algoritmo como sigue: Como se ve en el cdigo el caso base es para n<=1, para estos valores de n el nmero de multiplicaciones que se realiza es 0. Y en otro caso es 1 ms las necesarias para calcular el factorial de n-1. As construimos la funcin recurrente:

Ahora si resolvemos la ecuacin recurrente sabremos la complejidad de este algoritmo en funcin de n. Procedemos a resolver esta ecuacin recurrente no lineal:

resolvemos la homognea:

resolvamos ahora la particular:

como la particular' coincide con la r, debemos aumentar el grado multiplicando por n

por lo que la solucin de la ecuacin recurrente queda como sigue:

Ahora calculamos c utilizando el caso base, t(1) = 0

ya tenemos la solucin: t(n) = n - 1 La ecuacin que nos ha quedado es de grado 1 por lo que la complejidad es del orden exacto de n -> (n) Por ejemplo para calcular el factorial de 3 necesitaremos t(3) productos lo que es igual a

Como vemos son 2 productos como nos ha devuelto la ecuacin.

CENTRO UNIVERSITARIO DE LA COSTA AMPARO GARCIA GARCIA MATEMATICAS DISCRETAS

Pto. Vallarta Jalisco, 27 de Mayo del 2011