Talk:Zebra puzzle: Difference between revisions
→Who has the zebra, indeed?: two replies
m (→Who has the zebra, indeed?: forgot sig) |
(→Who has the zebra, indeed?: two replies) |
||
Line 4:
: This is an old problem and I've done it by hand. The version I recall was identical except that the missing pet was fish. I had started some time ago to write a task for this as an elaboration of the Dinesman solution and then I put it aside and forgot it - oh well. So I suspect you've missed something. If I recall when I did it by hand I used a matrix to solve it. --[[User:Dgamey|Dgamey]] 04:31, 5 December 2011 (UTC)
:: It was a typo on my part, disregard my above comment about no solution; though a listing would still be helpful. --[[User:Ledrug|Ledrug]] 04:41, 5 December 2011 (UTC)
::: Maybe an addition to the task description is in order: ''"Additionally, show the solution for all the houses. Optionally, show the soltion is unique."'' What do you think? [[User:WillNess|WillNess]] 11:33, 7 December 2011 (UTC)
Secondly, the Prolog solution took some shortcuts ("Norwegian in first house" and "Norwegian next to blue house" effectively rolled into one as "the second house is blue"). That's trivial deduction by a person, but it's better to leave the input conditions exactly as stated in the task, to minimize human involvement in this process. --[[User:Ledrug|Ledrug]] 02:19, 5 December 2011 (UTC)
: I noticed that too --[[User:Dgamey|Dgamey]] 04:31, 5 December 2011 (UTC)
:: Anything with fewer lines than the number of conditions would seem to me to have been artificially compressed --[[User:Dgamey|Dgamey]] 12:49, 5 December 2011 (UTC)
::: I've untangled and fixed that thing with the blue house in the Prolog code now. The rest of shortcuts seems acceptable to me - i.e. the point I wanted to make was about mutually-exclusive choices, like with nationalities - it is a programmer's choice how to write the spec down - whether one by one, or in one list if possible. [[User:WillNess|WillNess]] 11:33, 7 December 2011 (UTC)
I had always known this as the Einstein Logic Puzzle. I suggest a redirect from there to Zebra. --[[User:Dgamey|Dgamey]] 04:31, 5 December 2011 (UTC)
| |||