运筹学基础-对偶线性规划(2).ppt
《运筹学基础-对偶线性规划(2).ppt》由会员分享,可在线阅读,更多相关《运筹学基础-对偶线性规划(2).ppt(31页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、线性规划的对偶理论包括以下几个基本定理。定理1(对称性定理)2.2线性规划的对偶理论定理2(弱对偶定理)即对偶问题的对偶是原问题。设x和y分别是原问题和对偶问题的可行解,则必有cxyb,即原问题的目标值小于对偶问题的目标值定理3(无界性)若原问题(对偶问题)为无界解无界解无界解无界解,则其对偶问题(原问题)无可行解无可行解。若原(对偶)问题有可行解有可行解,对偶(原)问题无可行解无可行解,则原(对偶)问题一定无界无界;注:此定理可以判定解的情况定理4(可行解是最优解的性质)定理5(强对偶定理)设X*是原问题的可行解,Y*是对偶问题的可行解,当CX*=Y*b时,X*与Y*是最优解。若原问题有最优
2、解,那么对偶问题也有最优解,且目标函数值相等综合上述结论得原问题与对偶问题的解的关系一般是:一般是:cxyb 对 偶 问 题 有最优解 无界 无可行解原 有最优解 一定 不可能 不可能问 无 界 不可能 不可能 一定题 无可行解 不可能 可能 可能原问题与对偶问题解的对应关系原问题与对偶问题解的对应关系由原问题与对偶问题的解的关系可以判定线性规划的解。例4已知线性规划问题Maxz=x1+x2S.t.x1+x2+x322x1+x2x31xi0(i=1,2,3)Minw=2y1+y2S.t.y12y21y1+y21y1y20y1,y20应用如上关系求解线性规划问题应用如上关系求解线性规划问题试用对
3、偶理论证明上述规划问题无最优解。由第一约束条件可知对偶问题无可行解,则原问题的解无界或无可行解,由于原问题存在可行解,所以解无界。表2:原问题与对偶问题解的对应关系 对 偶 问 题 有最优解 无界 无可行解原 有最优解 一定 不可能 不可能问 无 界 不可能 不可能 一定题 无可行解 不可能 可能 可能解该问题存在可行解,如X=(0,0,0);其对偶问题为:对偶问题无可行解定理6(互补松弛定理)在线性规划问题的最优解中,如果对应某一约束条件的对偶变量值为非零对偶变量值为非零对偶变量值为非零对偶变量值为非零,则该约束条件取严格等式严格等式严格等式严格等式;反之如果约约约约束条件取严格不等式束条件
4、取严格不等式束条件取严格不等式束条件取严格不等式,则其对应的对偶变量一定为零对偶变量一定为零对偶变量一定为零对偶变量一定为零。注:证明过程参见教材注:证明过程参见教材5959页性质页性质5 5证明证明讨论:互补松弛定理也称松紧定理,它描述了线性规划达到最优时,原问题(或对偶问题)的变量取值和对偶问题(或原问题)约束松紧之间的对应关系。当线性规划问题达到最优时,我们不仅同时得到了原问题和对偶问题的最优解,而且也还得到了变量和约束之间的一种对应关系。互补松弛定理即揭示了这一点。1.如果原问题的某一约束为紧约束(严格等式:松弛变量为零),该约束对应的对偶变量应大于或等于零;2.如果原问题的某一约束为
5、松约束(严格不等式:松弛变量大于零),则对应的对偶变量必为零;3.如果原问题的某一变量大于零该变量对应的对偶约束必为紧约束(严格等式);4.如果原问题的某一变量等于零,该变量对应的对偶约束可能是紧约束(严格等式),也可能是松约束(严格不等式)。线性规划达到线性规划达到最优最优时的关系时的关系例5已知线性规划问题MinS=2x1+3x2+5x3+2x4+3x5S.t.x1+x2+2x3+x4+3x542x1x2+3x3+x4+x53xi0(i=1,2,3,4,5)221/5317/557/523=3解:写出对偶问题为:MaxZ=4y1+3yS.t.y1+2y22y1y232y1+3y25y1+y
6、223y1+y23y1,y20又例又例:应用如上关系求解线性规划问题应用如上关系求解线性规划问题已知对偶问题的最优解为y1=4/5,y2=3/5,试应用对偶理论求解原问题。x2=0 x3=0 x4=0等号又因y1,y20,故原问题的两个约束必为紧约束,即x1+3x5=42x1+x5=3解得:x1=x5=1。maxZ=5=minS=5得原问题的最优解X*=(1,0,0,0,1)minS=5Max.Z=2x1+4x2+x3+x4s.t.x1+3x2+x482x1+x26x2+x3+x46x1+x2+x39xj0(j=1,2,3,4)附练习答案:y1=4/5,y2=3/5,y3=1,y4=0已知原问
7、题的最优解为:X*=(2,2,4,0)T,试根据互补松弛定理解出其对偶问题的最优解。线性规划问题的对偶问题为:Min.Z=8y1+6y2+6y3+9y4s.t.y1+2y2+y423y1+y2+y3+y44y3+y41y1+y31yj0(j=1,2,3,4)练习:已知线性规划问题为:为严格不等式,由互补松弛定知,必有y4=0;Max.Z=2x1+4x2+x3+x4s.t.x1+3x2+x482x1+x26x2+x3+x46x1+x2+x39xj0(j=1,2,3,4)8=86=66=689解之,有:y1=4/5,y2=3/5,y3=1,y4=0答案:因为原问题的最优解为:X*=(2,2,4,0
8、)T:又因x1,x2,x30,故对偶问题的前三个约束必为紧约束线性规划问题的对偶问题为:Min.Z=8y1+6y2+6y3+9y4s.t.y1+2y2+y423y1+y2+y3+y44y3+y41y1+y31yj0(j=1,2,3,4)y1+2y2=23y1+y2+y3=4y3=1等号(1)写出对偶问题;(2)已知原问题的最优解为X*=(2,0,1,1)T,求对偶问题的最优解。已知线性规划问题定理7结论:用单纯形法求解线性规划时,迭代的每一步在得到原问题一个基本可行解基本可行解的同时,其:线性规划原问题及其对偶问题之间存在一对互补的基解,其中原原原原问问问问题题题题的的的的松松松松驰驰驰驰变变
9、变变量量量量对应对对对对偶偶偶偶问问问问题题题题的的的的变变变变量量量量,对对对对偶偶偶偶问问问问题题题题的的的的剩剩剩剩余余余余变变变变量量量量对应原原原原问问问问题题题题的的的的变变变变量量量量;这些互相对应的变量如果在一个问题的解中是基基变变量量,则在另一问题的解中是是是是非非非非基基基基变变变变量量量量;将这两个解代入各自的目标数中有z=w。注:证明过程参见教材注:证明过程参见教材6060页性质页性质6 6证明证明检验数行的-(cj-zj)值是其对偶问题的一个基本解基本解基本解基本解yi ;用单纯形法同时求解用单纯形法同时求解原问题原问题和和对偶问题对偶问题原问题是:maxZ=2x1+
10、x2 5x2 15 6x1+2x2 24 x1+x2 5 x1,x2 0原问题的标准型是:maxZ=2x1+x2+0 x3+0 x4+0 x5 5x2+x3 =15 6x1+2x2 +x4 =24 x1+x2 +x5=5 xi 0 Cj比比值值CBXBb检验数检验数 jx1x2x3x4x52100015051002462010511001x3x4x5000021000 maxZ=2x1+x2+0 x3+0 x4+0 x5 5x2+x3 =15 6x1+2x2 +x4 =24 x1+x2 +x5=5 xi 0-24/6=45/1=5原问题变量原问题松驰变量对偶问题剩余变量y4、y5对偶问题变量y
11、1、y2、y3得原问题可行解得原问题可行解得原问题可行解得原问题可行解:X X=(0,0,15,24,5)=(0,0,15,24,5)T T对偶问题解对偶问题解对偶问题解对偶问题解:Y*Y*=(0,0,0,-2,-=(0,0,0,-2,-1)1)T T检验数行的(cj-zj)值是其对偶问题的一个基本解基本解基本解基本解yi ;检验数检验数 j1505100411/301/60102/30-1/61x3x1x5020-801/30-1/303121.5得原问题可行解得原问题可行解得原问题可行解得原问题可行解:X X=(4,0,15,0,1)=(4,0,15,0,1)T T,此时,此时,此时,此时
12、Z=8Z=8同时得对偶问题基础解同时得对偶问题基础解同时得对偶问题基础解同时得对偶问题基础解:Y*Y*=(0,1/3,0,0,-1/3)=(0,1/3,0,0,-1/3)T T,W=8W=8对偶问题剩余变量y4、y5对偶问题变量y1、y2、y3原问题变量原问题松驰变量检验数行的-(cj-zj)值是其对偶问题的一个基本解基本解基本解基本解yi ;变换单纯形表变换单纯形表Cj比比值值CBXBb检验数检验数 j=cj-zjx1x2x3x4x52100015/20 0 15/4-15/27/21001/4-1/23/2010-1/43/2x3x1x2021-17/2000-1/4-1/2此时得原问题最
13、优解此时得原问题最优解此时得原问题最优解此时得原问题最优解:X X*=(7/2,3/2,15/2,0,0)=(7/2,3/2,15/2,0,0)T T,Z Z*=17/2=17/2原问题变量原问题松驰变量对偶问题剩余变量y4、y5对偶问题变量y1、y2、y3则对偶问题最优解则对偶问题最优解则对偶问题最优解则对偶问题最优解:Y Y*=(0,1/4,1/2,0,0)=(0,1/4,1/2,0,0)T T,S S*=17/2=17/2检验数行的-(cj-zj)值是其对偶问题的一个基本解基本解基本解基本解yi ;又例:又例:用单纯形法同时求解用单纯形法同时求解原问题原问题和和对偶问题对偶问题maxZ=
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 运筹学 基础 对偶 线性规划
限制150内