Hecho por: Roberto Arroyo Martnez y Alejandro Gmez Serrapio

RELACIONES DE RECURRENCIA
Ofrecen soluciones ms conceptuales que los mtodos de conteo simples. Ejemplo: Cadenas de n bits sin dos 0s consecutivos Cn Cn-1 Cn-2 Cn = Cn-1 + Cn-2 1 1 0 C1 = 2 ---C2 = 3 ---Condiciones iniciales

n3

Relacin de recurrencia: Ecuacin que relaciona Cn con C0, C1, , Cn-1 No define por ella misma la sucesin, ya que hay que tener en cuenta tambin las condiciones iniciales. Las condiciones iniciales son tantas como el grado de la sucesin. Ejemplo: Para an = 2 an-1 an-2 an = 2 n 2n = 2 * 2n-1 - 2n-2 No es solucin, ya que la igualdad no se cumple

an = 3n 3n = 2 (3 (n-1) ) 3 (n-2) 6n 6 3n + 6 = 3n S es solucin

an = 5 5 = 2*5 5 S es solucin

Hecho por: Roberto Arroyo Martnez y Alejandro Gmez Serrapio

Ejemplo: Comprobar que an = 2n 1 n>=0 es solucin de la RR an = 2 an-1 + 1 2n 1 = 2 (2n-1 1) + 1 S es solucin

Ejemplo: problema de los conejos Dada una pareja de conejos, y sabiendo que cada pareja engendra otra pareja a partir del segundo mes de vida, calcular las parejas que habr a final de ao.

Mes 1 2 3 4 . . . 12 N Condiciones iniciales:

Parejas 1 1 1+1 2+1 3+2 . . . P12 = P11 + P10 Pn = Pn-1 + Pn-2 P1 = 1 (mes 0) P2 = 1 (mes 1)

Resolucin de relaciones de recurrencias lineales, homogneas y coeficientes constantes

an = C1*an-1 + C2*an-2 + + Ck * an-k Relaciones de recurrencias lineales: los trminos ans no se multiplican entre si Relaciones de recurrencias homogneas: siempre aparecen los trminos ans

Hecho por: Roberto Arroyo Martnez y Alejandro Gmez Serrapio

Relaciones de recurrencias con coeficientes constantes: Los trminos C1, C2Ck son nmeros

Ejemplo de relacin de recurrencia que no es lineal: an = (an-1)2 + 2*an-2

Ejemplo de relacin de recurrencia que no tiene coeficientes constantes: an = 3n * an-1

Ejemplo de relacin de recurrencia que no es homognea: an = 3 * an-1 + 2 * an-2 + n

El grado de una relacin de recurrencia es la k del trmino Ck Ejemplo: an = 2 * an-1 + 5 * an-5 (Sera de grado 5)

Para la resolucin de estas relaciones de recurrencia hay que buscar soluciones de la forma an = rn

= rk C1 * rk-1 C2 * rk-2 - - Ck = 0 (Esta es la ecuacin caracterstica de la relacin de recurrencia)

Hecho por: Roberto Arroyo Martnez y Alejandro Gmez Serrapio

Caso 1 para la resolucin de las relaciones de recurrencia:

Supongamos que las races de la ecuacin caracterstica son todas distintas (r1, r2rk) Las soluciones de la relacin de recurrencia son de la forma: an = 1 * (r1)n + + k * (rk)n 1, , k R

Ejemplo: an = an-2 n2 Condiciones iniciales: a0=1 y a1=2 Ecuacin Caracterstica: rn = rn-2 = r2-1 = 0 Soluciones de la ecuacin caracterstica: r2 = 1 (+1 y -1) an = 1 * 1n + 2(-1)n 1, 2 R

Cules satisfacen las condiciones generales? Para n=0 Para n=1 1 = 1 * 10 + 2 (-1)0 2 = 1 * 11 + 2 (-1)1 1 = 1 + 2 2 = 1 2 1 = 3/2 an = + (-1)n = + 2 = -1/2 Solucin de la RR

Hecho por: Roberto Arroyo Martnez y Alejandro Gmez Serrapio

Ejemplo: an = an-1 + an-2 a0=0 a1=1 EC (Ecuacin caracterstica) r2 r 1 = 0 an = 1 + 2

Condiciones iniciales = grado

Ahora hay que comprobar para qu valores de 1 y 2 se cumplen las condiciones iniciales: n=0 n=1 0 = 1 + 2 1 = 1 0 = 1 * 1 + 2 * 2 1 = 1 1 = - 2 + 2 + 2

Sustituimos 1 por - 2 1 = (-2) 1 = 2 (1 = 2 ( 2 =

Estos valores satisfacen todos los requisitos

+ 2 + ) )

1 = La solucin de la RR, por tanto, es: an = +

Bitcora Matemtica Discreta.

Pablo Surez Vidal Pablo Salgado Roo

08/11/2011

RR L H CC
Caso no que as races son todas distintas:

Grado
Ecuacin Caracterstica (EC)

Caso no que as races non sexan todas distintas:

Exemplo. Encontrar a solucin da recurrencia:

Ecuacin Caracterstica:

Polo tanto, as solucins sern:

=2

E a sucesin que as relaciona da forma:

Solucin

Bitcora Matemtica Discreta.

Pablo Surez Vidal Pablo Salgado Roo

08/11/2011

TEOREMA:

Races

con multiplicidades da forma

sendo:

A solucin xeral de esta ecuacin de recurrencia:

Exemplo. Encontrar as solucins da recurrencia:

Ecuacin Caracterstica:

Aplicamos a frmula xeral:

= 1,

Polo tanto:

Bitcora Matemtica Discreta.

Pablo Surez Vidal Pablo Salgado Roo

08/11/2011

RR L NH CC

Nota: i)Buscamos una solucin particular. ii)Buscamos a solucin do sistema homoxeneo. iii)Enton as solucins son da forma:

Para as RR facemos o mesmo: i) Buscamos unha solucin particular ii) Buscamos a solucin homoxnea Entn as solucin son da forma: de de

Exemplo. Torres de Hani: Neste caso F(n) a funcin constante. F(n) = 1

Comprobar que

solucin de

?
Buscamos as solucins do sistema homoxneo: Ecuacin Caracterstica:

S, unha solucin particular

Solucins da ecuacin homoxnea:

Entn, todas as solucins son da forma

Bitcora Matemtica Discreta.

Pablo Surez Vidal Pablo Salgado Roo

Exemplo. Encontrar unha relacin de recurrencia:

08/11/2011

Con

, De cantas formas podo poer parntesis?

decir:

MATEMTICA DISCRETA BITCORA 15/11/2011 Algoritmos: divide e vencers Consiste en repartir o problema en subproblemas de menor tamao.

BUSCA BINARIA Consideramos una lista ordeada L de elementos a1, , an Saber se un elemento x pertence lista. MAPLE: bb(x, EwfrsdfL, i, j) m= |_ _| ;

if x = L[m] then pos := m if x < L[m] then bb( x, L, i, m-1) if x > L[m] then bb( x, L, m+1, j) else pos := 0 ; end if pos; end;

COSTE OPERACIONAL Op(n) = Op( ) + 3

SUMA DE ENTEIROS (en binario)

Suma := proc ( a, b) l := 0; s := [seq ( 0, i= 1nops(a)+1)] for j from 1 to n do d := |_ _| ;

s[j] := a[j] + b [j] + l 2d l := d ; end do ; s[j+1] := l ; end;

COSTE OPERACIONAL Op(n) = 2 n Lineal

MULTIPLICACIN ( a b ) for i from 1 to n se bj = 1 entn Cj = elementos de a desplazados j unidades else cj = 0 end do sum( c1 cn)

COSTE OPERACIONAL O(n2) Cuadrtica