求最大值的整数规划问题中，其松弛问题的最优解是整数规划问题最优解的上界