http://sokobano.de/wiki/index.php?action=history&feed=atom&title=Talk%3ADHolland_S1Talk:DHolland S1 - Revision history2026-04-17T17:40:04ZRevision history for this page on the wikiMediaWiki 1.43.6http://sokobano.de/wiki/index.php?title=Talk:DHolland_S1&diff=4837&oldid=prevBriandamgaard at 09:23, 4 April 20102010-04-04T09:23:44Z<p></p>
<p><b>New page</b></p><div>== Deadlock definition ==<br />
It's not important, but the original deadlock definition is problematic because it's too vague about overflow and underflow. The original definition was:<br />
<br />
:: A position whereby some box can never reach a goal<br />
:: or some goal can not be reached by any box<br />
<br />
As an attempt to improve it, I changed "any" to "a":<br />
<br />
:: A position whereby some box can never reach a goal<br />
:: or some goal can not be reached by a box<br />
<br />
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.<br />
<br />
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".<br />
<br />-bd</div>Briandamgaard