Skip to main content

Blue eyed islanders

Here's an interesting logic puzzle (it is quite well known, see http://en.wikipedia.org/wiki/Common_knowledge_(logic)). The version below is from Terence Tao's blog. xkcd also has a version (http://xkcd.com/blue_eyes.html).
*****

– The logic puzzle –

There is an island upon which a tribe resides. The tribe consists of 1000 people, with various eye colours. Yet, their religion forbids them to know their own eye color, or even to discuss the topic; thus, each resident can (and does) see the eye colors of all other residents, but has no way of discovering his or her own (there are no reflective surfaces). If a tribesperson does discover his or her own eye color, then their religion compels them to commit ritual suicide at noon the following day in the village square for all to witness. All the tribespeople are highly logical and devout, and they all know that each other is also highly logical and devout (and they all know that they all know that each other is highly logical and devout, and so forth).

Of the 1000 islanders, it turns out that 100 of them have blue eyes and 900 of them have brown eyes, although the islanders are not initially aware of these statistics (each of them can of course only see 999 of the 1000 tribespeople).

One day, a blue-eyed foreigner visits to the island and wins the complete trust of the tribe.

One evening, he addresses the entire tribe to thank them for their hospitality.

However, not knowing the customs, the foreigner makes the mistake of mentioning eye color in his address, remarking “how unusual it is to see another blue-eyed person like myself in this region of the world”.

What effect, if anything, does this faux pas have on the tribe?

*****

There are two contradictory solutions:


– Solution 1 –

The foreigner has no effect, because his comments do not tell the tribe anything that they do not already know (everyone in the tribe can already see that there are several blue-eyed people in their tribe).

– Solution 2 –

100 days after the address, all the blue eyed people commit suicide. This is proven as a special case of

Proposition. Suppose that the tribe had n blue-eyed people for some positive integer n. Then n days after the traveller’s address, all n blue-eyed people commit suicide.

Proof: We induct on n. When n=1, the single blue-eyed person realizes that the traveler is referring to him or her, and thus commits suicide on the next day. Now suppose inductively that n is larger than 1. Each blue-eyed person will reason as follows: “If I am not blue-eyed, then there will only be n-1 blue-eyed people on this island, and so they will all commit suicide n-1 days after the traveler’s address”. But when n-1 days pass, none of the blue-eyed people do so (because at that stage they have no evidence that they themselves are blue-eyed). After nobody commits suicide on the (n-1)^{st} day, each of the blue eyed people then realizes that they themselves must have blue eyes, and will then commit suicide on the n^{th} day. \Box

As the above two solutions give contradictory conclusions, at most one of them is correct.  Which one (if any) is the correct solution, and what is the precise reason that the other solution is invalid?

Comments

Popular posts from this blog

This weekend sucks!

So the Yankees are facing an uphill battle against the Angels. Hope they pull out of this one. The game today was pretty intense. Down 5-0 then went up 6-5 only to be beaten 11-7. Ugh! I don't know, they just lacked the stamina to pull things through today. Then again, I don't fault them. NY has a pretty tense weekend with the bomb alert, and I pray that all will be well. After all, in my heart NYC is still my home. This weekend is Fall Break. Unfortunately for me, the weather is bad so I probably can't go hiking, and then my boss told me Thursday that we have work to do over the weekend. Right now I am busy testing the microwave/rf generators for our quantum dot gate pulsing. We need to make sure that we can maintain the pulse form sent down to the sample with minimal distortion, reflection, attenuation and loss. This is made particularly difficult due to the size of our metal gates (which I made), on the order of 100 nm or less in width and less than 20 nm in thickness. S...

Coffee!