[管理学]第五章运筹学.ppt

第五章 整数规划（IP） 本章要求: 理解整数规划的含义 掌握割平面法的思想和方法 掌握分枝定界法的思想和方法 了解0-1变量的含义和用法 掌握指派问题的算法 整数规划：是一类要求部分或全部变量取整数 　　　　　　值的规划问题。 整数规划问题的提出 线性规划问题中经常有整数要求，如工人的人数、产品件数、机器的台数、货物的箱数,装货的车皮数… 如何解决？四舍五入、舍尾取整有时不可 取，枚举法太慢。 专门方法：割平面法、分枝定界法、 隐枚举法、匈牙利法 一、割平面法的基本步骤： 即 XBi +ΣNijXj-Ni=fi-ΣfijXj ⑷ 说明：实际解题时，经验表明若从最优单纯形表中选择具有最大的小（分）数部分所在行作为高莫瑞来源行，可以提高“切割”的效果，减少“切割”的次数。 二、引例说明割平面法的计算过程 例1： max z =3x1 ＋2x2 2x 1＋3x 2≤14 2x1＋ x2≤9 x1 x 2≥0 且为整数 解：第一步，不考整数要求，增加松弛变量x3与x4化成标准形式 max z =3x1＋2x2 2x1＋3x2＋x3 =14 2x1＋ x2 ＋x4=9 x1 x2 x3 x4≥0 且为整数 割平面法（续） 得到的x1=13/4，x2= 5/2均不为整数。 第二步：构造高莫瑞约束 由经验在b列中选取最大的小数部分fi 这一行作为构造高莫瑞约束的来源行，由表得f1=1/2,f2=1/4 割平面法（续） 由最优表中可得x2＋1/2x3－1/2x4=5/2 分解为整数部分和分数部分 x2＋（0＋1/2）x3＋（-1＋1/2）x4=2＋1/2 移项得 x2－x4－2=1/2－1/2x3－1/2x4 于是高莫瑞约束为 1/2－（1/2x3＋1/2x4）≤0 即为-1/2x3-1/2x4≤ -1/2 加入松弛变量s1标准化得 -1/2x3－1/2x4＋s1=-1/2 将该约束加入到表一中，用对偶单纯形法求得表二 割平面法（续） 割平面法（续） 第三步 构造新约束 x1不符和整数要求，选x1所在行为高莫瑞约束行 x1＋x4－1/2s1=7/2 x1＋x4＋（-1＋1/2)s1=3＋1/2 x1＋x4－s1－3=-1/2s1＋1/2 -1/2s1＋1/2≤0 即 -1/2s1 ≤-1/2 增加松弛变量 -1/2s1＋s2=-1/2 代入表三得 割平面法（续） 割平面的几何意义 意义为：在缩小了的可行域上求整数解 第一次构造高莫瑞约束为-1/2x3-1/2x4≤ -1/2 由标准形式可知x3x4均可由x1x2来表示结果为 2 x1 +2x2 ≤11（线DE） 在求解实际问题中，割平面法经常会遇到收敛很慢的情况，但若和其它方法，如分枝定界法，联合使用，一般能收到比较好的效果。 三、分枝定界法 （二）、例题 练习：用分枝定界法求解整数规划问题 （图解法） 例二、用分枝定界法求解整数规划问题（单纯形法） 四、0－1 整数规划 练习：用隐枚举法求解0—1规划问题 五、指派问题 例一： 例二、 练习： （二）、解题步骤： 指派问题是0-1 规划的特例，也是运输问题的特例，当然可用整数规划，0-1 规划或运输问题的解法去求解，这就如同用单纯型法求解运输问题一样是不合算的。利用指派问题的特点可有更简便的解法，这就是匈牙利法，即系数矩阵中独立 0 元素的最多个数等于能覆盖所有 0 元素的最少直线数。 第一步：变换指派问题的系数矩阵（cij）为(bij)，使在(bij)的各行各列中都出现0元素，即 (1) 从（cij）的每行元素都减去该行的最小元素； (2) 再从所得新系数矩阵的每列元素中减去该列的最小元素。 第二步：进行试指派，以寻求最优解。 在(bij)中找尽可能多的独立0元素，若能找出n个独立0元素，就以这n个独立0元素对应解矩阵(xij)中的元素为1，其余为0，这就得到最