Tabla de contenido

CC40A-Guia 1....................................................................................................................................... 2 1. 2. 3. Ordenando Funciones ............................................................................................................ 2 Manipulacin de O ................................................................................................................. 5 Recurrencias y funciones generatrices .................................................................................. 6

CC40A-Guia 1 1. Ordenando Funciones Revisar capitulo 3 libro Introdution to Algorithms Thomas H. Cormen Ordenar las siguientes funciones en orden O() creciente, indicando los grupos que tienen el mismo orden. Recomendacin Para este caso, una recomendacin muy simple es ver la manera mas sencilla de resolver el ejercicio, ya sea simplificando, aplicando limites, derivadas u otro mtodo mas sencillo.

Para este caso podramos usar un mtodo de ordenacin visto en clase como es mergeSort, como se puede observar hay 16 funciones, entonces particionamos de 8 en 8 luego 4 en 4 luego 2 en 2. Solucin: A.

crece mas rpidamente B.

, se aplica hospital

Esto no fue una gran idea, habr que cambar de estrategia:

Separamos y aplicamos hospital

Retornando a (1) se tiene que

crece mas rpidamente

C.

crece ms rpidamente

D.

crece ms rpidamente

E.

, se aplica hospital recursivamente

crece ms rpidamente

F. ( ) crece ms rpidamente

G.

Aplicamos hospital

crece ms rpidamente

Agrupando A y B. Se tiene lo siguiente aplicando los procedimientos anteriores

Agrupando C y D

Juntamos otras mitades M y N

2. Manipulacin de O
Se puede definir O(g(n)) como el conjunto de todas las funciones que son O(g(n)). As, f(n) es O(g(n)) se puede rescribir como f(n) O(g(n)). Abusando de la notacin se dice f(n) =O(g(n)). 2. f1(n) + f2(n) = O(g1(n)) + g2(n)) y (h1(n) + h2(n)).

Se tiene:
f1(n) = O(g1(n)) f1(n) c1g1(n) (1) f2(n) = O(g2(n)) f2(n) c2g2(n) (2) ,

Sumamos (1) y (2)

f1(n) c1g1(n) f2(n) c2g2(n) f1(n) + f2(n) c1g1(n)+ c2g2(n) f1(n) + f2(n) cg1(n)+ cg2(n) f1(n) + f2(n) c(g1(n)+ g2(n) ) f1(n) + f2(n) = O (g1(n)+ g2(n) ) c1, c2 c ,

3. Recurrencias y funciones generatrices

Resuelva las siguientes recurrencias sin usar y usando funciones generatrices. La solucin debe ser exacta para infinitos n (diga cuales). M= altura de rbol 1. T(n) = T(n 1) + n 1, T(1) = 2

A. Mtodo sustitucin: Primero hallaremos la adivinanza con arboles de recursin

T(n) = T(n 1) + n 1, T(1) = 2

I=0 I=1 i=2 i=3

T(n) T(n-1) T(n-2) T(n-3)

n-1 | n-2 | n-3 | n-4 | . 2

n-1-1 n-2-1 n-(3+1) m

i=m

T(n-m)

T(n-m)=T(1) n-m=1 m= n -1 T(n)= n-1 + n-2 + n-3 + n-4 + .+ T(n-m) Expresamos como una sumatoria

Adivinanza

Ahora aplicamos el mtodo de sustitucin, Lo cual se demuestra por induccin

T(n) = T(n 1) + n 1, T(1) = 2

Caso Base k= 1, remplazamos

Para otros casos k=n-1 esto remplazamos en la siguiente ecuacin

Remplazamos en la recurrencia inicial que es: T(n) = T(n 1) + n 1,

Se demostr nuestra hiptesis o adivinanza

B. Funciones generatrices
T(n) = T(n 1) + n 1, T(1) = 2

n=n+1 Nuestra nueva recurrencia T(n+1)=T(n)+n T(0+1)=T(0)+0 T(0)=2 Aplicamos funciones generatrices

Lo que sigue es matemtica factorizacin

Regresamos a la recurrencia ( ) Respuesta

2. T(n) = 3T(n 1) + 2, T(1) = 1.

Arbol de recurrencia s T(n) T(n-1) T(n) 2 2 2 2 2 2 2 T(n-1) 2 2 2 2 2 2 2 T(n-1) 2 2(3) 2(3)2 m

.. T(1) Todo lo podemos resumir de la siguiente manera Nivel Tamao del Complejidad del Nro (arbol) problema algoritmo subproblemas 0 N 2 1 1 n-1 2 3 2 n-2 2 32 3 n-3 2 33 I n-i 2 3i m n-m 1(caso base 3m T(1)=1) T(n-m)=T(1)=1 n-m=1 m=n-1

2x1 2x3 2x32 2x33 2x3i 1x3m

m-1

Sumamos y los expresamos en una sumatoria conocida

Remplazamos m en funcin de n

Obtenemos nuestra adivinanza ahora ha q demostrar por induccin:

Metodo sustitucin
T(n) = 3T(n 1) + 2, T(1) = 1.

Caso base k=1 Si funciona para el caso base, se prueba para los dems casos Para k=n-1 Reeemplazamos T(n-1) en T(n) = 3T(n 1) + 2, Se demostr que la adivinanza fue correcta para T(n)

Anexos Notacin O() (Cota Superior) en trminos comunes a lo mas ( )