シマウマのパズル

説明

課題は、ゼブラパズルを解いて、次の2つの問いの答えを見つけることです。

• 住人のうち、水を飲むのは誰でしょう？
• シマウマを飼っているのは誰でしょう？

パズル

次の15の命題は、すべて真であることがわかっています。

1. 家が5軒あります。
2. イギリス人は赤い家に住んでいます。
3. スペイン人は犬を飼っています。
4. 緑の家に住む人はコーヒーを飲みます。
5. ウクライナ人はお茶を飲みます。
6. 緑の家は、アイボリーの家のすぐ右隣にあります。
7. カタツムリを飼っている人は、ダンスに出かけるのが好きです。
8. 黄色の家に住む人は画家です。
9. 真ん中の家に住む人は牛乳を飲みます。
10. ノルウェー人は1番目の家に住んでいます。
11. 読書を楽しむ人は、キツネを飼っている人の隣の家に住んでいます。
12. 画家の家は、馬のいる家の隣です。
13. サッカーをする人はオレンジジュースを飲みます。
14. 日本人はチェスをします。
15. ノルウェー人は青い家の隣に住んでいます。

さらに、5軒の家はそれぞれ異なる色に塗られ、住人はそれぞれ異なる国籍で、異なるペットを飼い、異なる飲み物を飲み、異なる趣味を持っています。

実装

SolvePuzzleという関数を1つ定義してください。この関数は、2つの文字列を含む解答を返します。その文字列の値は、ゼブラパズルの「Who drinks water?」と「Who owns the Zebra?」という問いへの答えです。それぞれの答えは、住人の国籍、つまりEnglishman、Spaniard、Ukrainian、Norwegian、Japaneseのいずれかになります。

もちろん、テストプログラムを覗いて期待される解答を確認すれば、1行だけの関数を書いて済ませることもできるでしょう。しかし、ここでの目標は、パズルに与えられた事実と制約を使ってアルゴリズムを組み立て、2つの正しい答えを導き出すことです。

---

出典

Wikipedia