《科学画报》2017.4的P48 有一道“动脑筋”题，有点意思。不想手算，就编了个程序。

注意：mod(s,3)的前面是逻辑非算符，不是负号。上图中显示得不清楚。

有一种取巧的解法，逻辑不严密，有漏洞。

哦，还没想过用编程的方法来解决这道题。我的思路是这样的：
（1）从题面看可以知道，顾客是整桶整桶的购买葡萄酒的，或者说这些葡萄酒是整桶整桶的卖的，不会零散着卖，也就是说不会出现0.5桶或者0.3桶等等这样的情况；
（2）从题面给出的这几个桶的容量相差不太多，如果第二个人买的酒是第一个人的两倍，不太可能只买两桶，更可能是买了三桶；
（3）那么剩下的事儿就容易了，这问题就化成了其中两桶的容积和的2倍等于另外三桶的容积和，不考虑10位数，仅看个位数，也就是某两桶的个位数的和的2倍等于另外某三桶的个位数的和。然后就用列举法，找最容易算的，30，它的个位数是0，所以如果两桶中有30的话，只要另外一桶的个位数的2倍就可以了。第二个是32，个位数的2倍是4，把其他四桶的个位数拼凑拼凑看看，不可能得到4，那就下一个，36，个位数的2倍的个位数是2，30
+3
6=66，二倍是132，很快我看到了38+32的个位数是0，于是试算了38+32+62=132。问题解决了。
嗯，还有，把上面月城的程序稍作修改就符合逻辑了：

很棒!
若将数字改成∶
30:32:36:40:62:70
会怎样?

改成LNSZDZG老师给的数字向量，无解。
从后面的简化的解法得到的是30 。但是，去掉30后的向量中无法凑成80，所以无解。
简化的解法仅对《科学画报》中给出的向量有效，这就是我在3楼说逻辑不严密的原因。
奇怪的事：在两个JK程序中，如果前面用了JK:= ，后面就不能再用直接算结果的等号= ，
但是，A2和A2b却可以二者兼有之。
请教，是何原因。

要堵住逻辑漏洞，还是要添加判定白葡萄酒能否分成1:2的两组的程序块：

删掉了中间变量a

嗯，跟月城最后的那个程序的思路差不多哈！:)

以下是定稿。9楼的那个程序当存在重复答案的时候，会出现明显的bug。

嗯，不用集合论函数也没问题，加一个Break就可以了……我想多了……

这道题出得确实有漏洞。按照题意，第二个人买白葡萄酒可能是3瓶，也有可能是1瓶或2瓶，比如以下组合：
35，37，144，38，34，62
我买144之后，你买35、37或者38、34，此题都成立，但你无法判断剩下的3瓶里到底哪1瓶是白葡萄酒，都有可能，同样无解。

月城，剑客
看题目的第二段“第二……"没说把白葡萄酒全部买完，所以我改成70后，就有可能都买的是两桶。
我是不是想多了?

月城公寓寓公 楼主：科学画报的智力题，只对他那道题有效。不考虑各种可能。
应该定这样的!

LNSZDZG老师，改成您给出的数据后，确实可以有（30 36）和（62 70）符合题意。但是，这样做就要剩下2桶酒。没有办法确定这2桶酒中的哪一桶是红葡萄酒。所以，还是把余下的3桶酒都给顾客2，才有确定的解。