History of the Muddy Children Puzzle

ビッグアイデア：「他人が知っていることを知る」ためのパズル

想像してみてください。友人たちが集まってゲームをしています。彼らは全員の顔を見ることができますが、自分自身の顔を映すことはできない魔法の鏡を持っています。このパズルはこう問いかけます。「周りの様子を観察することで、どうやって自分の顔の状態を突き止めるのか？」

この論文は、歴史的な探偵物語です。著者であるハンス・ファン・ディマルシュシュは、ある単純な問いに答えようとしています。「このパズルを最初に発明したのは誰か？」

彼は、その答えが単一の人物によるものではなく、200年以上にわたって続く物語、ゲーム、そして数学書が織りなす、長く曲がりくねった足跡であることを突き止めました。

---

第1部：パズルそのもの（「泥だらけの子供たち」）

これが古典的なバージョンのゲームです：

• 設定: ある父親に $k$ 人の子供がいます。何人かの顔には泥がついており（$m$ 人）、何人かは綺麗です。
• ルール: 子供たちは全員、自分以外の全員の顔を見ることができますが、自分の顔は見えません。彼らは全員、完璧な論理的思考の持ち主です（決して思考ミスをしません）。
• きっかけ: 父親が言います。「少なくとも一人は、顔に泥がついている。」
• 行動: 1分ごとに、父親はこう尋ねます。「自分が泥だらけかどうか分かった人はいますか？ 分かった人は前に出てください。」
• 結果: もし泥だらけの子供が1人なら、その子はすぐに前に出ます。もし2人なら、1分待ってから2人同時に前に出ます。もし $m$ 人の泥だらけの子供がいるなら、彼らは正確に $m$ 分目に全員前に出ます。

比喩: これは、情報の「ホットポテト（熱いジャガイモ）」ゲームのようなものです。父親は「誰かが泥だらけである」という事実という名のジャガイモを落とします。子供たちは、「前に出ない」という行為を通じて情報を回していきます。グループの沈黙が、「ああ、まだ誰も前に出ないということは、私が思っていたよりも泥だらけの子供は多いのだ！」ということを教えてくれるのです。やがて論理がカチッと噛み合い、彼らは皆、「あ、自分が泥だらけなんだ！」と気づくのです。

---

第2部：歴史的な探偵作業

著者は、このパズルの「曽祖父」を探す旅に出ます。彼が見つけたものは以下の通りです。

1. 古代のルーツ（「笑わないピンチ」ゲーム）

著者は、このアイデアを16世紀のフランスの本、巨人のガルガンチュアアに関する記述まで遡ります。1823年版のこの本には、『Pince-sans-Rire』（笑わないピンチ）と呼ばれるゲームについての脚注があります。

• ゲームの内容: 二人が互いの鼻をつねります。もし笑ったら負けです。
• ひねり: 二人のプレイヤーは、指にこっそり炭（チャコール）をつけています。彼らが互いの鼻をつねることで、顔に黒い炭が擦り付けられます。
• つながり: もし友達が自分の黒くなった鼻を見て笑っているのを見たら、「待てよ、彼が笑っているということは、私の顔に何か面白いものが付いているはずだ！」と気づきます。
• 判定: これが「泥だらけの子供たち」パズルの「曾曾じいさん」にあたります。論理は同じ（他人の汚れを見て自分の汚れに気づく）ですが、これは数学の問題ではなく、パーティーゲームです。

2. 失われた世紀（1830年代–1930年代）

著者は1800年代の本の中にこのパズルを探しましたが、空白を見つけました。このアイデアは消えてしまったようです。ルイス・キャロルの謎解きや、当時の標準的なパズル本の中にも見当たりませんでした。このアイデアは、数学として書き留められるのを待つ間、口承の歴史やパーティーゲームの中に「ぶら下がっていた」ようです。

3. 再発見（1920年代–1940年代）

パズルは20世紀になり、いくつかの場所で再び姿を現しました。

• 日本（1929年）: 有名な物理学者ポール・ディラックが日本を訪れ、この話を伝えました。それは「ディラックの謎」として知られるようになりました。1941年には、ミステリー作家がこれに基づいた探偵小説を書きました。
• ヨーロッパ（1942年）: 数学者のモーリス・クライチックがパズル本の中でこれを発表しました。彼はこれを、顔が汚れた3人の哲学者についての物語として紹介しました。
• イギリス（1953年）: 別の数学者であるリトルウッドが、お互いの汚れた顔を見て笑い合う3人の女性についてのバージョンを発表しました。彼はこれを「純粋な数学」と呼びました。

4. 現代（1950年代–現在）

1950年代以降、このパズルは数学やコンピュータサイエンスの定番となりました。

• 「不誠実な妻たち」バージョン: 1950年代、パズルは浮気する夫と妻についてのものに変更されました。泥の代わりに、「不誠理」という「汚れた」要素が使われました。このバージョンはコンピュータサイエンスにおいて非常に有名になりました。
• 「帽子」バージョン: その後、人々は泥を色のついた帽子に入れ替えました。これは、自分の帽子の色は見えるが自分の泥は見えないのと同様に、視覚化しやすいからです。
• コンピュータサイエンスのブーム: 1980年代、コンピュータサイエンティストたち（ジョー・ヘルパーンなど）は、このパズルが**人工知能（AI）**を教えるのに最適であることに気づきました。これは、コンピュータがエージェント（ロボットやプログラム）がいかに情報を共有し、知識を更新するかを理解する助けとなります。

---

第3部：新しいパズル（「自己参照的な帽子」）

論文は、ゲルハルト・ヴェゲリンガーによって発明された新しいパズル、**「Mützen」（帽子）**で締めくくられます。

設定:

• サンタクロースが126人の賢い小人たちを招待します。
• 各自にランダムな色の帽子が与えられます（黄色、緑、青など、多くの色があります）。
• 仕掛け: サンタは言います。「私は、あなた方全員が自分の帽子の色を特定できるように、色を慎重に選びました。」
• プロセス: 5分ごとに鐘が鳴ります。自分の色が分かった小人は去っていきます。

謎:
小人たちはグループごとに鐘の音に合わせて去っていきます。問題は、全員が去るまでに合計で何回の鐘が鳴るか？ です。

解決のロジック:
著者は、サンタの約束（「君たちは皆、特定できる」）が非常に強力な情報であることを説明しています。それは、一種の自己成就予言のようなものです。

• もしある小人が、「その色を被っている人が自分一人しかいない」という色を見た場合、その子は「もし自分がその色なら、（自分以外にその色を被っている人がいないため）誰も自分の色を特定できないはずだ」と気づきます。
• しかし、サンタが「全員が特定できる」と約束している以上、誰も「ユニーク（唯一の存在）」であってはなりません。
• したがって、すべての色は少なくとも2回以上登場しなければなりません。
• 小人たちはこの論理を用いて、それぞれの色が何人によって被られているかを数え、正しい順番で去っていくのです。

著者はこの新しいパズルを用いて、現代の論理（「不動点」や複雑な数学を用いる手法）がいかにこれらの謎を解くことができるかを示し、古い「泥だらけの子供たち」のアイデアが今日でも進化し続けていることを証明しています。

---

まとめ：なぜこれが重要なのか？

この論文は、単に泥や帽子の話をしているのではありません。これは、私たちがどのように他者から学ぶかについての話です。

• メタファー: 部屋に人々が集まっているところを想像してください。もし私があなたに「この部屋に赤いシャツを着ている人がいます」と言っても、誰かは分かりません。しかし、もし周りを見渡して誰も立ち上がっていないのを確認し、さらに私が再びそう言い、それでもまだ誰も立ち上がらないとしたら、あなたは何かを察し始めます。
• 教訓: この論文は、最も重要な情報は「語られたこと」ではなく、「語られなかったこと」（沈黙や待ち時間）であることもある、ということを示しています。
• 遺産: 鼻をつねるフランスのゲームから、AIのためのコンピュータサイエンスのツールに至るまで、このパズルは服を着替えながら（泥、汚れ、帽子、不誠実な配偶者）、時代を超えて旅をしてきました。しかし、その中にある「脳を刺激する核心」は変わっていません。

著者は、読者がさらに古いバージョンのパズル、特に1920年代や1930年代のものを見つける手助けをしてくれるよう呼びかけ、この謎の歴史はまだ書き続けられているのだと示唆して締めくくっています。