In the example with Red Eyes, from the perspective of any Red Eyed Person:
For 1 Red Eyed Person:
I know there is at least one person with Red Eyes.
I see no other people with Red Eyes.
Therefore, the Red Eyed person must be the one I
cannot see (myself).
I leave on the first night.
For 2 Red Eyed People:
I know there is at least one person with Red Eyes.
I see one person with Red Eyes.
If he is the
only person with Red Eyes, he will leave on the first night.
On the second day, I see that the other Red Eyed Person has not left.
Since he did not leave, he must not be sure that he has Red Eyes.
He could only be unsure of this if he could see someone with Red Eyes I do not.
I see no other people with Red Eyes, besides the one I know about.
Therefore, the other Red Eyed person must be the one I
cannot see (myself).
We both leave on the second night.
For 3 Red Eyed People:
I know there is at least one person with Red Eyes.
I see
two people with Red Eyes.
If they are the
only people with Red Eyes, they will leave on the second night.
On the second day, I see that the Red Eyed People have not left.
This is expected.
On the third day, I see that the Red Eyed People
still have not left.
Since they did not leave, they must not be sure that they have Red Eyes.
They could only be unsure of this if they could see someone with Red Eyes I do not.
I see no other people with Red Eyes, besides the two I know about.
Therefore, the last Red Eyed person must be the one I
cannot see (myself).
We all leave on the third night.
In other words, for a group of N people with the listed eye color, it will take them N days for each individual to figure out that they themselves have this color of eyes, on logic alone (without communication, mirrors, etc.), and thus they leave on the N'th night.
It's possible to prove, by mathematical induction, that this applies for all N:
• If there is only one person with the given eye color, he leaves on the first night.
• If you see N people with the given eye color, and they aren't gone by the N+1'th day,
you leave with them on the N+1'th night.