For anyone else;
This is a puzzle that challenges people to consider the mind of God, an absolutely perfect thinker who knows all possible ways to get anything done, without exception.
This puzzle, derived from similar forms from more than 2000 years ago, has a canonical solution proposed to be “THE solution”. It proposes that there could be neither alternate nor better solution, “better” being defined as more efficient. If there is an alternate solution then the canonical solution would not work because it depends upon everyone on the island using the same algorithm. If there is even one alternate, it won’t work unless it can be deduced that it is more efficient and thus will be chosen by all of the perfect logicians.
In this puzzle, “God knows”, that all it takes for everyone on the island, is that they all start from the exact same number and count days until they can see that all of the blues they can see didn’t leave, and thus derive themselves as a blue.
So the question becomes by what means could perfect logicians choose a number from which to start the count, knowing that all of the others would be using that same number. They don’t want to use the least efficient of any choices that might be available, else they can’t know that the others would be using that number also. So they want to find the highest number possible for everyone to use that everyone could know that everyone else was using.
Out of 100 blues, there can be no question in anyone’s mind that there is at least 1. So that could be a number to choose. And there could be no doubt in anyone’s mind that there are at least 2, so that too could be a choice.
As the numbers increase toward the 100 mark, the doubt begins to rise as to whether everyone really knows that everyone else knows that there is at least that many. If you are number 100, not knowing for certain that you are blue, you can’t be certain that there are more than 99 and can’t be certain that everyone knows that there are at least 99. So the puzzle becomes one of seeing if there is a point wherein the questionable becomes the unquestionable so that everyone could knowingly choose the same number.
The doubt in the number to be certain of and thus use, starts dimensioning quickly from the number that you can actually see because you know that everyone can see at least one less that you can. So if you can see 99, it becomes pretty certain that everyone already knows that everyone else knows there are at least 90. But the risk cannot be taken that they would choose 91 or 89 instead of 90, else everyone errors in their deducing of their eye color.
So what is needed is a means to normalize any choice within a range close to what someone would see. In that way, even though they might see a different amount and be slightly more dubious than others as to what number to choose, by a normalization procedure, they all choose the same number.
An example of this is the following;
Since every perfect thinker realizes at least what has been outlined above, they can see that an easy normalization procedure would be for everyone to use the total number on the island as a common number. Everyone sees the same total and everyone knows that every does. If that number is anywhere near twice what you see, then take ¼ of it. In this case, that would be 50.
At that point, you have a common number for everyone to use. If everyone used 50 as the number from which to start counting, everyone would accurately discover their own eye color. And 50 days is twice as efficient as 100 days.
So it being a valid option that is more efficient than the 100 day canonized version, how does anyone know that no one else isn’t using it? And if they are using it then the 100 days canonized version no longer works for anyone.
So it should be unquestionable that the 100 day solution, although sound in itself, cannot be used simply because no one can depend on everyone else using it.