趣题：无限多层嵌套的逻辑推理.doc

《趣题：无限多层嵌套的逻辑推理.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、大家一定见过很多“我不知道，我也不知道，我还是不知道，我还是不知道，我知道了，我也知道了”的问题。但是，我想大家一定没有见过下面这样的问题。A、B两人在主持人C的带领下玩一个游戏。C向两人宣布游戏规则：“一会儿我会随机产生两个不同的形如n–1/2k –1/2k+r 的数，其中n、k是正整数，r是非负整数。然后，我会把这两个数分别交给你们。你们每个人都只知道自己手中的数是多少，但不知道对方手中的数是多少。你们需要猜测，谁手中的数更大一些。”这里，我们假设所有人的逻辑推理能力都是无限强的，并且这一点本身也成为了共识。C按照规则随机产生了两个数，把它

2、们交给了A和B，然后问他们是否知道谁手中的数更大。于是有了这样的一段对话。A：我不知道。B：我也不知道。A：我还是不知道。B：我也还是不知道。C：这样下去是没有用的！可以告诉你们，不管你们像这样来来回回说多少轮，你们仍然都没法知道，谁手中的数更大一些。A：哇，这个信息量好像有点儿大！不过，即使知道了这一点，我还是不知道谁手中的数更大。B：我也还是不知道。A：我继续不知道。B：我也继续不知道。C：还是套用刚才的话，不管你们像这样继续说多少轮，你们仍然没法知道谁手中的数更大。A：哦……不过，我还是不知道谁手中的数更大。B：而且我也还是不知道。我们究

3、竟什么时候才能知道呢？C：事实上啊，如果我们三个就像这样继续重复刚才的一切——你们俩互相说一堆不知道，我告诉你们这样永远没用，然后你们继续互说不知道，我继续说这不管用——那么不管这一切重复多少次，你们仍然不知道谁手中的数更大！A：哇，这次的信息量就真的大了。只可惜，我还是不知道谁的数更大一些。B：我也还是不知道。A：是吗？好，那我现在终于知道谁的数更大了。B：这样的话，那我也知道了。而且，我还知道我们俩手中的数具体是多少了。A：那我也知道了。那么，C究竟把哪两个数给了A和B？         上面的题目明显来自于这样一个老题：C随机产生了两个不

4、同的正整数，分别交给了A、B，并让两人猜测谁手中的数更大。然后A说不知道，B说不知道，A说还是不知道，B也说还是不知道，然后A说知道了，B说不但知道了，而且这两个数具体是多少都知道了。问这两个数是多少。解答过程并不复杂。首先，A说了一个“不知道”。这当然不奇怪，一开始就说“知道了”才奇怪呢。我们不妨反过来想想，什么情况下A一开始就会说“知道了”呢？容易想到，这一定是因为A手中的数是1。由于C产生了两个不同的正整数，因此当A手中的数是1时，他就知道了B手中的数必然更大。然而，A实际上说的是“不知道”，这说明A手中拿到的数不是1。也就是说，A手中的

5、数至少是2。B听到了A的回答后，也推出了这一点。那么，什么情况下B会立即说“知道了”呢？当然，如果B手中的数是1，他就立即知道A手中的数更大了，因为A手中的数至少是2。另外，如果B手中的数是2，他也会立即知道A手中的数更大——既然A手中的数至少是2，并且又不等于自己手中的数，因而必然更大一些。当然，B说的实际上是“不知道”，这说明B手中的数至少是3。A听到了B的回答后，也推出了这一点。但是，A又说了个“不知道”。这说明，A拿到的既不是2，也不是3，否则他都能推出B手中的数更大。因此，A手中的数至少是4。同理，根据B的下一个“不知道”可以推出，B

6、手中的数既不是3，也不是4，至少是5。此时，A说“知道了”。这说明，A手中的数肯定是4和5当中的一个，他据此推出了B手中的数更大。但是，B为什么能紧接着推出A手中的数具体是多少呢？这一定是因为，B手中的数就是5，因而能断定A手中的数只可能是4。所以，A、B两人手中的数分别是4和5。这就是旧版的题目。它和本文最开头的那个新版的题目有什么联系呢？用下面两张图来说明真是再合适不过了。在旧版的题目中，把两人手中可能的数（也就是C能产生出来的数）全都标在数轴上，那大概是这样：而在新版的题目中，把两人手中可能的数（也就是C能产生出来的数）全都标在数轴上，则

7、大概是这样：你会发现这种情况非常有意思。最小的一批数是0,1/4,3/8,7/16,…，这样数下去会有无穷多个数。但是，这无穷多个数的后面还有1/2,5/8,11/16等数，而且这一系列数本身又是无穷多的；在这无穷多个数的后面又还有3/4,13/16等数，它们也有无穷多个……事实上，我们会遇到无穷多个类似于这样的无穷多个数，而最关键的就是，在这无穷多个无穷的后面，还有1,5/4,11/8等数。在新版的题目中，A、B、C之间的游戏就是在这样的“场所”上进行的。和旧题类似，在新题中，两人一遍又一遍地宣称自己“不知道”，本质上就是对序列0,1/4,3

8、/8,7/16,…从前往后进行排除。然而，C跳出来说“这样下去是没有用的”，就意味着任何一方手上的数都不可能是该序列里的数，本质上相当于帮两人一下子排