[工学]6第五章整数规划.ppt

第五章 整数规划 第一节、整数规划的数学模型及解的特点 第二节、解纯整数规划的割平面法 第三节、分支定界法 第四节、0-1型整数规划 第五节、指派问题 例二 某服务部门各时段（每小时为一时段）需要的服务员人数见表5-2。按规定，服务员连工作8小时（即四个时段）为一班。现要求安排服务员的工作时间，使服务部门服务员总数最少。 例 3 现有资金总额为B。可供选择的投资项目有n个，项目j所需投资和预期收 益分别为aj和cj(j=1,2,..,3)。此外，由于种种原因，有三个附加条件：第一，若选择项目1，就必须同时选择项目2。反之，则不一定；第二，项目3和4中至少选择一个；第三项目5，6和7中恰好选择两个。应当选择投资项目，才能够使总预期收益最大？ 解 令 这样，问题可表示为： 例4 工厂A1和A2生产某种物资。由于该种物资供不应求，故需再建一家工厂。相应的建厂方案有A3和A4两个。这种物资的需求到有B1,B2,B3,B4四个。各工厂年生产能力、各地年需求量、各厂至各需求地的单位物资运费cij(I,j=1,2,3,4)见表5-3。工厂或开工后，每年的生产费用估计分别为1200万元或1500万元。现要决定应该建设工厂A3还是A4，才能使今后每年的费用最少。 三 解的特点 例5 考虑下面的整数规划问题： 例六 用割平面法求解纯整数规划问题 第三节 分支定界法 分支定界法是一种隐枚举法或部分枚举法，它不是一种有效算法，是枚举法基础上的改进。分支定界法的关键是分支和定界。 分支：即若整数规划的松弛问题的最优解不符合整数要求，假设 不符合整数要求， 是不超过 的最大整数，则构造两个约束条件; 分别将其并入上述松弛问题中，从而形成两个分支，即两个后继问题。两个后继问题的可行域中包含原整数规划问题的所有可行解。而在原松弛问题可行域中，满足 的一部分区域在以后的求解过程中被遗弃了，然而它不包含整数规划的任何可行解。根据需要，各后继问题可以类似地产生自己的分支，即自己的后继问题。如此不断继续，直到获得整数规划的最优解. 第四节 0-1型整数规划 一、0-1变量及其应用 若变量只能取值0或1，则称其为0-1变量。0-1变量作为逻辑变量，常被用来表示系统是否处于某个特定状态，或者决策时是否取某个特定方案。当问题含有多项要素，而每项要素皆有两种选择时，可用一组0-1变量来描述。一般地，设问题有有限项要素E1,E2,…En，其中每项Ej有两种选择Aj和 ，则令 例9 固定费用问题 有三种资源被用于生产三种产品，资源量，产品单件可变费用售价、资源单耗量及组织三种产品生产的固定费用见表5-7。要求制定一个生产计划，使总收益最大。 二 0-1型整数规划的解法 0-1型整数规划是一种特殊的整数规划，若含有个变量，则可以产生个可能的变量组合。当较大时，采用完全枚举法解题是不可能的。已有的求解0-1型整数规划的方法一般都属于隐枚举法。 在个可能的变量组合中，往往只有一部分是可行解。只要发现某个变量组合不满足其中一个约束条件时，就不必再去检验其它约束条件是否可行。对于可行解，其目标函数值也有优劣之分。若发现一个可行解，则根据它的目标函数值可以产生一个过滤条件，对于目标函数值比它差的变量组合就不必再去检验它的可行性。在以后的求解过程中，每当发现比原来更好的可行解，则以此替换原来的过滤条件。上述这些做法，都可以减少运算次数，使最优解能较快地被发现。下面举例说明: 例 11 求解0-1整数规划 如下： 第五节 指派问题 一、指派问题的标准形式及其数学模型 三、一般的指派问题 在实际应用中，常会遇到各种非标准形式的指派问题。通常的处理方法是将它们转化为标准形式，然后再用匈牙利解法解之。 1、最大化指派问题 设最大化指派问题系数矩阵C=(cij)n×n，其中最大元素为m。令矩阵B=(bij)n×n=(m-cij)n×n，则以B为系数矩阵的最小化指派问题和以C为系数矩阵的最大化指派问题有相同最优解。 例14 矩阵 其中M1和M2都是充分大的数。由于（5.13e），y1和y2中必定有一个是1，另一个是0。若y1=1，而y2=0，即采用新加工方式，此时（5.13d）就是（5.13b），而（5.13c）自然成立，因而是多余的；反之，若y1=0,y2=1，即采用原加工方式，此时（5.13c）就是（5.13a），而（5.13d)自然成立，因而是多余的。 一般地，若需要从p个条件 中恰好选择q个约束条件，则可以引入