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

3D metal printing

I've worked with stainless steel in the machine shop, and it isn't exactly the easiest metal to drill or lathe. So to be able to print it, wow. Another interesting company is Shapeways. Here's a video (not metal printing in this case though).