求解整数规划常用的方法有分枝定界法和割平面法。这两种s2rhz.docVIP

求解整数规划常用的方法有分枝定界法和割平面法。这两种 上周内容回顾 求解整数规划常用的方法有分枝定界法和割平面 法。 这两种方法的共同特点:通过增加附加约束,使 整数最优解最终成为线性规划的一个顶点,于是整 个问题就可使用单纯形法找到这个整数最优解;它 们的相异之处是附加约束条件的选取原则及方法不 同。整数线性规划模型的求解??割平面法 基本思想 割平面法的基础仍然是用解线性规划的方法去解 整数规划问题。首先不考虑变量为整数这一条件,但 增加线性约束条件(几何术语,称为割平面),使得 原可行解域中切掉一部分,这部分只包含非整数解, 但没切割掉任何整数可行解。切除的结果使整数解可 能成为顶点。 关键:如何找到割平面约束方程,使切割后最终 得到这样的可行解域,它的一个整数坐标的顶点恰好 是问题的最优解。寻找割平面方程 (1)由单纯形最终表得到决策变量非整数解方程,设 xa xb1为 1 i k ik k 其中b是基变量的非整数解。 i (2)将a 和b分解为整数N和正真分数f 两部分之和 ik i aNf , bNf2ik ik ik i ni bi 将(2)代入1中,然后将整数置于方程左边,分 数置于方程右变,即 xN xNff x0 i ik k bi bi ik k? k k 3得割平面方程 ff x0 bi ik kk整数线性规划模型的求解??分枝定界法 基本思想 通过分枝枚举来寻找最优解。首先不考虑对变 量的整数要求,求解相应的线性规划模型,如求得 最优解不符合整数要求,则把原模型分解为两部 分,每一部分都增加新的约束条件以减少相应线性 规划模型的可行域。通过不断分解,逐步逼近满足 要求的整数最优解,在这个过程中包括了“分枝”和 “定界”两个关键步骤。分枝定界法步骤: (1)求解相应的线性规划模型,确定初始上、下界。 (a)LP无解,则IP无解,停止计算。 (b)LP的最优解满足整数要求,即为IP的最优 解,计算完毕。 (c) LP的最优解中有非整数分量,其目标函数值 是 IP的初始上界。 (2)分枝并求解在非整数最优解中任选一个不满足整数约束条件的 变量x b,以[b ]表示不大于b的最大整数,构造两个 j j j j 约束条件 x≤[b ],和x≥[b ]+1 j j j j 将这两个约束条件分别加到LP中,构成两个新的线性 规划分支,求解它们。(3)定界 上界:以每个后继问题为一分支,标明求解的结果, 与其他问题解的结果比较,找出目标函数值最大者作 为IP新的上界z’。 下界:从已符合整数条件的分支中,找出目标函数最 大者作为新的下界,若无符合条件者,则取z 0。 (4)比较和剪枝 (a)该枝无可行解; (b)该枝已得到整数最优解; (c)该枝得到非整数最优解,且目标函数值小于z。 在求解的各分支的线性规划中,若其值大于 z,即z* z但不符合整数条件则返回(2)继续分 枝直到zz* z’。8.6 指派问题(Assignment Problem)有n项任务,恰好n个人承担,第i 人完成第j 项任务 的花费时间或费用等为c ,如何分派使总花费最省? ij n n1 分派第i人做第j项工作 x? min zc x ij? ij ij 0 不分派第i人做第j项工作i ?1 j ?1 第j项工作由一 n x1 j1 , ?,n 个人做ij i ?1 n 第i人做一项工 x1 i1, ?,n ij 作 j ?1 x0或1 i1, ?,n; j1, ?,n ij 【例8-7】有4个工人,要分别指派他们完成4项不同的 工作,每人做各项工作所消耗的时间如下表所示,问 应如何指派工作,才能使总的消耗时间为最少? 人员 工作 A B C D 9 17 16 7 甲 12 7 14 16 乙 8 17 14 17 丙 7 9 11 9 丁 引入决策变量x , ij1 表示分派第 i人做第 j项工作 x? ij 0 表示不分派第 i人做第 j项工作 ?MinZ9x +17x +16x +7x +12x +7x +14x +16x + 11 12 13 14 21 22 23 24 8x +17x +14x +17x +7x +9x +11x +9x 31 32 33 34 41 42 43 44 s.t x + x + x + x 1 甲只能干一项工作11 12 13 14 x + x + x + x 1 乙只能干一项工作 21 22 23 24 x + x + x + x 1 丙只能干一项工作 31 32 33 34 x + x + x + x 1 丁只能干一项工作 41 42 43 44 x + x + x + x 1