You are on page 1of 4

CARACTERISTICAS DE LAS BUSQUEDAS HEURISTICAS

I)

Admisibilidad

Esta caracterstica implica que siempre se estudiara cualquier nodo del camino ptimo
antes que otro nodo objetivo no ptimo. Es admisible. Es decir, no slo encuentra la
solucin sino que la que encuentra es la ptima si se cumple la siguiente condicin:
Para todo n h(n) es menor o igual que h*(n), es decir, si la funcin heurstica que estima la
distancia a la meta nunca puede superar la distancia real existente entonces A* garantiza
encontrar la solucin ptima.
Una funcin heurstica h es admisible si h(n) h*(n) n
f(n) = g(n) + h(n) c* y f(n) c < f(G)
Ejemplo:
El siguiente rbol representa las distancias entre diferentes ciudades identificadas por
letras, en la cual se utiliza la bsqueda A*:

En esta propiedad se afirma que el primer nodo que entre en cerrados ser siempre mejor
que cualquier otro nodo igual a este, que aparezca despus de l.
Adicionalmente al ser admisible, se evita entrar en ciclos y se realiza una bsqueda en
anchura

II)

Monotona

Esta propiedad de la heurstica es de carcter estricto para la utilizacin de sus diferentes


algoritmos de bsqueda. Hace referencia a que para que se cumpla esta condicin cada
nodo n y cada sucesor n de n expandido, el costo estimado de alcanzar el objetivo de n,
no es mayor que el costo de paso de llegar al nodo n ms el costo estimado de alcanzar
el objetivo de n.

Una funcin heurstica se dice que es montona si cumple con la siguiente expresin:

( ) ( , ,

) + ( ), ,

Donde c (n, a, n) es el costo que implica la accin de pasar del nodo n al n (sucesores
inmediatos).

Un heurstico h es montono si para todo par de nodos n y n se cumple que


h(n) k(n,n) + h(n).
Donde k(n,n) representa el coste mnimo para ir de n a n, y por lo tanto es infinito si no
hay un camino desde n a n.

Ejemplo:

III)

Consistencia

Un heurstico h es consistente si para todo par de nodos n y n se cumple que:

h(n) c(n,n) + h(n)


donde c(n,n) representa el coste de la regla que lleva de n a n, y por lo tanto es infinito si
no existe esta regla.

Ejemplo:
En el siguiente ejemplo se utiliza la bsqueda A*, teniendo en cuenta las distancias entre
diferentes ubicaciones geogrficas.

h* estima tambin implcitamente el costo de cada operador


h* es consistente si subestima el costo de todos los operadores

La propiedad de monotona y consistencia son equivalentes, pero depende del algoritmo


de bsqueda que se vaya a implementar para hallar la mejor solucin objetivo.

IV)

Mas Informadas

Un heurstico h2 est ms informado que otro heurstico h1 si los dos son admisibles y
h2(n)>h1(n) para todo nodo n no final.
Tambin se puede concluir que el algoritmo A2* que utiliza el heurstico h2 est ms
informado que el algoritmo A1* que utiliza el heurstico h1.
Esta propiedad permite comparar heursticas admisibles que permite medir la eficiencia
de los algoritmos a utilizar.

Ejemplo:

As el costo, en tiempo de ejecucin, de las distintas versiones del algoritmo A*, cuya
nica diferencia es el heurstico, vendr dado por el nmero de nodos expandidos para
llegar a una solucin.