Espacios de problemas

B usqueda
Grupo de Planicaci on y Aprendizaje (PLG)
Departamento de Informatica
Escuela Politecnica Superior
Universidad Carlos III de Madrid
22 de diciembre de 2008
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Espacios de problemas
B usqueda
Grupo de Planicaci on y Aprendizaje (PLG)
Departamento de Informatica
Escuela Politecnica Superior
Universidad Carlos III de Madrid
22 de diciembre de 2008
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
En Esta Seccion:
1
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Deniciones
Espacio de problemas
Conjunto de estados
Conjunto de operadores
Estado(s) inicial(es)
Meta(s) o estado(s) nal(es)
Representable por un grafo
Resolucion de problemas = b usqueda en el grafo
Normalmente, la b usqueda genera un arbol
Parametros importantes
Factor de ramicaci on, b
Profundidad del arbol de b usqueda, d
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Ejemplo: 8-Puzzle
1 2 3
5 6
4 7 8
1 2 3
6
4 7 8
5
1 2 3
5 6
7 8
4
2 3
5 6
4 7 8
1
3
5 6
4 7 8
1
2
1 2 3
5 6
8
4
7
Estados
Operadores
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Ejemplo: Las torres de Hanoi (3,2)
Estado inicial
Estado nal
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Ejemplo: Las torres de Hanoi (3,2)
El factor de
ramicacion
(b =
8
3
) es una
propiedad del grafo
de estados
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Ejemplo: Las torres de Hanoi (3,2)
La profundidad
(d = 3) es una
propiedad del
problema a resolver
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Ejemplo: Las garrafas
Simon dice:
Se tienen dos garrafas de agua, una de cinco galones de
capacidad y otra de tres. Ninguna de ellas tiene marcas de
medicion. Se tiene una bomba que permite llenar las jarras de
agua, vaciarlas, y traspasar contenido de una garrafa a otra.
Como se puede lograr tener exactamente cuatro galones de
agua en la jarra de cinco galones de capacidad?
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Ejemplo: Las garrafas
Espacio de Estados:
conjunto de pares ordenados de enteros (x, y), de forma que
x = 0, . . . , 5, y = 0, . . . , 3
x representa el n umero de galones de agua que hay en la
garrafa de 5 galones de capacidad
y representa el n umero de galones de agua que hay en la
garrafa de 3 galones de capacidad
Estado inicial: (0, 0)
Estado meta:
Descripci on implcita: (4, n), donde n = 0, . . . , 3
Descripci on explcita: (4, 0), (4, 1), (4, 2), (4, 3)
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Ejemplo: Las garrafas
Operadores
Llenar garrafa grande :Si (x < 5)(5, y)
Llenar garrafa peque na:Si (y < 3)(x, 3)
Vaciar garrafa grande :Si (x > 0)(0, y)
Vaciar garrafa peque na:Si (y > 0)(x, 0)
Verter en grande :Si (y > 0)(x + mn{5 x, y}, y mn{5 x, y})
Verter en peque na :Si (x > 0)(x mn{x, 3 y}, y + mn{x, 3 y})
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Explosion combinatoria
Dominio N umero de estados Tiempo (10
7
nodos/s)
8-puzzle

N
2
!
2

N=3
= 181,440 0.01 segundos
15-puzzle

N
2
!
2

N=4
= 10
13
11,5 das
24-puzzle

N
2
!
2

N=5
= 10
25
31, 7 10
9
a nos
Hanoi (3,2) (3
n
)|
n=2
= 9 9 10
7
segundos
Hanoi (3,4) (3
n
)|
n=4
= 81 8, 1 10
6
segundos
Hanoi (3,8) (3
n
)|
n=8
= 6561 6, 5 10
4
segundos
Hanoi (3,16) (3
n
)|
n=16
= 4, 3 10
7
4,3 segundos
Hanoi (3,24) (3
n
)|
n=24
= 2, 824 10
1
1 0,32 das
Cubo de Rubik 2 2 2 10
6
0,1 segundos
Cubo de Rubik 3 3 3 4, 32 10
19
31.000 a nos
B usqueda
Espacios de problemas
Deniciones
Ejemplos
Explosi on combinatoria
Ejercicio: 8 reinas
Ejercicio: 8 reinas
Objetivo: Colocar 8 reinas en un tablero de ajedrez de manera
que cada reina no ataque a ninguna otra (una reina ataca a
otra si esta en su misma la, columna o diagonal)
Dos posibles formulaciones del problema:
Formulaci on completa de estados: comienza con las 8 reinas en
el tablero y las mueve
Formulaci on incremental: comienza con el tablero vaco, y
a nade una reina cada vez
En cualquier caso, no importa el camino a la solucion: solo
importa la solucion (no hay descripci on explcita de la meta)
B usqueda