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

Goodbyes

It's hard saying goodbye. A good friend of mine is leaving Duke to return to Paris. He was fed up with the physics program here, and after securing a position in France, decided to return home. It's unfortunate that the department here could not do more to help, as he was genuinely bright; unfortunately he was suffering from depression, probably induced by the stresses of the PhD program as well as the dull boring city of Durham. In general how does one say goodbye? You don't really, especially if you're good friends. You just end up saying hello less often. At least that's my take. Unfortunately, more on goodbyes, it's goodbye to Duke's NCAA hopes for this year. We were outplayed by LSU. Sure the refs were really not entirely fair (from our point of view of course), but they closed our top scorer down. It was a fun run, and I enjoyed watching them play, especially since I thought they played such great team basketball, but it's over. Such a somber posti...

FAO Schwarz!

Found this on Funny Times: What New Toys Did You Get? (compiled by Phil Proctor) Capitalism: He who dies with the most toys, wins. Hari Krishna: He who plays with the most toys, wins. Judaism: He who buys toys at the lowest price, wins. Catholicism: He who denis himself the most toys, wins. Anglican: They were our toys first. Greek Orthodox: No, they were ours first. Branch Davidians: He who dies playing with the biggest toys, wins. Atheism: There is no toy maker. Polytheism: There are many toy makers. Evolutionism: The toys made themselves. Church of Christ, Scientist: We are the toys. Communism: Everyone gets the same number of toys, and you go straight to the opposite of heaven if we catch you selling yours. B'Hai: All toys are just fine with us. Amish: Toys with batteries are surely a sin. Buddhism: Wanting toys causes suffering. They either break, or you outgrow them. Taoism: The doll is as important as the dump truck. Mormonism: Every boy may have as many toys as he wants. Vo...

Youthful Reminisces

These past four days have been a trip down memory lane. I'm going to try to organize some of the memories for blogging, though not all in this post. My parents, M and I took a road trip to Hualien, partly as a family get-away, and also to introduce our Taiwanese hometown to a group of my brother's ( Albert Wu see here and here ) students from France. Albert and his wife are jointly teaching a course in history in Paris, and over the last few weeks they have been taking their students on an abroad research-coursework-fun tour of Taiwan. If you know my father, he tends to try to get involved in some way with any of his sons' projects, and from our perspectives, it's great to get his help and/or just advice (from time to time). My brother and his wife planned a historical, social justice introduction to Taiwan (I wrote about a visit to Dadaocheng ). Important components to understand the complex identities and mindsets of Taiwanese today involves understanding the Ea...