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

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

Did X say that?

I was cleaning out old draft emails when I came upon these quotes. 1. “Set your goals high; make friends with different kinds of people; enjoy simple pleasures. Stand on high ground; sit on level ground; walk on expansive ground.” 2. In everyone's life, at some time, our inner fire goes out. It is then burst into flame by an encounter with another human being. We should all be thankful for those people who rekindle the inner spirit . -Albert Schweitzer, philosopher, physician, musician, Nobel laureate (1875-1965) Both quotes resonated with me, and both quotes provide profound, provoking, prose projecting providence. But for the first quote I'm not sure who to attribute, and for the second, while I'd like to imagine he said that, I'm not really sure if Dr. Schweitzer did (because I have never met him!). In the internet age, I think it really behooves one to critically analyze everything read online. Does X make sense, did X say that? Sometimes it&

Just a few more quotes to post and share!

See the post title. ***** If you want to build a ship, don't drum up people together to collect wood and don't assign them tasks and work, but rather teach them to long for the endless immensity of the sea. -Antoine de Saint-Exupery, author and aviator (1900-1945)    "No one wants to die. Even people who want to go to heaven don’t want to die to get there. And yet death is the destination we all share. No one has ever escaped it. And that is as it should be, because Death is very likely the single best invention of Life. It is Life’s change agent. It clears out the old to make way for the new. Right now the new is you, but someday not too long from now, you will gradually become the old and be cleared away. Sorry to be so dramatic, but it is quite true. Your time is limited, so don’t waste it living someone else’s life. Don’t be trapped by dogma — which is living with the results of other people’s thinking. Don’t let the noise of others’ opinions d