> 一个重量数组int W[256]
> 先把全部硬币重量赋值为1
> 遍历全部硬币
> {
> 每次把其中一个硬币重量赋值为2，检查3个表达式是否出现矛盾，如果没有矛盾就找到解了，break
> 再把同一个硬币重量赋值为0，检查3个表达式是否出现矛盾，如果没有矛盾就找到解了，break
> 再把同一个硬币重量恢复1，检查下一个
> }
> 所谓矛盾，只要把表达式两边硬币重量加起来比较看看是不是和even、up、down一致
> 
> 现在下标对应的就是假币
> 而这个下标对应的W[]值说明了它是heavy（为2时）或是light（为0时）
> 
> 简单吧？