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