History of the Muddy Children Puzzle

大核心思想：一个关于“知道别人知道什么”的谜题

想象一群朋友在玩游戏，他们能看到每个人的脸，但他们有一个神奇的镜子，却无法看到自己的倒影。这个谜题问的是：他们如何仅仅通过观察其他人，就推断出自己脸上是什么？

这是一篇关于历史的侦探故事。作者汉斯·范·迪特马尔斯（Hans van Ditmarsch）试图回答一个简单的问题：究竟是谁最先发明了这个谜题？

他发现，答案并不是某一个人，而是一条长长的、曲折的由故事、游戏和数学书籍交织而成的路径，可以追溯到200多年前。

---

第一部分：谜题本身（“满脸泥巴的孩子”）

这是经典的规则版本：

• 设定： 一位父亲有 $k$ 个孩子。有些孩子脸上沾了泥巴（$m$ 个孩子），有些则是干净的。
• 规则： 孩子们可以看到其他所有人的脸，但看不到自己的。他们都是完美的逻辑学家（思考绝不出错）。
• 触发点： 父亲说：“你们当中至少有一个人脸上沾了泥巴。”
• 行动： 每隔一分钟，父亲会问：“有人知道自己是否沾了泥巴吗？如果知道，请向前走一步。”
• 结果： 如果只有 1 个孩子沾了泥巴，他们会立即上前。如果有 2 个，他们会等待一分钟，然后两人同时上前。如果有 $m$ 个沾了泥巴的孩子，他们会在第 $m$ 分钟准时上前。

类比： 把这想象成一场“烫手山芋”的游戏，而“山芋”就是一条信息。父亲丢下了这个“山芋”（即“有人脸上沾了泥巴”这个事实）。孩子们通过“不向前走”这一行为来传递信息。群体的沉默在告诉他们：“噢，如果现在还没有人上前，那么沾了泥巴的孩子肯定比我想象的要多！”最终，逻辑触发了，他们都意识到：“嘿，原来我就是那个沾了泥巴的人！”

---

第二部分：历史侦探工作

作者展开了一场寻找这个谜题“祖父”的搜寻。以下是他的发现：

1. 古老的根源（“无笑之捏”游戏）

作者将这个想法追溯到 16 世纪一本关于巨人加尔冈图亚（Gargantua）的法国书。在 1823 年的一个版本中，有一处脚注描述了一个名为 Pince-sans-Rire（“无笑之捏”）的游戏。

• 游戏内容： 两个人互相捏对方的鼻子。如果你笑了，你就输了。
• 转折： 两名玩家的指尖偷偷沾了木炭。他们互相捏对方的鼻子，从而把黑色的木炭抹在对方脸上。
• 联系： 如果你看到你的朋友因为你黑掉的鼻子而发笑，你会意识到：“等等，如果他在笑，那说明他一定看到了我脸上有什么好笑的东西！”
• 结论： 这是“满脸泥巴的孩子”谜题的“曾祖父”。它具有相同的逻辑（通过看到别人的脏东西来意识到自己也脏），但它是一个派对游戏，而不是数学问题。

2. 缺失的世纪（1830年代–1930年代）

作者在 1800 年代的书籍中寻找这个谜题，却发现了一个空白期。这个想法似乎消失了。他在当时的刘易斯·卡罗尔（Lewis Carroll）的谜语或标准的谜题书中找不到它。这个想法似乎只是在口头历史或派对游戏中“闲逛”，等待着被写成数学题。

3. 重新发现（1920年代–1940年代）

这个谜题在 20 世纪的几个地方重新浮现：

• 日本（1929年）： 著名的物理学家保罗·狄拉克（Paul Dirac）访问日本并讲述了这个故事。它因此被称为“狄拉克谜题”。一位悬疑作家甚至在 1941 年根据它写了一部侦探小说。
• 欧洲（1942年）： 数学家莫里斯·克雷奇克（Maurice Kraitchik）在一部谜题书中发表了它。他将其描述为一个关于三个满脸脏污的哲学家人的故事。
• 英国（1953年）： 另一位数学家小刘德威特（Littlewood）发表了一个关于三位女士对着彼此脏脸大笑的版本。他称之为“真正的数学”。

4. 现代时代（1950年代至今）

从 1950 年代开始，这个谜题成为了数学和计算机科学中的常客。

• “不忠的妻子”版本： 在 1950 年代，这个谜题被改写成了关于出轨丈夫和妻子的故事。不再是泥巴，所谓的“脏”是指不忠。这个版本在计算机科学领域变得非常有名。
• “帽子”版本： 后来，人们用彩色的帽子代替了泥巴。这更容易视觉化，因为你看不见自己的帽子，就像看不见自己的泥巴一样。
• 计算机科学的热潮： 在 1980 年代，计算机科学家（如乔·哈尔彭n）意识到这个谜题非常适合用来教授人工智能。它帮助计算机理解智能体（机器人或程序）如何共享信息并更新知识。

---

第三部分：新谜题（“自我指涉的帽子”）

论文以格哈德·沃格林格（Gerhard Woeginger）发明的一个全新的谜题——**“Mützen”（帽子）**结束。

设定：

• 圣诞老人邀请了 126 名聪明的侏儒。
• 每个侏儒都戴着一顶随机颜色的帽子。颜色有很多种（黄、绿、蓝等）。
• 关键点： 圣诞老人说：“我精心挑选了这些颜色，使得你们每一个人都能推断出自己帽子的颜色。”
• 过程： 每隔 5 分钟敲一下铃。如果某个侏儒知道了自己的颜色，他就离开。

谜团：
侏儒们分批离开，共经历了 13 次鸣铃。问题是：所有人离开总共需要多少次鸣铃？

解决逻辑：
作者解释说，圣诞老的承诺（“你们都能推断出来”）是一个非常强大的信息。它就像一个自我实现的预言。

• 如果一个侏儒看到了一种只有一个人戴的颜色，他就会知道：“如果我也戴这种颜色，那就没人能推断出来了（因为我是唯一的）。”
• 但既然圣诞老承诺每个人都能推断出来，那么就没有人可以是“唯一”的。
• 因此，每种颜色必须至少出现两次。
• 侏儒们利用这种逻辑来计算有多少人戴着每种颜色，并按正确的顺序离开。

作者利用这个新谜题展示了现代逻辑（使用“不动点”和复杂的数学）是如何解决这些谜题的，证明了古老的“满脸泥巴的孩子”的思想在今天仍在进化。

---

总结：为什么这很重要？

这篇论文不仅仅是关于泥巴或帽子的。它是关于我们如何从彼此身上学习。

• 隐喻： 想象一个挤满了人的房间。如果我告诉你“这个房间里有人穿着红衬衫”，你并不知道是谁。但如果你环顾四周，发现没有人站起来，然后我再次重复，且依然没有人站起来，你就会开始意识到一些事情。
• 教训： 论文表明，有时最重要的信息不是“说了什么”，而是“没说什么”（沉默、等待）。
• 传承： 从一个关于捏鼻子的法国游戏，到成为人工智能工具的计算机科学工具，这个谜题穿越了世纪，变换着它的外衣（泥巴、污垢、帽子、不忠的配偶），但始终保持着其烧脑的核心。

作者最后邀请读者帮助他寻找更早期的版本，特别是在 1920 年代和 1930 年代的版本，这表明这个谜题的历史仍在继续书写中。