Sunteți pe pagina 1din 15

Introducción a la Matemática Discreta

Recursión

Luisa Marı́a Camacho

Camacho Introd. a la Matemática Discreta 1 / 15


Introducción a la Matemática Discreta
Temario

Tema 1. Teorı́a de Conjuntos.


Tema 2. Lógica proposicional y álgebras de Boole.
Tema 3. Técnicas de contar.
Tema 4. Recursión.

Tema 5. Aritmética entera.


Tema 6. Aritmética modular.

Camacho Introd. a la Matemática Discreta 2 / 15


Tema 4. Recursión

Sucesiones.
Recurrencias.
Recurrencias lineales y homogéneas (RLH).
Recurrencias lineales no homogéneas (RLnH).
Métodos de los coeficientes indeterminados.

Camacho Introd. a la Matemática Discreta 3 / 15


Recursión. Sucesiones.

Sucesiones
Una sucesión de números reales es una función f : N −→ R. Si an = f (n), se dice
que an es el término general de la sucesión. Para determinar una sucesión es
necesario y suficiente conocer el valor de an para todo número natural n.

Dando su término general mediante una o más fórmulas.


Ejemplos: (a) an = n2 , ∀n ∈ N; (b) an = 1 si n es impar, an = 0 si n es par.

Dando un término en función de los anteriores. Recurrencia o Relación de


recurrencia
Ejemplos:
(a) a1 = 1, an+1 = 1 + an 2 , ∀n ≥ 1;
(b) a1 = 2, a2 = 3, an+1 = (an + an−1 )/2, ∀n ≥ 2.

Camacho Introd. a la Matemática Discreta 4 / 15


Recursión. Ejemplo

Sea n un número natural, definimos el factorial de n como una sucesión finita


dada por la recurrencia:

b1 = 1, bk+1 = (k + 1)bk , 1≤k ≤n−1

Camacho Introd. a la Matemática Discreta 5 / 15


Recursión. Recurrencias lineales homogéneas

Recurrencia lineal homogénea


Una recurrencia en la que un término viene dado en función de los k términos anteriores,
un−1 , un−2 , . . . un−k

un + a1 un−1 + a2 un−2 + · · · + ak un−k = 0, n≥k

donde a1 , a2 , . . . , ak son constantes reales conocidas, recibe el nombre de recurrencia


lineal homogénea de orden k.

Teorema
Dada una recurrencia lineal homogénea de orden k

un + a1 un−1 + a2 un−2 + · · · + ak un−k = 0, n≥k

siempre existe una sucesión que verifique dicha recurrencia, y ésta es única, si se dan las k
condiciones iniciales u0 = c0 , u1 = c1 , . . . , uk−1 = ck−1 .

Camacho Introd. a la Matemática Discreta 6 / 15


Recursión. Recurrencias lineales homogéneas.

Teorema
Sea un una sucesión que satisface la recurrencia lineal

u0 = c0 , u1 = c1
un+2 + a1 un+1 + a2 un = 0, ∀n ≥ 0

y sean α y β las raı́ces de la ecuación caracterı́stica

t2 + a1 t + a2 = 0.

 
Si α 6= β, entonces existen A y B tales que un = Aαn + Bβ n , ∀n ≥ 0
 
 
Si α = β, existen constantes C y D tales que un = (Cn + D)αn , ∀n ≥ 0
 
Las constantes A y B, (o bien C y D) están determinadas por c0 y c1 .

Camacho Introd. a la Matemática Discreta 7 / 15


Recursión. Recurrencias lineales homogéneas

Definición
Llamaremos ecuación caracterı́stica de la recurrencia lineal homogénea de orden
k
un + a1 un−1 + a2 un−2 + · · · + ak un−k = 0, n ≥ k
a la ecuación dada por

tk + a1 tk−1 + a2 tk−2 + · · · + ak = 0
Teorema
Sea un la sucesión definida por:

u0 = c0 , u1 = c1 , . . . , uk−1 = ck−1 ,
(RLH) :
un + a1 un−1 + a2 un−2 + · · · + ak un−k = 0

y sean α1 , α2 , . . . , αs las raı́ces de la ecuación caracterı́stica con multiplicidades m1 ,


m2 , . . . , ms . Entonces,

un = P1 (n)α1n + P2 (n)α2n + · · · + Ps (n)αsn (1)

donde Pi (n) = Ami −1 nmi −1 + Ami −2 nmi −2 + · · · + A1 n + A0 , es un polinomio en n


de grado una unidad menos que la multiplicidad de αi y Ai son constantes.
Camacho Introd. a la Matemática Discreta 8 / 15
Recursión. Método de resolución de recurrencias lineales homogéneas.

P 0. Escribir la recurrencia en la forma estándar.

P 1. Hallar las raı́ces de la ecuación caracterı́stica asociada.

P 2. Por cada raı́z de la ecuación caracterı́stica, αi de multiplicidad mi se añade un


sumando a la solución general de la recurrencia lineal homogénea (un ) de la forma
“producto de un polinomio de grado mi − 1 por αn i ”.

P3. Se sustituyen los valores iniciales en (1) para encontrar los valores de las constantes
Ai .

Camacho Introd. a la Matemática Discreta 9 / 15


Recursión. Recurrencias lineales no homogéneas.

Recurrencia lineal no homogénea


Una recurrencia en la que un término viene dado en función de los k términos anteriores,
un−1 , un−2 , . . . un−k y cuyo término independiente es no nulo, siendo, en general, una
función de n:

un + a1 un−1 + a2 un−2 + · · · + ak un−k = f (n), n≥k

donde a1 , a2 , . . . , ak son constantes reales conocidas, recibe el nombre de recurrencia


lineal no homogénea de orden k.

Ecuación de recurrencia lineal homogénea asociada


Dada una recurrencia lineal no homogénea, llamaremos ecuación de recurrencia lineal
homogénea asociada, a la recurrencia lineal homogénea asociada resultante de sustituir
por cero el término independiente de la recurrencia,

un + a1 un−1 + a2 un−2 + · · · + ak un−k = 0, n≥k

Camacho Introd. a la Matemática Discreta 10 / 15


Recursión. Solución general de una recurrencia lineal no homogénea.

Teorema
Dada una recurrencia lineal no homogénea de orden k

un + a1 un−1 + a2 un−2 + · · · + ak un−k = f (n), n≥k

siempre existe una sucesión que verifique la recurrencia, y ésta es única, si se dan
las k condiciones iniciales u0 = c0 , u1 = c1 , . . . , uk−1 = ck−1 .

Teorema
Una recurrencia lineal no homogénea tiene como solución general
(h)
un = un + u(p)
n , (1)
(h) (p)
siendo un la solución general de la recurrencia lineal homogénea asociada y un
una solución particular.

Camacho Introd. a la Matemática Discreta 11 / 15


Recursión. Método de resolución de recurrencias lineales no homogéneas.

P0. Escribir la recurrencia en la forma estándar.

P1. Resolver la recurrencia lineal homogénea asociada.

P2. Encontrar una solución particular de la recurrencia no homogénea.


No existe un método general para encontrar una solución particular de la no
homogénea. Sin embargo el método de los coeficientes indeterminados
nos va a proporcionar esta solución en función de la forma que tenga f (n).
P3. Sustituir la solución particular en la recurrencia para obtener los valores de las
variables.

P4. Se construye la solución general (1), es decir, se añade la solución general de la


recurrencia lineal homogénea asociada (con los coeficientes por determinar) y
se sustituyen los valores iniciales.

Camacho Introd. a la Matemática Discreta 12 / 15


Recursión. Método de los coeficientes indeterminados.

(p)
Si f (n) = P (n), un polinomio de grado k, un = Q(n)nm donde m representa
la multiplicidad de la raı́z 1 en la ecuación caracterı́stica de la recurrencia
lineal homogénea asociada y Q(n) es un polinomio de grado k.
(p)
Si f (x) = P (n)αn donde k es el grado el polinomio P (n), un = Q(n)nm αn
donde m representa la multiplicidad de la raı́z α en la ecuación caracterı́stica
de la recurrencia lineal homogénea asociada y Q(n) es un polinomio de grado
k. Obsérvese que para α = 1 obtenemos el caso anterior.

Si f (x) = P (n)αn y α no es raı́z de la ecuación caracterı́stica asociada,


(p)
un = Q(n)αn .

Camacho Introd. a la Matemática Discreta 13 / 15


Recursión. Ejemplo.
Ejemplo
Se trata de encontrar la relación de recurrencia correspondiente al total de tiras o ristras de
números binarios de longitud n que no posean dos unos consecutivos.
an tiras

n=1 n=2 n=3 n=4


0 00 000 0000
1 01 010 0100
10 100 1000
001 0010
101 1010
0001
0101
1001
↓ ↓ ↓ ↓
a1 = 2 a2 = 3 a3 = 5 a4 = 8
Para n ≥ 3 se sigue esta regla:
a) Añadir 0 al final de la tira con n − 1 dı́gitos.
b) Añadir 01 al final de la tira con n − 2 dı́gitos.

an = an−1 + an−2 , a1 = 2, a2 = 3
Camacho Introd. a la Matemática Discreta 14 / 15
Recusión. Bibliografı́a.

1 I. Anderson, Introducción a la combinatoria. Editorial Vicens-Vives, 1993.

2 N. L. Biggs, Matemática discreta. Editorial Vicens Vives, 1994.

3 E. Bujalance, J. A. Bujalance, A. F. Costa, E. Martı́nez, Elementos de


matemática discreta. Editorial Sanz y Torres, 3a Edición. 2005.

4 F. Garcı́a Merayo, Matemática Discreta.


Editorial Thomson, 2a Edición, 2005.

5 R. P. Grimaldi, Matemáticas discreta y combinatoria.


Editorial Addison Wesley Iberoamericana, 1997.

6 K. H. Rosen, Discrete Mathematics and its applications.


Editorial McGraw-Hill, 2003.

Camacho Introd. a la Matemática Discreta 15 / 15

S-ar putea să vă placă și