运筹学-第五章整数规划.pptxVIP

运筹学第五章整数规划薛威2015年4月【教学目的】 通过本单元的学习，使学生掌握整数问题的概念，类型和模型的建立，能够运用分支界定法求解一般整数问题，并掌握0-1整数规划和指派问题的基本求解方法。【教学重点】建立整数规划模型掌握分支界定法Textmasterformate durch Klicken bearbeitenZweite EbeneDritte EbeneVierte EbeneFünfte EbeneLet’s go【教学难点】0-1整数规划、指派问题的求解第五章整数规划整数规划问题介绍整数规划算法——分枝定界法整数规划算法——割平面法0-1整数规划指派问题(分派问题)线性规划模型：实际问题要求xi为整数！如机器的台数，人数等线性整数规划简称整数规划非线性整数规划整数线性规划问题纯整数规划0—1规划混合型整数规划纯整数规划的数学模型：0--1规划的数学模型：例1.胜利家具厂生产桌子和椅子两种家具。桌子售价50元/个，椅子售价30元/个，生产桌子和椅子需要木工和油漆工两种工种。生产一个桌子需要木工4个小时，油漆工2小时。生产一个椅子需要木工3个小时，油漆工1小时。该厂每月可用木工工时为120小时，油漆工工时为50小时。问该厂如何组织生产才能使每月的销售收入最大？纯整数规划例2.某服务部门各时段（每2小时为一时段）需要的服务员人数见下表。按规定，服务员连续工作8小时（即4个时段）为一班。现要求安排服务员的工作时间，使服务部门服务员总数最少。 时务员最少数目10891113853解 设在第j时段开始时上班的服务员人数是xj。由于第j时段开始时上班的服务员将在第（j+1）时段结束时下班，所以决策变量只需考虑x1，x2 ，x3 ，x4 ，x5。该问题的数学模型是数学模型：解：混合型整数规划总结整数规划的可行域包含在其对应的一般线性规划可行域之内；整数规划的最优解可能不是其对应的一般线性规划的顶点；整数规划的最优解不会优于其对应的线性规划的最优解。分支定界法1、基本思路考虑纯整数问题：整数问题的松弛问题： （1）先不考虑整数约束，解( IP )的松弛问题( LP )，可能得到以下情况之一： ①若( LP )没有可行解，则( IP )也没有可行解，停止计算。 ②若( LP )有最优解，并符合( IP )的整数条件，则( LP )的最优解即为( IP )的最优解，停止计算。 ③若( LP )有最优解，但不符合( IP )的整数条件，转入下一步。 为讨论方便，设( LP )的最优解为： （2）分支： 在( LP )的最优解 X(0)中，任选一个不符合整数条件的变量，例如xr= br’ （不为整数），以[br’]表示不超过br’的最大整数。构造两个约束条件 xr≤ [br’]和xr≥ [br’]＋1 将这两个约束条件分别加入问题( IP ) ，形成两个子问题( IP1)和( IP2 ) ，再解这两个子问题的松弛问题( LP1)和( LP2) 。 （3）定界：记( IP )的目标函数最优值为,以 作为 的下界，记为 。令 ，则有 （4）修改上、下界：按照以下两点规则进行。 ①在各分枝问题中，找出目标函数值最小者作为新的下界； ②从已符合整数条件的分枝中，找出目标函数值最小者作为新的上界。 （5）比较与剪枝 ： 各分枝的目标函数值中，若有大于 者，则剪掉此枝，表明此子问题已经探清，不必再分枝了;否则继续分枝。如此反复进行，直到得到 为止，即得最优解 X* 。9X1+7X2 ? 567X1+20X2 ? 70X1 , X2? 0 X1 , X2为整数2、例题 max Z=40X1 + 90X2 4.8091.817X* =Z* =355.890， 上界Z* (1)X1 ? 4(1)X1 ? 5问题(2)问题(3)解：先解该整数规划对应的松弛问题选X1分枝X1 =4X2 =2.1X1 =5X2 =1.571解为解为Z=349.0Z=341.39(2)X2 ? 2(2)X2 ? 3问题(4)问题(5)问题2问题3选(2)继续分枝(1)4.8091.817355.890X1? 5X1? 4(3)(2)51.57142.1341.39349.0X2? 1X2? 2X2? 2X2? 3(4)(5)(6)(7)340340421.42835.4441340327.12无解307.76分支定界过程总结x1≤[x*01]x1≥[x*01]+1割平面法割平面法的基本思想： 若整数规划IP的松弛规划L0的最优解不是整数解，对L0增加一个约束条件，得线性规划L1，此过程缩小了松弛规划的可行解域，在切去松弛规划的最优解的同时，保留松弛规划的任