称球智力题

先引入一个记号：对于任意实数a，我们用{a}表示大于等于a的最小整数，比如说{2.5}=3，{4}=4；我们用[a]表示小于等于a的最大整数，比如说[2.5]=2，[4]=4。

我们首先考虑这样一种布局的集合。假设m，n为两个非负实数，不同时为0。在编号从1到m+n的m+n个球中，我们知道1到m号球要么是标准球，要么比标准球重，而m+1到m+n号球要么是标准球，要么比标准球轻；我们还知道其中有一个是坏球（但不知轻重）。换句话说，我们知道真实的情况是以下m+n种布局之一：
　　1. 1号是坏球，且较重；
　　2. 2号是坏球，且较重；
　　……
　　m. m号是坏球，且较重；
　　m+1. m+1号是坏球，且较轻；
　　m+2. m+2号是坏球，且较轻；
　　……
　　m+n. m+n号是坏球，且较轻。
有一种特殊的情况是m=0或n=0，也就是说坏球的是轻还是重已经知，常常被用来单独作为智力题。

结论1：
1)在以上条件成立的情况下，要保证在m+n个球中找出坏球并知道其轻重，至少需要称{log3(m+n)}次。
2)如果m和n不同时为1，那么称{log3(m+n)}次就足够了。如果m=n=1，并且另有一标准球，那么称{log3(m+n)}={log3(1+1)}=1次也足够了。

在上面我们看到，可能的布局是m+n种（1重，2重，……，m重，m+1轻，m+2轻，……，m+n轻）。假设我们已经有一个策略能保证在这m+n个球中找出坏球并知道其轻重，那么每一个布局都要通向策略树上的不同叶子，这棵策略树至少需要有m+n片叶子。但是一棵高度为H的三分树最多只能有3^H片叶子。于是这棵策略树必须满足条件

　　3^H ≥ m+n
也就是
　　H ≥ log3(m+n)
考虑到H是整数，我们就证明了
　　H ≥ {log3(m+n)}

对于k=1。不用说了
对于k=2。m=1，n=1的情况已经讨论过了。考虑m=2，n=0。这时我们知道坏球比较重。
们知道坏球比较重。m=0，n=2的情况完全类似。

假设对于m+n＜k的情况我们都可以用{log3(k)}次称出坏球。考虑m+n=k的情况。我们把1到m号球称为第一组球，m+1到n号球称为第二组球。

　　设H={log3(m+n)}＝{log3(k)}。那么我们有
　　3^H-1 ＜ k ≤ 3^H
　　3^H-2 ＜ k/3 ≤ 3^H-1
　　3^H-2 ＜ {k/3} ≤ 3^H-1
于是
　　{log3{k/3}}=H-1。

如果m或n是偶数，那就很简单。比如说假设m是偶数，有两种可能性。如果m/2≥{k/3}，那么就从第一组球中各取{k/3}个球作为第一和第二堆（这时在第一第二堆中只有第一组的球）；如果m/2＜{k/3}，那么就把第一组球分为相同的m/2个球的两堆，再分别用{k/3}-m/2个第二组球去把它们补充成{k/3}个球的两堆（这时在第三堆中就只有第二组的球了）。很显然这样的分堆符合上面的要求。

如果m和n都是奇数，事情就有点复杂。首先如果(m-1)/2≥{k/3}的话，那么按上面的方法也很容易把球按要求分为三堆。但是如果(m-1)/2＜{k/3}，我们就必须先从第一组中各拿出(m-1)/2个球放入第一和第二堆，再从第二组中各拿出{k/3}-(m-1)/2个球将它们补充到各
有{k/3}个球为止。这就需要从第二组中总共拿得出2({k/3}-(m-1)/2)个球来。所以必须有
　　2({k/3}-(m-1)/2) ≤ n
即
　　2{k/3} ≤ (m-1)+n
　　2{k/3} ≤ k-1
这个不等式在k=3或k＞4时总是成立的，但是对k=4就不成立。所以我们要对k=4且m，n都是奇数的情况作特殊处理。我们只需考虑m=3，n=1这种情况。把1号球和2号球放在天平两端，如果不平衡，那么较重的那个是坏球；如果平衡，那么把1号球和3号球放在天平两端，平衡则4号球为坏球且较轻，不平衡则3号球为坏球且较重。m=1，n=3的情况完全类似。

于是现在我们就可以毫无障碍地假设，我们已经将m+n=k个球分为这样的三堆：第一堆和第二堆分别有{k/3}个球，并且这两堆中属于第一组的球的数目一样（于是属于第二组的球的数目也一样），第三堆中有k-2{k/3}个球（也就是其余的球）。

结论2：现有N个小球，其中有一个坏球不知比标准球轻还是重。
我们令H={log3(2N)}。
1)要保证在N个球中找出坏球并知道其轻重，至少需要称H次。

　　假设N≠2，我们有
2)如果N＜(3H-1)/2，那么称H次就足够了；
3)如果N=(3H-1)/2，那么称H次足以保证找到坏球，但不足以保
　证知道坏球比标准球轻还是重；
4)如果N=(3H-1)/2，而且还另有一个标准球，那么称H次足以保
　证找到坏球和知道，知道坏球比标准球轻还是重。

　　假设N=2，我们有
5)如果还另有一个标准球，称H={log3(2*2)}=2次足以保证找到
　坏球和知道坏球比标准球轻还是重。