用分支定界法求解一个极大化的整数规划问题，当得到多于一个可行解时，通常可任取一个作为下界值，再进行比较剪枝