A Search
A Search* computes a cost function , where:
- is the cost from the initial state to
- is the estimated distance of from the goal state
We choose the state with the lowest value of when expanding nodes.
Link to original
Admissibility & Optimality
Admissible Heuristic
An admissible heuristic is one that never over-estimates the distance to the goal. The actual distance is always greater than the heuristic value.
Link to original
The key challenge is finding a heuristic which is both admissible and informative, often we relax the constraints of the problem to come up with useful heuristics. Given admissible heuristics, A* will find optimal solutions.
[animate slides 9 to 16]
