ゼブラパズル
ゼブラパズルはよく知られた論理パズルです。このパズルには多くのバージョンが存在し、 1962年12月17日にライフ・インターナショナル誌に掲載されたバージョンもその一つです。1963年3月25日号のライフ誌には、解答と世界中から集まった数百人の解答者の名前が掲載されました。
このパズルは、少年時代のアルバート・アインシュタインが考案したと言われているため、アインシュタインのパズルやアインシュタインのなぞなぞと呼ばれることが多い。 [ 1 ]また、ルイス・キャロルの作だとされることもある。[ 2 ] [ 3 ]しかし、どちらの作者であるかについて証拠はなく、ライフ・インターナショナル版のパズルには、キャロルの存命中やアインシュタインの少年時代には存在しなかったタバコの銘柄が出てくる。
ゼブラパズルは、制約充足問題を解くコンピュータアルゴリズムの評価におけるベンチマークとして使われてきました。[ 4 ]最近では、大規模言語モデルの論理的推論能力のベンチマークとしても使われています。[ 5 ]
説明
次のバージョンのパズルは、 1962 年にLife Internationalに掲載されました。
- 家は5軒あります。
- そのイギリス人は赤い家に住んでいます。
- その犬の飼い主はスペイン人です。
- 温室でコーヒーを飲みます。
- ウクライナ人はお茶を飲みます。
- 緑の家は象牙の家のすぐ右にあります。
- オールドゴールドの喫煙者はカタツムリを飼っています。
- 黄色い家でクールが吸われます。
- 真ん中の家でミルクを飲みます。
- ノルウェー人は最初の家に住んでいます。
- チェスターフィールドを吸う男はキツネを連れた男の隣の家に住んでいる。
- クールは馬を飼っている家の隣の家でも吸われています。
- ラッキーストライクの喫煙者はオレンジジュースを飲みます。
- 日本人は議会を吸う。
- ノルウェー人は青い家の隣に住んでいます。
さて、誰が水を飲むのでしょうか？シマウマの持ち主は誰でしょうか？
分かりやすくするために付け加えておきますが、5軒の家はそれぞれ異なる色で塗られており、住人は出身国もペットの種類も異なり、飲む飲み物も銘柄も異なるアメリカタバコを吸っています（原文ママ）。もう一つ付け加えておきますが、文6の「権利」は「あなたの権利」を意味します。
— ライフ・インターナショナル、1962年12月17日[ 6 ]
解決
1 人が水を飲み、1 人がシマウマを飼っていると仮定すると、2 つの質問の答えを推論できるだけでなく、誰がどこに住んでいて、どんな色の家に住んでいて、どんなペットを飼っていて、どんな飲み物を飲んでいて、どんなブランドのタバコを吸っているかという完全な解答を導き出すことができます。 一度にいくつかの手がかりを検討することで、パズルの唯一の正解を徐々に完成させる推論をゆっくりと構築することができます。 たとえば、手がかり 10 によると、ノルウェー人は家 #1 に住んでおり、手がかり 15 によると、家 #2 は青でなければなりません。 したがって、ノルウェー人の家は青ではなく、イギリス人が住んでいる赤 (手がかり 2) や、隣り合っている緑やアイボリー (手がかり 6) でもありません。 したがって、黄色でなければならず、ノルウェー人は Kools も吸っていることを意味します (手がかり 8)。
1963 年 3 月 25 日発行の『ライフ インターナショナル』誌には、次の解答と、世界中の数百人の解答者の名前が掲載されました。
| 家 | 1 | 2 | 3 | 4 | 5 |
|---|---|---|---|---|---|
| 色 | 黄色 | 青 | 赤 | 象牙 | 緑 |
| 国籍 | ノルウェー語 | ウクライナ語 | イギリス人 | スペイン人 | 日本語 |
| 飲む | 水 | お茶 | 牛乳 | オレンジジュース | コーヒー |
| 煙 | クールズ | チェスターフィールド | オールドゴールド | ラッキーストライク | 議会 |
| ペット | キツネ | 馬 | カタツムリ | 犬 | シマウマ |
他のバージョン
他のバージョンのパズルは、ライフ・インターナショナルパズルとは様々な違いがあり、色、国籍、タバコの銘柄、飲み物、ペットなどが入れ替わっていたり[ 7 ]、ヒントの順序が異なっていたりします。ただし、パズルのロジックは変わりません。
このパズルの少し簡略化されたバージョンが、ビデオゲーム「Dishonored 2」に登場します。プレイヤーキャラクターは、このパズルを解いて、廃墟となった屋敷の門を開ける必要があります。
パズルのいくつかのバージョンでは、緑の家は象牙の家の右側ではなく左側にあると示されています。[ 8 ]
参考文献
- ^スタングルーム、ジェレミー（2009年）『アインシュタインの謎：思考を刺激する謎、パラドックス、難問』ブルームズベリーUSA、 10～ 11頁。ISBN 978-1-59691-665-4。
- ^ MRC van Dongen. 「シマウマ問題を解決する方法」(PDF) . 2013年11月6日閲覧。
- ^ James Little、Cormac Gebruers、Derek Bridge、Eugene Freuder. 「制約プログラミング体験のキャプチャリング：事例ベースアプローチ」（PDF） . コーク制約計算センター、ユニバーシティ・カレッジ、コーク、アイルランド. 2009年9月5日閲覧。
- ^ Prosser, Patrick (1993). 「制約充足問題のためのハイブリッドアルゴリズム」(PDF) .計算知能. 9 (3): 268– 299. doi : 10.1111/j.1467-8640.1993.tb00310.x . S2CID 36951414 .
- ^ Yuchen Lin, Bill; Le Bras, Ronan; Richardson, Kyle; Sabharwal, Ashish; Poovendran, Radha; Clark, Peter; Choi, Yejin (2025年7月15日). 「ZebraLogic: 論理的推論におけるLLMのスケーリング限界について」. arXiv : 2502.01100v1 [ cs.AI ].
- ^ Vassberg, Dylan; Vassberg, J. (2009年11月20日). Is Einstein's Puzzle Over-Specified? . 21st Century Challenges in Computational Engineering & Science. ResearchGate . Princeton, NJ . 2021年7月8日閲覧。オリジナルのLifeパズルのスキャン画像が含まれています。
{{cite conference}}: CS1 メンテナンス: 追記 (リンク) - ^ 「Who Owns The Fish? Solution」 . math.ucsd.edu . 2010年6月30日時点のオリジナルよりアーカイブ。
- ^ Karttunen, Lauri . 「アインシュタインのパズル」 . 2023年4月13日時点のオリジナルよりアーカイブ。2014年11月1日閲覧。
外部リンク
- OpenCogの wikiにおけるアインシュタインのパズル
- Rosetta Codeのゼブラパズル
- ブレインジラのアインシュタインの謎
- アインシュタインのパズルを合金モデルとして
- ワトソンは「シャーロック」のクローンであり、ゼブラパズルをベースにしたゲームである。
