红眼修士
no red eyes
题目详情
修道院里住着 100 位沉默的修士,没有镜子或任何反光物体,并且有一条重要戒律:不能有红眼!如果某位修士发现自己红眼,他会在午夜自尽。
他们一直和平生活,直到一位游客来访并说:“你们之中至少有一个人是红眼!”
之后会发生什么?
英文原题
100 silent monks live in a monastery with no mirrors or reflective surfaces and one important rule: no red eyes! If a monk discovers he has red eyes he commits suicide at midnight. They live happily together in peace until a tourist visiting the monastery says "at least one of you has red eyes!". What happens next?
解析
设实际有 位红眼修士。
游客的公开声明成为“公共知识”,触发归纳推理:
- 若 ,那位红眼修士看不到别人红眼,听到声明后立刻知道自己红眼,于是第 1 天午夜自尽。
- 假设当红眼人数为 时,会在第 天午夜同时自尽。
- 当红眼人数为 时,每位红眼修士都能看到 位红眼。如果自己不是红眼,则红眼人数应为 ,按归纳假设应在第 天午夜发生自尽;但他观察到前 天都无人自尽,于是第 天得知自己也红眼,并在第 天午夜自尽。
因此
在常见版本里 ,所以第 天午夜 100 位红眼修士同时自尽。
英文解析
Suppose there are actually red-eyed monks.
The tourist's public declaration becomes "common knowledge," triggering inductive reasoning:
- If , that red-eyed monk sees no other red-eyed monks and, upon hearing the declaration, immediately knows he is red-eyed, thus committing suicide at midnight on Day 1.
- Assume that when the number of red-eyed monks is , they will all commit suicide simultaneously at midnight on Day .
- When the number of red-eyed monks is , each red-eyed monk sees red-eyed monks. If he were not red-eyed, the number of red-eyed monks would be , and according to the inductive hypothesis, they would commit suicide at midnight on Day . However, he observes that no one commits suicide during the first days, so he deduces on Day that he is also red-eyed and commits suicide at midnight on Day .
Therefore
In the common version, , so 100 red-eyed monks commit suicide simultaneously at midnight on Day .