“绿眼睛问题”（Green-Eyes Riddle）是一个著名的公共知识与逻辑推理谜题。
谜题设定
在一个岛上，住着一群具有完美逻辑推理能力的狂热教徒。
- 岛上有 100 个蓝眼睛的人和 100 个绿眼睛的人。
- 他们的宗教规定：如果一个人知道自己是绿眼睛，他必须在当天午夜离开这个岛。
- 岛上没有镜子，不能互相说话讨论眼睛颜色。每个人都能看到别人的颜色，但绝对无法直接知道自己的颜色。
- 某天，一个外来者来到岛上，当众宣布了一句话：“我在这里看到了绿眼睛的人。”
问题：接下来会发生什么？
核心结论
在第 100 天的午夜，所有 100 个绿眼睛的人会同时离开这个岛。
逻辑推导（归纳法）
为了理解这 100 天发生了什么，我们先从小规模的情况推演：
1. 如果岛上只有 1 个绿眼睛（$n=1$）
- 他看到其他人全是蓝眼睛。
- 外来者说“有绿眼睛”。
- 既然没看到别人有绿眼睛，那唯一的人选只能是自己。
- 结果： 他在第一天午夜离开。
2. 如果岛上有 2 个绿眼睛（$n=2$）
- 绿眼睛 A 看到绿眼睛 B。A 心想：“如果 B 是唯一的绿眼，他第一天就会走。”
- 第一天午夜过去，B 没走。
- A 意识到：“既然 B 没走，说明 B 也看到了一个绿眼（就是我）。”
- 结果： A 和 B 在第二天午夜同时离开。
3. 如果岛上有 $n$ 个绿眼睛
- 以此类推，每个人都在等待其他人离开。如果前 $n-1$ 天没人动，说明岛上至少有 $n$ 个绿眼。
- 结果： 在第 $n$ 天，所有人意识到真相并同时离开。
那么，外来者说了废话吗？
这是这个谜题最精华的部分。很多人会问：
“每个人本来就能看到岛上有绿眼睛（因为有 100 个），外来者说了一句大家早就知道的废话，为什么会改变结局？”
答案是：外来者将“共有知识”(Shared Knowledge)变成了“公共知识”(Common Knowledge)。 “共有知识”是大家都知道，而“公共知识”是大家都知道“大家都知道”。
-
如果把知识比作光： 共有知识： 每个人手里都有一盏灯，照亮了自己眼前的路，但你不知道别人的灯是否亮着，也不知道别人是否能看到路。 公共知识： 所有人聚在广场的大灯柱下，你不仅看清了路，还清楚地看到每个人都在灯光下，且每个人都看到你也站在灯光下。
-
在逻辑和博弈论中，只有公共知识才能产生“一致预期”，从而引发集体行动。 共有知识： 虽然大家都知道，但由于存在“信息孤岛”，每个人都会犹豫，担心别人不知情，从而导致没人行动（就像外来者开口前的蓝眼睛岛民）。 公共知识： 打破了信息的互相猜忌，建立了一个“推导起点”，让所有人能同步进行逻辑演习。
总结
没有外来者的那句“废话”，逻辑链条就无法起步。就像一排多米诺骨牌，外来者的话就是推倒第一块牌的手指。