Talk:DHolland S1
From Sokoban Wiki
Revision as of 09:18, 4 April 2010
Deadlock definition
It's not important, but the original deadlock definition is problematic because it's too vague about overflow and underflow. The original definition was:
- A position whereby some box can never reach a goal
- or some goal can not be reached by any box
As an attempt to improve it, I changed "any" to "a":
- A position whereby some box can never reach a goal
- or some goal can not be reached by a box
At least that's closer to a correct coverage of underflow, e.g., when only 2 boxes can reach 3 goals. The word "any" ruled out a correct interpretation of the text regarding underflow, but as it is, the text still just allow a correct interpretation of overflow and underflow. It doesn't rule out a wrong interpretation, where the boxes and goals only are looked upon individually.
For instance, "some box can never reach a goal" can just as well be misunderstood as "ignoring all other boxes, a box is not deadlocked if it can reach a goal".
-bd
