第五部分整数规划课程.pptVIP

中原工学院机电学院 主讲：丁剑飞 dingjf06@163.com 第五章 整数规划 　5.1 整数规划的数学模型 　　在线性规划问题中，如果决策变量要求全部取整数，就称为纯整数规划；如果仅部分决策变量要求取整数则称为混合整数规划，二者统称为整数规划。 　　例5.1 某工厂拟用火车装运甲、乙两种货物集装箱，每箱的货物体积、重量、可获利润以及装运所受的限制如下表。问两种货物各装多少箱，可获得利润最大？ 第五章 整数规划 　　解 设甲乙两种货物装箱数分别为x1，x2。显然x1，x2是整数，于是可建立整数规划模型如下： 　　若暂且不考虑x1，x2的整数限制，则规划就变成线性规划： 第五章 整数规划 　　我们称规划（5.2）为规划（5.1）的伴随规划。解（5.2）得到最优解： 　　　　x1=4.8 x2=0 max Z=96 　　它不满足规划（5.1）的整数要求。通过伴随规划最优解的“舍零取整”的办法，一般得不到原整数规划的最优解。 　　若伴随规划（5.2）的可行域K是有界的，则整数规划（5.1）的可行域K0应是K中有限个整数点的集合。 　　如果整数规划的规模比较小的话，可以用穷举法求出最优解。但是如果规模很大，使用穷举法根本无法完成。因此，研究求解整数规划的一般方法是有实际意义的。常用的整数规划算法有：割平面法、分支界定法等等。 第五章 整数规划 　　 第五章 整数规划 　　5.2 分支界定法 　　分支界定法的主要思路是首先求解整数规划的伴随规划，如果求得的最优解不符合整数条件，则增加新约束——缩小可行域；将原规划问题分支——分为两个子规划，再解子规划的伴随规划。通过求解一系列子规划的伴随规划，不断地界定，最后得到原整数规划问题的整数最优解。 　　5.2.1 分支界定法的主要思路 　　例5.2 某公司设计两种类型的宿舍，甲种每幢占地0.25×100㎡，乙种每幢占地0.40×100㎡。该公司拥有土地3×100㎡。计划甲种宿舍不超过8幢，乙种宿舍不超过4幢。甲宿舍每幢利润10万元，乙种宿舍每幢利润20万元。问该公司应计划甲、乙两种类型的宿舍各建多少幢时，能使公司获利最大？ 第五章 整数规划 　　解 设计划建甲种宿舍x1幢，乙种宿舍x2幢，则其数学模型为： 　　原问题称为A0，将上式约束条件系数全化为整数，去掉整数条件，得到问题A0的伴随问题，称之为B0： 第五章 整数规划 　　用单纯形法求解问题B0，得到最优解及最优值： 　　　　x1=5.6，x2=4，X0*=(x1,x2)T，f0*=136 　　1.计算原问题A0目标函数值的初始上界Z 　　因为X0*不是问题的最优解，且 （K0’为A0的可行域，K0为B0的可行域），故问题A0的最优值不会超过B0的最优值，即 。 　　2.计算原问题A0目标函数的初始下界Z 　　若能从问题A0的约束条件中观察到一个整数可行解，则可以作为问题A0目标函数的初始下界，否则可令初始下界 　　　　。给定下界的目的，是希望在求解过程中寻找比当前Z更好的目标函数值。 第五章 整数规划 　　3.增加约束条件将原问题分支 第五章 整数规划 　　4.分别求解一对分支 　　在一般情况下，对某个分支问题（伴随规划）求解时，可能出现以下几种可能： 　　（1）无可行解 　　（2）求得整数最优解。 　　（3）得到非整数最优解。 　　若求得某个分支问题得到的是不满足整数条件的最优解，还要分两种情况：①该最优解的目标函数值Z小于当前的下界Z，则该分支不可能含有原问题的整数最优解，称为“枯枝”，需要剪掉。②该最优解的目标函数值Z大于当前的下界Z，则仍需对该枝继续分支，以查明该分支内是否有目标函数值比当前的Z更好的整数最优解。 第五章 整数规划 　　本例问题B1及问题B2的模型及求解结果如下 　　 问题B1 问题B2 　　 解为：f1*=130 X1*=(5,4)T f2*=135 X2*=(6,3.75)T 　　问题B1的解是整数最优解，它也是问题A0的整数可行解，故A0的整数解Z*≥f1*=130。此时修改Z=130，同时B1成为“树叶”。 第五章 整数规划 　　问题B2的解不满足整数条件，故问题A0分别增加约束条件：x2≤3及x2≥4。分为A3与A4两支，建立相应的伴随规划B3、B4。 　　　　　问题B3 问题B4 　　明显K4=Φ，问题B4无可行解，此问题已是“树叶”。 第五章 整数规划 　　求解B3，得最优解X3*=(7.2,3)T，f3*=132。 　　5.修改上下界Z与Z 　　（1）修改下界Z