01整数规划_实用文档.docVIP

0—1型整数规划模型 0—1型整数规划模型归纳 整数规划指的是决策变量为非负整数值的一类线性规划，在实质问题的应用中，整数规划模型对应着大批的生产计划或活动安排等决策问题，整数规划的解法主要有分枝定界解法及割平面解法（这里不作介 绍，感兴趣的读者可参照相关书本）。在整数规划问题中，0—1型整数规划则是此中较为特别的一类状况，它要求决策变量的取值仅为0或1，在实质问题的谈论中，0—1型整数规划模型也对应着大批的最优决策的活动与安排谈论，我们将列举一些模型模范，以说明这个事实。 0—1型整数规划的的数学模型为： 目标函数Max(Min)zc1x1c2x2cnxn a11x1 a12x2 a1nxn (,)b1 a21x1 a22x2 a2nxn (,)b2 am1x1 am2x2 amnxn (,)bm 拘束条件为： x1,x2, ,xn 0|1 这里，0|1表示0或1。 0—1型整数规划模型的解法 0—1型整数规划模型的解法一般为穷举法或隐列举法， 穷举法指的是对决策变量 x1,x2, , xn 的每一个0或1值，均比较其目标函数值的大小，以从中求出最优解。这种方法一般适用于决策变量个数 n 较小的状况，当n较大时，因为n个0、1的可能组合数为 2n，故此时即使用计算机进行穷举来求最优解， 也几乎是不行能的。隐列举法是增添了过滤条件的一类穷举法，该法虽能减少运算次数，但有的问题其实不使用。此时，就只好用穷举法了。 应用实例 例1工程上马的决策问题 1）问题的提出 某部门三年内有四项工程可以考虑上马，每项工程的希望收益和年度花费（千元）以下表所示： 假设每一项已选定的工程要在三年内完成，是确立应该上马哪些工程，方能使该部门可能的希望收益最大。 费 用 工 程 希望收益 第1年 第2年 第3年 1 5 1 8 20 2 4 7 10 40 3 4 3 9 2 20 8 6 10 30 可用资本 18 22 24 2）模型解析与变量的假设 这是工程上马的决策问题，对任一给定的工程而言，它只有两种可能，要么上马，要么不上马，这两种 状况分别对应二进制数中的1、0，大凡这样的实质背景所对应的工程问题，多半可考虑用0—1型整数规划模型建立其相应的模型。 xj 0, 第j项工程可上马 1, (j1,2,3,4,) 设 第j项工程不上马 因每一年的投资不超出所能供给的可用资本数25千元，故该0—1型整数规划问题的拘束条件为： 5x1 4x2 3x3 8x4 18 x1 7x2 9x3 6x4 22 8x1 10x2 2x3 10x4 24 xi 0|1, j1, 2,3, 4 因为希望收益尽可能大，故目标函数为： maxz20x140x220x330x4 3）模型的建立与求解 至此，我们获取该问题的0—1型整数规划模型为： maxz 20x1 40x2 20x3 30x4 5x1 4x2 3x3 8x4 18 (1) x1 7x2 9x3 6x4 22 (2) 8x1 10x2 2x3 10x4 24 (3) 拘束条件为： xi 0|1, j1,2,3, 4 下边用隐列举法求其最优解。易知，该0—1型整数规划模型有一可行解（0，0，0，1），它对应的目标函 数值为：z30。自然，该模型的最优解所对应的目标函数值应不小于30，于是，我们增添一过滤条件 为： 20x140x220x330x4 30 （4 ） 在此过滤条件（过滤条件可不独一）下，用隐列举法求0—1型整数规划模型的最优解的步骤为： 1）先判断第一列举点所对应的目标函数值能否满足过滤条件，若不满足，则转下一步；若满足，再判断该列举点能否满足各拘束条件，如有一个拘束条件不满足，则转下一步，若均满足，则将该列举点所对应 的目标函数值z1（本例中，z130）作为新的目标值，并修悔过滤条件为： 20x140x220x330x4z1，再转下一步； (2)再判断第二列举点所对应的目标函数值能否满足新的过滤条件，若不满足，则转下一步；若满足，接着 判断该列举点能否满足各拘束条件，如有一个拘束条件不满足，则转下一步，若均满足，则将该列举点所 对应的目标函数值z2（z2z1）作为新的目标值，并修悔过滤条件为： 20x140x220x330x4z2，再转下一步； (3)重复步骤（2），直至所有的列举点均比较结束为止。 由隐列举法的求解步骤，我们可给出该问题的求解过程以下表所示，并获取最优解为： (x1,x2,x3,x4)(0,1,1,1)，相应的目标值为 90（千元）。故应上马的工程为 2号、3号、4号工 程。 满足拘束条件（含过滤条件） 列举点当前目标值新目标值 （4）（1）（2）（3） （0，0，0，0）30×30 （0，0，0，1）30 （0，0，1，0）30 （0，0，1，1）30 （0，1，0，