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

求解整数规划常用的方法有分枝定界法和割平面法。这两种 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 A工作只能一人干 11 21 31 41 x + x + x + x 1 B工作只能一人干 12 22 32 42 x + x + x + x 1 C工作只能一人干 13 23 33 43 x + x + x + x 1 D工作只能一人干 14 24 34 44 x 为0--1变量,i,j 1,2,3,4 ij指派问题是0-1规划问题。因每个人仅能承担一项任务,每项任务也只能分派 给一个人,因此上述问题的线性规划模型也可写为: 4 4 min Zc x ij ij? 满足该约束条件的可 i1 j1 行解可写成矩阵形式 4x1 i1, 2, ?,m 0 1 0 0 ijj1 0 0 1 0? 4?x? ij 1 0 0 0 s.tx1 j1, 2, ?,miji1 0 0 0 1? x0, 1ij? 分派问题是线性规划,又是运输问题。 ?定理:从c 矩阵的每行或每