Talk:Zebra puzzle: Difference between revisions
Content added Content deleted
(→Who has the zebra, indeed?: misc comments) |
|||
| Line 3: | Line 3: | ||
Firstly, I can't find a solution as stated. The closed I got sastified all but one condition. It could be logic error on my part, but it would help if a list of all properties of all house as solved can be listed here for doublechecking. |
Firstly, I can't find a solution as stated. The closed I got sastified all but one condition. It could be logic error on my part, but it would help if a list of all properties of all house as solved can be listed here for doublechecking. |
||
: 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) |
: 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) |
|||
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) |
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) |
||
Revision as of 04:41, 5 December 2011
Who has the zebra, indeed?
Firstly, I can't find a solution as stated. The closed I got sastified all but one condition. It could be logic error on my part, but it would help if a list of all properties of all house as solved can be listed here for doublechecking.
- 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. --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. --Ledrug 04:41, 5 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. --Ledrug 02:19, 5 December 2011 (UTC)
- I noticed that too --Dgamey 04:31, 5 December 2011 (UTC)
I had always known this as the Einstein Logic Puzzle. I suggest a redirect from there to Zebra. --Dgamey 04:31, 5 December 2011 (UTC)