Def: Una funcin heurstica h es optimista o admisible si h(n) h*(n) para todo

nodo n, donde h*(n) es el verdadero costo del nodo n al nodo meta mas cercano.
Def: Se dice que una heurstica h es consistente si para todo nodo ni y todo
sucesor nk de ni se cumple que
h(ni) h(nk) c(ni, nk)
ni

h(ni) h(nk)
h(ni)

C(ni, nk)

nk

h(nk)

nmeta

Introduccin

Observaciones
1.- h* : N R mide el costo real desde el nodo n al nodo meta ms
cercano
2.- h : N R es una funcin heurstica que estima el valor de h*
3.- h estima tambin implcitamente el costo de cada operador
4.- h es consistente si subestima el costo de todos los operadores
5.- Si h es consistente, entonces tambin es optimista o admisible
6.- Existen funciones h optimistas que no son consistentes.

Introduccin

Ejemplo de heurstica no admisible

El grafo que se muestra en la figura describe un problema de bsqueda. Suponga
que A es el estado inicial y que F y E son estados meta. Los arcos estn
etiquetados con el costo real de los operadores
A

C
4
D

3
F

La funcin heurstica h, est dada por

Nodo

Introduccin

Se pide:
a)

Desarrollar el rbol de bsqueda que genera el algoritmo A*. Indique el orden en

que se expanden los nodos. Cul de los nodos meta se encuentra primero?

b) La funcin heurstica es consistente y/u optimista? Argumente su respuesta.

c)

Asigne los valores del costo real de los operadores y de la funcin heurstica h, de
modo que sta resulte ser optimista (admisible) y no consistente.

d) Desarrolle el rbol de bsqueda que genera el algoritmo A*. Es el algoritmo A*

ptimo en este caso?
Solucin
En el primer paso, se expande el estado A a los estados B y C
f= 0 + 8=8
A
4
f= 4 + 6=10

3
f= 3 + 6 = 9

Introduccin

En segundo paso, se expande el estado C, que tiene un menor valor de la funcin de

evaluacin f, que el valor del nodo B

f= 0 + 8=8
A
4
f= 4 + 6=10

3
f= 3 + 6 = 9

f= 7 + 5=12

En el tercer paso , se expande el estado B, que tiene el menor valor de la funcin de

evaluacin f que el valor del estado D, y se llega al estado meta F

Introduccin

f= 0 + 8=8
A
4
f= 4 + 6=10

3
f= 3 + 6 = 9

4
7
D

f= 7 + 5=12

f= 11 + 0=11

El estado meta que se encuentra primero es el estado F, cuyo costo es 11. El costo
del estado meta E es de 10, y por lo tanto en este caso A* no es ptimo

Introduccin

b) La funcin heurstica h es consistente y/o optimista (admisible)?. Argumente su respuesta

La funcin heurstica h no es consistente, porque no subestima el costo real del

operador que lleva del estado D al estado E:

h(D) h(E) = 5 0 = 5 > c(D,E) = 3

Adems no es optimista (o admisible) porque no subestima el costo real para llegar

desde el estado D al estado meta E:
h(D) = 5 > h*(D) = 3

Introduccin

c)

Asigne los valores del costo real de los operadores y de la funcin heurstica h, de
modo que sta resulte ser optimista (admisible) y no consistente.
Una posible solucin sera asignar como costos reales los mismos costos que en la
red dada
A

C
4
D

3
F

y como funcin heurstica h , la siguiente

Introduccin

Con estos valores se cumple que la funcin heurstica h es optimista (admisible), ya que
h(n) h*(n) n

Pero no es consistente, ya que segn la definicin debera cumplir que

h(ni) - h(nj) c(ni , nj)
Y en este ejemplo, para los nodos C y D no se cumple
h(C) - h(D) =6 1=5 / c(C, D) = 4

c) Desarrolle el rbol de bsqueda que genera el algoritmo A*. Es el algoritmo

A* ptimo en este caso?

Introduccin

En el primer paso , se expande el estado A a B y C

f= 0 + 8=8
A

4
f= 4 + 6 = 10

f= 3 + 7 = 10

En el segundo paso se expande el estado B que tiene un valor de la funcin de

evaluacin f igual que el valor de f en estado C, pero B tiene un menor valor de la
funcin heurstica.

f= 0 + 8=8
4
f= 4 + 6 = 10

3
f= 3 + 7 = 10

f=11 + 0 = 11

Introduccin

10

f= 0 + 8=8
A
4
f= 4 + 6 = 10

3
f= 3 + 7 = 10

f=11 + 0 = 11

En el tercer paso, se expande el estado C, que tiene un valor de la funcin de

evaluacin f menor que el valor de f en el nodo F, por lo tanto el estado meta F no se
comprueba todava
f= 0 + 8=8
4
f= 4 + 6 = 10

3
f= 3 + 7 = 10

C
4

7
D
f=11 + 0 = 11

f= 7 + 2 = 9

Introduccin

11

En el cuarto paso, se expande el estado D, que tiene un valor de la funcin de

evaluacin menor que el del estado F
f= 0 + 8=8
4
f= 4 + 6 = 10

3
f= 3 + 7 = 10

f= 7 + 2 = 9

D
f=11 + 0 = 11

F
3

f = 10 + 0

En este ltimo paso, el estado D se expande al estado E ya que tiene un valor

menor que F y se comprueba que es un estado meta. Por lo que el primer estado
meta encontrado es el estado E, cuyo costo es de 10.
Por lo tanto se comprueba en este caso que A* s es ptimo, cumplindose que si h
es admisible entonces A* es ptimo
Introduccin

12