Talk:DHolland S1

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