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]