第四章运筹.pptVIP

第四章 整数规划 一整数规划的特点 二分配问题 三分枝定界法和割平面法 一 整数规划简介 要求所有 xj 的解为整数，称为纯整数规划 要求部分 xj 的解为整数，称为混合整数规划 对应没有整数解要求的线性规划称之为松弛问题 整数规划的最优解不会优于其松弛问题的最优解 二 任务分配问题 例1 有四个熟练工人，他们都是多面手，有四项任务要他们完成。若规定每人必须完成且只完成一项任务，而每人完成每项任务的工时耗费如下表，问如何分配任务使完成四项任务的总工时耗费最少？ 任务分配问题的数学模型 模型中： xij 为第 i 个工人分配去做第 j 项任务； aij 为第 i 个工人为完成第 j 项任务时的工时消耗； {aij}m?m 称为效率矩阵 匈牙利算法 定理 1 如果从效率矩阵{aij}m?m中每行元素分别减去一个常数 ui，从每列元素分别减去一个常数 vj ，所得新的效率矩阵{bij}m?m的任务分配问题的最优解等价于原问题的最优解。 定理 2 若方阵中一部分元素为零，一部分元素非零，则覆盖方阵内所有零元素的最少直线数等于位于不同行、不同列的零元素的最多个数。 匈牙利算法的基本思路： 根据定理 1 变换效率矩阵，使矩阵中有足够多的零。若矩阵中存在 m 个不同行不同列的零，就找到了最优解 若覆盖变换后的效率矩阵零元素的直线少于m 条，就尚未找到最优解，设法进一步变换矩阵，增加新的零 匈牙利算法的步骤： 第一步：行减列减 行变换：找出每行最小元素，从该行各元素中减去之 列变换：找出每列最小元素，从该列各元素中减去之 4.3 整数规划的分枝定解法 思路与解题步骤 只解松弛问题 1、在全部可行性域上解松弛问题 若松弛问题最优解为整数解，则其也是整数规划的最优解 2、分枝过程 若松弛问题最优解中某个 xk=bk 不是整数，令 ? bk ? 为 bk 的整数部分 构造两个新的约束条件 xk? ? bk ? 和 xk? ? bk ?+1，分别加于原松弛问题，形成两个新的整数规划 3、求解分枝的松弛问题 — 定界过程 设两个分枝的松弛问题分别为问题 1 和问题 2 ，它们的最优解有如下情况 分枝问题解可能出现的情况 分枝定界法举例 例1 分枝问题的松弛解 * * ? ? ? í ì = 3 = 3 = ￡ = ? ? = = n j x m i b x a t s x c x f j n j i j ij n j j j , , 2 , 1 , 0 , , 2 , 1 , ) , ( . . ) ( max(min) 1 1 L L 且为整数 任务 工时 A B C D 人员 人员 甲 10 9 7 8 1 乙 5 8 7 7 1 丙 5 4 6 5 1 丁 2 3 4 5 1 任务 1 1 1 1 运输问题是任务分配问题的松弛问题 任务分配问题不但是整数规划，而且是0?1规划 任务分配问题有2m个约束条件，有著名的匈牙利算法 ? ? ? í ì = = m j i j i j i x ij , , 2 , 1 , 0 1 L 项任务 个工人未分配去做第 当第 项任务 个工人分配去做第 当第 第二步：打圈画线 1、逐行检查，若该行只有一个未标记的零，对其加圈标记，将 圈标记元素同列画线。若该行有二个以上未标记的零，暂不标记，转下一行检查，直到所有行检查完； 2、逐列检查，若该列只有一个未标记的零，对其加圈标记，将圈标记元素同行画线。若该列有二个以上未标记的零，暂不标记，转下一列检查，直到所有列检查完； 第三步：加减元素 情况 2, 4, 5 找到最优解 情况 3 在缩减的域上继续分枝定界法 情况 6 问题 1 的整数解作为界被保留，用于以后与问题 2 的后续分枝所得到的整数解进行比较，结论如情况 4 解：松弛问题的最优解为 x1=2.5, x2=2, OBJ=23 由 x1=2.5 得到两个分枝如下： 问题II的解即原整数问题的最优解 可能存在两个分枝都是非整数解的情况，则需要两边同时继续分枝，直到有整数解出现，就可以进行定界过程 当有很多变量有整数约束时，分枝即广又深，在最坏情况下相当于组合所有可能的整数解 一般整数规划问题属于一类未解决的难题，NP-complete，只有少数特殊问题有好的算法，如任务分配问题、匹配问题