原文地址： http://www.matrix67.com/blog/archives/6377
原文作者：Matrix67
大家一定見(jiàn)過(guò)很多“我不知道，我也不知道，我還是不知道，我還是不知道，我知道了，我也知道了”的問(wèn)題。但是，我想大家一定沒(méi)有見(jiàn)過(guò)下面這樣的問(wèn)題。
A 、 B 兩人在主持人 C 的帶領(lǐng)下玩一個(gè)游戲。 C 向兩人宣布游戲規(guī)則：“一會(huì)兒我會(huì)隨機(jī)產(chǎn)生兩個(gè)不同的形如 n – 1/2k – 1/2k+r 的數(shù)，其中 n 、 k 是正整數(shù)， r 是非負(fù)整數(shù)。然后，我會(huì)把這兩個(gè)數(shù)分別交給你們。你們每個(gè)人都只知道自己手中的數(shù)是多少，但不知道對(duì)方手中的數(shù)是多少。你們需要猜測(cè)，誰(shuí)手中的數(shù)更大一些?！边@里，我們假設(shè)所有人的邏輯推理能力都是無(wú)限強(qiáng)的，并且這一點(diǎn)本身也成為了共識(shí)。 C 按照規(guī)則隨機(jī)產(chǎn)生了兩個(gè)數(shù)，把它們交給了 A 和 B ，然后問(wèn)他們是否知道誰(shuí)手中的數(shù)更大。于是有了這樣的一段對(duì)話。
引用 A ：我不知道。
B ：我也不知道。
A ：我還是不知道。
B ：我也還是不知道。
C ：這樣下去是沒(méi)有用的！可以告訴你們，不管你們像這樣來(lái)來(lái)回回說(shuō)多少輪，你們?nèi)匀欢紱](méi)法知道，誰(shuí)手中的數(shù)更大一些。
A ：哇，這個(gè)信息量好像有點(diǎn)兒大！不過(guò)，即使知道了這一點(diǎn)，我還是不知道誰(shuí)手中的數(shù)更大。
B ：我也還是不知道。
A ：我繼續(xù)不知道。
B ：我也繼續(xù)不知道。
C ：還是套用剛才的話，不管你們像這樣繼續(xù)說(shuō)多少輪，你們?nèi)匀粵](méi)法知道誰(shuí)手中的數(shù)更大。
A ：哦……不過(guò)，我還是不知道誰(shuí)手中的數(shù)更大。
B ：而且我也還是不知道。我們究竟什么時(shí)候才能知道呢？
C ：事實(shí)上啊，如果我們?nèi)齻€(gè)就像這樣繼續(xù)重復(fù)剛才的一切——你們倆互相說(shuō)一堆不知道，我告訴你們這樣永遠(yuǎn)沒(méi)用，然后你們繼續(xù)互說(shuō)不知道，我繼續(xù)說(shuō)這不管用——那么不管這一切重復(fù)多少次，你們?nèi)匀徊恢勒l(shuí)手中的數(shù)更大！
A ：哇，這次的信息量就真的大了。只可惜，我還是不知道誰(shuí)的數(shù)更大一些。
B ：我也還是不知道。
A ：是嗎？好，那我現(xiàn)在終于知道誰(shuí)的數(shù)更大了。
B ：這樣的話，那我也知道了。而且，我還知道我們倆手中的數(shù)具體是多少了。
A ：那我也知道了。
那么 ， C 究竟把哪兩個(gè)數(shù)給了 A 和 B ？
上面的題目明顯來(lái)自于這樣一個(gè)老題： C 隨機(jī)產(chǎn)生了兩個(gè)不同的正整數(shù)，分別交給了 A 、 B ，并讓兩人猜測(cè)誰(shuí)手中的數(shù)更大。然后 A 說(shuō)不知道， B 說(shuō)不知道， A 說(shuō)還是不知道， B 也說(shuō)還是不知道，然后 A 說(shuō)知道了， B 說(shuō)不但知道了，而且這兩個(gè)數(shù)具體是多少都知道了。問(wèn)這兩個(gè)數(shù)是多少。
解答過(guò)程并不復(fù)雜。首先， A 說(shuō)了一個(gè)“不知道”。這當(dāng)然不奇怪，一開(kāi)始就說(shuō)“知道了”才奇怪呢。我們不妨反過(guò)來(lái)想想，什么情況下 A 一開(kāi)始就會(huì)說(shuō)“知道了”呢？容易想到，這一定是因?yàn)?A 手中的數(shù)是 1 。由于 C 產(chǎn)生了兩個(gè)不同的正整數(shù)，因此當(dāng) A 手中的數(shù)是 1 時(shí)，他就知道了 B 手中的數(shù)必然更大。然而， A 實(shí)際上說(shuō)的是“不知道”，這說(shuō)明 A 手中拿到的數(shù)不是 1 。也就是說(shuō)， A 手中的數(shù)至少是 2 。
B 聽(tīng)到了 A 的回答后，也推出了這一點(diǎn)。那么，什么情況下 B 會(huì)立即說(shuō)“知道了”呢？當(dāng)然，如果 B 手中的數(shù)是 1 ，他就立即知道 A 手中的數(shù)更大了，因?yàn)?A 手中的數(shù)至少是 2 。另外，如果 B 手中的數(shù)是 2 ，他也會(huì)立即知道 A 手中的數(shù)更大——既然 A 手中的數(shù)至少是 2 ，并且又不等于自己手中的數(shù)，因而必然更大一些。當(dāng)然， B 說(shuō)的實(shí)際上是“不知道”，這說(shuō)明 B 手中的數(shù)至少是 3 。
A 聽(tīng)到了 B 的回答后，也推出了這一點(diǎn)。但是， A 又說(shuō)了個(gè)“不知道”。這說(shuō)明， A 拿到的既不是 2 ，也不是 3 ，否則他都能推出 B 手中的數(shù)更大。因此， A 手中的數(shù)至少是 4 。同理，根據(jù) B 的下一個(gè)“不知道”可以推出， B 手中的數(shù)既不是 3 ，也不是 4 ，至少是 5 。此時(shí)， A 說(shuō)“知道了”。這說(shuō)明， A 手中的數(shù)肯定是 4 和 5 當(dāng)中的一個(gè)，他據(jù)此推出了 B 手中的數(shù)更大。但是， B 為什么能緊接著推出 A 手中的數(shù)具體是多少呢？這一定是因?yàn)椋?B 手中的數(shù)就是 5 ，因而能斷定 A 手中的數(shù)只可能是 4 。所以， A 、 B 兩人手中的數(shù)分別是 4 和 5 。
這就是舊版的題目。它和本文最開(kāi)頭的那個(gè)新版的題目有什么聯(lián)系呢？用下面兩張圖來(lái)說(shuō)明真是再合適不過(guò)了。在舊版的題目中，把兩人手中可能的數(shù)（也就是 C 能產(chǎn)生出來(lái)的數(shù)）全都標(biāo)在數(shù)軸上，那大概是這樣：
而在新版的題目中，把兩人手中可能的數(shù)（也就是 C 能產(chǎn)生出來(lái)的數(shù)）全都標(biāo)在數(shù)軸上，則大概是這樣：
你會(huì)發(fā)現(xiàn)這種情況非常有意思。最小的一批數(shù)是 0, 1/4, 3/8, 7/16, … ，這樣數(shù)下去會(huì)有無(wú)窮多個(gè)數(shù)。但是，這無(wú)窮多個(gè)數(shù)的后面還有 1/2, 5/8, 11/16 等數(shù)，而且這一系列數(shù)本身又是無(wú)窮多的；在這無(wú)窮多個(gè)數(shù)的后面又還有 3/4, 13/16 等數(shù)，它們也有無(wú)窮多個(gè)……事實(shí)上，我們會(huì)遇到無(wú)窮多個(gè)類(lèi)似于這樣的無(wú)窮多個(gè)數(shù)，而最關(guān)鍵的就是，在這無(wú)窮多個(gè)無(wú)窮的后面，還有 1, 5/4, 11/8 等數(shù)。在新版的題目中， A 、 B 、 C 之間的游戲就是在這樣的“場(chǎng)所”上進(jìn)行的。
和舊題類(lèi)似，在新題中，兩人一遍又一遍地宣稱(chēng)自己“不知道”，本質(zhì)上就是對(duì)序列 0, 1/4, 3/8, 7/16, … 從前往后進(jìn)行排除。然而， C 跳出來(lái)說(shuō)“這樣下去是沒(méi)有用的”，就意味著任何一方手上的數(shù)都不可能是該序列里的數(shù)，本質(zhì)上相當(dāng)于幫兩人一下子排除掉了這無(wú)窮多種可能。如果此時(shí) A 說(shuō)自己“知道了”，那一定是因?yàn)樗掷锬弥氖浅暨@無(wú)窮多個(gè)數(shù)之后剩下的最小的數(shù)，即 1/2 。然而， A 仍然說(shuō)自己“不知道”，并且 B 也繼續(xù)說(shuō)自己“不知道”，并如此往復(fù)。此時(shí)，他們就相當(dāng)于是在序列 1/2, 5/8, 11/16, … 上斗智了。而 C 又說(shuō)了一遍剛才的話，本質(zhì)上相當(dāng)于又幫兩人把這一系列數(shù)都排除掉了。兩人繼續(xù)開(kāi)始考慮下一系列數(shù)的可能。
最后， C 告訴兩人，這個(gè)模式重復(fù)多少次都不管用。于是，再下一系列的數(shù)，再下一系列的數(shù)，以及后面無(wú)窮多個(gè)系列的數(shù)，都被排除掉了。兩人都知道了，他們手上的數(shù)都至少是 1 。當(dāng) A 再次說(shuō)“不知道”的時(shí)候，說(shuō)明他手中的數(shù)不是 1 ； B 再次說(shuō)“不知道”，說(shuō)明他手中的數(shù)既不是 1 也不是 5/4 ； A 說(shuō)“知道了”，說(shuō)明他手中的數(shù)是 5/4 和 11/8 中的一個(gè)； B 連具體的數(shù)也推出來(lái)了，說(shuō)明此時(shí) B 手上的數(shù)就是 11/8 。所以，兩人手上的數(shù)分別是 5/4 和 11/8 。
本文的問(wèn)題出自這里，有改動(dòng)。知道序數(shù)理論的朋友或許會(huì)意識(shí)到，這是引入序數(shù)概念的一個(gè)絕佳的例子。文中的很多細(xì)節(jié)之處缺乏形式化描述，這使得題目和解答都有商討的空間。 | 