Bsqueda Voraz primero el mejor

La bsqueda voraz primero el mejor trata de expandir el nodo mas cercano al objetivo, alegando que probablemente conduzca rpidamente a una solucin. As, evala los nodos ( ) utilizados solamente la funcin heurstica: ( ) Veamos como trabaja para los problemas de encontrar una ruta en Rumania utilizando la heurstica distancia en lnea recta, que llamaremos hDLR. Si el objetivo es Bucarest, tendremos que conocer las distancias en lnea recta a Bucarest, que se muestran en la Tabla 1. Por )) ejemplo, hDLR ( ( . Notemos que los valores de hDLR no pueden calcularse de la descripcin del problema en si mismo. Adems, debemos tener una cierta cantidad de experiencia para saber que hDLR esta correlacionada con las distancias reales del camino y es, por lo tanto, una heurstica til. Arad Bucarest Craiova Dobreta Eforie Fagaras Giurgiu Hirsova Iasi Lugoj
Tabla 1

366 0 160 242 161 176 77 151 226 244

Mehadia Neamt Oradea Pitesti Rimnicu Vilcea Sibiu Timisoara Urziceni Vaslui Zerind

241 264 380 100 193 253 329 80 199 374

La Tabla 2 muestra el progreso de una bsqueda primero el mejor avara con hDLR para encontrar un camino desde Arad a Bucarest. El primer nodo a expandir desde Arad ser Sibiu, porque esta mas cerca de Bucarest que Zerind o que Timisoara. El siguiente nodo a expandir ser Fagaras, porque es la ms cercana. Fagaras en su turno genera Bucarest, que es el objetivo. Para este problema particular, la bsqueda primero el mejor avara usando hDLR encuentra una solucin sin expandir un nodo que no este sobre el camino solucin; de ah, que su coste bsqueda es mnimo. Sin embargo, no es ptimo: el camino va Sibiu y Fagaras a Bucarest es 32 kilmetros ms largo que el camino por Rimnicu Vilcea y Pitesti. Esto muestra por que se llama algoritmo <<avaro>> (en cada paso trata de ponerse tan cerca del objetivo como pueda). La minimizacin de ( ) s susceptible de ventajas falsas. Considere el problema de ir de Iasi a Fagaras. La heurstica sugiere que Neamt esa expandido primero, porque es la ms cercana a Fagaras, pero esto es un callejn sin salida. La solucin es ir primero a Vaslui (un paso que en realidad esta mas lejano del objetivo segn la heurstica) y luego seguir a Urziceni, Bucarest y Fagaras. En este caso, entonces, la heurstica provoca nodos innecesarios para expandir. Adems, si no somos cuidadosos en descubrir estados repetidos, la solucin nunca se encontrara, la bsqueda oscilara entre Neamt e Iasi. La bsqueda voraz primero el mejor se parece a la bsqueda primero en profundidad en el modo que prefiere seguir un camino hacia el objetivo, pero volver atrs cuando llegue a un

callejn sin salida. Sufre los mismo defectos que la bsqueda primero en profundidad, no es optima, y es incompleta (porque puede ir hacia abajo en un camino infinito y nunca volver para intentar otras posibilidades). La complejidad en tiempo y espacio, del caso peor, es ( ) , donde m es la profundidad mxima del espacio de bsqueda. Con una buena funcin, sin embargo, pueden reducir la complejidad considerablemente. La cantidad de la reduccin depende del problema particular y de la calidad de la heurstica.

Bsqueda A*: minimizar el costo estimado total de la solucin

A la forma ampliamente conocida de la bsqueda primero el mejor se le llama bsqueda A* (pronunciada <<bsqueda A-estrella>>). Evala los nodos combinando g(n), el coste para alcanzar el nodo, y h(n), el coste de ir al nodo objetivo: ( ) ( ) ( )

Ya que la ( ) nos da el coste del camino desde el nodo inicio al nodo n, y la ( ) el csote estimado del camino mas barato desde n al objetivo, tenemos: ( ) As, se tratamos de encontrar la solucin mas barata, es razonable intentar primero el nodo con el valor mas bajo de g(n) + h(n). Resulta que esta estrategia es mas que razonable: con tal; de que la funcin heurstica h(n) satisfaga ciertas condiciones, la bsqueda A* es tanto completa como optima. La optimalidad de A* es sencilla de analizar si se usa la BUSQUEDA-ARBOLES. En este caso, A* es optima si h(n) es una heurstica admisible, es decir, con tal de que la h(n) nunca sobrestime el coste de alcanzar el objetivo. Las heursticas admisibles son por naturaleza optimistas, porque piensan que el coste de resolver el problema es menor que el que es en realidad. Ya que g(n) es el coste exacto para alcanzar n, tenemos como consecuencia inmediata que la f(n) nunca sobrestima el coste verdadero de una solucin a travs de n.