A-Star Search

Combines Uniform Cost Search and Greedy Search.

If path_cost = and heuristic function =

  • Choose smallest overall path cost (known + estimate)

Can prove that A is Complete and optimal*, but only if is admissible (meaning it underestimates the true path cost from state to solution)
Very memory intensive as you have to record all states