小白鼠与毒药解题过程分析

出处http://blog.csdn.net/river_like/article/details/21412177

网上流传着一题淘宝面试题，原题如下：

我们有很多瓶无色的液体，其中有一瓶是毒药，其它都是蒸馏水，实验的小白鼠喝了以后会在5分钟后死亡，而喝到蒸馏水的小白鼠则一切正常。现在有5只小白鼠，请问一下，我们用这五只小白鼠，5分钟的时间，能够检测多少瓶液体的成分（）。A：5， B：6， C：31， D：32。

+1只小白鼠

首先可以想象只有1只小白鼠的情况，毫无疑问，1只小白鼠五分钟只能判断1瓶液体的成分，喝两瓶或以上如果是碰不到毒药，则喝多少瓶也能确定多少瓶；但如果遇到有毒药的瓶子，则不能判断那1瓶是毒药，这样的检测是不合理的。

1. 死亡代表液体是毒药
2. 正常代表液体是蒸馏水

• 结论：1只小白鼠可检测1瓶液体成分。

+2只小白鼠

两只小白鼠可以检测3瓶液体成分。从本节开始我们把小白鼠标号N1,N2。首先根据前述结论可知N1,N2小白鼠各喝1瓶液体（N1:1号液体，N2:2号液体）则能够准确判断2瓶液体成分。但是第三瓶的判断可能需要大家稍微转点弯。因为采用的是每个老鼠独立测试液体的方式，每个老鼠的死活并没有任何关联，每个老鼠测试的结果也就无法跟另外的老鼠测试的结果关联。这样做是一般做法，但有没有可能把老鼠联合起来测试来增大测试范围呢？其实是可以的，那就是再拿一瓶3号液体让N1,N2都喝一点。这样有如下

• 喝法（纵向表示液体瓶编号，横向表示小白鼠编号，交叉部分表示小白鼠是否喝了相应的液体）：

液体\小白鼠	N1	N2
1	喝
2		喝
3	喝	喝

• 死法（纵向表示N1小白鼠的测试结果，横向表示N2小白鼠的测试结果，交叉部分数值是毒药瓶编号或无毒药。）

N1\N2	死	活
死	3	2
活	1	无

• 结论：2只小白鼠可检测3瓶液体成分。

+3只小白鼠

由上一节的思维方式，我们可以想象3只小白鼠是否能测试远比3瓶或4瓶更多的液体成分呢？思考2只小白鼠的测试方式，大家有没有注意上面采取的方式是N1,N2各喝了1瓶不一样的（N1:1、3号液体，N2:2、3号液体）。我们除了让每只小白鼠单独喝1瓶不一样的液体，另外让N1，N2同时喝了1瓶一样的3号液体。同样，我们可以对3只小白鼠各自喝1瓶不一样的液体后，在3只小白鼠再喝第4瓶一样的液体。测试如下：

 顺推思维

• 喝法（纵向表示液体瓶编号，横向表示小白鼠编号，交叉部分表示小白鼠是否喝了相应的液体）N1喝1号4号液体;N2喝2号4号液体；N3喝3号4号液体。

液体\小白鼠	N1	N2	N3
1	喝
2		喝
3			喝
4	喝	喝	喝

• 死法

1. N1活N2活N3活：1、2、3、4号液体均正常。
2. N1活N2活N3死：1、2、4号液体均正常，3号液体有毒。
3. N1活N2死N3活：1、3、4号液体均正常，2号液体有毒。
4. N1死N2活N3活：2、3、4号液体均正常，1号液体有毒。
5. N1死N2死N3死：1、2、3号液体均正常，4号液体有毒。
6. 注意，这里不会出现有2只小白鼠死了另外1只活着的情况，因为只有1瓶液体是毒药，而且我们给3个小白鼠喝的方法只有2种：单独喝某1种液体，集体都喝某种液体。

• 结论：3只小白鼠可检测4瓶液体成分。

• 思考：通过如上结论大家有没有觉得怪怪的，或者是不甘心。
  • 1只小白鼠测试1瓶液体
  • 2只小白鼠测试3瓶液体
  • 3只小白鼠测试4瓶液体，根据学数学的增量直觉，是不是太少了？或者如上方法是否有值得发散思维的地方？

  发散思维

关于上面顺推思维的解决方案，好奇的人就会问可不可以也让3只小白鼠也像2只小白鼠测试的那样两两都再喝1瓶一样的液体呢？这样又增加了3瓶（N1、N2再喝5号液体，N1、N3再喝6号液体，N2、N3再喝7号液体）。是不是就出现如上提到的2只死亡其领外1只活着的情况了？试想如果5号液体是有毒？或者6号液体有毒？7号液体有毒？这样3只小白鼠就能检测7瓶液体成分了。仔细想想之后你会发现这样是可行的。测试情况如下：

• 喝法（纵向表示液体瓶编号，横向表示小白鼠编号，交叉部分表示小白鼠是否喝了相应的液体）

液体\小白鼠	N1	N2	N3
1	喝
2		喝
3			喝
4	喝	喝	喝
5	喝	喝
6	喝		喝
7		喝	喝

• 死法

1. 1. N1活N2活N3活：1、2、3、4、5、6、7号液体均正常。
   2. N1活N2活N3死：1、2、4、5、6、7号液体均正常，3号液体有毒。
   3. N1活N2死N3活：1、3、4、5、6、7号液体均正常，2号液体有毒。
   4. N1死N2活N3活：2、3、4、5、6、7号液体均正常，1号液体有毒。
   5. N1死N2死N3死：1、2、3、5、6、7号液体均正常，4号液体有毒。
   6. N1死N2死N3活：1、2、3、4、6、7号液体均正常，5号液体有毒。
   7. N1死N2活N3死：1、2、3、4、5、7号液体均正常，6号液体有毒。
      
   8. N1死N2死N3死：1、2、3、4、5、6号液体均正常，7号液体有毒。至此，所有可能情况已经被枚举完毕。

• 结论：3只小白鼠是可以检测7瓶液体成分的。

归纳和发现

通过上述分析和思考，想必大家都很想知道这里的原理和推论了。我们把刚刚得到的结论再次贴出：

• • 1只小白鼠测试1瓶液体
  • 2只小白鼠测试3瓶液体
  • 3只小白鼠测试7瓶液体
  • 4只小白鼠测试N瓶液体?
  • 5只小白鼠呢？

如果你学过数列，你会直接猜出4对应15（2 ⁴-1=15）。因为前面是

• • 1只小白鼠测试2¹–1瓶液体
  • 2只小白鼠测试2²–1瓶液体
  • 3只小白鼠测试2³–1瓶液体

事实上答案就是这样。但是你要怎么证明呢？

其实总结起来大家会发现，我们采用了如下策略进行测试：

1. • 让N只小白鼠每1只喝单独的1瓶
   • 让N只小白鼠任意中2只再同时喝1瓶新液体
   • 让N只小白鼠任意中3只再同时喝另1瓶新液体
   • 。。。
   • 让N只小白鼠任意中N只再同时喝1瓶格外新的液体

仔细想想你会发现这样最大限度了利用了联合测试结果，并且刚刚好所有的结果都不冲突。如果你有幸见到老练的实验室工作者，你还会发现这个是他们做这种类型的检测试验的通用方法。

接下来考验你数学功底的时候到了。

集合论学习比较过关的人会从上面总结出N个小白鼠可以测试液体瓶数为：C_n¹+C_n² + C_n³+…+ C_n^n-1+C_nⁿ

如果你集合论的公式不是很熟悉又比较懒，又稍有耐力，那你可以慢慢计算出当小白鼠数量N =10时的结果是 1023.但是多了你就不想在浪费时间了。

现在想想另外一个问题：一个包含N个不同元素的集合包含的子集合总数是多少（空集合也是集合）？

查看高2（2004年）数学书你就知道：总数=C_n⁰+C_n¹+C_n² + C_n³+…+ C_n^n-1+C_nⁿ 。即从中取出0、1、2...3、N-1、N个元素组成的子集合的总数。并且这个问题还有一个很简单的解答方式： 设想其子集合很多，但是每个集合对于元素的包含只有2种可能：包含、不包含。那么N个元素的组合可能即2*2*2*...*2=2ⁿ

再来对照上面的N个小白鼠测试液体瓶数：C_n¹+C_n²  + C_n³+…+ C_n^n-1+C_nⁿ= （C_n⁰+C_n¹+C_n² + C_n³+…+ C_n^n-1+C_nⁿ ）-C_n⁰

即2ⁿ- C_n⁰。即2ⁿ - 1.至此

本题答案

5只小白鼠能测试的液体瓶数2⁵ - 1=31已经解答完毕了。

======================================================================================================

总结

回头想想这个题目，因为只有5小白鼠个，其实可以完全凭着你的发散思维和坚持不用靠集合论等高中以上数学知识搞定的，前提是你足够会发散思维，会总结，推理能力较强。问题的关键处有3个，前2个能帮助你解答本题，后1个能帮助你做出总结和快速算法推论：

1. 2个小白鼠能想到同时再喝1瓶新的。
2. 3个小白鼠能想到分组在喝，多个小白鼠思考能有条不紊、不乱。
3. N个元素集合子集数量的两种表示法和证明过程

【拓展】http://blog.sina.com.cn/s/blog_5a6f39cf01013jqp.html

现在的问题是，假如那1000个小瓶里面有2瓶里面有毒药，那么应该至少需要多少只小白鼠才能一次性检查出哪两瓶是毒药呢？这个问题与上面那个问题很相近，但是海明码校验出错位只能够纠正一个出错位，而无法确定出两个出错位，那么应该怎么办呢？

      对于这个问题，如果有如下假设：1.小白鼠喝的毒药的浓度越高，死的越快；2.最开始的小瓶里面，要么是纯水，要么是纯毒药；3.纯水与纯水混合，还是纯水；毒药和毒药混合，还是纯毒药；纯水与毒药混合，会降低其浓度；4.如果小白鼠喝了纯毒药和被稀释了的毒药，那么认为死亡时间和只喝纯毒药的死亡时间一样，即不会加快死亡。

      那么，基于以上假设，可以这样来解决这个问题：

      首先把这1000个小瓶里面的液体两两混合，则有1000*999/2=499500瓶新液体，这个时候，这些液体里面就只有1瓶毒药是纯毒药了，当然还有一些稀释了的毒药，但是不会影响结果。因为一段时间过后，最先死去的那些小白鼠都是喝了这瓶纯毒药的小白鼠。这样，就可以利用上面那个简单问题的解决方案来解决这个问题了。那么这种情况下，由于2^18<499500<2^19，则至少需要19只小白鼠，才能一次性检测出那瓶纯毒药，然后根据之前的混合关系，就知道了哪两瓶是纯毒药了。

      

      继续扩展思维。如果原来的1000瓶里面有3瓶毒药，那应该怎么办呢？有了上面的分析，思考起来就很简单了。将这1000瓶液体三三混合，则有1000*999*998/(3*2*1)瓶新液体，由于数量在2^27-2^28之间，则至少需要28只小白鼠才能一次性检测出哪三瓶是毒药，当然，还是基于上述那4个假设的基础上。

      当然，对于1000瓶里面有4瓶毒药，5瓶毒药，甚至跟多的毒药，则都可以在依据上述假设的基础上，利用上述方法进行检测。（当然，分的越多，实验员的工作就会越繁琐，仅混合液体就够麻烦了。呵呵:P）

      以上想法是我基于原始的小白鼠试毒药问题，通过扩散思维而想到的。只是在原有的海明码的基础上进行的扩充。但是我想，现阶段，应该有可以检测出2个甚至更多的错误位的校验码方法了吧？如果这种校验方法存在的话，那么同理可以引用进来进行检测。

      大家如果有什么更好的方法，还望不吝赐教。

回头