运筹学--整数规划.pptx

第三章 整数规划;3.1整数规划的求解;解： 设 分别为甲、乙两种货物的托运箱数，则数学模型可以表示为：;3.1.2分支定界算法 关于整数规划问题的求解，能否采用单纯形法求得非整数约束的最优解，然后通过对其四舍五入或者去尾以求得最优整数解呢？以例3.1的求解为例，该例中，先不考虑x1,x2为整数的条件，采用单纯形法求解该问题，得到： x1=4.8,x2=0,z=96。若对x1,x2 采用四舍五入法求解，则有x1=5,x2=0,显然，此解不是可行解；而去尾法得到x1=4,x2=0 ，此时，目标函数z=80,该解是否是最优解呢？实际上，当x1=4,x2=1时，z=90，由此表明，去尾法得到的解并非最优解。因此，四舍五入或者去尾的方法得到解并不是整数规划的最优解。 ; 目前对于整数规划问题的求解主要有两种方法：分支定解法和割平面法。本章仅介绍分枝定界法，该方法在上世纪60年代由Land Doig和Dakin等人提出，其具有灵活且便于计算机求解的优点，所以现在已成为解决整数规划问题的重要方法。下面通过例子说明分支定界方法的算法思想和步骤。 ;例3.2 求解对如下整数规划： ; 于是，对原问题增加两个新约束条件，将原问题分为两个子问题，即有;问题（LP1）和（LP2）的可行域中包含了原整数规划问题的所有整数可行解，而在 中不可能存在整数可行解的区域已被切除。分别求解这两个线性规划问题，得到的解是： 和 。 变量 仍然不满足整数的条件，对问题（LP1），必有 ，将（LP1）增加约束条件，得到： ;求解（LP11），得到 ；求解（LP12），得到 。由于（LP12）的最优值小于（LP11）的最优值，故，原问题的最优值必大于340，尽管（LP12）的解仍然不满足整数条件，（LP12）已无必要继续分解。 对（LP2）， 不满足整数条件，必有 ，将这两个约束条件分别加到（LP2）中，得到（LP21）和（LP22），求解得到：（LP21）的最优解为 ，（LP22）无可行解。 至此，原问题的最优解为 。 上述求解过程称为分支定界算法，求解过程用图3.1表示： ;10; 将要求解的整数规划问题称为问题 ，将与之相应的线性规划问题称为问题 （与问题A相比较，仅不含有变量为整数的约束条件）， 称为原问题 的松弛问题。解问题 ，可能得到以下情况之一： B没有可行解，这时 A也没有可行解，则停止。 B有最优解，并符合问题A 的整数条件，B 的最优解即为A 的最优解，则停止。;B有最优解，并不符合问题A的整数条件，记它的目标函数值为 。 用观察法找问题A的一个整数可行解，一般可取 试探，求得其目标函数值，并记为 。以 表示问题 A的最优目标函数值；这时 ，然后按下述步骤进行迭代。;分支过程。在 B的最优解中任选一个不符合整数条件的变量 ，若其值为 ，以 表示小于 的最大整数，构造两个约束条件： 。将这两个约束条件，分别加入问题 B ，得到后续规划问题 。不考虑整数条件求解这两个后续问题。 定界过程。以每个后续问题为一分支标明求解的结果，在其他问题解的结果中，找出最优目标函数值最大者作为新的上界 。从已符合整数条件的各分支中，找出目标函数值最大者作为新的下界 ，若无可行解，则 。 ;步骤2： 比较与剪支。各分支的最优目标函数中若有小于Z 者，则剪掉这支，以后不再考虑这个分支。若大于 ，且不符合整数条件，则重复步骤1，直到最后得到 为止，得到最优整数解;3.1.3 一般整数规划的Excel求解 以例3.1为例介绍如何使用Excel求解整数规划问题。这是一个集装箱托运货物问题，最终要求货物甲和货物乙各装多少箱能使利润最大同时又满足集装箱的一些限制条件。基础数据输入如图3.2所示，这是一个整数规划问题。; 使用Excel计算例3.1的步骤与上述线性规划求解类似。需要注意的是货物甲和货物乙的箱数必须指明是整数。如图3.3所示，在“添加约束”对话框中指明在“B7”位置上的第一个变量被限制为整数“int”。所有约束条件被添加完成后，整个参数设置的结