The new version of
N is closer
to the start state:
To save time and space, don't put the new version on the priority queue:
- The old version of N should have its
predecessor and depth information reset to that of the new version, and
- The old version of N should be
"promoted" in the priority queue, that is, its key decreased so that it
moves ahead in the queue.