第5章整数规划答辩.ppt

第五章 整数规划 §1 整数规划的数学模型 §1 整数规划的数学模型 §1 整数规划的数学模型 §1 整数规划的数学模型 §1 整数规划的数学模型 §1 整数规划的数学模型 §1 整数规划的数学模型 §2 解纯整数规划的割平面法 §4 0-1型整数规划 §5 指派问题 §5 指派问题 §5 指派问题 §5 指派问题 §5 指派问题 §5 指派问题 §5 指派问题 §5 指派问题 §5 指派问题 §5 指派问题 §5 指派问题 §5 指派问题 二、引入0-1变量的实际问题 2.相互排斥的约束条件 或 为了统一在一个问题中，引入0-1变量y，则上述约束条件可改写为： 其中M是充分大的数。 P142 例7 二、引入0-1变量的实际问题 3.固定费用问题 P143 例8 4.工件排序问题 P144 例9(略) 三、0-1型整数规划的过滤隐枚举法 设0-1型整数规划： 解的步骤： (1)列出n个分量的2n种组合，算出相应的目标函数值。 (2)X*为任一组合，判断X*是否满足所有约束条件，若满足则转下一步，否则舍弃该组合。 三、0-1型整数规划的过滤隐枚举法 解的步骤： (3)设Z*=CX*，将Z≥Z*作为过滤条件。 (4)对其它组合，若不满足过滤条件，则舍弃；对满足过滤条件的，看其是否满足所有约束，不满足舍弃。设满足所有约束的组合为X,将Z=CX作为新的过滤条件。 (5)检查所有可能的组合，最终可得最优解。 例2：求解0-1型整数规划 (a) (b) (c) (d) 注：为了进一步减少运算量，对于最大化（最小化）问题，常按目标函数中各变量系数从小到大（从大到小）的顺序重新排列各变量，以使最优解可能较早出现。 例3：求解0-1型整数规划 (a) (b) (c) 四、0-1型整数规划的分枝定界解法 解的步骤： (1)目标函数极小化，约束条件为≥。 (2)目标函数系数非负化。 (3)目标函数中，变量按系数从小到大排列，约束条件中各变量的排列顺序也做相应变化。 (4)令所有变量为零，检查约束条件是否满足，若满足此解即为最优解，否则转下一步。 四、0-1型整数规划的分枝定界解法 解的步骤： (5)按在目标函数中排列顺序（从左到右）依次令各变量分别取“0”或“1”，将问题分为两个子问题，各自检查是否满足约束条件，若满足，则保留所有可行解中目标函数值最小的分枝进行定界，将可行解中目标函数值大的分枝剪去。若不满足，则对目标函数值较小的分枝优先进行下一步分枝。直到所有分枝均检查清楚为止。这时保留下来的分枝即为最优解。 例4：用分枝定界法求解0-1型整数规划 例5：用分枝定界法求解0-1型整数规划 注：当发生下列三种情况之一时，该分枝不再继续往下分，或保留或剪枝 (1)该分枝为可行解，这时应保留所有可行解中目标函数值最小的分枝，将可行解中目标函数值大的分枝剪去。 (2)不管是否为可行解，分枝目标函数值已超过保留下来的可行解的目标函数值的分枝剪去。 (3)当该分枝中某些变量的值已确定的情况下，其余变量不管取什么值都无法满足一个或几个约束时，即该分枝无可行解，实行剪枝。 一、指派问题的标准形式及其数学模型 在现实生活中，有各种性质的指派问题，如，有若干项工作需要分配给若干人来完成；有若干项合同需要选择若干个投票者来承包；有若干班级需要安排各教室上课等。 指派问题的标准形式是：有n个和n件事，已知第i做第j件事的费用为cij(i,j=1,2,…,n)，要求确定人和事之间的一一指派方案，使完成这n件事的总费用最少。 一、指派问题的标准形式及其数学模型 一般称矩阵 为指派问题的效率矩阵（coefficient matrix） 矩阵C中，第i行中各元素表示第i个人做各事的费用；第j列各元素表示第j事由各人做的费用。 一、指派问题的标准形式及其数学模型 令： i,j=1,2,…,n 指派问题的数学模型为： (a) (b) (c) (d) 每件事有且只有一个人去做 每个人做且只做一件事 一、指派问题的标准形式及其数学模型 对于问题的每一个可行解，可用解矩阵来表示： 矩阵每列元素中有且只有一个 ，以满足约束条件 。 矩阵每行元素中有且只有一个 ，以满足约束条件 。 指派问题有 可行解。 1 1 (b) (c) n! 二、指派问题的匈牙利解法 指派问题是0-1规划的特例，也是运输问题的特例，因此可用整数规划或运输问题的解法求解，然而这就如同用单纯形法解运输问题一样是不够合算的，利用指派问题的特点可有更简便的解法——匈牙利解法。 匈牙利解法的基本原理就是效率矩阵的任一行(或列)减去(或加上)任一常数对原指派问题的最优解不会发生影响。 三、匈牙利解法的一般步骤 (1)变换系数矩阵 先对各行元素分别减去本