UNIVERSIDAD ANHUAC OAXACA

LICENCIATURA EN INGENIERA EN SISTEMAS

MATEMTICAS DISCRETAS

TAREA

IVN ALEJANDRO DAZ ACEVEDO

OAXACA DE JUREZ, 06 DE NOVIEMBRE DEL 2013

Origen de la frmula de las torres de Hanoi

En este problema se tienen tres postes A, B y C, y n anillos (discos con un orificio central que se ajusta a los postes) de diferentes tamaos. El problema es transferir los discos al poste C moviendo un disco a la vez y de tal manera que un disco nunca se coloca sobre otro ms pequeo (por lo tanto en la conjuracin final los discos estn apilados en el poste C en orden descendente de tamao). Cul es el mnimo nmero de movidas (de un disco de un poste a otro) para alcanzar la conjuracin final? La secuencia de movidas que se va sugerir es recursiva: describe una solucin a la transferencia de n discos en trminos de una solucin a la transferencia de n - 1 discos. El procedimiento o algoritmo es el siguiente: Si n = 0 no hay nada que hacer (alternativamente, se puede tomar el caso n = 1 como caso base). De lo contrario, si n 1 entonces: 1. Recursivamente se transfieren los n - 1 discos ms pequeos de la torre A a la torre B 2. Se mueve el disco mas grande de la torre A a la torre C 3. Recursivamente se transfieren los n - 1 discos ms pequeos de la torre B a la torre C Sea mn el nmero de movidas realizadas por este algoritmo para el problema con n discos. De la descripcin del algoritmo se concluye que mn satisface la ecuacin de recurrencia mn = 2mn-1 + 1 (*) Con condicin inicial m0 = 0. Solucin de la Recurrencia. En general, para ecuaciones como esta en que mn esta Expresada en trminos de mn1, se puede intentar obtener la solucin

iterando la recurrencia. Esto quiere decir que comenzando con ( ) se aplica la misma ecuacin () a mn1 en la derecha (que se obtiene cambiando n por n 1 en ()), y as sucesivamente, hasta que se obtiene un patrn que nos permite adivinar cul es la solucin. Entonces, iterando la recurrencia () se obtiene mn = 2mn1 + 1 = 2(2mn2 + 1) + 1 = 22mn2 + 21 + 20 = 22(2mn3 + 1) + 21 + 20 = 2 3m + 22 + 21 + 2 0
n3

.. + + 2 + 21 + 2 n1 n2 = 2 +2 + + 22 + 21 + 2 0 = 2 m0 + 2 = 2 1.
n n n1

+2

n2

Nmeros de Cataln.
Consideramos ahora el problema de caminos en una malla n x n que comienza en (0,0) y terminan en (n, n) de tal manera que cada paso slo puede ser haca la derecha o haca arriba la restriccin de que el camino no puede entrar la regi on arriba de la diagonal. Para referencia, llamemos estos caminos de Cataln de longitud n (n pasos para la de- recha y n pasos para arriba, lo que suma realmente 2n pasos). El nu mero de estos caminos es denotado por Cn y estos son los llamados nu meros de Catal an (que determinamos anteriormente). Vamos a determinar una ecuacin de recurrencia para Cn (aunque no es una que lleve a determinar Cn fcilmente). Consideremos el camino donde n = 10. Dado que comienza en la diagonal (en (0, 0)) y termina en la diagonal (en (10, 10)), hay un primer paso de retorno a la diagonal que es (5, 5) (casualmente el punto medio). El camino retorna de nuevo a la diagonal en (7, 7) y por supuesto en (10, 10), pero nos interesa la primera vez, en (5, 5). Entre el primer retorno en (5, 5), y el final en (10, 10), el camino que se tiene es un camino de Cataln de longitud 5. Por otra parte, en la secci on inicial del camino desde (0, 0) hasta el primer retorno, el primer paso es necesariamente hacia la derecha y el u ltimo necesariamente hacia arriba. Si se eliminan estos dos pasos, la seccin entre ellos es un camino

de Cataln de longitud 4. Este anlisis es vlido en general, y muestra que para un camino de Cataln de longitud n existe un k (que corresponde a la coordenada del punto de primer retorno (k, k)) de tal manera que el camino se descompone en 1. un paso hacia la derecha (A a D) (D a E)

2. un camino de Cataln de longitud k 1 3. un paso hacia arriba (E a C)

4. un camino de Cataln de longitud n k

(C a B)

Adems es claro que una secuencia tal da lugar a un camino de Cataln de longitud n. Por lo tanto esto lleva a la ecuacin de recurrencia

Bibliografa: Annimo, http://www.unalmed.edu.co/~earamosn/cursos/matematicas_discretas_09II/plan/r ecursion-recurrencias.pdf , Consultado el 6 de noviembre del 2013