整数规划与分配问题.DOCVIP

PAGE PAGE 26 第四章 整数规划与分配问题 §4.1整数规划的特点及作用 用单纯形法求解线性规划的结果往往得到分数或小数解。但在很多实际问题中，全部或部分变量的取值必须是整数，如人或者机器设备不可分割。此外还有一些问题，如要不要在某地建设工厂，可选用一个逻辑变量，令表示在该地建厂，表示不在该地建厂，逻辑变量也只允许取整数值的一类变量。在一个整数规划中要求全部变量取整数值的，称纯整数线性规划或纯整数规划；只要求一部分变量取整数值的，称为混合整数（线性）规划；在纯整数规划问题中，若所有变量只允许取0，1两个值，则称其为0-1规划。 有人认为，对整数规划问题的求解可以先不考虑对变量的整数约束，作为一般线性规划问题来求解，当解为非整数时可用四舍五入或凑整数寻找最优解，其实这种方法是不可行的，原因有以下两点： 一、用凑整的方法计算量很大，而况还不一定能找到最优解。 如某线性规划问题的最优解为，用凑整数的方法时需比较与的上述数值最接近的四种组合：如果问题中有10个变量，就要比较个整数解组合，而且最优解还不一定在这些组合中。 二、放松约束也无法求出其最优解 例 如果不考虑整数约束，称为上述线性规划问题的松弛问题，松弛问题的最优解为： 取整以后是可行解，但都不是可行解，而对应的目标函数值却不是最优解，然而最优解是。 直接对松弛问题进行求解都无法求得整数规划问题的最优解，这就需要对整数线性规划问题有特殊的求解方法。 此外，整数线性规划问题的数学模型的研究有着重要的意义，很多管理问题无法归纳为线性规划问题的数学模型，但却可以设置逻辑变量建立起整数规划问题的数学模型。下面举例说明逻辑变量在解决问题中的重要作用。 1.个约束条件中只有个起作用 设个约束条件可以表示为 定义 又为任意大的正数，则 因为若，则条件起作用 若，则，条件不起作用 2.约束条件的右端项可能是个值中的某一个，即 定义 由此，上述约束条件可以表示成： 3.两组条件中满足其中一组 若，则；否则（即时）， 定义 又为任意大的正数，则问题可表达为： 4.用以表示含固定费用的函数 例如用代表产品的生产数量，其生产费用函数通常可表示为： 式中是同产量无关的生产准备费用。问题的目标是使所有产品的总生产费用为最小，即： 令 ，那么 使问题化为： 一般整数规划问题建模： 例1 某饭店24小时中需要服务员数量如下：如果每个服务员连续工作8小时，试问在2点、6点、10点、14点、18点、22点钟开始上班的服务员为多少时，一天所需服务员人数最少？ 时间 2-6 6-10 10-14 14-18 18-22 22-2 最少服务员 4 8 10 7 12 4 设在2点、6点、10点、14点、18点、22点钟开始上班的服务员分别为,则可建立整数规划数学模型 利用LINGO求解整数线性规划问题，得 Min=x1+x2+x3+x4+x5+x6; x1+x6=4;x1+x2=8;x2+x3=10; x3+x4=7?;x4+x5=12;x5+x6=4; @gin(x1); @gin(x2);@gin(x3);@gin(x4);@gin(x5);@gin(x6); Global optimal solution found. Objective value: 26.00000 Extended solver steps: 0 Total solver iterations: 6 Variable Value Reduced Cost X1 4.000000 1.000000 X2 4.000000 1.000000 X3 6.000000 1.000000 X4 1.000000 1.000000 X5 11.00000 1.000000