![a4affb12d23389e8497949708651b881.png](https://img-blog.csdnimg.cn/img_convert/a4affb12d23389e8497949708651b881.png)
1 互斥(矛盾)约束
![40849a510dd7546deb453a9d5ddc3cb6.png](https://img-blog.csdnimg.cn/img_convert/40849a510dd7546deb453a9d5ddc3cb6.png)
2 多中选一的约束
![9438c3a463261cf722b6e56e4d42a2bf.png](https://img-blog.csdnimg.cn/img_convert/9438c3a463261cf722b6e56e4d42a2bf.png)
3 逻辑关系约束
![0985fee5f470d17cce6be19b347fc126.png](https://img-blog.csdnimg.cn/img_convert/0985fee5f470d17cce6be19b347fc126.png)
4 分支界定法
4.1 松弛问题
![ca06e0902a54a506b10603ed23006aaf.png](https://img-blog.csdnimg.cn/img_convert/ca06e0902a54a506b10603ed23006aaf.png)
![9bc7ba5f3ca8f93ea40a06ee2dd7a962.png](https://img-blog.csdnimg.cn/img_convert/9bc7ba5f3ca8f93ea40a06ee2dd7a962.png)
4.2 分支定界法步骤
求解对应的松弛问题,可能会出现下面几种情况:
(1)如果所得的最优解的各分量恰好是整数,则这个解也是原整数规划的最优解,计算结束。
(2)如果松弛问题无可行解,那么原整数规划也无可行解,计算结束。
(3)如果松弛问题有最优解,但是其各分量不全是整数,则这个解不是原整数规划的最优解,转下一步。
(4)定界:把满足整数条件各分支的最优目标函数值,作为上(下)界,用它来判断分枝是保留还是剪枝。
(5)剪枝:把那些子问题的最优解与界值比较,凡是不优或者是不能更优的分枝全剪掉,直到每个分枝都查清为止。
参考
分支定界法(matlab实现)_matlab_qq_43271202的博客-CSDN博客blog.csdn.net![f938111adc97e5b6a0bb741e269c039c.png](https://img-blog.csdnimg.cn/img_convert/f938111adc97e5b6a0bb741e269c039c.png)
![f6b5ab6aba70e8668e2ff32cc0cd74bc.png](https://img-blog.csdnimg.cn/img_convert/f6b5ab6aba70e8668e2ff32cc0cd74bc.png)