第3章整数规划-精选课件(公开).ppt

第3章 整数规划 主要内容 3.1 整数规划的基本问题 3.2 分支定界法 3.3 割平面法 3.4 指派问题与匈牙利法 3.1整数规划的基本问题 3.1.1整数规划问题的数学模型 整数线性规划数学模型的一般形式： 整数线性规划问题可以分为下列几种类型： 纯整数线性规划：指全部决策变量都必须取整数值的整数线性规划。 混合整数线性规划：指决策变量中有一部分必须取整数值，另一部分可以不取整数值的整数线性规划。 0-1型整数线性规划：指决策变量只能取值0或1的整数线性规划。 本章讨论整数线性规划。后面提到的整数规划，一般都是指整数线性规划。 整数线性规划及其松驰问题关系： 松驰问题作为一个线性规划问题，其可行解的集合是一个凸集，任意两个可行解的凸组合仍为可行解。 整数规划问题的可行解的集合是它的松驰问题可行解集合的一个子集，任意两个可行解的凸组合不一定满足整数约束条件，因而不一定仍为可行解。 由于整数规划问题的可行解一定也是它的松驰问题的可行解（反之，则不一定），所以，前者最优解的目标函数值不会优于后者最优解的目标函数值。 整数线性规划及其松驰问题关系： 在一般情况下，松驰问题的最优解不会刚好满足变量的整数约束条件，因而不是整数规划的可行解，自然就不是整数规划的最优解。 对松驰问题的这个最优解中不符合整数要求的分量简单地取整，所得到的解不一定是整数规划问题的最优解，甚至也不一定是整数规划问题的可行解。 3.4.3 一般的指派问题 在实际应用中，常会遇到各种非标准形式的指派问题。通常的处理方法是先将它们化为标准形式，然后再用匈牙利解法解之。 分支定界法求解的过程： 3.3 割平面法 割平面法的基本思想：先不考虑整数约束，按一般线性规划问题求其最优解，线性规划问题的最优基本可行解是解集的一个极点，这个极点的的坐标未必都是整数，若不是整数解，可增加一条约束，相当于增加一个平面将这个极点割掉，这在图形上是容易看到的。 考虑纯整数规划问题： 纯整数规划松弛问题： 割平面法在1958年由高莫瑞(R. E. Gomory)首先提出，故又称Gomory割平面法。割平面法中，每次增加的用于“切割”的线性约束称为割平面约束或Gomory约束。构造割平面约束的方法很多，但式（3-31）是最常用的一种，它可以从相应线性规划的最终单纯形表中直接产生。 实验表明若从最优单纯形表中选择具有最大小(分)数部分的非整分量所在行构造割平面约束，往往可以提高“切割”效果，减少“切割”次数。 例3-5 用割平面法求解纯整数规划 3.4 指派问题与匈牙利法 指派问题（assignment problem）类型： 有若干项工作（或任务、事情等）需要分配给若干人（或部门、设备等）来完成； 有若干项合同需要选择若干个投标者来承包； 有若干条交通线（如航空线、航海线、公路线等）需要配置若干交通运输工具（如飞机、船只、汽车等）来运营； 有若干班级需要安排在不同的教室里上课；等等。 它们的基本要求是在满足特定的指派要求时，使指派方案的总体效果最佳。 3.4 指派问题与匈牙利法 3.4.1指派问题及其标准形式 3.4.1指派问题及其标准形式 3.4.2 匈牙利解法 从数学模型可知，标准的指派问题是特殊的整数规划问题，也是特殊的0-1规划问题和特殊的运输问题。 可以用各种相应的解法来求解。但是，这些解法都没有充分利用指派问题的特殊性质。 1955年，库恩（W.W.Kuhn）匈牙利数学家利用康尼格（K?nig）的关于矩阵中独立零元素的定理，提出了解指派问题的一种方法，习惯上称之为匈牙利解法。 3.4.2 匈牙利解法 匈牙利解法步骤: 匈牙利解法步骤: 匈牙利解法步骤: 解例3-6。该指派问题的系数矩阵为： * * 厍向阳 西安科技大学计算机科学技术学院 由于整数规划解的离散性，使得各种连续系统优化技术很难直接用于求解整数规划。 本章介绍的各种类型整数规划的特殊解法，都是根据它们的特殊性质设计的。 现实生活中的指派问题是一种特殊的整数规划问题，其基本要求是在满足特定的指派要求的情况下，使指派方案的总体效果最佳， 本章最后对求解指派问题的匈牙利法做了详细介绍。 要求一部分或全部决策变量必须取整数值的规划问题称为整数规划（integer programming，简记IP）。 不考虑整数条件，由余下的目标函数和约束条件构成的规划问题称为该整数规划问题的松驰问题（slack problem）。 若松驰问题是一个线性规划，则称该整数规划为整数线性规划（integer linear programming）。 3.1.2 解的特点 松弛问题可行解集