Problemas 2. DISEAR RECURSIVAMENTE TRANSFORMAR A ITERATIVO.

Introduccin

En 1883 empez a venderse en Francia un antiguo rompecabezas oriental, rescatado para Occidente por el profesor N. Claus (de Siam) y cuyas primeras referencias eran los escritos del ilustre mandarn Fer-Fer-Tam-Tam. Segn una leyenda india, en el Templo de Benars, bajo el domo que marca el centro del mundo, hay una placa de latn con tres agujas de diamante. Durante la creacin, Dios puso sesenta y cuatro discos de oro puro de distinto tamao en una de las agujas, formando una torre. Los bramanes llevan generaciones cambiando de lugar, uno a uno, los discos de la torre entre las tres agujas de forma que en ningn momento un disco mayor descanse sobre otro ms pequeo. Cuando hayan conseguido trasladar todos los discos a otra aguja su trabajo estar terminado, y la torre y el templo se derrumbarn, y con un gran trueno, el mundo se desvanecer. La versin simplificada que se venda en Francia se compona de ocho discos de madera. En realidad, la Torre de Hanoi y la leyenda india haban sido inventadas por el matemtico francs douard Lucas (N. Claus de Siam es un anagrama de Lucas d'Amiens). Su compatriota, el escritor Henri de Parville ampli y adorn la leyenda poco tiempo despus. A pesar de que el reto planteado es relativamente sencillo, la idea de Lucas ha demostrado ser una de las ms fecundas de la historia de las matemticas recreativas. Si no lo has hecho antes, antes de seguir leyendo tal vez deberas familiarizarte con el rompecabezas y resolverlo por ti mismo. Puedes usar un modelo real o uno de los muchos simuladores que hay disponibles en Internet.

Notacin Los discos se numerarn de 1 a 8 (o a n, en general), empezando por el ms pequeo. Los postes (que se supondrn alineados de

izquierda a derecha) sern marcados con letras maysculas (A, B y C). El inicial ser A y el objetivo C.

fig. 1 Un algoritmo recursivo La Torre de Hanoi suele aparecer como ejemplo para ilustrar el concepto de recursin en los cursos de programacin, ya que existe un algoritmo recursivo sencillo de descubrir que lo resuelve. Supongamos que queremos trasladar los ocho discos del poste A al poste C. Como el disco 8 siempre est abajo del todo, la nica forma de hacerlo es trasladar primero la torre de siete discos 1...7 al poste B. Entonces podremos llevar el disco 8 de A a C, y para terminar tendremos que trasladar de nuevo la torre 1...7, ahora de B a C. Pero los discos 1...7 forman una torre totalmente similar a la inicial, as que en dos de los tres pasos anteriores nos enfrentamos con un problema anlogo al original. De hecho, puede resolverse de la misma forma, trasladando ahora la torre 1...6. Por ejemplo, el primer paso (trasladar la torre 1...7 de A a B) se puede descomponer en estos tres pasos. Por supuesto, en dos de estos tres pasos nos volvemos a encontrar con el problema original, ahora con n = 6. El proceso no es infinito, ya que llega el momento en que trasladar una torre equivale a trasladar un solo disco (esto ocurre cuando la torre es de un solo disco). En resumen, el algoritmo recursivo es el siguiente. Algoritmo para trasladar la torre 1...n del poste X al poste Z, usando como auxiliar el poste Y.

1. Si n = 1, lleva el disco 1 de X a Z y termina. 2. Traslada la torre 1...n1 usando este mismo algoritmo, de X a Y, usando como auxiliar Z. 3. Lleva el disco n de X a Z. 4. Traslada la torre 1...n1 usando este mismo algoritmo, de Y a Z, usando como auxiliar X. Este es ms la definicin de un problema que su resolucin. En realidad, lo nico que hace es especificar unos pasos inevitables. Por ejemplo, como vimos antes, para resolver el puzzle es obligatorio llevar el disco n de A a C, y para ello es obligatorio llevar antes la torre 1...n a B, etc. La secuencia de movimientos que produce este algoritmo es la nica solucin ptima (o sea, de longitud mnima) posible. El nmero de movimientos es M(n) = 2n1, como se puede demostrar fcilmente por induccin sobre el nmero de discos. Se cumple para n = 1 M(1) = 1 = 211. Si se cumple para n, se cumple para n+1 Al ejecutarse el algoritmo para n+1 se llama a s mismo dos veces para n, ms un movimiento del disco n+1. As que M(n+1) = 2 M(n) + 1 = 2 (2n1) + 1 = 2n+12+1 = 2n+11. Para n = 8 el nmero de movimientos es de 281 = 255. Para n = 64, de 2641 = 18.446.744.073.709.551.615. Si los bramanes de Benars cambiaran un disco de sitio cada segundo necesitaran ms de quinientos ochenta mil millones de aos para terminar su tarea, unas cuarenta veces la edad del Universo. Obtencin de un algoritmo iterativo Los algoritmos recursivos funcionan bien con ordenadores, pero son difciles de aplicar para un ser humano. Si intentas resolver la torre de ocho discos aplicando el mtodo descrito es fcil que te pierdas a no ser que vayas tomando notas de por dnde vas. Incluso para los ordenadores los algoritmos recursivos suelen ser poco econmicos, en el sentido de que consumen bastante memoria (como ya hemos comentado en clase la memoria es como

poco la altura del rbol de llamadas). La alternativa a los algoritmos recursivos son los iterativos. Muy a menudo no existe o no se conoce una alternativa iterativa para un algoritmo recursivo, y cuando s se conoce, suele ser mucho ms complicada que la versin recursiva. Sin embargo, en el caso de la Torre de Hanoi, existen varios algoritmos iterativos que uno puede encontrar tecleando Torres de Hanoi en el google. No obstante, lo que aqu tratamos es de derivar una solucin iterativa utilizando tcnicas profesionales y no ser dependientes en exclusiva de nuestro ingenio. Para ello se propone que sigas los siguientes pasos. 1.- Modelar el problema. Ello exige elegir los tipos de datos necesarios para modelar las torres y luego modelar el juego. Especifica completamente los tipos de datos. Implementa un prototipo para los mismos. Puedes utilizar tipos ya hechos y cuyo manejo conozcas o implementar tus propios tipos. 2.- Especificar el juego usando los tipos de datos de la parte 1. 3.- Describir, dentro del modelo que hayas fabricado el algoritmo recursivo que se ha explicado anteriormente. En este momento ya puedes disponer de un prototipo recursivo que funcione. 4.- Identificar de que tipo de recursividad se trata. 5.- Podemos pensar que cada nodo del rbol de llamadas contiene la representacin de un estado del juego. Describir cada nodo, las operaciones hijoIzquierdo, hijoDerecho, y en que consiste el tratamiento de cada nodo (/** aqu no se programa */) 6.- Describe el algoritmo recursivo en trminos de operaciones sobre el rbol de llamadas e identifica de que tipo de recorrido se trata. (/** aqu tampoco se programa */) 7.- Finalmente, aplica la transformacin adecuada al recorrido y da un algoritmo iterativo. Para ello puedes revisar tus conocimientos de estructuras de datos o en su defecto no sera malo consultar algn libro. Puede valer el libro de Jos Luis

Balczar, Programacin metdica, sobre todo la parte de rboles y recursividad. (/** aqu tampoco se programa **/) 8. Implementa la versin iterativa y comprala con la recursiva. Relata brevemente las conclusiones experimentales explicndolas a travs de argumentos de la teora.