最近看到一个很有意思的逻辑谜题，叫「蓝眼睛岛民悖论」，出自这个视频。乍一看觉得答案很反直觉，仔细想想又觉得有道理，再深入一想又觉得哪里不对……就这么反复横跳，挺有意思的，记录一下。

1. 问题背景

故事是这样的：

有一个与世隔绝的岛屿，岛上住着 100 个人。其中有 5 个人是蓝眼睛，95 个人是棕眼睛。岛上有一条神秘的规则：

如果你知道了自己眼睛的颜色，你必须在当天午夜自杀。

岛民们都知道这条规则，也都遵守它。他们可以看到别人眼睛的颜色，但看不到自己的，也没有镜子之类的东西。他们之间的交流非常有限——彼此之间从不谈论眼睛颜色相关的话题。

有一天，一个外乡人来到岛上，在公开场合说了一句话：

「你们当中至少有一个人是蓝眼睛。」

然后外乡人就离开了。

问题来了：这句话会带来什么后果？

2. 反直觉的答案

直觉上，外乡人说的这句话好像没什么信息量——毕竟岛上有 5 个蓝眼睛的人，每个人都能看到至少 4 个蓝眼睛的人，所以「至少有一个人是蓝眼睛」这件事，岛上每个人早就知道了。

但答案是：第 5 天午夜，5 个蓝眼睛的人会一起自杀。

等等，这怎么可能？外乡人说的明明是大家都知道的事情啊？

3. 递归推理

让我们从简单的情况开始分析。

3.1 只有 1 个蓝眼睛

如果岛上只有 1 个蓝眼睛的人：

• 这个人看到其他 99 个人都是棕眼睛
• 当外乡人说「至少有一个人是蓝眼睛」时，他立刻就知道那个蓝眼睛的人就是自己
• 第一天午夜，他会自杀

3.2 有 2 个蓝眼睛

如果岛上有 2 个蓝眼睛的人（A 和 B）：

• A 看到 B 是蓝眼睛，心想：如果我不是蓝眼睛，那 B 看到的应该全是棕眼睛的人，按照上面 1 个人的情况，B 第一天就会自杀
• 第一天过去了，B 没有自杀
• A 就明白了：B 肯定看到了另一个蓝眼睛的人，那个人只能是我自己
• 第二天，A 和 B 都会自杀

3.3 有 3 个蓝眼睛

如果岛上有 3 个蓝眼睛的人（A、B、C）：

• A 看到 B 和 C 是蓝眼睛，心想：如果我不是蓝眼睛，那 B 和 C 应该在第二天自杀
• 第二天过去了，B 和 C 都没有自杀
• A 明白了：B 和 C 肯定看到了第三个蓝眼睛的人，那就是我
• 第三天，三个人一起自杀

以此类推，5 个蓝眼睛的情况下，第五天他们会一起自杀。

4. 外乡人到底说了什么新信息？

这就是悖论的核心。每个人都能看到 4 个蓝眼睛的人，所以「至少有一个人是蓝眼睛」这个信息，大家不是早就知道了吗？

关键在于「共同知识」和「我知道你知道」的区别。

4.1 外乡人说话之前

在外乡人说话之前：

• A 知道「至少有一个人是蓝眼睛」——因为他看到了 B、C、D、E
• A 也知道 B 知道「至少有一个人是蓝眼睛」——因为 A 知道 B 能看到 C、D、E
• 但 A 不知道 B 是否知道 C 知道「至少有一个人是蓝眼睛」

这条「我知道你知道他知道……」的链条，在外乡人说话之前是断裂的。

4.2 外乡人说话之后

外乡人的话，把「至少有一个人是蓝眼睛」变成了共同知识：

每个人都知道，每个人都知道每个人都知道，每个人都知道每个人都知道每个人都知道……无限嵌套下去。

正是这个「共同知识」的建立，让递归推理得以进行。

5. 更极端的情况

假设岛上有 100 个蓝眼睛的人。按照同样的推理，第 100 天所有人都会自杀。

但每个蓝眼睛的人都能看到 99 个蓝眼睛的人，外乡人说的话，对他们来说有什么新信息呢？

这里确实存在一些争议：

• 有人认为悖论的关键在于「共同知识」的建立
• 有人认为外乡人的话确实没有传递新信息
• 悖论可能源于我们假设了过于理想化的推理能力

6. 小结

这个悖论吸引人的地方在于，它揭示了「信息」这个概念的微妙之处。有时候，表面上看起来「大家都知道」的事情，一旦被公开说出来，就可能产生意想不到的后果。

关键要点：

• 递归推理：从简单情况逐步推导到复杂情况
• 共同知识：信息被公开后变成「每个人都知道每个人都知道」
• 信息传递：看似无用的信息可能触发连锁反应

当然，现实中不太可能出现这种极端情况。但类似的逻辑在很多场景下都有应用，比如博弈论、分布式系统中的共识问题等。

参考资料：

• 蓝眼睛岛民悖论 - Bilibili