Optimality of A
*
n
A
*
expands nodes in order of increasing
f
value
n
Gradually adds "
f
-contours" of nodes
n
Contour
i
has all nodes with
f=f
i
, where
f
i
< f
i+1
