4.2 整数规划的数学模型