What makes a heuristic admissible in A* search?
It never overestimates the true remaining cost to a goal from any node.
