分枝定界法的一般步骤

分枝定界法的一般步骤

设有最大化的整数规划问题A ，与它相对应的松弛问题为 B。

（1）先不考虑原问题的整数约束，求解相应的松弛问题。用图解法或单纯形法求得最优解，记为 。

（2）若求得的最优解 刚好就是整数解，则该整数解就是原整数规划问题的最优解；否则，对原问题进行分枝寻求整数最优解。

（3）分枝。根据对变量重要性的了解，在最优解中选择一个不符合整数约束条件的x_j ，其值为b_j ，以[b_j]表示小于b_j 的最大整数。构造两个约束条件: x≤ [b_j]和 x≥[b_j]+1分别加入原LP问题形成两个子问题，因为[b_j] 与[b_j]+1之间无整数，故这两个子集内的整数解必定与原可行解集合整数解一致，这一步称为分枝。

（4）定界。首先判断各个子问题是否存在整数解。若存在，找出目标函数值最大对应的整数解，设为Z^*，则A问题的整数解目标函数Z≥Z^*，这就是定界。而且分枝过程中，一旦有某个子问题Z≥Z^*，则令Z^*＝Z。

（5）若存在大于Z^*的子问题则需分枝。第（4）步中若不存在整数解，也需继续分枝寻找整数解，并从目标函数值最大对应的子问题先分枝。

（6）若所有子问题的目标值都小于等于Z^*，则不需继续分枝，Z^*所对应的整数解即为最优解。