On an island, people have blue eyes and the rest have brown. Everyone can see everyone else’s eye colour but not their own. No one may communicate about eye colour. If a person discovers they have blue eyes, they must leave the island at midnight.
A visitor announces: “At least one of you has blue eyes.”
What happens?
Solution
All blue-eyed people leave on the th night.
With blue-eyed people:
- If : that person sees no other blue eyes, knows they must be blue, leaves on night .
- If : each sees one blue eye. When that person doesn’t leave on night , they deduce they must also have blue eyes. Both leave on night .
- By induction: all leave on night .
The visitor’s statement seems to add no information, but it establishes common knowledge — everyone knows that everyone knows that… everyone knows at least one person has blue eyes. This is the key to the chain of deductions.