Professional Documents
Culture Documents
INTRODUCCIN
La bsqueda sin informacin del dominio, tambin llamada ciega o exhaustiva es:
Sistemtica.- No deja sin explorar ningn nodo y lo explora slo una vez.
Estas tcnicas son poco eficientes, aunque, en coste promedio, son mejores que las que
utilizan el conocimiento del dominio del problema. Se caracterizan, entre otras cosas,
porque la aplicacin de los operadores a los estados se realiza de manera sistemtica, uno
detrs de otro (estrategia de control no informada). Adems todas ellas son bsquedas por
tentativas y utilizan un esquema de produccin (bsqueda en el espacio de estados).
Como criterio para diferenciarlas, se utilizar el orden en que se recorren los estados.
As, para el espacio de estados, tendremos:
Bsqueda en amplitud
Bsqueda en profundidad
Se ha dicho que para representar el proceso de bsqueda se van a utilizar grafos. Para
explicar estas tcnicas no se va a entrar en temas especficos de implementacin. De
momento vamos a limitarnos a utilizar rboles de exploracin: no vamos a tener en cuenta
los casos en los que, cuando se expande un estado, se produce un estado que ya estaba
anteriormente en el grafo de bsqueda (el caso general lo veremos al final, con el algoritmo
general de bsqueda en grafos). As mismo, para el anlisis de coste, se va a considerar que
cada operador tiene un coste unitario. Esto, en un problema real, es poco probable ya que
unos operadores supondrn ms esfuerzo que otros. Tambin vamos a considerar que el
nmero mximo de hijos de un nodo es finito.
Ya dijimos que, en algn momento, podamos encontrarnos con un punto sin retorno
(estado que no se puede expandir). Para la determinacin de estos habr que definir unas
restricciones que han de cumplir todos los estados. Si en una tarea de bsqueda no
informada nos encontramos con uno de estos estados, lo que se hace es que no se aade a la
lista de estados para expansionar ABIERTA(veremos estas situaciones cuando hablemos de
las tareas de bsqueda informadas).
Un detalle importante en estos mtodos es el orden en que se aplican los operadores. Al
ser una bsqueda sistemtica, este orden est determinado por la forma de
implementar el algoritmo: puede ser por orden alfabtico o un orden aleatorio; es
indiferente, lo importante es que es un orden no informado.
BSQUEDA EN AMPLITUD
Tambin denominada en anchura, es la aplicacin del recorrido en anchura
visto en el
captulo
anterior. Dado
un
nivel
de
profundidad
N,
se
todas
revisan
las
trayectorias (se aplican todos los operadores e instanciaciones de los mismos) antes
de revisar trayectorias ms profundas. Es decir, no se expanden nodos del nivel
N+1
hasta
que
no
se
termina con error si no hay ms nodos que expansionar sin encontrar una meta.
Crear la lista ABIERTA y poner en su primer elemento el nodo raz (descripcin del
problema).
SI s es meta:
SINO
SI es META
o
SINO
o
(1) Se podra pensar en este punto en no aadir s si este es un callejn sin salida. Pero
en una bsqueda ciega Cmo comprobamos que es un punto sin retorno? Este
estado se eliminar cuando se vaya a expansionar y no haya operadores para aplicar.
Complicarlo para no aadirlo a ABIERTA segn se genera, no merece la pena
porque el nmero de estos estados es muy pequeo con respecto al nmero total de
estos, por lo que no afecta a la eficiencia espacial, pero la comprobacin adicional s
puede afectarla.
(2) Si la solucin es la meta, se devuelve s y si es la secuencia de operaciones damos
el camino ms corto de la meta s a la raz en el grafo de exploracin obtenido.
ptimo.- Hemos dicho que si hay solucin, esta estrategia la encuentra; pero
adems va a encontrar la de menor coste, si consideramos que los operadores tienen
el mismo coste unitario, y en todo caso la solucin con el menor nmero de
operaciones (la de menor nivel).
Crear la lista ABIERTA y poner en su primer elemento el nodo raz (descripcin del
problema).
//expandimos t
SI s es meta:
SINO
SI es META
o
SINO
o
ptimo.- Hemos dicho que si hay solucin, esta estrategia la encuentra; pero
adems va a encontrar la de menor coste, si consideramos que los operadores tienen
el mismo coste unitario, y en todo caso la solucin con el menor nmero de
operaciones (la de menor nivel). Veremos formalmente esta propiedad cuando
veamos, en el siguiente captulo, el algoritmo heurstico A*.
Complejidad espacial.- Si se juntan los estados que almacena ABIERTA (los que
estn pendientes de expandir) con los que almacena CERRADA (los que ya estn
expandidos), resulta que necesitamos almacenamiento para todos los estados que se
vayan a generar en la bsqueda de la solucin. Este nmero ser la suma de cada
nivel que ser de 1+n+n2+n3.+np; el coste espacial est en O(np).
Conclusiones
Podemos decir que tiene como ventaja la de que si existe una solucin, siempre la
encuentra y que adems es la de menor coste (si son costes uniformes) y en todo caso la
BUSQUEDA EN PROFUNDIDAD
Esta
estrategia,
que
es
la
aplicacin
del
recorrido
en
profundidad
Ejemplo 2:
Supongamos que la descripcin del problema es el estado e0 (raz del grafo) y se le
pueden aplicar dos operadores y uno de ellos con dos instanciaciones, lo que nos da
tres estados de nivel 1: e1, e2, e3. A e1 se puede aplicar un operador, a e2 tres
operadores y a e3 dos operadores, que nos da seis estados de nivel 2: e4, e5, e6, e7, e8,
e9. En nivel 3, a e5 se puede aplicar 1 operador, a e4 ningn operador.. Fijamos
lp=3.
En el grafo de exploracin de la secuencia de acciones que tenemos a
continuacin, vemos, sealado en rojo, a la izquierda el orden en el que se generan
los estados a partir del padre: primero los hijos del estado inicial, luego los sucesores
de (e2), luego los sucesores de (e5) y a la derecha vemos, sealado en rojo, el
orden en el que se expanden los estados a partir del padre (justo al revs por el efecto
de la pila, aunque podra haber sido de otra forma por el orden no informado de
aplicacin de operadores): primero el estado inicial, luego un estado del nivel 1(e2),
luego un estado del nivel 2 (e4), donde, como es un callejn sin salida se pasa a otro
de los sucesores de (e2), que es (e5). El sucesor de (e5) es (e10): como este ltimo
est a nivel lp y no es meta se pasa al siguiente sucesor de (e2). ,.. y as sera hasta
que se encuentre una solucin, si la hay, en un nivel menor o igual a lp. Podemos
observar que los hijos de e0 no se generan correlativos: esto es por el carcter no
informado de la estrategia de control (ha dado la casualidad que ha generado los
sucesores de e0 en el mismo orden que el ejemplo 1, pero poda no haber sido as).
En el momento mostrado en el grafo, el estado de ABIERTA, sera (el primero es la
cima de la pila):
ABIERTA : e8, e7, e1
Crear la pila ABIERTA poner en su primer elemento el nodo raz (descripcin del
problema), asignndole profundidad 0.
SI s es meta
o
SINO
o
SI es META
o
ptimo.- No es ptimo, pues la primera meta que encuentre, si est en esa rama,
puede no ser la de menor coste y tambin puede que no sea la de menor profundidad
(podra estar en otra rama a una profundidad menor).
Complejidad espacial.- El caso peor ser cuando tengamos, en cada nivel que se
expande, un estado sin eliminar ninguno de sus hijos. As, si r es el factor de
ramificacin, vamos a almacenar r estados a la profundidad p, luego vamos a
almacenar p veces r, luego el coste estar en O(np).
Crear la pila ABIERTA poner en su primer elemento el nodo raz (descripcin del
problema).
//expandimos t
SI s es meta
o
SINO
o
SI es META
o
ptimo.- No es ptimo, pues la primera meta que encuentre, si est en esa rama,
puede no ser la de menor coste y tambin puede que no sea la de menor profundidad
(podra estar en otra rama a una profundidad menor).
Conclusiones
El seudo-cdigo mostrado no es la mejor solucin, ya que el recorrido en
profundidad es de naturaleza recursiva (ya dijimos que no entraramos en temas de
implementacin).
Podemos decir que, como ventaja tenemos que necesita menos espacio de
almacenamiento que la bsqueda en anchura (si la solucin es la meta) y como desventajas
tenemos que su complejidad temporal es de orden exponencial, tener que elegir un lmite de
profundidad adecuado, y la solucin, si la encuentra (puede no encontrarla aun habindola),
puede no ser la de menor coste y tampoco la de menor profundidad.
Crear la pila ABIERTA poner en su primer elemento el nodo raz (descripcin del
problema).
//generacin de hijo de t
SI s es meta
o
Eliminar t de ABIERTA.
SI es META
o
Conclusiones
Al ser tambin un recorrido en profundidad (naturaleza recursiva), el seudo-cdigo
mostrado no es la mejor solucin.
Este mtodo solo aventaja al anterior en que necesita menos espacio de almacenamiento
que la bsqueda en profundidad; como desventajas, las mismas que el mtodo del que
se deriva: su complejidad temporal es de orden exponencial, hay que elegir un
lmite de profundidad adecuado y la solucin puede no ser la de menor coste y tambin
puede que no sea la de menor profundidad.
Para nivel 1:
Para nivel 2:
Para nivel 3: Este est incompleto: est en el instante en el que hay que expansionar
el estado e6:
FIN HASTA
ptimo.- Este mtodo s lo es, pues de haber solucin, nos ofrece la de menor coste
(si el coste de los operadores es uniforme) y en todo caso la de menor profundidad.
Conclusiones
Esta tcnica est aunando las ventajas de la bsqueda en profundidad (necesita menos
almacenamiento) y las de la bsqueda en amplitud (si hay una solucin encuentra la menos
profunda). Esto ltimo es cierto dado que no se empieza a explorar un nivel sin haber
terminado el anterior.