As we have described it, the A* algorithm might
re-create states that have already been encountered in the search, wasting
time and space.
Consider the state space below on the left, and its generated search tree
(with A as the start state) on the right: