(7.2.1)--整数规划模型的求解(NO19).pdf
《(7.2.1)--整数规划模型的求解(NO19).pdf》由会员分享,可在线阅读,更多相关《(7.2.1)--整数规划模型的求解(NO19).pdf(24页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1 运运 筹筹 学学 第十九讲第十九讲 整数线性规划模型的求解整数线性规划模型的求解 2 求解求解ILPILP问题方法的思考:问题方法的思考:“舍入取整”法:即先不考虑整数性约束,而去求解其相应的LP问题(称为松驰问题),然后将得到的非整数最优解用“舍入取整”的方法。这样能否得到整数最优解?否!这是因为“舍入取整”的解一般不是原问题的最优解,甚至是非可行解。但在处理个别实际问题时,如果允许目标函数值在某一误差范围内,有时也可采用“舍入取整”得到的整数可行解作为原问题整数最优解的近似。这样可节省求解的人力、物力和财力。整数线性规划模型的求解整数线性规划模型的求解 如对于某个线性规划问题的解X1=
2、1000.8,X2=998.2,虽然取整数后不一定是整数规划问题的最优解,但是从经济成本上考虑,则可以用取整的方法来处理。3 例如:对于线性规划问题 egersareandxxxxxxtsxzint,0,21321.max2121212整数规划的最优解 取整后的整数解,却不是可行解 4 又如,对于下列模型 egersareandxxxxxtsxxzint,0,22010.5max2112121整数规划最优解 松驰LP问题的最优解 取整后的整数解 5 严格地说严格地说,IPIP是个非线性规划问题是个非线性规划问题。这是因为这是因为IPIP的的可行解集是由一些离散的非负整数所组成可行解集是由一些离
3、散的非负整数所组成,不是一个凸集不是一个凸集。迄今为止迄今为止,求解求解IPIP问题尚无统一的有效算法问题尚无统一的有效算法。但常用的有但常用的有求解一般整数规划的分枝定界法求解一般整数规划的分枝定界法、割平面法和求解割平面法和求解0 0-1 1规规划的隐枚举法划的隐枚举法。在这里我们只介绍分枝定界法和隐枚举法在这里我们只介绍分枝定界法和隐枚举法。1 1、整数规划的分枝定界法、整数规划的分枝定界法 分枝定界法可用于解纯整数或混合整数规划问题。在分枝定界法可用于解纯整数或混合整数规划问题。在本世纪六十年代初由本世纪六十年代初由Land DoigLand Doig和和DakinDakin等人提出。
4、由于该等人提出。由于该方法灵活且便于利用计算机求解,所以它是目前求解整数方法灵活且便于利用计算机求解,所以它是目前求解整数规划的重要方法。规划的重要方法。6(1)先不考虑原整数规划问题中的整数性约束,去解其相)先不考虑原整数规划问题中的整数性约束,去解其相应的松弛问题。对于最大化问题,松弛问题的最优值就是应的松弛问题。对于最大化问题,松弛问题的最优值就是原问题最优值的上界。如果松弛问题的最优解满足整数性原问题最优值的上界。如果松弛问题的最优解满足整数性约束,则它就是原问题的最优解。约束,则它就是原问题的最优解。分枝定界法的基本思想分枝定界法的基本思想:iibx 1iibx(2)否则,)否则,就
5、在不满足整数性约束的变量中,任意选一个就在不满足整数性约束的变量中,任意选一个xi(假设其值为(假设其值为bi),将新的约束条件),将新的约束条件 和和 分分别加入原问题中,把原问题分枝为两个子问题,别加入原问题中,把原问题分枝为两个子问题,并分别求解子并分别求解子问题的松弛问题。问题的松弛问题。(3)若子问题的松弛问题的最优解满足整数性约束,则不再分)若子问题的松弛问题的最优解满足整数性约束,则不再分枝,其相应的目标函数值就是原问题目标函数值的一个下界。枝,其相应的目标函数值就是原问题目标函数值的一个下界。对不满足整数性约束的子问题,如果需要的话,继续按上述方对不满足整数性约束的子问题,如果
6、需要的话,继续按上述方法进行新的分枝,并分别求解其对应的松弛问题,直至求得原法进行新的分枝,并分别求解其对应的松弛问题,直至求得原问题的最优解为止。问题的最优解为止。7 且为整数0,1032546.t.s2015zmaxxxxxxxxx21212121解:首先不考虑整数约束,相应的问题称为原问题的松驰解:首先不考虑整数约束,相应的问题称为原问题的松驰问题问题 0,1032546.t.s2015zmaxxxxxxxxx21212121松驰问题(0)用单纯形法求得其最优解为用单纯形法求得其最优解为x x1 1=2.5=2.5,x x2 2=2.5=2.5,z=87.5z=87.5 例题例题1 1:
7、用分枝定界法求解下列整数规划问题:用分枝定界法求解下列整数规划问题:2 1x8 0,1032546.t.s2015zmaxxxxxxxxx21212121松驰问题(0)0210325462015211212121xxxxxxxxx,.t.szmax问题(问题(1 1)3 1x问题(问题(2 2)0310325462015211212121xxxxxxxxx,.t.szmax最优解x1=2,x2=2.67 z=83.3 最优解x1=3,x2=1.75 z=80 且为整数0,1032546.t.s2015zmaxxxxxxxxx212121219 问题(0)x1=2.5,x2=2.5 z=87.5
8、 问题(1)x1=2,x2=2.67 z=83.3 问题(2)x1=3,x2=1.75 z=80 问题(3)x1=2,x2=2 z=70 问题(4)x1=1,x2=3 z=75 问题(5)x1=3.5,x2=1 z=72.5 问题(6)无可行解 2x13x12x23x21x22x2其求解框图如下:其求解框图如下:10 例题例题2 2:用分枝定界法求解下列混合整数规划问题:用分枝定界法求解下列混合整数规划问题 1231232312312313max3324432().323,0,ZxxxxxxxxAstxxxx x xx x并且为整数0,32323442.)(33max3213213232132
9、1xxxxxxxxxxxtsBxxxZ解:去掉整数性约束,变为松驰问题解:去掉整数性约束,变为松驰问题 0,32323442.)(33max32132132321321xxxxxxxxxxxtsBxxxZ11 用单纯形法求得问题(B)的最优解为:29max,310,3,316321Zxxx3161x6511xx和因为因为 为非整数,所以将约束为非整数,所以将约束 分别增加到(分别增加到(B B)中,构成两个分枝问题()中,构成两个分枝问题(B B1 1)和()和(B B2 2)。)。0,532323442.)(33max3211321323211321xxxxxxxxxxxxtsBxxxZ0,
10、632323442.)(33max3211321323212321xxxxxxxxxxxxtsBxxxZ15x 16x 1231232312312313max3324432().323,0,ZxxxxxxxxAstxxxx x xx x并且为整数12 51x61x43x33x问题B x1=16/3,x2=3,x3=10/3 z=29 问题B1 x1=5,x2=20/7,x3=23/7 z=194/7 问题B2 无可行解 问题B11 x1=5,x2=11/4,x3=3 z=107/4 问题B12 无可行解 13 分枝定界法应该注意的问题:分枝定界法应该注意的问题:上述两个例题的求解过程遵循了以下
11、分枝定界的原则:上述两个例题的求解过程遵循了以下分枝定界的原则:(1 1)每个松弛问题的最优值均是相应整数规划问题最优)每个松弛问题的最优值均是相应整数规划问题最优值的上界。值的上界。(2 2)在求解子问题的松弛问题时,)在求解子问题的松弛问题时,若松弛问题无可行解,则相应的子问题也无可行解,舍若松弛问题无可行解,则相应的子问题也无可行解,舍弃不再分枝。弃不再分枝。若松弛问题的解满足整数性约束,则此解为相应子问题若松弛问题的解满足整数性约束,则此解为相应子问题的最优解,此时不分枝。如果目标函数值大于目前的下界的最优解,此时不分枝。如果目标函数值大于目前的下界值,则修改下界值。值,则修改下界值。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 7.2 整数 规划 模型 求解 NO19
限制150内