运筹学第四章整数规划与分配问题a.ppt

作业：P125 4.1 4.2 4.3(a) 4.4第四章 整数规划与分配问题第一节 整数规划的特点及应用 一、整数规划的一般形式定义：一部分或全部决策变量必须取整数值的规划问题称为整数规划。不考虑整数条件，由余下的目标函数和约束条件构成的规划问题称为该整数规划的松弛问题。若松弛问题是线性规划，则该整数规划称为整数线性规划。 二、整数规划的分类1. 全整数线性规划 决策变量全部取整数，约束系数和约束常数项也取整数的整数线性规划。2. 纯整数线性规划 决策变量全部取整数，约束系数和约束常数项可取非整数的整数线性规划。 纯整数线性规划可化为全整数线性规划。3. 混合整数线性规划 决策变量中有一部分取整数值，另一部分可取非整数值的整数线性规划。4. 0-1整数线性规划 决策变量只能取0或1的整数线性规划。 三、0-1变量（或称逻辑变量）在模型中的应用 整数规划模型对研究管理问题有重要意义。很多不能归结为线性规划数学模型的管理问题，却可以通过设置逻辑变量建立起整数规划数学模型。 第二节 分配问题(指派问题）与匈牙利法 2-1 问题的提出及数学模型 假设有m项任务分配给m个人去完成，并指定每个人完成其中一项，每项任务也只由一个人完成，问应如何分配任务，才能使总效率最高？（或总费用最少，花费的总时间最少等等。） 设每个人完成不同任务的耗费见下面的效率矩阵，通常要求aij≥0。 则分配问题的数学模型为 匈牙利法的步骤：第一步 效率矩阵每行都减去该行的最小元素；第二步 效率矩阵每列都减去该列的最小元素； 此时，效率矩阵的每行每列都有0元素。 第三步 寻找位于不同行不同列的0元素，也就是寻找能覆盖所有0元素的最少直线数。 方法：1. 从只有一个0元素的行开始，对0元素打上（ ）号，然后对打（ ）的0元素所在列画一条直线，依次进行到最后一行；2. 从只有一个0元素的列开始，对0元素打上（ ）号， 然后对打（ ）的0元素所在行画一条直线，依次进行到最后一列； 3. 重复1.、2.两个步骤，可能出现三种情况： （1）若能找到m个位于不同行不同列的0元素（即带（ ）的0元素），则令（0）处的xij=1,求解结束；（2）若有形成闭回路的0元素，则任选一个打（ ），然后对每个间隔的0元素打（ ），同时对打（ ）的0元素所在行（或列）画一条直线。 （3）若位于不同行不同列的0元素[即带（ ）的0元素]少于m，转第四步。  第四步 为产生m个位于不同行不同列的0元素，用定理一对效率矩阵进行调整，使之生成新的0元素。方法：1. 在效率矩阵未被直线覆盖的元素中找出最小元素k；2. 效率矩阵未被直线覆盖的行都减k;3. 效率矩阵被直线覆盖的列都加k;4. 转回第三步。 2-3 特殊情况的处理1. 人数多于任务数，加虚拟任务。设有n人，m项任务，n＞m,则增加n-m项任务。2. 人数少于任务数，加虚拟人员。设有n人，m项任务，n＜m,则增加m-n项任务。 此时，效率矩阵的元素全成为负值，不符合要求，根据定理1，令变换后的效率矩阵每行都加M即可。 作业：P126 4.7（a) 4.8(a)第三节 分枝定界法一、分枝定界法的基本思想 先不考虑整数解的限制，用单纯形法求解其松弛问题，如果求得的解恰好是整数解，则得整数规划最优解，停止计算。否则，将松弛问题分解为两个子问题（也称后继问题），每个子问题都是在原松弛问题的基础上增加一个变量取整数的约束条件，这样就缩小了原来的可行域，然后用单纯形法求解，直至得到最终结果。 二、分枝定界法的步骤（最大值问题）第一步 寻找替代问题并求解 设原整数规划问题为IP，其松弛问题为L0。用单纯形法求L0，若L0无可行解，则IP也无可行解，计算停止。若求得L0为整数解，则得IP的最优解，停止。否则，转下一步；第二步 分枝与定界 在L0的解中，任选一个不满足整数条件的变量xi，设xi = bi ，则做两个子问题 第四节 割平面法一、割平面法的基本思想 先不考虑整数条件，用单纯形法求解其松弛问题，若得整数解，即得整数规划最优解。否则，增加线性约束条件（称为割平面方程），将原问题的可行域切割掉一部分，被切割掉的都是非整数解，再用单纯形法求解新的线性规划问题，依次进行下去，直到使问题的最优解恰好在可行域的某个具有整数坐标的顶点上得到。 三、割平面方程的求法 1.求解线性方程组法  设xi=bi 是整数规划的松弛问题（LP问题）最优解中取分数值（分数部分最大）的基变量，将xi=bi用非基变量表示 将bi，aik分解成整数部分和非负真分数部分之和：