Why does the announcement matter if everyone already sees blue eyes?
On an island of perfect logicians, three people have blue eyes and the rest brown; nobody knows their own colour, and anyone who deduces it must leave that night. A visitor announces publicly, "I can see someone with blue eyes." The three blue-eyed islanders leave on the third night.
Here is the objection everyone raises: each blue-eyed islander could already see two blue-eyed people before the visitor spoke. Everyone already knew that someone had blue eyes. The announcement seemed to say nothing new.
Explain, concretely and without hand-waving, what information the announcement actually added. Use the three-person case and trace the chain of "who knows that who knows".
Show a hint
Do not ask what each islander knows. Ask what each islander knows about what another islander knows about what a third islander knows. Write out that chain for three people and see where it breaks before the announcement.
Your answer
Solving needs a free account
Answers, streaks and solutions unlock when you are signed in. Reading the question and the hint stays free.
Discussion
💡 Discussion rules
- No full solutions here. Hints and approaches only.
- Complexity, edge cases and intuition are the point.
- Interview experiences are welcome. Respect your NDAs.
Loading discussion…
Learn the concepts
The theory behind this question.