型整数规划方案模型.docVIP

§5.4 0—1型整数计划模型 1、 0—1型整数计划模型概述 整数计划指是决议变量为非负整数值一类线性计划，在实际问题应用中，整数计划模型对应着大量生产计划或活动安排等决议问题，整数计划解法关键有分枝定界解法及割平面解法（这里不作介绍，感爱好读者可参考相关书籍）。在整数计划问题中，0—1型整数计划则是其中较为特殊一类情况，它要求决议变量取值仅为0或1，在实际问题讨论中，0—1型整数计划模型也对应着大量最优决议活动和安排讨论，我们将列举部分模型范例，以说明这个事实。 0—1型整数计划数学模型为： 目标函数 约束条件为： 这里，0 | 1表示0或1。 2、0—1型整数计划模型解法 0—1型整数计划模型解法通常为穷举法或隐枚举法，穷举法指是对决议变量每一个0或1值，均比较其目标函数值大小，以从中求出最优解。这种方法通常适适用于决议变量个数较小情况，当较大时，因为个0、1可能组合数为，故此时即便用计算机进行穷举来求最优解，也几乎是不可能。隐枚举法是增加了过滤条件一类穷举法，该法虽能降低运算次数，但有问题并不使用。此时，就只能用穷举法了。 3. 应用实例 例1 工程上马决议问题 1）问题提出 某部门三年内有四项工程能够考虑上马，每项工程期望收益和年度费用（千元）以下表所表示：假定每一项已选定工程要在三年内完成，是确定应该上马哪些工程，方能使该部门可能期望收益最大。 工 程 费 用 期望收益 第1年 第2年 第3年 1 5 1 8 4 7 10 3 9 2 8 6 10 20 40 20 30 2 3 4 可用资金 18 22 24 2）模型分析和变量假设 这是工程上马决议问题，对任一给定工程而言，它只有两种可能，要么上马，要么不上马，这两种情况分别对应二进制数中1、0，大凡这么实际背景所对应工程问题，大全部可考虑用0—1型整数计划模型建立其对应模型。 设 因每一年投资不超出所能提供可用资金数25千元，故该0—1型整数计划问题约束条件为： 因为期望收益尽可能大，故目标函数为： 3）模型建立和求解 至此，我们得到该问题0—1型整数计划模型为： 约束条件为： 下面用隐枚举法求其最优解。易知，该0—1型整数计划模型有一可行解（0，0，0，1），它对应目标函数值为：。自然，该模型最优解所对应目标函数值应大于30，于是，我们增加一过滤条件为： （4） 在此过滤条件（过滤条件可不唯一）下，用隐枚举法求0—1型整数计划模型最优解步骤为： （1）先判定第一枚举点所对应目标函数值是否满足过滤条件，若不满足，则转下一步；若满足，再判定该枚举点是否满足各约束条件，若有一个约束条件不满足，则转下一步，若均满足，则将该枚举点所对应目标函数值z1（本例中，z1）作为新目标值，并修改过滤条件为： ，再转下一步； (2)???? 再判定第二枚举点所对应目标函数值是否满足新过滤条件，若不满足，则转下一步；若满足，接着判定该枚举点是否满足各约束条件，若有一个约束条件不满足，则转下一步，若均满足，则将该枚举点所对应目标函数值z2（z2 3z1）作为新目标值，并修改过滤条件为： ，再转下一步； (3)?? 反复步骤（2），直至全部枚举点均比较结束为止。 由隐枚举法求解步骤，我们可给出该问题求解过程以下表所表示，并得到最优解为：，对应目标值为90（千元）。故应上马工程为2号、3号、4号工程。 枚举点 目前目标值 满足约束条件（含过滤条件）？ 新目标值 （4） （1） （2） （3） （0，0，0，0） （0，0，0，1） （0，0，1，0） （0，0，1，1） （0，1，0，0） （0，1，0，1） （0，1，1，0） （0，1，1，1） （1，0，0，0） （1，0，0，1） （1，0，1，0） （1，0，1，1） （1，1，0，0） （1，1，0，1） （1，1，1，0） （1，1，1，1） 30 30 30 30 50 50 70 70 90 90 90 90 90 90 90 90 × 30 √ √ √ √ 30 × 30 √ √ √ √ 50 × 50 √ √ √ √ 70 × 70 √ √ √ √ 90 × 90 × 90 × 90 × 90 × 90 √ √ √ × 90 × 90 √ × 90 注：在该表中，√表示满足对应条件，×表示不满足对应条件。 例2?? 工序步骤安排问题 1）问题提出 一条装配线由一系列工作站组成，被装配或制造产品在装配线上流动过程中，每站全部要完成一道或几道工序，假定一共有六道工序，这些工序按前后