\(12\) 个乒乓球，有一个次品，不知道次品是更重还是更轻，用一台无砝码的天平称三次，找出次品，并告知次品到底是重了还是轻了，请问该怎么做？
首先，将乒乓球均分为 \(3\) 组，设为 \(4A,4B,4C\)，
- 第一次：左边 \(4B\)，右边 \(4A\) 称重。
- 如果平：则次品一定在 \(4C\) 里。
- 第二次：左边 \(4C\) 里随便选 \(3\) 个，右边 \(4A\) 里随便选 \(3\) 个称重。
- 如果平：\(4C\) 中剩下的是次品，最后一次任选一个正常乒乓球称下就知道次品是轻了还是重了。
- 不平：我们就会知道次品到底是重了还是轻了，接下来只需只需要从 \(3C\) 里任选两个一左一右称一下即可，如果两个平，剩下的是次品；否则根据轻重判断出次品。
- 第二次：左边 \(4C\) 里随便选 \(3\) 个，右边 \(4A\) 里随便选 \(3\) 个称重。
- 不平：则次品一定在 \(4A\) 或者 \(4B\) 里。
- 第二次：取 \(4B\) 中 \(2\) 个、\(4A\) 中 \(3\) 个、\(C\) 中 \(3\) 个，左边 \(2B2A\)，右边 \(3C1A\) 称重。
- 如果平：则次品在剩下的 \(1A2B\) 中，然后取 \(2B\) 称一称，平则次品为剩下的 \(1A\)，同时根据第一次不平可以判断出是轻了还是重了；否则在 \(2B\) 中，同样根据根据第一次不平判断出结果。
- 不平：那么我们可以根据第二次和第一次天平的倾斜情况是否相同做出如下判断：如果倾斜情况相同，则次品在左边的 \(2B\) 或者右边的 \(1A\) 中；否则次品在左边的 \(2A\) 中。
- 如果倾斜情况相同：第三次将 \(2B\) 一左一右称一下，如果平，则次品为 \(1A\)，根据第一次不平判断轻了还是重了；否则，同样根据第一次不平一眼看出次品。
- 如果倾斜情况不同：第三次将 \(2A\) 一左一右称一下，根据第一次不平一眼看出次品。
- 第二次：取 \(4B\) 中 \(2\) 个、\(4A\) 中 \(3\) 个、\(C\) 中 \(3\) 个，左边 \(2B2A\)，右边 \(3C1A\) 称重。
- 如果平：则次品一定在 \(4C\) 里。
稍微证明一下为什么第一次不平第二次也不平时可以做出上述判断：反证法，如果第一次和第二次倾斜情况相同，且次品在左边的 \(2A\) 中，那么第一次的倾斜是由右边的 \(4A\) 中的某个次品产生的，第二次的倾斜是由左边的 \(2A\) 中的某个次品产生的，倾斜情况应该相反才对，与前提矛盾，故得证。
问题解决了~
换个思路思考，先考虑第一次称量的情况可以得到的信息：
第一次：
称 \(11,22\) 肯定是寄的；
称 \(33\)，如果平，可以知道次品在 \(6\) 个中；不平，可以知道次品在 \(6\) 个中，获得一次不平衡，\(33\) 时不平获得的信息量更大；
称 \(44\)，如果平，可以知道次品在 \(4\) 个中；不平，可以知道次品在 \(8\) 个中，获得一次不平衡，信息量都还行；
称 \(55\)，如果平，可以知道次品在 \(2\) 个中；不平，可以知道次品在 \(10\) 个中，获得一次不平衡，不平的话直接寄，范围太大了，所以第一次绝对不能 \(55\)。
称 \(66\)，只能获得一次不平衡，弟中之弟。
所以第一次只能 \(33\) 或者 \(44\)。
第二次比较难考虑，先看第三次：
假设此时我们知道次品在 \(n\) 个球中，如果 \(n>3\)，直接寄，不可能一次就找出次品来，即使已经知道次品更重还是更轻。
如果 \(n\leq3\)，则需要先看一下我们知不知道小球到底是更轻还是更重。
如果我们已经知道小球更轻或是更重，那么就能一次找出次品来，只在这 \(n\) 个球里称就可以，具体操作稍微想一下应该就能知道，故不多加赘述。
如果我们不知道小球更轻还是更重，那么一定得有 \(n=1\)，不然找不出来。
但是，也有特殊情况，如果我们最后剩下 \(2or3\) 个小球、不知道轻重，但前面两次获得了较多关于轻重不平衡的信息，那么也有可能通过这第三次称量，一次便既找出次品又得出轻重。
想清楚了这些，我们再来看第二次称量：
先考虑 \(33\)，因为第一次平的时候获得的信息量绝对小于不平的，所以直接看平的，如果平的都可以有一种合法的方案，那么不平也一定可以，那么就找到了一个解，否则 \(33\) 就不行，只能去考虑 \(44\)。
第一次平，得出次品在剩下的 \(6\) 个小球里面，根据前面对第三次的分析，我们知道第二次一定也要称 \(33\)，别的称法的话，都无法保证能够将第三次称量时的次品范围缩小到 \(3\) 个以内。
第二次的 \(33\)，显然只能用 \(3\) 个正常的和 \(3\) 个可能是次品的称，此时如果平，则会剩下三个可能是次品的小球，且一次不平衡的信息都没得到过，按照上面关于第三次的讨论，这种情况下显然无法找出来，因此第一次称 \(33\) 是不行的。
所以第一次只能称 \(44\)，然后就按着差不多的思路枚举排除一下，推着推着就推出答案了，重点是要在尽可能快速地缩小次品范围的同时得到较多的轻重不平衡的信息，拓展到其他数量的小球称量也是同样的道理，据说有个 \(n\) 取任意值的通解，但懒得去研究了，有兴趣的同学可以自行百度。
