286
TÉCNICAS DE DISEÑO DE ALGORITMOS
Por otro lado, para cada una de estas piezas tenemos múltiples opciones, pues podemos colocarlas vertical u horizontalmente (a menos que la pieza sea simétrica) y alrededor del conjunto de piezas que ya tenemos situadas. En cuanto a nuestra representación de la solución, la forma más sencilla es la de disponer de un tablero en donde marcar las casillas ocupadas. El tablero puede ser implementado mediante una matriz de número naturales, en donde el valor 0 indica una posición libre y un valor k > 0 indica que esa posición está ocupada por la pieza pk. Con esto en mente, ya podemos atacar la implementación del tipo abstracto de datos que representa los nodos. CONST N = ...; (* numero de piezas *) CONST LMAX = ...; (* longitud maxima de una pieza (alto o ancho) *) CONST XMAX = N*LMAX; YMAX=N*LMAX; (* tam. maximo del tablero *) TYPE tablero = ARRAY[0..XMAX],[0..YMAX] OF CARDINAL; TYPE nodo = POINTER TO RECORD t:tablero; (* tablero asociado al nodo *) k:CARDINAL; (* nivel *) xmax,ymax:CARDINAL; (* area acumulada *) puestas:ARRAY [1..N] OF BOOLEAN; (* piezas ya colocadas *) END;
Además del tablero con la solución construida hasta ese momento y el nivel, las otras componentes del registro indican el área del rectángulo que contiene a las piezas colocadas y un vector que indica qué piezas están ya situadas y cuáles quedan por colocar. Necesitaremos además dos variables globales al módulo para almacenar la cota superior (el área) alcanzada por la mejor solución hasta el momento y el área de las piezas que debemos colocar: VAR cota:CARDINAL; VAR piezas:ARRAY[1..N] OF RECORD x,y:CARDINAL END;
Estas variables serán inicializadas en el cuerpo principal del módulo “Nodos”: BEGIN (* Nodos *) cota:=MAX(CARDINAL); piezas[1].x:=1; piezas[1].y:=2; piezas[2].x:=2; piezas[2].y:=2; piezas[3].x:=1; piezas[3].y:=3; END Nodos.
Veamos ahora las funciones de este módulo. En primer lugar la función NodoInicial habrá de contener el nodo raíz del árbol de expansión:
