称球问题的通解.docVIP

称球问题的通解 精选 已有 972 次阅读 2013-2-1 12:36 |个人分类:智力|系统分类:科普集锦|关键词:称球问题 智力游戏 13球问题十分经典，就我所知也有三十多年历史了。因为问题简单，不需要预备知识，又有点难度，纯凭清醒脑力来解答，成为大人小孩通杀经久不衰的练脑题，聪明的中学生纸上画画也能解出，大人也就考究个虚空冥想，心智澄明的功力。这问题网上有不少答案，恐怕连中学生都知道了。所以喜欢做研究的人，就会考虑一般性的问题。 在一堆等重的球中有一个重量不同的次品球，用天平称k次找出来，问这堆球最多可以是多少？ 它的通解是：最多且可以达到n （3**k-1）/2个球。这里3**k意思是3的k次方。我曾将这证明贴在外面网上，很多人都看过，现在附在后面。在科学网写科普，要有点技术含量的新意，才对得起愿意动脑筋看帖子的人。我就在这里分享考虑问题的思路。 首先考虑一个简单的情况，假如已知这个次品比正品重（或轻），把这堆球三等分，放两堆到天平两边称一次可以指出是在哪堆，一直重复这三等分法，就能确定是哪一个。所以称k次可以分辨3**k个球。 有人从信息的角度解答这简单题。从n个球中取出次品的概率是1/n，确定它需要log2 n 比特的信息量；用天平称会有三种结果：左重右轻、平衡、左轻右重，称一次给出的信息量是log2 3 ；所以从n个球中找出次品，需要称的次数k是log2 n /log2 3 log3 n ，也就是n 3**k ，这和上面的答案是一样的。 对于不知次品轻重的情况，从n个球中取出次品的概率是1/n，而这次品是偏重或偏轻的概率是1/2，确定它需要log2 2n 比特的信息量。所以从n个球中找出次品需要称的次数k至少是log2 2n /log2 3 log3 2n ，也就是2n 3**k ，考虑到左边是偶数，右边是奇数，故有n （3**k-1）/2，这和通解的答案是一样的。 这个信息量说法看起来很牛，既简练又准确。但是做研究，每一步必须有根据，所有说法要落到实处，一直追查到逻辑上没有含糊之处才算完。我们首先要问：为什么可以应用这信息的计算？这球的信息量和天平的信息量是怎么联系起来？ “信息论中的编码理论呀！”好。那我们就要考究怎么把这问题转化为编码问题。 对于简化问题，把这球排成一列，每次称时相当于编码数字的位置，判断次品属于哪一堆相当于给这位置赋值，从而可以给这列球编号，这当然可以用信息量来解。为了说明可以应用编码的概念，其根据是天平称量把球区分成3堆的分类法。这是绕了一圈说问题，信息论的编码只是用来装饰，除了看起来比较高深以外，对解题没有多大帮助，还不如直接用分类法来解来得更直观。 对于一般问题，怎么用几次天平称量的状态给这2n种的可能性编码？天平只能作用在物理的球上，每个球联系着两种的可能，在天平的两边必须放等量的球，所以考虑编码还必须受到物理实现的约束。不考虑这些细节，没办法应用编码的数学模型。直接套用信息量计算的公式看起来很牛，虽然结果也对。但深思下去就觉得这个步子迈得没根据，缺乏说服力。 我举个例子来提疑问。大家知道对于5个球，用天平称两次是没有办法从中区分出次品球。这用信息量的解释是：5个球其中有个次品不知偏重或轻，信息量是log2 10 ，称两次信息处理能力是2log2 3 log2 9 ，当然是不能区分。但是，我们如果加上一个已知的正品球，就能够区分了。（这个解法见《称球问题》帖子中放外边那堆5个球的称法，或通解证明）需知这个已知的球信息量是0，加在一起不会减少问题的信息量。所以说直接套用信息量的做法，没有揭示其中的逻辑。 好了，同分析简化问题看法一样，与其绕一圈套用信息的说法，不如考虑决策树来得直观。 决策树【1】是这样的，天平在树的节点上，每个节点依天平的3种状态分出3个分支，称量的次数k相当于树的层数，决策树的叶子是几次称量后可以分辨的状态集。什么是问题空间的状态？每个球有两种状态“疑重”或“疑轻”，分别代表着它可能是重的次品和轻的次品，附上球的编号，n个球对应着2n个状态，这些球的状态通过通过节点，即天平称量后，沿着不同分支走向叶子。如果要分辨出次品及其轻重，每个叶子只能包含一个状态，如果只要分辨出次品，叶子里包含的状态必须不超出一个球但可以包含这球的两个状态。举个具体例子。 比如说3个球，按编号和“疑重”、“疑轻”，6种状态分别记为1z 1q 2z 2q 3z 3q。将1号和2号球分别放天平左边和右边，3号在外面，一次称量后的决策树如下：