台大哥傳了一則很有趣的影片給我看
當每個人都有綠眼睛的時候,卻不知道自己是綠眼睛的時候,要如何告訴他們他們都有綠眼睛。
個人推論如下:
兩個人
如果A看到B有綠眼睛
那A會覺得B看到的是 A無 或是 A有
如果B看到A無,那B就是綠眼睛,因此B第1晚會走
但是B第一晚沒有走,因此可知B看到的是A有
三個人
如果A看到B有C有
那A會覺得
B可能會看到 A有C有 或 A沒有C有
C可能會看到 A有B有 或 A沒有B有
假設他們看到的都是A沒有
那就是B看到C有、C看到B有
就同兩個人的推論,BC會在第二天晚上離開
但BC沒有在第二天晚上離開,因此可知BC看到的都是A有
四個人
如果A看到B有C有D有
那A會覺得
B可能會看到 A有C有D有 或 A沒有C有D有
C可能會看到 A有B有D有 或 A沒有B有D有
D可能會看到 A有B有C有 或 A沒有B有C有
假設他們看到的都是A沒有,
那就是B看到C有D有、C看到B有D有、D看到B有C有。
就如同三個人的推論,BCD會在第三天晚上離開,
但BCD沒有在第三天晚上離開,因此可知BCD看到的都是A有。
不管人數如何,都能先假設自己沒有綠眼睛,再套回前一個假設做思考,因此都能在最後得出自己也有綠眼睛這個推論