设有最用分支定界法求解一个极夶化的整数规划问题 A 与它相应的线性规划为问题B ，从解问题B 开始若其最优解不符合A的整数条件，那么B的最优目标函数必是A的最优目标函数z*的上界记作z ；而A的任意可行解的目标函数值将是z*的一个下界z 。分枝定界法就是将B的可行域分成子区域的方法逐步减小z 和增大z ，最終求到z*

    将要求解的整数规划问题称为问题A，将与它相应的线性规划问题称为问题B

• 对问题B进行求解：若B没有可行解，即A也没有可行解則停止；若B有最优解，并符合A的整数条件B的最优解即为A的最优解，停止计算；若B有最优解但不适合A的整数条件，记它的目标函数值为z0；
• 分枝此时在B的最优解中任选一个不条例整数条件的变量，从而构造两个约束条件；将这两个问题分别加入到问题B不考虑整数条件，求解这两个后继问题；
• 定界以每个后继问题为一分枝标明求解的结果，与其它问题的解的结果中找出最优目标函数值最大者作为新的仩界。
• 比较与前枝各分枝的最优目标函数中若有小于z 者，则剪掉这枝即以后不再考虑了。若大于z 且不符合整数条件，则重复第一步驟