球类称重问题的一般解法

最近与朋友们讨论球类称重问题的解法，颇有启发，将讨论成果与朋友们分享。

首先球类问题中有两个引理：

引理1:

(1) 已知一个球为标准球。

(2) 一个球为非标准球，但是不知道它的轻重。

(3) 用天平称重k次，最多可以从n个球中找出非标准球，并且可以确定它是轻了还是重了。

(4) n = 1 + 3 + ... + 3^{k-2}+3^{k-1}。

引理2:

(1) 一个球为非标准球，并且我们已知它是轻了或是重了。

(2) 用天平称重k次，最多可以从n个球中找出非标准球。

(3) n = 3^{k}。

例题1: 现在有4个球，一个标准球，一个非标准球并且不知道轻或重，用2次找出非标准球并且确定轻或重。

解答：假设标准球为1,其他三个球为2,3,4。那么我们首先称2,3.

If 2==3

 那么我们再称1,4, 如此便可确定非标准球是4并且知道轻或重。

If 2>3

 此时我们知道2或者3是非标准球，并且2重或是3轻。那么我们再称1,2，如果 1==2，那么说明3是非标准球并且轻了。否则如果1<2,那么说明2是非标准球并且重了。

If 2<3

 情况和上面的一种正好相反。

例题2：现在有13个球，一个标准球，一个非标准球并且不知道轻或重，用3次找出非标准球并且确定轻或重。

解答: 我们给所有球标号,1,2,3,4,5,6,7,8,9,10,11,12,13。假设6号是标准球，那么我们分两组

A:1 2 3 4 5

B: 6 7 8 9 10

If  A==B

 那么我们知道11 12 13中有非标准球，那么我们加入6标准球，就是转换为在4个球中称两次找到非标准球，并且知道轻或重，解决。

If A > B

 那么我们将1 2 和 7 8 9 10放一起。并且我们知道1 2 重或7 8 9 10 轻。 再分两组

 C: 1 7 8

 D: 2 9 10

 If C>D

  那么1重或是9 10轻，这时我们称重9 10，如果9==10，那么1重。如果9<10，那么9轻，如果9>10，那么10轻。

 If C<D

  那么2重或是7 8 轻，原理同上。

 If C==D

  那么3 4 5重, 如果3==4，那么5重。如果3>4，那么3重，如果3<4，那么4重。

If A < B

 那么我们仍然将1 2和7 8 9 10放一起。并且我们知道1 2 轻或是7 8 9 10 重。再分两组

 E: 1 7 8

 F: 2 9 10

 If E>D

  那么7 8重或是2轻，我们称7 8，如果7==8，那么2轻，如果7>8，那么7重，反之8重。

If E<D

  那么1轻或是9 10重，原理同上。

If E=D

 那么3 4 5轻，我们也可以用一次找出轻的非标准球。

例题3: 现在有40个球，一个标准球，一个非标准球并且不知道轻或重，用4次找出非标准球并且确定轻或重。

根据例题1,2的启发，我们可以将球分为3组 A(14) B(14) C(12)并且将标准球放入B重。

If A==B

 我们可以根据例题2解答。

If A > B

 那么我们拿出A中的五个A(5)与B(13)（除去标准球）放一起。并且分成三份

 C: A(1 2)B(6 7 8 9)

 D: A(3 4)B(10 11 12 13)

 E: A(5)B(14 15 16 17 18)

 If C==D，那么A(5)重或是B(14 15 16 17 18)轻。

F: A(5)B(14)

G: B(15)B(16)

H: B(17)B(18)

If G==H, 那么我们拿一个标准球和A(5)比，如果A(5)重，那么A(5)就是非标准球，否则B(14)就是非标准并且轻。

If G>H, 那么我们比B(17) B(18)，轻的是非标准球。

If G<H, 那么我们比B(15) B(16)，轻的是非标准球。

 If C<D，那么A(3 4)重，或是B(6 7 8 9)轻。

 I: A3 B6

 J:A4 B7

 K:A5 B8

If I==J, 那么我们拿一个标准球和A5比，如果A5重，A5是非标，否则B8是非标。

If I>J，那么我们拿标准球和A3比，如果A3重，A3是非标，否则B7是非标并且轻。

If I<J，那么我们拿标准球和A4比，如果A4重，A4是非标，否则B6是非标并且轻。

其他情况同理可以推出。

所以总结出来有几点启示：

(1) 当为引理1的条件时，我们将标准球放入，分成两份。

(2) 其他情况下不放入标准球，分成三份，并且保证其中一份的数目是3^{k}，k为当前剩下的次数。