•A* is optimal – finds
optimal path to goal
•A* is optimally
efficient - no other algorithm is guaranteed to
expand fewer nodes
•A* is complete on
locally finite graphs (finite branching
factor, minimum cost constant)
•Complexity exponential
unless h is very accurate (error
grows no faster than log of actual path cost)