(原题出自微软公司面试题)问题如下：

有两个序列a,b，大小都为n,序列元素的值任意整数，无序；
要求：通过交换a,b中的元素，使[序列a元素的和]与[序列b元素的和]之间的差最小。
例如:   
var a=[100,99,98,1,2, 3];
var b=[1, 2, 3, 4,5,40];

分析：

通过交换的方式，最终的状态是在保证两个序列中元素个数相同的条件下，任何一个元素都可以位于两个序列中的任何一个。这样问题可以转化为：在一个长度为2*n的整数序列中，如何将元素个数分成两个子集，记每个子集的元素之和分别为S1和S2，使得|S1-S2|最小。显然这是一个最优化问题，如果用brute-force方法，组合数是C(2n,n)=(2n)!/(2*(n!)), 如果n很大这个方法不奏效。

这里采用回溯法(backtracking)，即前序(preorder)遍历状态空间树(state-space tree)。难点在于剪枝条件的确定，下面说明如何确定剪枝条件：

注意到如果将原序列按从小到大的顺序排好序，每次从较大的元素开始取，可以得到一个这样的规律：设长度为2*n序列的元素总和为Sigma，当前集合元素的和为S，剩下的元素之和为Sigma-S，如果二者满足S>=Sigma-S，即Sigma<=2*S，那么在当前集合中剩下需要添加进来的元素必须从余下的元素中取最小的那些元素，这样才能保证|S1-S2|最小。这是因为如果在下一次任意从余下的元素中取的元素分别为e和f，那么取e后的两个子集差为(S+e) – (Sigma-S-e) = 2S-Sigma +2e，取f后的两个子集差为2S-Sigma +2f，显然如果e>f>0, 则有前者的子集差大于后者的子集差（注意这里假设元素都为非负整数，原序列中有负数的情况参考下面的讨论）。

如果输入序列中有负整数，可以通过平移操作转化为非负，因为每个数都平移了，它们的差值保值不变。如果不平移，结果不一定正确，比如：输入的2*n序列为：-10,5,3,20,25,50，平衡的对半子集应该为[-10,5,50]和[3,20,25]，差值的绝对值为3。在下面的实现中，如果不考虑平移，得到的错误结果却是[-10,3,50]和[5,20,25]，差值的绝对值为7。

另外在状态空间树只需要考虑根节点的左枝子树，因为原问题考虑的是对半子集。