1 互斥(矛盾)约束
2 多中选一的约束
3 逻辑关系约束
4 分支界定法
4.1 松弛问题
4.2 分支定界法步骤
求解对应的松弛问题,可能会出现下面几种情况:
(1)如果所得的最优解的各分量恰好是整数,则这个解也是原整数规划的最优解,计算结束。
(2)如果松弛问题无可行解,那么原整数规划也无可行解,计算结束。
(3)如果松弛问题有最优解,但是其各分量不全是整数,则这个解不是原整数规划的最优解,转下一步。
(4)定界:把满足整数条件各分支的最优目标函数值,作为上(下)界,用它来判断分枝是保留还是剪枝。
(5)剪枝:把那些子问题的最优解与界值比较,凡是不优或者是不能更优的分枝全剪掉,直到每个分枝都查清为止。