分支定界法求解纯整数或混合的整数规划问题.

设有最大化的整数规划问题A,与它对应的线性规划为问题B,从解问题B开始,若其最优解不符合A 的整数条件,那么B的最优目标函数必是A 的最优目标函数 的上界,记作Z1;而A 的任意可行解的目标函数值将是 一个下界Z2。分支定界法就是将B的可行域分成子区域(称为分支),逐步减小Z1和增大Z2,最终求到 .