## Puzzle 3## The ProblemI copied this text from achalfin@netmagic.net. It was discussed in the newsgroup comp.soft.sys.mathematica in December 1997. From the following set of 16 facts, first try to determine who drinks water. Then, decide who owns the zebra. 1. There are five houses. 2. The Englishman lives in the red house. 3. The Spaniard owns a dog. 4. Coffee is drunk in the green house. 5. The Ukrainian drinks tea. 6. The green house is immediately to the right of the ivory house. 7. The Old Gold smoker owns snails. 8. Kools are smoked in the yellow house. 9. Milk is drunk in the middle house. 10. The Norwegian lives in the first house. 11. The Chesterfield smoker lives next door to the man with the fox. 12. Kools are smoked in the house next to the house with a horse. 13. The Lucky Strike smoker drinks orange juice. 14. The Japanese smokes Parliaments. 15. The Norwegian lives next door to the blue house. 16. In each house there is one nationality, one pet, one brand of cigarette smoked, and one kind of liquid drunk. ## The Solution
To each house we can associate a list of the form
Let's start with the house numbers and colors.
At this point, we have 120 different choices.
By making use of condition 6, "The green house is immediately to the right of the ivory house," we can reduce the above list to 24 choices.
Now we add the possible nationalities, yielding 2,880 possible choices.
By making use of conditions 2, 10, and 15, we can reduce the above list to 12 choices.
Now we add the possible drink choices, yielding 1,440 possible choices.
Making use of conditions 4, 5, and 9, we can again reduce the above list to just 12 choices.
Now we add the possible smoking choices.
Using conditions 8, 13, and 14, we can reduce the above list to only eight choices.
Finally, we add the possible pets, which yields a total of 960 possible choices.
Using conditions 3, 7, 11, and 12, we get the unique final result.
This means that, in this smoky and colorful neighborhood, the Norwegian drinks water and the Japanese owns the zebra. Converted by Mathematica
October 5, 1999
[Prev Page] |