If a dead end is not "reliable", eager search apparently treats it like a
regular state to expand. It shouldn't do that; a dead end, reliable or not, is
still a dead end, and adding it to the exploration queue can be a significant
performance issue. Also, dead ends not being expanded is an important invariant
that some code might rely on.
The purpose of the "reliable" stuff was only to report to the user in some way
in which cases "no solution found" means that no solution exists and in which
cases it means that one might exist, but the algorithm could not find it.
|