运筹学与效益管理.pptVIP

本章介绍整数规划，重点是整数线性规划的数学模型，介绍割平面法和分支定界法，使学生掌握整数线性规划的解题方法，介绍0?1型整数规划，使学生掌握指派问题的解题方法。 本章的难点是割平面法和分支定界法的思想方法，本章共布置8道习题。 第五章 整数规划 第一节整数规划的数学模型及解的特点 1。整数规划数学模型的一般形式： 要求一部分或全部决策变量必须取整数值的规划问题称为整数规划。不考虑整数条件，由余下的目标函数和约束条件构成的规划问题称为原问题的松弛问题。若松弛问题是一个线性规划，则称该整数规划为整数线性规划。 整数线性规划数学模型的一般形式 max (min) z = c1x1+ c2x2+…+cnxn a11x1+ a12x2+…+a1nxn≤(=, ≥)b1 a21x1+ a22x2+…+a2nxn≤(=, ≥)b2 …… am1x1+ am2x2+…+amnxn≤(=, ≥)bm x1, x2,…,xn ≥0 x1, x2,…,xn中部分或全部取整数 纯整数线性规划,混合整数线性规划 0-1型整数线性规划 2。整数规划的例子： 在一般线性规划问题中增加整数条件。 0-1型整数线性规划问题可以描述逻辑问题 3。解的特点： 整数规划问题的可行解集合是它的松弛问题的可行解集合的一个子集。前者最优解的目标函数值不会优于后前者最优解的目标函数值。 松弛问题的最优解经过简单取整后，得到的解不一定是原整数规划问题的最优解，甚至不一定是原问题的可行解。 但是，松弛问题的最优解的邻域可能存在原整数规划问题的较优解，可以作为近似解。 第二节割平面法 在纯整数线性规划中，若松弛问题的最优解X*不满足整数条件，则从X*的非整分量中选取一个，用以构造一个线性约束条件，将其加入原松弛问题，形成一个新的线性规划，重复直至获得整数最优解。 为了最终获得整数最优解，构造的线性约束条件必须： 1。不满足整数条件的最优解X*不满足新线性约束条件。 2。凡整数可行解满足新线性约束条件。 若bi0不是整数，xi0是基变量，K是非基变量的下标集合： 分解ai0和bi0成两部分： ai0=Ni0,j+fio,j ,整数部分Ni0,j? ai0, 0 ? fio,j 1 bi0=Ni0+fi0 ,整数部分Ni0? bi0, 0 fio 1 新线性约束条件是 对于整数可行解，满足 然而，原来的松弛问题最优解X*不满足新线性约束条件。 0 ? - fi0 -1/7x3+-2/7x5?-6/7 -1/7x3+-2/7x5+x6=-6/7  第三节分支定界法 整数规划有时只有有限个可行解，枚举求出解z*。 分支定界法：把原问题的可行解分成若干支，分别求出各支最优解，比较后可得最优解z*。假使已经求出一个可行解z ，把它作为界限z? z*,如果可以判断某支的最优解不如z，那么该支中不存在最优解，不必在该支中搜索。 分支定界法的要点： 1。问题可分解成若干分支。 2。可以找到每一支的较好的上界。 3。尽早找到一个较好的可行解作为判断的界限。 4。在搜索中，如果发现更好的可行解，应更新判断的界限，作为当前的最优解。 5。所有的分支都搜索后，当前的最优解就是最后的最优解。 在整数规划中，每支的松弛问题的最优解可以作为该支的上界。如果某支的松弛问题的最优解不如界限z,那么可以判断某支的最优解不如z，不必在该支中搜索。 一般步骤：整数规划问题A有最优解Z*,松弛问题为B。 解问题B， 得下列几种情况： B无可行解，则问题A也无可行解，Stop B有最优解，且满足整数条件，也是A的最优解，Stop B有最优解x，但不满足整数条件。转步骤2。 2. 用观察法或在x的邻域找出A的可行解，作为当前的最优解，记目标函数值为zb,转步骤3。 3. 对于问题B，任选一个不符合整数条件的变量xj=bj，对问题B进行分支，增加两个约束条件： xj?[bj] 和 xj?[bj] +1，形成两个后继问题B1 和B2 ,求它们的松弛问题，得到目标函数值的上界。转步骤4 。 4. 考察所有后继问题， (a)如果它的目标函数值的上界不如zb，舍去该支，转步骤4 。 (b)如果没有后继问题, 则当前最优解就是原问题的最优解，stop。 (c)寻找目标函数值的上界最好的后继问题,转步骤5。 5. 处理某一个后继问题Bi，(a)如果它的最优解满足整数条件，且优于zb，则用它更新zb，转步骤4。 (b)如果它的最优解不满足整数条件，转步骤3。 第四节 0-1型整数规划 0-1变量及其应用： 0-1变量可表示逻辑关系： x=1: 采取方案。 x=0:不采取方案。 若需要从p个约束条件中， 恰好选择q个，则可引入p个0-1变量： yi=0:选择i个约束条件。 y