标签：用分枝定界法求解一个最大化的整数规划问题时，任何一个可行解的目标函数值都是该问题目标函数值的下界