matlab最小字典序,12小球称重问题 完美解决方案（转自 skywind.name)

网上 有好几种 解决方案，skywind.name上的这个最棒， 赞一下！

可惜 偶 苦思冥想 3 个小时，思路换了3、4种，也没找到完美解决方案。

以下 是 转自 skywind.name

12个小球称重问题的完美解法

先看答案，设小球编号分别从A到L，不管每次的结果如何(没有条件分支)，如下比较三次：

A B C D === E F G H

A H I K === C D E J

C G I L === A D F K

我们将天平左侧重称为结果1；右侧重为结果-1；平衡为结果0。显然，如果上面三次比较的结果为1，1，-1，则A是坏的，并且比较重。如果结果是-1，0，0，则B比较重。我们还能得出一个额外的解，就是三次都平衡，则没有错误的小球。

所有球比较重的情况列表如下，将结果取反就是轻球的情况。可以看出，每个小球是否轻重都有且只有一种结果状态相对应。

A B C D E F G H I J K L

1 1 1 1 -1 -1 -1 -1 0 0 0 0

1 0 -1 -1 -1 0 0 1 1 -1 1 0

-1 0 1 -1 0 -1 1 0 1 0 -1 1

那么这个表是如何来的呢？能不能有其他本质上不同(不是这个次序的重排列)的类似方案呢？

先说怎么作这个表，将每一竖列看做一个向量，向量的每个分量可能取值为-1,0,1；按字典序取12个排在(000)后面的向量就是：

A B C D E F G H I J K L

0 0 0 0 1 1 1 1 1 1 1 1

0 1 1 1 -1 -1 -1 0 0 0 1 1

1 -1 0 1 -1 0 1 -1 0 1 -1 0

检查每一行，要求-1和1的数目相同，如果不能满足，则将某个1或-1取反。第三行自然满足，第二行可以把C的1改成-1，第一行可以更改F、H、J、L的值来达到目的。修改后的矩阵如下：

A B C D E F G H I J K L

0 0 0 0 1 -1 1 -1 1 -1 1 -1

0 1 -1 1 -1 -1 -1 0 0 0 1 1

1 -1 0 1 -1 0 1 -1 0 1 -1 0

这个结果与前面看起来不同，但实质一样。另外，通过这种方式也可以看出，3次天平称量13个小球问题是无解的。