PRACTICA de PROGRAMACIÓN LOGICA - Curso 2005/06

Transcripción

1 PRACTICA de PROGRAMACIÓN LOGICA - Curso 2005/06 La práctica se puede hacer individualmente o en grupo de dos personas como máximo. DOCUMENTACIÓN DE LA PRÁCTICA Nombre(s) de los integrantes del grupo. Enunciado del problema. Explicación de las estrategias nuevas añadidas. Especificación de los predicados nuevos (modo de uso) y un comentario sobre lo que hacen. Implementación de dichos predicados (cláusulas añadidas). Juego de pruebas con varios ejemplos solucionados. REALIZACIÓN Y FECHA DE ENTREGA La fecha de entrega tope será el 30 de mayo de Día del examen de la asignatura La documentación debe entregarse en papel y en formato electrónico.

2 ENUNCIADO de la PRACTICA: SUDOKU Se pretende realizar un programa que solucione Sudokus. Para más información consultar REGLAS del JUEGO Se juega en un tablero de 9x9 casillas, subdividido en nueve cuadrantes de 3x3, con algunos dígitos (del 1 al 9) fijos en el tablero, como se muestra abajo. El jugador debe rellenar las casillas vacías con dígitos del 1 al 9, de modo que no se repita ningún digito en cada fila, columna o cuadrante. EJEMPLO de movimiento posible Añadir el 3 en (8,4) PROGRAMA Se pide escribir (parte de) un programa que solucione Sudokus. En concreto, se deben implementar dentro de: %%%% ESTA ES LA PARTE A RELLENAR POR LOS ALUMNOS/AS: %%%% a. El predicado denominado sin_backtraking sin_backtraking(l,s): repite el proceso de aplicar las estrategias definidas (mientras haya modificaciones posibles en la matriz L) obteniendo S. b. Estrategias para reducir las listas de posibilidades con lógica. Como mínimo estas dos estrategias (aunque es deseable que se hagan más): Estrategia 1: Si en una fila (resp. columna, cuadrante) sólo hay una posición para un número, se elimina de esa posición todos los demás números Estrategia 2: Si en una fila (resp. columna, cuadrante) sólo hay un número en una posición, se elimina dicho número de las demás posiciones de la fila (resp. columna, cuadrante).

3 DATOS PROPORCIONADOS %%%% Operaciones para manipulación de la matriz %%%%%%%%% %% El sudoku se representa mediante una matriz, es decir, %% es una lista de 9 filas, donde cada fila contiene 9 elementos. %% Estos elementos son listas que inicialmente contienen un número %% (del 1 al 9) o están vacías (sin números), pero que en general %% cotienen las distintas posibilidades para esa posición. %%%% Traspuesta de la matriz %% traspuesta: obtenemos una matriz donde cada fila es una columna de la original. traspuesta([l T):- columnas(l,t). traspuesta([l RL T):- traspuesta(rl, T2), mezclar(l, T2, T). columnas([ []). columnas([x RX [[X] RZ]):- columnas(rx, RZ). mezclar([ [ []). mezclar([x RX [L RL [[X L] RR]):- mezclar(rx, RL, RR). %%%%%%% Cuadrantes de 3x3 %% cuadrados: obtenemos una matriz donde cada fila es un cuadrante de la original. cuadrados([[]). cuadrados([l1,l2,l3 RL C):- tripletas(l1, L2, L3, L), cuadrados(rl, R), append(l, R, C). tripletas([ [ [ []). tripletas([x11, X12, X13 L1 [X21, X22, X23 L2 [X31, X32, X33 L3 [[X11, X12, X13, X21, X22, X23, X31, X32, X33] L]):- tripletas(l1, L2, L3, L). %%%%%% Escritura de la matriz %% escribir: imprime en pantalla la matriz por filas. escribir([]). escribir([l RL]):- write(l), nl, escribir(rl).

4 %%%%%% Inicializar el sudoku de partida dado para su ejecución %% iniciar: rellena cada posición vacía de la matriz con todos los números (1 al 9). iniciar([ []). iniciar([f RF [I RI]):- iniciar_fila(f, I), iniciar(rf, RI). iniciar_fila([ []). iniciar_fila([l RL [L RY]):- length(l, 1),!,iniciar_fila(RL, RY). iniciar_fila([l RL [[1, 2, 3, 4, 5, 6, 7, 8, 9] RY]):- length(l,0),iniciar_fila(rl, RY). %%%% Operaciones de comprobación de propiedades sobre la matriz %%% %% listas_unicas: comprueba si cada posición de la matriz contiene un único número. listas_unicas([]). listas_unicas([f RF]):- unitarios(f), listas_unicas(rf). unitarios([]). unitarios([l RL]):- length(l, 1), unitarios(rl). %% Dada una matriz que verifica el predicado "listas_unicas" (precondición), %% listas_diferentes: comprueba si cada fila de la matriz es un conjunto (sin repetidos). listas_diferentes([]). listas_diferentes([l RL]):- is_set(l), listas_diferentes(rl). %% Dada una matriz que verifica el predicado "listas_unicas" (precondición), %% correcta: comprueba si no hay repetidos en cada fila, cada columna y cada cuadrante. correcta(s):- listas_diferentes(s), traspuesta(s, S1), listas_diferentes(s1), cuadrados(s1, S2), listas_diferentes(s2).

5 %%%% Operaciones de obtención de datos sobre la matriz %%%% %% div_pos: Dada una lista genérica y una posición, obtiene %% la sublista anterior y la sublista siguiente a dicha posición. div_pos([ N, [ []):- N > 0. div_pos([_ RX 1, [ RX). div_pos([y RY N, [Y L1 L2):- N > 1, M is N-1, div_pos(ry, M, L1, L2). %% minima: cardinal del menor elemento del sudoku, %% esto es, de la lista más pequeña de posibilidades no unitaria. minima([ 10). minima([f RF X):- minima_fila(f, N), minima(rf, NF), X is min(n, NF). minima_fila([ 10). minima_fila([l RL NL):- length(l, 1),!, minima_fila(rl, NL). minima_fila([l RL X):- length(l, N), N>1, minima_fila(rl, NL), X is min(n, NL). %%%%%%%%% Algoritmo principal %%%%%%%%% %% Dado un sudoku de partida ya inicializado (precondición), %% sol: busca una matriz solución (con listas únicas y correcta). sol(l,s):- sin_backtraking(l,r), write('sin backtracking se obtiene:'), nl, solucion(r,s). solucion(r,r) :- listas_unicas(r),!, comprobar(r). solucion(r,s) :- escribir(r), nl, dar_un_paso(r, R1), sol(r1,s).

6 comprobar(r) :- correcta(r),!. comprobar(r) :- escribir(r), write('es una solucion incorrecta'), nl, fail. %% dar_un_paso: busca una posición de la matriz (con número mínimo de %% posiblidades) y selecciona uno de dichos números para dicha posición. dar_un_paso(s, R):- minima(s, M), write(m), write(' posibilidades:'), nl, nth1(p, S, F), nth1(n, F, L), length(l, M),!, div_pos(s, P, S1, S2), div_pos(f, N, F1, F2), member(x, L), write('probamos con '), write(x), write(' en la posicion '), write((p,n)),nl, append(f1, [[X] FN), append(fn, F2, FNN), append(s1, [FNN RS), append(rs, S2, R). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ESTA ES LA PARTE A RELLENAR POR LOS ALUMNOS/AS: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% sin_backtraking: repite e proceso de aplicar las estrategias definidas %% mientras haya modificaciones posibles en la matriz. %%%% Estrategias para reducir las listas de posibilidades con lógica %%% Estrategia 1: Si en una fila sólo hay una posición para un número, %%% elimina de esa posición todos los demás números %%% Estrategia 2: Si en una fila sólo hay un número en una posición, %%% elimina de las demás posiciones dicho número %%% Otras estrategias.

7 JUEGOS DE PRUEBA - Para test1 y test2 son suficientes las dos estrategias mínimas (sin backtracking). - Para test3, test4 y test5 no son suficientes las dos estrategias mínimas, esto es, si no se añaden más estrategias será necesario el uso de backtracking. - Por último, con test6 se muestra que, en algunos casos, hay problemas de eficiencia (por el uso excesivo del backtracking) si no se añaden más estrategias adecuadas. test1 :- L = [ test2:- test3 :- L= [ [[ [6[ [1[ [4[ [5[ ] [[ [ [8[3[ [5[6[ [ ] [[2[ [ [ [ [ [ [ [1] [[8[ [ [4[ [7[ [ [6] [[ [ [6[ [ [ [3[ [ ] [[7[ [ [9[ [1[ [ [4] [[5[ [ [ [ [ [ [ [2] [[ [ [7[2[ [6[9[ [ ] [[ [4[ [5[ [8[ [7[ ]] L = [ [[ [ [4[ [ [3[ [7[ ] [[ [8[ [ [7[ [ [ [ ] [[ [7[ [ [ [8[2[ [5] [[4[ [ [ [ [ [3[1[ ] [[9[ [ [ [ [ [ [ [8] [[ [1[5[ [ [ [ [ [4] [[1[ [6[9[ [ [ [3[ ] [[ [ [ [ [2[ [ [6[ ] [[ [2[ [4[ [ [5[ [ ]] [[8[ [3[ [2[9[7[1[6] [[ [ [6[ [1[8[5[ [4] [[ [ [ [ [6[ [ [ [8] [[ [ [5[ [4[6[ [8[ ] [[7[ [9[ [3[5[6[4[2] [[ [6[ [ [9[ [1[ [5] [[6[ [ [ [7[ [ [5[1] [[ [ [1[6[5[ [8[ [ ] [[5[ [ [9[8[1[4[6[3]]

8 test4:- L =[ [[ [ [ [1[ [7[2[ [ ] [[ [1[ [ [ [ [ [6[9] [[ [ [ [6[ [ [8[ [1] [[9[2[ [ [ [3[ [ [ ] [[ [ [7[ [ [ [6[ [ ] [[ [ [ [7[ [ [ [9[4] [[6[ [8[ [ [9[ [ [ ] [[2[5[ [ [ [ [ [3[ ] [[ [ [4[8[ [1[ [ [ ]] test5:- L =[ [[1[ [ [8[ [ [ [3[ ] [[7[ [ [ [ [ [ [2[ ] [[ [ [ [5[6[ [ [7[ ] [[ [ [8[ [ [ [9[ [ ] [[ [ [5[2[1[7[4[ [ ] [[ [ [4[ [ [ [7[ [ ] [[ [3[ [ [8[9[ [ [ ] [[ [2[ [ [ [ [ [ [8] [[ [8[ [ [ [4[ [ [6]] test6:- L =[ [[7[ [ [ [ [ [ [1[9] [[4[6[ [1[9[ [ [ [ ] [[ [ [ [6[8[2[7[ [4] [[ [9[ [ [ [ [ [ [7] [[ [ [ [3[ [ [4[ [5] [[ [ [6[7[ [ [ [ [ ] [[ [ [1[ [ [ [ [ [ ] [[2[ [ [ [7[4[ [ [ ] [[ [ [ [2[ [ [3[ [ ]]