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

M's first art installation

My son and I went exercising at the gym this morning (Feb. 2, 2019). We had physical and mental workouts, and I was full of pride to see him put together this exhibit. He called it, "Train." The work is abstract, with the cone symbolizing the engine and the ball can be pictured as "balls of steam" that roll out of the chimney or exhaust system! Train

Mr. 郭

There's been a recent controversy in Taiwan over the scandalous writings of the government information officer, 郭冠英, stationed in Toronto. Here's an op-ed piece from Taipei Times. I agree with Mr. Cole that although freedom of speech is guaranteed and necessary in a democratic country, once you are employed in the government, there should be limitations to what can and cannot be said. The writings of Mr. Kuo, even though posted anonymously, breaks the trust that the public has in him as an official representative of Taiwan in Toronto, and is a breach of his responsibility to the citizens of the land of Taiwan. Frankly, I think Mr. Kuo's an idiot. ***** He said it'd be OK to kill my wife By J. Michael Cole 寇謐將 Thursday, Mar 26, 2009, Page 8 We met when I worked as an intelligence officer in Canada, part of an organization that at times risked making racism and hatred for the “other” — in that case, mostly Arabs and Muslims — a normal policy. After nearly three years in t...