蓝眼睛岛——把人人都知道的事说出口，究竟改变了什么

大家好，我是 Senko。本文将解读逻辑谜题中数一数二的难题“蓝眼睛岛”。

某座岛上住着 100 名蓝眼睛居民和 100 名褐眼睛居民。岛上没有镜子，谈论眼睛颜色是禁忌。而且有一条戒律：知道自己是蓝眼睛的人，必须在当天深夜离岛。某天，来岛的旅人当着全员的面说：“这座岛上，至少有一位蓝眼睛的人吧。”对于看得见 99 位蓝眼睛同伴的岛民来说，这本该是谁都知道的当然之事。可就从这一句话里，导出了第 100 天深夜，100 位蓝眼睛的人一起离岛这样戏剧性的结局。

蓝眼睛岛谜题是什么

蓝眼睛岛（英语 blue-eyed islanders puzzle），是把“全员都知道”与“全员都知道全员都知道”之间的差别直接摆到你面前的逻辑谜题。先把规则整理一下。

岛上有 100 名蓝眼睛居民、100 名褐眼睛居民
居民全都完美地讲逻辑。而且“全员都完美讲逻辑”这件事也是全员知道的
没有镜子和水面，谈论眼睛颜色也被禁止。别人的眼睛颜色看得见
确信自己是蓝眼睛的人，必定在当天深夜离岛
某天，旅人当着全员的面宣布“至少有一位蓝眼睛的人”

谜题问的是：旅人宣布之后，岛上会发生什么。而最大的谜在于这一点：蓝眼睛居民看得见 99 位蓝眼睛同伴，褐眼睛居民看得见 100 位，所以“岛上有蓝眼睛的人”这件事，全员早就一清二楚。一句看似毫无新信息的宣布，为什么能让全岛动起来？

答案是第 100 天夜里一齐出发

先说结论：宣布后的第 100 天深夜，100 位蓝眼睛的人全员同时离岛。100 位褐眼睛的人留在岛上。

理解它的定式，是把人数狠狠减少来想。

只有 1 位蓝眼睛时。这个人一位蓝眼睛同伴也看不见。听到旅人宣布的瞬间，他确定“蓝眼睛只有我自己”，于是在第 1 天深夜离岛。

有 2 位蓝眼睛时。蓝眼睛的甲只看得见蓝眼睛的乙一个人。甲这样想：“如果我不是蓝眼睛，蓝眼睛就只有乙。那乙该在第 1 天夜里走。”可第 1 天夜里，乙没有走（因为乙出于同样的理由也在观望）。这份“没有走”的事实告诉甲：“乙看得见某个蓝眼睛的人，那就是我。”于是第 2 天深夜，两人一起离岛。

有 3 位蓝眼睛时。各人都想“如果我不是蓝的，剩下两人该在第 2 天夜里走”。第 2 天夜里没人走，自己的眼睛颜色便确定了，第 3 天深夜三人出发。

以此类推，可以用归纳法证明：蓝眼睛有 n 人，就在第 n 天深夜全员一齐离开。100 人就是第 100 天。那 99 个安静的夜晚，全都是在向全岛不断播送“还没有人能确信”这条信息。

从数学家的余兴里诞生的经典

这道谜题的原型很古老，有名的是数学家约翰·E·利特尔伍德在 1953 年的著作《一个数学家的杂记》中介绍的“脏脸问题”。设定是一群人脸上沾了煤灰，看得见彼此的脸却看不见自己的，各人以笑声为契机推理出自己脸上的脏——结构与蓝眼睛岛完全相同。

另外，物理学家乔治·伽莫夫与马文·斯特恩收在 1958 年谜题集《Puzzle-Math》里的“不忠妻子问题”也是同型，那一版以向全城发布告为契机，各家的不忠被归纳地揭开，调味略显凶险。

在当代互联网上把这道谜题推广开的，是人气网络漫画 xkcd 的作者兰道尔·门罗。他以“世界上最难的逻辑谜题”之名挂在自己网站上的蓝眼睛岛引发了全球讨论，数学家陶哲轩还在博客上梳理过其中的论点。规则明明简单，可听完答案，“但那句宣布并没有新信息啊”的违和感仍消不掉。而这份违和感的真身，正是接下来要讲的共同知识。

旅人发下的不是事实，而是共同知识

旅人的宣布带进来的东西，准确地说并不是“岛上有蓝眼睛的人”这个事实，而是“岛上有蓝眼睛的人这件事，被全员在全员面前同时知道了”这一状态。

用两人的例子看差别。蓝眼睛的甲和乙。各自都看得见对方的蓝眼睛，所以“有蓝眼睛的人”两人都知道。可是甲并不知道“乙是否也知道有蓝眼睛的人”。甲看得见的蓝眼睛只有乙。假如自己不是蓝眼睛，乙就一位蓝眼睛也看不见，那乙也许并不知道有蓝眼睛的人。

旅人当着全员宣布的瞬间，这份不确定消失了。甲知道了“乙也听见了”，还知道了“乙也知道甲听见了”。这个嵌套能延续任意多层，“全员都知道”“全员都知道全员都知道”这样的层级一口气无限叠了起来。这在博弈论里被称为“共同知识”。它是哲学家大卫·刘易斯 1969 年形式化、经济学家罗伯特·奥曼 1976 年论文里打下数学基础的、正经的学术概念。

在 100 人的岛上，归纳的连锁要启动，这个层级得叠到第 100 层。宣布之前的岛只叠到第 99 层，唯独缺了最后一层。把人人皆知的事实公开，并不是发放事实的行为，而是把知识的层级补完的行为——这就是这道谜题答案的核心。

公开的秘密在会议上被说出口的瞬间

共同知识这套想法，能惊人准确地解释现实组织与社会的要害。

安徒生童话《皇帝的新装》就是它的教科书。皇帝没穿衣服，街边所有人都知道。可谁也动不了，是因为全员都在想“除我以外的人说不定看得见衣服”。孩子那一句“皇帝什么也没穿”，传达的并不是谁都不知道的事实，而是让全员的认知在全员面前同步了。人们能笑出来，正是因为这个。

公司的会议上也一样。项目的延期风险成员们全都隐约知道，可在它上议题之前谁也说不出对策。把问题在正式场合说出口、写进会议纪要的价值，不在信息的传达，而在把它变成共同知识。所以，即便是全员私下早已知道的问题，从会议上被明说的那一刻起，就变成了“不能当作不知道”的状态。举报制度与信息公开制度之所以有力，银行挤兑与泡沫破裂之所以呈现“大家隐约都察觉了，却以某条报道为界一齐行动”的形态，都是同一个结构。

在工程的世界里，分布式系统的“两将军问题”作为共同知识的不可能性而知名。送不知道有没有送到的信使来回多少趟，“已就进攻时刻达成一致”这份确信的嵌套也补不完。这是“光靠消息往返造不出共同知识”的理论结果，从背面照出了蓝眼睛岛里“当着全员面的宣布”是多么特别的一件装置。

褐眼睛的居民会怎样

会一直留在岛上。褐眼睛居民看得见 100 位蓝眼睛，所以在第 100 天夜里 100 人离开的那一刻，他们就知道“自己不是蓝的”。可戒律要求的是确定自己眼睛的颜色，知道不是蓝的，也定不下究竟是褐色还是绿色。既然没人会告诉他们眼睛的颜色，确信就永远得不到，出发的义务也不产生。同在一座岛上，却分成推理能收尾的群体与收不了尾的群体，这也是这道谜题有意思的地方。

没有那句宣布，等上 100 天不也一样吗

不一样。归纳的连锁是搭在“若蓝眼睛只有 1 人，他会在宣布之夜确定并离开”这个地基上的。没有宣布，就算蓝眼睛真的只有 1 人，他也没有线索知道自己眼睛的颜色，第 1 天的出发不会发生。地基一没，两人情形的推理、三人情形的推理，就全都连锁着垮掉。开始数天数的那声同步信号，同时承担着共享时钟与共享知识这两件事。

现实中的人也会照这样吗

基本不会。这个结论需要“全员完美讲逻辑，且这件事本身也是共同知识”这样强的前提，哪怕一人数错或破了戒律，连锁就坏了。也很难想象现实中的人能追得动 100 层嵌套。不过正因如此，现实里不依赖人的推理力、而靠制度去造共同知识才有了价值。正式公告、合同书、标准规范、全公司通知这类机制，我觉得可以说是人工再现旅人那声宣布的装置。