运筹学（第2版）课件 第3--5章 整数规划； 图论与网络计划； 存储论.pptx

南京航空航天大学经济与管理学院;第三章整数规划;第三章整数规划;3.1.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,这个解也不是最优解。由此表明，四舍五入或者取整法得到的解并不是整数规划的最优解。

;对于整数规划问题，如果可行域是有界的，那么整数解的数量应该是有限的。在这种情况下，可以使用枚举法计算所有可行整数解，并比较它们对应的目标函数值，从中选择最优解。当决策变量较少且取值范围不大时，枚举法是可行且有效的。然而，对于具有大量决策变量的整数规划问题，当决策变量很多且取值范围较大时，采用枚举法将导致指数级增长的计算量，并不可行。

;目前，解决整数规划问题的两种常用方法是分支定界算法和割平面法。分支定界算法是在20世纪60年代提出的一种灵活且适合计算机求解的方法。下面将通过例子说明分支定界算法的思想和步骤。

;例3.2求解对如下整数规划：

;于是，对原问题增加两个新约束条件，将原问题分为两个子问题，即有;问题（LP1）和（LP2）的可行域中包含了原整数规划问题的所有整数可行解，而在中不可能存在整数可行解的区域已被切除。分别求解这两个线性规划问题，得到的解是：和。

变量仍然不满足整数的条件，对问题（LP1），必有，将（LP1）增加约束条件，得到：

;求解（LP11），得到；求解（LP12），得到 。由于（LP12）的最优值小于（LP11）的最优值，故，原问题的最优值必大于340，尽管（LP12??的解仍然不满足整数条件，（LP12）已无必要继续分解。

对（LP2），不满足整数条件，必有，将这两个约束条件分别加到（LP2）中，得到（LP21）和（LP22），求解得到：（LP21）的最优解为，（LP22）无可行解。

至此，原问题的最优解为。

上述求解过程称为分支定界算法，求解过程用图3.1表示：;图3.1例3.2求解过程;将要求解的整数规划问题称为问题A，将与之相应的线性规划问题称为问题B（与问题A相比较，仅不含有变量为整数的约束条件），问题B称为原问题A的松弛问题。解问题B，可能得到以下情况之一：

B没有可行解，这时A也没有可行解，则停止。

B有最优解，并符合问题A的整数条件，B的最优解即为A的最优解，则停止。;B有最优解，并不符合问题A的整数条件，记它的目标函数值为。

用观察法找问题A的一个整数可行解，一般可取试探，求得其目标函数值，并记为。以表示问题A的最优目标函数值；这时，然后按下述步骤进行迭代。;分支过程。在B的最优解中任选一个不符合整数条件的变量 ，若其值为，以表示小于的最大整数，构造两个约束条件：。将这两个约束条件，分别加入问题B，得到后续规划问题。不考虑整数条件求解这两个后续问题。

定界过程。以每个后续问题为一分支，并标明求解的结果，在其他问题解的结果中，找出最优目标函数值最大者作为新的上界。从已符合整数条件的各分支中，找出目标函数值最大者作为新的下界，若无可行解，则。

;步骤2：

比较与剪支。各分支的最优目标函数中若有小于者，则剪掉这支，以后不再考虑这个分支。若大于，且不符合整数条件，则重复步骤1，直到最后得到为止，得到最优整数解;3.1.3一般整数规划的Excel求解

下面以例3.1为例，介绍如何使用