分枝定界法求解整数规划时，分枝问题的最优解不会优于原(上一级)问题的最优解