运筹学第五章（清华三版）PPT课件.pptVIP

第五章 整数规划 教学目的：掌握若干特殊整数规划的解法 教学内容：1.整数规划问题及特点 2.分枝定界法与割平面法 3.0-1规划 4.指派问题 教学重点：割平面法与指派问题 教学难点：分枝定界法与割平面法 学时安排：4学时。 教学内容 第一节　整数规划的数学模型及解的特点 第二节　解纯整数规划的割平面法 第三节　分支定界法 第四节 0-1整数规划 第五节　指派问题 第一节 整数规划问题的提出 1.整数规划问题基本概念 2.整数规划问题的特点 1.整数规划问题基本概念 （1）整数规划：要求部分或全部决策变量取整数值的规划问题。 （2）整数规划问题的松弛问题：不考虑整数条件的规划问题。 （3）整数线性规划——部分或全部变量取整数值的线性规划 纯整数线性规划（pure integer linear programming) 混合整数线性规划（mixed—） 0-1整数线性规划(zero-one—） 2.整数规划问题的特点 问题：能否将松弛问题的最优解近似作为整数规划问题的最优解？ 2.整数规划问题的特点 结论： ⑴　不能把松弛问题的最优解通过“四舍五入”或“截尾”（即凑整）处理后作为整数规划的最优解。不过，在变量取值很大时，用上述方法得到的解与最优解差别不大。 ⑵　点(4,1)不是可行域的顶点，所以直接用图解法或单纯形法无法求出整数规划问题的最优解． 整数线性规划的解与松弛问题的解既有联系，又有本质的区别。设 IP的松弛问题的可行域为C，IP的可行域为C′，则有 C′?C 整数规划的可行解是松弛问题可行解集合的一个子集。所以 ①IP的可行解一定是它的松弛问题的可行解。 ②IP的最优值不会优于其松弛问题的最优值。 第二节 割平面法 一、基本思想： 　　在IP的松弛问题中,每次增加一个线性约束，即Gomory约束或割平面。它的作用是：割去可行域中不包含问题整数解的部分，使松弛问题的可行域逐步缩小；最终，目标函数值达到最优的整数点成为缩减可行域的一个顶点。 二、求解步骤 １、求出松弛问题最优解，若为整数，则停止，否则转２ ２、构造割平面方程。 构造的割平面约束应当具备两个性质： ⑴　已获得的非整数最优解不满足该线性约束，从而保证在以后的解中不可能再出现。 ⑵　所有的整数解皆满足该线性约束，从而保证整数最优解始终都保留在以后每次所形成的新的线性规划的可行域中。 例5-3 第三节 0-1整 数 规 划 第四节　分支定界法 分支定界法步骤 1　分支 假设松弛问题的最优解不是整数解，则选择一个非整数分量构造两个约束条件： 第四节:分 支 定 界 法 2　定界（以求极大值为例） 以最优目标函数值中最大者（针对没有分支的线性规划问题而言）为上界，以符合整数条件的各子问题中目标函数值最大者作为下界。若无整数解，在Z≥0的情况下，令Z=0 3　比较与剪枝 　　若上界等于下界，则停止；否则，剪去小于下界的分支。对于大于下界的分支，继续重复2（函数值较大的分支优先）。 第五节　指派问题 一、标准形式指派问题及其数学模型 2.指派问题的数学模型 二、指派问题数学模型的特点 2.理论基础（康尼格定理） （2）　若矩阵C的元素可分成“０”与非“０”两部分，则覆盖“０”元素的最少直线数目，等于位于不同行不同列独立零元素的最大个数。 （2）在变换后的矩阵中确定独立零元素 （3）覆盖 ①对没有独立零元素的行打 √ 。 ②在已打√ 的行中,对 元素所在的列打√