3. Técnicas de diseño de algoritmos

Transcripción

1 3. Técnicas de diseño de algoritmos 1. Métodos Generales de Soluciones de Problemas 2. Técnicas de diseño de algoritmos 1. ecursividad básica 2. Divide y vencerás 3. Backtracking Bibliografía Aho, Hopcroft y Ullman, ap. 10 Brassard y Bratley, aps. 7 y 9 airó y Guardati, ap. 4 Weiss, aps. 1 y 10 Wirth, ap Métodos Generales de Solución de Problemas (GPSM) Existen problemas tipo o clases de problemas genéricos: - dar el cambio, el problema de la mochila,... (optimización) - el problema del viajante, el problema de las N-reinas,... (búsqueda) Buscamos algoritmos genéricos Existen técnicas o algoritmos eficientes para abordarlos: divide y vencerás, backtracking algoritmos voraces (greedy), programación dinámica Solución: a qué clase pertenece el enunciado de un problema dado? 1

2 ecursividad básica como método de diseño de soluciones Definiciones recursivas sencillas Fácil obtener equivalente iterativo Ejemplos que ya hemos visto: -factorial, - términos de Fibonacci, eglas fundamentales para resolver un problema mediante recursión 1. ASOS BASE Deben existir algún/algunos casos base que se puedan resolver sin recursión 2. POGESO Los casos que se resuelven de forma recursiva deben progresar hacia algún caso base 3. EGLA DE DISEÑO Supóngase que todas las llamadas recursivas van a funcionar 4. EGLA DE INTEÉS OMPUESTO El trabajo nunca se debe duplicar Técnica Divide y Vencerás Bibliografía (Divide and conquer): Weiss, ap. 10, Brassard y Bratley, ap, 7, Aho, Hopcroft y Ullman, ap. 10) Las Torres de Hanoi Llevar todos los discos del poste 1 al 2; sólo se puede mover un disco de cada vez; nunca puede haber un disco más grande sobre uno más pequeño: 20 discos x 1 minuto x disco minutos 7281 días 19,95 años 2

3 Podemos especificar un algoritmo iterativo que nos diga cómo mover los discos? A poste inicial, B poste auxiliar, poste destino Solución: disponer los postes: A B A, de tal forma que se puedan mover los bloques circularmente mover la pieza pequeña un número impar de veces en el sentido de las agujas del reloj realizar el único movimiento válido que no implique al disco más pequeño con un número de movimientos pares Divide y Vencerás Dado un problema arbitrariamente grande y un algoritmo ad hoc (denominado sub-algoritmo) que lo resuelve de forma eficiente para un caso (arbitrariamente) pequeño Algoritmo DV (x, sol) es x: T; {par. dato;} sol:v; {par. dato-resultado;} INIIO si x es suficientemente pequeño o sencillo entonces ad hoc (x, sol); sino {dividir el problema x en r sub-problemas} descomponer x en x 1, x 2,..., x r ; para i desde 1 hasta r hacer DV (x i, sol i ); fin para; recombinar las sol i para obtener sol; finsi FIN 3

4 En algunos casos es necesario modificar el esquema anterior, e ir obteniendo progresivamente la solución general, sol, a partir de las soluciones parciales, sol i Algoritmo DV (x, sol) es x: T; {par. dato;} sol: V; {par. dato-resultado;} INIIO si x es suficientemente pequeño o sencillo entonces ad hoc (x, sol); sino {dividir el problema en r sub-problemas} descomponer x en x 1, x 2,..., x r ; para i desde 1 hasta r hacer DV (x i, sol i ); recombinar sol i para obtener sol; {sol es una solución parcial} fin para; {sol es la solución final} fin si FIN El para puede no ser necesario (p.e. si hay 2 sub-ejemplares) Torres de Hanoi (solución recursiva): Mover 2 discos desde Origen hasta Destino usando Aux como auxiliar OIGEN DESTINO AUX 4

5 Torres de Hanoi (solución recursiva): Mover 3 discos desde Origen hasta Destino usando Aux como auxiliar OIGEN DESTINO AUX Principio de diseño: supongamos que sabemos la solución para N-1 discos Torres de Hanoi: Mover n discos desde Origen hasta Destino usando Aux como auxiliar Solución recursiva: Disponer los postes: Origen Destino Aux Los discos se numeran 1, 2,..., n-1, n de menor a mayor aso básico: Sólo se mueve un disco desde origen a destino aso general: 1. Mover n-1 discos más pequeños desde Origen hasta el auxiliar, Aux 2. Mover el disco más grande, n, desde Origen hasta Destino 3. Mover los n-1 discos desde Aux hasta Destino 5

6 El número de sub-ejemplares x r debe ser r > 1 Si r = 1, no se habla de Divide y Vencerás, sino de educción Ejemplos de educción: - Búsqueda binaria o dicotómica - Exponenciación (a n ) álculo de la potencia a n de un número Solución iterativa Algoritmo pot_it (a, n, pot) es a, n: {p. dato}numérico; pot {p. resultado}: numérico; i: numérico; INIIO pot := 1; para i desde 1 hasta n hacer pot := pot * a; fin para FIN Exponenciación (a n ), solución recursiva solución de pot (a, n) {casos básicos} es 1 si n = 0 es a si n = 1 {casos generales: sub-ejemplares} es (a n/2 ) (a n/2 ) si n es par es a (a n-1 ) si n es impar ada sub-ejemplar se soluciona con una llamada recursiva omprueba cuál es el número de multiplicaciones que se hace cuando: n=7 n=15 qué método hace menos multiplicaciones? cuándo podría ser útil? 6

7 Solución recursiva Algoritmo pot_r (a, n, pot) es a, n: numérico; {p. dato} pot: numérico; {p. resultado} INIIO {casos básicos} si n = 0 entonces pot := 1; sino si n = 1 entonces pot := a; sino {casos generales} si n mod 2 = 0 entonces pot_r (a, n div 2, pot); pot := pot * pot; sino {a es impar} pot_r (a, n-1, pot); pot := a * pot; finsi {casos generales} finsi {caso básico 2} finsi {caso básico 1} FIN Técnica de etroceso o Backtracking Bibliografía: Wirth, ap. 3.4 ussell y Norvig, Bloque II. ap. 3 Brassard y Bratley, ap. 9.6 Una de las técnicas de solución de problemas es la búsqueda (relacionado con temas de Grafos y Árboles) Hemos visto casos muy sencillos: búsqueda asociativa y búsqueda binaria, aplicadas sobre estructuras de datos lineales 7

8 La solución de problemas mediante búsqueda consiste en: representar el problema mediante un estado (configuración), definir el conjunto de operadores o acciones que nos permiten modificar el estado (configuración), especificar una estrategia de búsqueda de la secuencia de operaciones que nos lleven del estado inicial (configuración inicial en la definición del problema) a un estado meta (que se corresponda con una solución al problema) Formulando los problemas de esta manera definimos (implícitamente ) un grafo (particularmente un árbol) Encontrar la solución al problema consiste en recorrer el árbol o grafo buscando un nodo (o conjunto de nodos) meta (solución) Ejemplos de problemas tipo que se solucionan mediante búsqueda N einas: se pueden disponer N reinas/damas en un tablero de ajedrez sin que se ataquen? 8

9 9 Los métodos deben ser exhaustivos, pero además pueden ser: no informados o informados irrevocables (anchura o profundidad) que recorren TODA la estructura sin replantearse decisiones intermedias o tentativos, como el retroceso puzzle

10 Búsqueda con retroceso Modificación de la búsqueda en profundidad Método tentativo: prueba y error Explora sub-problemas, intentando podar el espacio de búsqueda Ejemplo: Amueblar una casa nueva Disponemos de un conjunto de muebles Solución exhaustiva: Prueba todas las combinaciones posibles Solución tentativa: Sabemos que existen disposiciones que no pertenecen a la solución final deseada: Frigorífico en el salón Sofá en la cocina ama en el baño No es necesario estudiar configuraciones que las contengan LOS MOVIMIENTOS DEL ABALLO DE AJEDEZ Puede recorrerse exhaustivamente un tablero de ajedrez usando los movimientos del caballo y pasando una única vez por cada casilla? 10

11 No sabemos, a priori, si existe solución 8 x 8 posiciones iniciales 8 posibles desplazamientos en cada nueva jugada omplejidad exponencial Solución más sencilla: Probar una nueva jugada Anotarla, como parte de la posible solución, si se puede avanzar Descartar la jugada si no puede avanzar, quitándola de la posible solución ETOESO: desandamos el camino, paso a paso, cuando no podemos avanzar Algoritmo genérico de retroceso Número de movimientos (jugadas) posibles es finito en cada paso Algoritmo Ensayar_etroceso es Inicio Inicializar conjunto posibles movimientos; {para nivel actual de la solución} repetir seleccionar siguiente movimiento; {de este nivel} si aceptable entonces anotarlo; {como parte solución hasta ahora} si solución incompleta entonces Ensayar_etroceso; {siguiente nivel} si no hubo éxito entonces cancelar anotación; {retroceso, se elimina última anotación de la solución} finsi; fin si; { solución incompleta?} fin si; { aceptable?} hasta que éxito o no haya más posibilidades Fin 11

12 Puede acotarse la profundidad de búsqueda Pueden indicarse número máximo de candidatos por nivel Esta versión ya NO ES EXHAUSTIVA Algoritmo Ensayar_etroceso_2 (nivel) es nivel: numérico; {p. dato-resultado} k: numérico; {número de candidatos por nivel} Inicio Inicializar conjunto posibles movimientos; k := 0; repetir k := k + 1: seleccionar movimiento k-ésimo; si aceptable entonces anotarlo; {como parte solución hasta ahora} si solución incompleta AND nivel < n entonces Ensayar_etroceso_2 (nivel + 1); si no hubo éxito entonces cancelar anotación; finsi; fin si { solución incompleta?} fin si { aceptable?} hasta que éxito o k = m {nº máximo candidatos} Fin ecorrido del tablero con el caballo Estructuras básicas {tipo} Tablero = vector[1..8,1..8] de numérico; {Variables} T: Tablero; { T(x,y) = 0; si no ha sido visitada T(x,y) = i; si ha sido visitada en la jugada i (1 i n 2 )} resp: lógico; {ierto=éxito, Falso= fracaso} Siguiente jugada o movimiento oordenadas (u, v) a partir de las actuales (x,y) i := i + 1 Jugada aceptable T(u,v) = 0 AND 1 u n y 1 v n Éxito i = n 2 12

13 Algoritmo ensayar_caballo_ (i, x, y, resp, T) es i, x, y: numérico; {p. dato-resultado} resp: lógico; {p. resultado} T: Tablero; {p. dato-resultado} J: Jugadas; {variable interna} u, v: numérico; {variable interna} resp2: lógico; {variable interna} Inicio alcular_jugadas_posibles (J, x, y); repetir alcular_siguiente (J, u, v); si 1 u and u n and 1 v and v n and T(u, v) = 0 entonces T(u, v) := i; {provisionalmente} si i < n 2 entonces ensayar_caballo_(i+1,u, v, resp2, T); si resp2 = falso entonces T(u,v) := 0; {retroceso} finsi; {not resp2} sino resp2 := cierto; finsi; { llegó solución?} finsi; { jugada aceptable?} hasta que resp2 = cierto O no haya más jugadas; resp := resp2; Fin Ejercicio: Plantead una solución utilizando retroceso para el problema de las 8-reinas 13