3.

- RELACIONES DE RECURRENCIA

3.1. REGLAS DE SUMA Y EL PRODUCTO
Principio de Adicin

Este capitulo es un repaso del tema visto en el 2.1 de la unidad 2

Estudiamos el ms bsico y simple de los principios para contar elementos de un
conjunto.
Teorema
Si A
1
,A
2
, . . . ,A
n
es una coleccin de conjuntos finitos no vacos, disjuntos dos a dos,
entonces
n n
A A A A A A A A + + + + =
3 2 1 3 2 1

Demostracin
Procederemos por induccin sobre el numero de conjuntos n.
Paso bsico
Veamos que el teorema es cierto para n = 2.
En efecto, sean A1 y A2 dos conjuntos finitos tales que A1 A2 =0 ;. Pues bien, si

al ser disjuntos no tendrn elementos comunes, de aqu que

Luego

y el teorema es cierto para n = 2.
Paso inductivo. Supongamos que el teorema es cierto para n = p, es decir, si A1,A2, . .
. ,Ap son una
familia de conjuntos finitos y disjuntos dos a dos, entonces

Veamos que el teorema es cierto para n = p + 1. En efecto, sea A1,A2, . . . ,Ap,Ap+1 una familia de
conjuntos finitos y dos a dos disjuntos, entonces por la asociatividad de la unin de conjuntos,

Siendo

Luego

Consecuentemente, por el primer principio de induccin, la propiedad es cierta para
todo entero positivo
n y,

Obsrvese que en este tipo de problemas, la palabra o aparece o se sobrentiende
implcitamente. En cualquier caso en el que tengamos una accin simple a realizar y
que debe satisfacer una condicin u otra siendo las condiciones mutuamente
excluyentes, utilizaremos normalmente el principio de adicin. Este primer principio del
conteo puede expresarse como sigue:

Regla de la Suma
Si una primera tarea puede realizarse de m formas distintas, mientras que una
segunda tarea puede
realizarse de n formas distintas, y no es posible realizar ambas tareas de manera
simultanea, entonces, para llevar a cabo cualquiera de ellas pueden utilizarse
cualquiera de m + n formas.

Ejemplo 3.3
Se lanza al aire una moneda cuatro veces. De cuantas formas distintas pueden
obtenerse una, dos, tres o cuatro caras?

Solucin
Sea Ai el conjunto formado por todos los resultados posibles en los que aparezcan,
exactamente, i caras al lanzar cuatro veces la moneda. Entonces,


y el conjunto A1 A2 A3 A4 estar formado por todos los resultados en los que
aparecen una, dos, tres o cuatro caras, por tanto el nmero pedido es el cardinal de
dicho conjunto. Al ser los Ai dos a dos disjuntos, por el principio de adicin, tendremos
que habr


formas distintas de obtener una, dos, tres o cuatro caras.

Principio de Multiplicacin

Este principio nos va a permitir resolver con ms comodidad situaciones que
involucren procesos que consistan en acciones sucesivas.
Supongamos una accin que consista en una secuencia de pasos. Por ejemplo tirar
un dado, luego otro y a continuacin un tercero. Diremos que los pasos son
independientes si el nmero de formas en que puede hacerse cada uno de ellos no
depende del nmero de formas en que pueden realizarse cada uno de los otros.
Teorema
Si A1,A2, . . . ,An es una coleccin de conjuntos finitos no vacos, entonces

Demostracin
Procederemos por induccin sobre el nmero de conjuntos, n.
Paso bsico. Veamos si el teorema es cierto para n = 2. En efecto, sean A1 y A2 dos
conjuntos finitos no vacos,


Por definicin de producto cartesiano,


para cada uno de los ai, s i s q, tendremos los pares distintos,



es decir, r pares o r elementos de A1 A2. Haciendo lo mismo para cada uno de los
ai eAi, , 1 s i s q , tendremos


o sea, un total de q r pares distintos en A1 A2, luego



por tanto, la proposicin es cierta para n = 2.

Paso inductivo. Supongamos que es cierta para n = p, es decir si A1,A2, . . . ,Ap es
una coleccin de conjuntos finitos no vacos. Entonces,



Veamos si la proposicin es cierta para n = p + 1. En efecto, si A
1
,A
2
, . . . ,A
p
,A
p+1
es
una coleccin de conjuntos finitos no vacos, entonces



Consecuentemente, por el Principio de induccin matemtica, el teorema es cierto
para todo entero positivo, n, es decir,


Ejemplo

Cuntos resultados distintos son posibles al tirar tres dados diferentes?

Solucin
Sean A
1
,A
2
y A
3
los conjuntos formados por los posibles resultados que podamos
obtener al tirar cada uno de los tres dados, entonces |A
i
| = 6, i = 1, 2, 3 y cada
resultado es un elemento del producto cartesiano A
1
A
2
A
3
, luego por el principio
de multiplicacin, habr.



resultados distintos.

Obsrvese que al ser diferentes los dados, podemos etiquetarlos como primero,
segundo y tercero y tratar la tirada como una accin con tres pasos sucesivos, cada
uno de las cuales tiene seis resultados posibles.
El nmero de posibilidades ser, por tanto,

6 6 6 = 216

Obsrvese tambin que si los dados no fueran diferentes, la respuesta sera distinta.
Por ejemplo sera imposible distinguir entre el resultado 152 y el 251.

Regla del Producto

Si un procedimiento puede descomponerse en las etapas primera y segunda, y si
existen m resultados posibles de la primera etapa y si, para cada uno de estos
resultados, existen n resultados posibles para la segunda etapa, entonces el
procedimiento entero puede realizarse, en el orden dado, de mn formas.

Ejemplo
Se dispone de una baraja de 40 cartas de la cual extraemos cuatro de dos formas
diferentes:

(a) Sin devolucin de cada carta extrada.

(b) Con devolucin de la carta en cada extraccin.

Calcular el nmero de formas diferentes de obtener cuatro cartas en cada caso.

Solucin

Consideraremos el experimento como una accin con cuatro pasos independientes.

Para el primer paso tenemos 40 opciones posibles y como la carta extrada no se
devuelve quedarn 39 opciones para el segundo paso y, por la misma razn, 38 y 37
opciones para el tercero y el cuarto, respectivamente. As pues el experimento podr
hacerse de

40 39 38 37 = 2193360

formas distintas.

(b) Cada carta extrada se devuelve a la baraja. Por tanto, para cada una de las cuatro
extracciones.
Dispondremos de las cuarenta. As pues, el nmero de formas diferentes de obtener
las cuatro cartas es

40 40 40 40 = 2560000
3.2. Relaciones de Recurrencia
Estas relaciones son tiles en ciertos problemas de conteo. Una relacin de
Recurrencia relaciona el n-simo elemento de una sucesin con sus predecesores.
Como las relaciones de recurrencia tienen una relacin cercana con los algoritmos
recursivos, las relaciones de recurrencia surgen de manera natural en el anlisis de
estos.
Considere las siguientes instrucciones para generar una sucesin :
1.- Iniciar con 5
2.- dado cualquier trmino, sume 3 para obtener el siguiente.
Si se enlistan los trminos de la sucesin , se obtiene
5, 8, 11, 14, 17, . . . . . .
El primer trmino es 5 por la instruccin1. El segundo trmino es 8 porque la
instruccin 2 dice sume 3 a 5 para obtener el siguiente trmino. El tercer trmino es 11
porque la instruccin 2 dice sume 3 a 8 para obtener el siguiente trmino. Si se siguen
las instrucciones de 1 y 32 , se pueden calcular cualquier trmino de la sucesin. Las
instrucciones 1 y 2 no dan una formula explicita para el n-simo trmino de la
sucesin en el sentido de poder sustituir cualquier valor de n para obtener el n-simo
trmino, sino que al calcular trmino por trmino en algn momento se podr obtener
cualquier trmino de la sucesin.
Si la sucesin se denota por a
1
,a
2
, . . . ., se puede enunciar de nuevo la instruccin 1
como a
1
=5
Y la instruccin 2 se puede establecer como
3
1
+ =
n n
a a , 2 > n
Haciendo n=2 se obtiene
3
1 2
+ = a a
Si a
1
=5 entonces
8 3 5 3
1 2
= + = + = a a
Haciendo n=3, se obtiene
3
2 3
+ = a a
Si a
2
=8 entonces
11 3 8 3
2 3
= + = + = a a
Usando la formula es posible calcular cualquier trmino en la sucesin justo como se
hizo seguir las instrucciones 1 y 2 . se observa las ecuaciones son equivalentes a las
instrucciones 1 y 2.
Este representa un ejemplo de RELACIN DE RECURRENCIA.
En su forma general, una Relacin de Recurrencia de orden k, es una ecuacin de la forma:

F : R
k
R R

definida como:
a
n
= F (a
n1
, a
n2
, ..., a
nk
, n); n k

Diremos que la relacin de recurrencia es con Condiciones Inciales dadas si
conjuntamente con la ecuacin se definen los k valores inciales: a
0
=
0
, ..., a
k1
=
k1
.

En el curso abarcaremos poco ms que las llamadas Relaciones de Recurrencia Lineales
con Coeficientes Constantes, esto es relaciones del tipo:

P
k
(a) = c
n
a
n
+ c
n1
a
n1
+ ... + c
nk
a
nk
= f(n), (1)

donde:

i) cada c
ni
R i = 0, 1, 2, ...k y c
n
6= 0,

ii) k Z
+
determina el orden de la relacin y debe ser n k

iii) f : N C es una funcin dada. Si f(n) = 0 n N diremos que la relacin de
recurrencia es homognea, no homognea en otro caso, y de orden k

iv) a : N C es una funcin discreta definida como a(n) = a
n



Nuestro objetivo es encontrar a que resuelva 1.
A los efectos de ayudar a la intuicin daremos un ejemplo sencillo:

Ejemplo 1.1
a
n
3a
n1
= 0, n 1.

Tenemos que c
n
= 1, c
n1
= 3; k = 1; f(n) = 0. La relacin define entonces, una ecuacin
en diferencias finitas homognea de primer orden.

Resolver la ecuacin, es decir encontrar a es en este caso sencillo. Basta ver que a partir de

a
n
= 3a
n1


obtenemos para n = 1, n = 2, etc.. las ecuaciones:

a
1
=
3a
0
.

a
2
= 3a
1
= 3
2
a
0
.

a
3
= 3a
2
= 3
2
a
1
= 3
3
a
0
.
. . . . . . .. . . . ... . .

a
n
=
3a
n1
= . . . .. = 3
n
a
0
.



Como se ve obtenemos infinitas soluciones, definidas por a
n
= 3
n
a
0
(verificarlo por
induccin completa) dependiendo todas ellas de los valores dados a a
0
. Naturalmente, si
inicialmente a
0
es dado, obtendremos una nica solucin. Por ejemplo supongamos que por
algn motivo deseamos encontrar la solucin que satisface a
0
= 5 en este caso la UNICA
solucin ser la definida por a
n
= 3
n
5.
Con un poco ms de generalidad consideremos la ecuacin:

Ejemplo 1.2
a
n
+ a
n1
6a
n2
= 0; n 2.

Tenemos: c
n
= 1, c
n1
= 1, c
n2
= 6; k = 2. La ecuacin es en este caso homognea de orden 2.

Procediendo como en el ejemplo anterior obtenemos:

n = 2 a
2
+ a
1
6a
0
= 0 a
2
= a
1
+ 6a
0

n = 3 a
3
+ a
2
6a
1
= 0 a
3
+ a
2
= 6a
1
a
3
= 7a
1
6a
0
.
Como puede verse la solucin quedar dependiendo de a
0
y a
1
. Aunque como puede
verse es posible construir la solucin recurrentemente no es tan sencillo explicitarla como en
el caso anterior. La situacin se complica en la medida en que k aumenta, aunque el mtodo
recursivo siga valiendo es cada vez menos convincente el procedimiento aqu seguido para
explicitar la solucin.

3.3 Solucin de Relaciones de Recurrencia

Consideremos la ecuacin homognea de grado k definida por:

Supongamos que las funciones

a = (a
0
, a
1
, a
2
, ..., a
n
, ...) y b = (b
0
, b
1
, b
2
, ..., b
n
, ...)

son soluciones de 2, entonces como es fcil verificar: la funcin s : N C definida como s =

1
a +
2
b con valores s(n) =
1
a(n) +
2
b(n), es tambin solucin de la ecuacin 2.

As podemos decir que el conjunto de soluciones de Pk(x) = 0 forman un S.E.V. dentro
del espacio de las funciones discretas con la suma y el producto por escalares definidas como
anteriormente.
Consideremos nuevamente la ecuacin 2, pero supongamos ahora que estn fijados los k
primeros valores de las posibles soluciones, sean estos valores _0, _1, ...., _k1, (los
llamaremos(Condiciones Inciales). El mtodo recursivo ensayado en los ejemplos anteriores,
permite obtener la solucin definida recurrentemente a partir de la igualdad:


Veremos que es posible obtener esta solucin como una combinacin lineal
particular de las soluciones de los k problemas definidos por 2 y respectivamente las
siguientes condiciones inciales:
a
0
= 1, a
1
= 0 . . . a
k1
= 0
a
0
=, a
1
= 1 . . .
a
k
1
= 0

. . . . . . . . .. . .

a
0
= 0, a
1
= 0 . . . a
k
1
= 1

Sean a
(0)
; a
(1)
; ...a
(k1)
las soluciones de estos problemas (CUIDADO: no son
potencias). Como podemos verificar estas soluciones son L.I.
Por otra parte
S =
0
a
0
+
1
a
1
+ . . .
k1
a
k1


es solucin de
con las condiciones inciales: a
0
=
0
, a
1
=
1
, . . . , a
k1
=
k1
.


Por lo tanto el problema de resolver

con condiciones inciales dadas, es equivalente a encontrar k funciones discretas linealmente
independientes f
j
(n); j = 0, 1, 2, ..., k 1, y luego resolver





hallados los b
j
a partir de este sistema de ecuaciones la solucin al problema con condiciones
inciales dadas ser:
Presentaremos a continuacin una forma de resolucin de ecuaciones en diferencias
homogneas con condiciones inciales dadas, el que es una continuacin natural de las ideas
anteriores. Si bien en casos relativamente sencillos este mtodo es de valor pierde eficiencia
en casos ms generales. Por este motivo ms adelante presentaremos un mtodo de
resolucin basado en las funciones generatrices, el que permite obtener soluciones para una
amplia clase de problemas, en este mtodo haremos especial hincapi.

mtodo para obtener la solucin

Discutiremos a partir de un ejemplo una forma especial de resolucin y veremos en el practico
diferentes casos particulares. En la seccin siguiente nos dedicaremos a la resolucin de
ecuaciones en diferencias mediante la utilizacin de funciones generatrices.
Comencemos observando que k funciones del tipo f
j
(n) = r
j
n
, j = 1, 2, ..., k pueden formar
para r
j
6= r
i
, i 6= j un conjunto linealmente independiente de funciones.

Ejemplo 3.1 Consideremos la ecuacin en diferencias:

x
n
+ x
n1
6x
n2
= 0
con condiciones inciales: a
0
= 1, a
1
= 3

Busquemos soluciones del tipo f(n) = cr
n
. Precisamos dos soluciones de este tipo L.I.
Vemos que r = 2, r = 3 son las soluciones, resolvamos ahora


A partir de: b
0
=
6/5
, b
1
=
1
5
Obtendremos la solucin: a(n)
.

Demostrar que la solucin encontrada es una C.L. de las soluciones de los casos a
0
= 1,
a
1
= 0 y a
0
= 0, a
1
= 1

Ejemplo 3.2 Samuelson hace los siguientes supuestos:

El consumo es funcin lineal del ingreso:

c
n
= ay
n1
+ H

la inversin lquida tiene una componente autnoma A y otra b(c
n
c
n1
)

i
n
= A + b(c
n
c
n1
)

los productores en todo perodo ajustan la oferta a la demanda:

y
n
= c
n
+ i
n


A partir de estos tres supuestos obtenemos la ecuacin en diferencias:

y
n
a(1 + b)y
n1
+ aby
n2
= A + H.

La solucin general es de la forma:

y
n
=
A

+

H
+ f(n)
1 a
Donde f(n) es la solucin de la ecuacin homognea, representara un ciclo si la ecuacin
r
2
a(a + b)r + ab = 0 tiene races complejas, con amplitud decreciente, creciente o constante,
segn ab sea menor, mayor o igual a 1.

Ejemplo 3.3 Considere un alfabeto compuesto por 3 smbolos : {A, B, C} .

a) Obtenga la relacin de recurrencia que determina el nmero de palabras diferentes de
largo n, a
n
. que pueden formarse si el smbolo B, no puede aparecer consecutivamente.

b) Obtenga a
n
.


Sea a
n+1
el nmero de palabras posibles que se pueden escribir de acuerdo al enunciado.
En el ensimo lugar habr una A, una B o una C, de estas forma

a
n+1
= 3a
A
n
+ 3a
B
n
+ 2a
C
n
()

donde a
j
n
, j = A, B, C representa las palabras con n letras terminadas en j.
Si j = A o j = C, estas palabras ya fueron contadas en a
n2
, por lo que sustituyendo en ()
obtenemos:
a
n+1
= 6a
n2
+ 2a
C
n
()

Consideremos ahora las palabras con n letras, terminadas en B (j = B) en este caso en el
lugar n 2 solo puede haber una A o una B en ambos casos estas fueron contadas al
considerar a
n3
, sustituyendo ahora en () concluimos con que:

a
n+1
= 6a
n2
+ 4a
n3




3.4. Soluciones y aplicaciones


En esta seccin se usan las relaciones de recurrencia para analizar el tiempo que
requieren los algoritmos. La tcnica consiste en desarrollar una relacin de
recurrencia y condiciones inciales que definan su sucesin a
1
, a
2
,. . . .,a
n
donde a
n
es
el tiempo (en el mejor caso, caso promedio peor caso) requerido por un algoritmo
para ejecutar una entrada de tamao n. Al resolver la relacin de recurrencia , se
determina el tiempo que requiere el algoritmo.
Nuestro primer algoritmo es una versin de algoritmo de orden de seleccin.
Este algoritmo selecciona el artculo ms grande y lo coloca al ltimo, despus repite
de manera recursiva este proceso.


ORDEN DE SELECCIN

Este algoritmo ordena la sucesin

s
1
, s
2
, . . . ., s
n

en orden no decreciente, eligiendo primero el artculo ms grande y colocndolo al
ltimo y despus ordenando de manera recursiva los elementos restantes.

Entrada: s
1
, s
2
, . . . ., s
n
y la longitud de n de la sucesin
Salida: s
1
, s
2
, . . . ., s
n
, arreglada en orden no decreciente.
1. orden_seleccin(s,n) {
2. //caso base
3. If(n==1)
4. return
5. // encuentra el valor
6. ndice_mx=1 //suponga al inicio que s
1
es el mayor
7. For i=2 to n
8. If (s
1
>s
indice_mx
)//se encontr el ms grande
9. ndice_mx=i
10. //mover mayor al final
11. Cambiar(s
n
,s
indice_mx
)
12. Orden_sellcin(s,n-1)
13. }

Como una medida del tiempo requerido por este algoritmo , se encuentra el nmero
de comparaciones b
n
en la lnea 8 requeridas para ordenar n artculos. (Observe que
los tiempos del mejor caso , el caso promedio y el peor caso son todos iguales para
este algoritmo).
De inmediato se obtiene la condicin inicial
b
1
=0

Para obtener una relacin de recurrencia para la sucesin b
1
, b
2
, . . . ., se simula la
ejecucin del algoritmo para un tamao de n>1 arbitrario de entrada. Se cuenta al
nmero de comparaciones en cada lnea y despus se suman estos nmeros para
obtener el nmero total de comparaciones b
n
. En estas lneas 1 al 7 hay cero
comparaciones (del tipo que se esta contando). En la lnea 8 har n-1
comparaciones(ya que la lnea 7 provoca que la lnea 8 se ejecute n-1 veces). Hay
cero comparaciones en las lneas 9 a la 11. La llamada recursiva ocurre en la lnea 12,
donde se invoca este algoritmo con entrada de tamao n-1. Entonces, hay b
n-1

comparaciones en la lnea 12. Por lo tanto el nmero total de comparaciones es

b
n
=n-1+b
n-1
,

que lleva la relacin de recurrencia deseada.

Ahora estudiemos un caso que involucran ecuaciones diferenciales, las cuales
tambin pueden expresarse en algoritmos, pero antes de eso estudiaremos su
solucin.

Consideremos el sistema de ecuaciones en diferencias finitas homogneo:
x
n+1
= a
11
x
n
+ a
12
y
n

(3)
y
n+1
= a
21
x
n
+ a
22
y
n



Suponemos a
12
= 0 o a
21
= 0.
Supongamos a
12
= 0 de la primera ecuacin obtenemos:







Sustituyendo adecuadamente obtenemos la ecuacin en diferencias:





Mtodo alternativo:
Busquemos soluciones del tipo: x
n
=
1
r
n
e y
n
=
2
r
n
con
1
6= 0 y

2
6= 0.
Sustituyendo en el sistema de ecuaciones original y simplificando obtenemos :

1
r = a
11

1
+ a
12

2
r = a
11

1
+ a
12




o en forma matricial


pg. 14

Este sistema posee solucin no trivial (
1
,
2
) solamente si el determinante es
igual cero, de donde obtenemos dos posibles valores para r, las races del
polinomio caracterstico: r
1
y r
2
. Mientras que los valores (
1
,
2
) representan los
auto vectores asociados a los respectivos auto valores. Luego:

1. Si r
1
= r
2
,las soluciones sern de la forma:


donde las constantes k
i
y h
i
, i = 1, 2, se determinan por las condiciones
iniciales.

2. Si r
1
= r
2
,las soluciones buscan en la forma:

x
n
= (
0
+
1
n)
n
r
1


e
y
n
= (
0
+
1
n)
n
r
1


Observe que (3) puede escribirse en la forma

v
n+1
= Av
n

donde






La solucin para este sistema de ecuaciones en diferencias homogneo se
obtiene fcilmente pues iterando se llega a:
v
n+1
= A
n
v
0
.
Obsrvese que el mtodo se extiende naturalmente a sistemas de orden
k donde v
n
e R
k
y A e M
kk
.


Consideremos ahora el caso de un sistema de ecuaciones en diferencias no
homogneo:
Sea: x
n
= Ax
n1
+ y donde x
n
y x
n1
son vectores k-dimensionales, y es
un vector constante de dimensin k tambin. A es una matriz compleja k x k.
Verificar que la solucin para este problema es:

pg. 15


siendo x
0
el vector de condiciones inciales.

Estabilidad

Definicin Estabilidad: Se dice que el sistema x
t
= Ax
t1
+ y es estable cuando la
solucin x
t
converge a un vector constante independientemente de x
0
.
Teorema Para que el sistema x
n
= Ax
n1
+ y sea estable es necesario y suficiente que
todos los auto valores de A tengan mdulo inferior a 1. Siendo el sistema estable,
entonces converge a (I A)
1
y.
Demostracin:
Sean x
n
y x
0
n
soluciones para el sistema con C.I.: x
0
x
0
0
respectivamente.
Observando que x
n
x
0
n
= A
n
(x
0
x
0
0
).
Luego el sistema ser estable si A
n
0 si todos los autovalores son de mdulo menor que 1.
Recprocamente: Suponga que todos los autovalores son de mdulo menor que 1. Entonces
(I A) es invertible. Como (I A)(I + A + A
2
+ A
n1
) = I A
n
se sigue que:

(I + A + A
2
+ A
n1
) = (I A)
1
(I A
n
).

Luego como todos los autovalores de A son de mdulo menor que 1, se sigue que (I A
n
)
I y por lo tanto x
n
= (I A)
1
y


Ejemplo


MERGE sort

Este algoritmo recursivo ordena una sucesin en orden no decreciente usando el
algoritmo que fusionan dos sucesiones no decrecientes.

Entrada: s
1
, s
2
, . . . ., s
n
i y j
Salida: s
1
, s
2
, . . . ., s
n
, arreglada en orden no decreciente.
1. merge_sort(s, i, j) {
2. //caso base 1==j
3. If(j==1)
4. return
5. // divide la sucesin y ordena
6. m=
( )
(

+
2
j i

7. merge_sort(s, i, m)
pg. 16
8. merge_sort(s, m+1, j)
9. // mezcla
10. Mezcla(s, i, m, j, c)
11. // copiar c,la salida de mezcla, a s
12. For k=i to j
13. S
k
=c
k

14. }

La figura muestra la forma en que el algoritmo anterior merge_sort ordena la
sucesin

12, 30, 21, 8, 6, 9, 1, 7.


Se concluye despus de la mezcla de cuatro elementos es ( ) n n lg O en el peor
caso . El mtodo de prueba es el mismo que se us para demostrar que en la
bsqueda binaria es ( ) n lg O en el peor caso.


















BIBLIOGRAFIA

- Matemticas Discretas y Combinatoria ;Ralph P. Grimaldi 3 edicin
Pretince Hall.
- Matematica Discretas Sexta edicin Richard Johnsonbaugh; Pretince Hall.
- Matematicas Discretas eduard R. Sheninerman; thomson Leraning.

pg. 17


Actividades complementarias
1.- Encuentre una formula explicita para la sucesin de fibonacci.
La sucesin de fibonacci est definida por la relacin de recurrencia
homognea lineal de segundo orden.
0
2 1
=
n n n
f f f 3 > n
Y las condiciones inciales 1
1
= f y 1
2
= f

2.- Suponga que la poblacin de venados del condado de Rustic es 200 en
el tiempo n=0 y 220 en el tiempo n=1, y que n es dos veces el incremento
del tiempo n-2 al tiempo n-1. Escriba la relacin de recurrencia y una
condicin inicial que define la poblacin de venados en el tiempo n y
despus resuelva la relacin de recurrencia.


3.- Suponga que el algoritmo A requiere ( ) n n lg comparaciones para
ordenar n artculos y que el algoritmo B requiere | |
4
2
n
comparaciones para
ordenar n artculos. Para cul n el algoritmo B es superior a A?