一道全网没有答案的难题

网上给出的答案基本上都是理论解，先分析一下如何求出理论解。
第一步应该是把问题简化人脑工作记忆能轻松处理的级别，把1000桶酒简化成10桶、8桶甚至更少，2桶毒酒也先简化成1桶。这样就便于把每种情况展开分析。
设4桶酒中有1桶毒酒，用o表示好酒，x表示毒酒，那么有4种可能性。
xooo
oxoo
ooxo
ooox
接下来一个问题就是最少几个人喝酒，才能探测并覆盖全部4种可能性。
最简单的是4个人每人尝1桶可以覆盖全部，必然可知哪桶是毒酒。
或者只用3个人，都没事的话，第4桶就是毒酒，这样可以省掉一个人。
如果是很多桶酒，省掉一个人用处不大。那么再省的话每人就要尝多于一桶，最后根据每个人的死活来确定哪桶是毒酒。
我们知道，理论上讲，两个人的死活，有4种情况：死死、活活、死活、活死。
如果2个人的这4种死活情况刚好代表毒酒的4种可能性，那么最少2个人就可以判断出哪桶是毒酒。
可以这么试，第一人尝前两桶，第二人尝第1和第3桶。
xooo - xo死 xo死
oxoo - ox死 oo活
ooxo - oo活 ox死
ooox - oo活 oo活
这样每种死活情况刚好对应每种毒酒的情况，就是理论解可以实现的理想情况。
再扩展一下8桶酒中有2桶毒酒的情况。
这种情况相当于从8桶酒中随机抽出2桶的可能性，是个典型的排列组合问题，不考虑抽出的顺序就是求组合数，C*(8,2)=28。
已有28种毒酒组合，那么至少多少人的死活排列可以有至少28种可能？
算式2^x>=28(2代表死活两种可能)，解得log 2底28=4.807=5人。
这里求得的就是理论值，看起来和二进制编码是一样的。现实分配人数不可能少于这个值。

现实喝酒，会遇到每个人尝几桶酒和尝哪几桶酒的问题。
对于4桶酒，编号1~4，某个人可能喝的情况有[[1], [2], [3], [4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [1, 2, 3], [1, 2, 4], [1, 3, 4], [2, 3, 4], [1, 2, 3, 4]]共15种情况，两个人就有15*15=225种搭配，如果是人数或酒数更多，就很容易产生组合爆炸，即使去掉重复的或在分组规则上做出一些限制，产生的可能性仍然是个天文数字。
产生组合爆炸的问题，一般要用启发式搜索算法才行，或另找规律。
二分法思路是种较优解，可以融入到启发式规则中。
注意二分法解一两桶毒酒的情况还可以，毒酒多了就不太可行。

这题我写了程序了，用的相对简化的暴力穷举，4桶酒中有2毒酒时，3个人喝可解，这3个人分别连到各桶酒的穷举，有4种解法（就是每人只连一桶时可解，共有4种连法），运行秒出。然后试8桶酒，按5人运行，需要运行256个（其实可省到254）外循环，运行了一会没结果，ctrl+c重来，只运行25个外循环，用时4秒多，没找到解，再运行50个外循环，用时144秒，仍没找到解，现在在运行256个外循环。

网上搜了一下，有些人已经研究的比较深入了，我就懒得再分析了，讨论贴看这里：
数学研发论坛的精华贴
https://bbs.emath.ac.cn/thread-1511-1-1.html
结论看这里
https://emathgroup.github.io/blog/two-poisoned-wine
1000桶酒其中2桶毒酒，用启发(遗传进化)、蒙特卡罗(随机运气)等算法暴力搜索目前能达到的最优解是27人。
小规模数据穷举：
6个囚徒可以识别8坛酒
7个囚徒识别10坛酒
8个囚徒识别至少13坛酒

吞帖了单独发一层试试。
我觉得二分法做不到40个人，因为潜伏期的问题，必须一周期内出结果。
每次二分试酒可能出现死左边\右边\两边 三种情况，这三种情况不能只选一种，而必须在出结果前就同时安排测试。
左边/右边的情况可以合并（因为另一边无毒不影响结果），但是两别一起死时只能单独安排测试。这样算的话推了个公式2^n桶酒需要n^2+n-2个人，所以按照二分法1000桶酒需要108人