子集求和问题.docVIP

子集求和问题 给定正数wi 1≤i≤n 和m，要求寻找wi的所有子集，它们的和 为m。例如，如果n 4、（w1,w2,w3,w4） （11，13，24，7）且m 31，那么想得到的子集为（11，13，7）和（24，7）。与其通过和为m的wi来表示解向量，不如先为wi指定索引，然后利用索引来表示解向量。一般来说，所有的解都表示为k元祖（x1,x2,…,xk） 1≤k≤n 的形式，不同的解对应着不同大小的元祖。显示约束要求xi∈ j|j为整数，1≤j≤n 。隐式约束要求任何两个wi都不相同，且对应的wi的和为m。由于期望避免生成同一子集的多个实例，所以必须增加一个隐式约束xj xi+1 1≤i≤k . 子集求和问题还有另外一种表示方法：每一个解子集都用一个n元祖（x1,x2,…,xn）, xi∈ 0，1 1≤i≤n 来表示。如果没有选中wi，那么xi 0；如果选中wi，那么xi 1。 动态结构图 静态结构图 控制抽象： void Backtrack int t if t n Output x ; else for int i f n,t ; i g n,t ; i ++ x[t] h i ; if Constraint t Bound t Backtrack t+1 ; t表示递归深度 for循环中f n,t 和g n,t 分别表示在当前扩展节点处未搜索过的子数的起始编号和终止编号。 h i 表示在当前扩展节点处x[t]的第i个可选值。Constraint t 和Bound t 表示在当前扩展节点处的约束方程和接线函数。