(本科)第4章 对偶线性规划与灵敏度分析 教学ppt课件.ppt
《(本科)第4章 对偶线性规划与灵敏度分析 教学ppt课件.ppt》由会员分享,可在线阅读,更多相关《(本科)第4章 对偶线性规划与灵敏度分析 教学ppt课件.ppt(66页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、(本科)第4章 对偶线性规划与灵敏度分析 教学ppt课件21世纪高等院校公共课精品教材管理运筹学管理运筹学董银红 付丽丽 编著东 北 财 经 大 学 出 版 社Dongbei University of Finance&Economics PressCONTENTS第4章 对偶线性规划与灵敏度分析对偶性是线性规划最重要的内容之一,也是线性规划早期研究的最重要成果之一。每一个线性规划问题必然有与之相伴而生的另一个线性规划问题,其中一个问题称为原问题,另一个称为对偶问题。这两个问题之间存在着非常密切的关系。本章主要涉及对偶的三个问题:一是给定了原问题,如何写出其对偶问题;二是研究原问题和对偶问题之
2、间的关系;最后给出解线性规划的对偶单纯形方法。CONTENTS4.1 原问题与对偶问题在对称形式下,原问题与对偶问题有如下关系:原问题中求目标函数极大值,对偶问题中为求目标函数极小值;原总是中约束条件个数等于对偶问题中变量的个数,原问题中变量的个数等于对偶总是中的约束条件个数;原问题中约束条件符号为,对偶问题中约束条件符号为;原问题目标函数的系数是其对偶问题约束条件的右端项,而原问题约束条件的右端项则是其对偶问题目标函数的系数。CONTENTS4.1 原问题与对偶问题但是,并非所有线性规划都具有上述对称形式,对于一般情况下线性规划问题的对偶问题,可以分以下几种情况来讨论: 1. 等号约束问题【
3、定理【定理4.1】如果原始问题的约束条件是等式,则对偶问题中的变量无符号限制。2. 极大化目标函数、约束条件为的问题【定理定理4.24.2】 如果极小化原始问题中的约束条件(不包括变量非负约束)为,则对偶问题中的变量具有非正(0)约束。CONTENTS4.1 原问题与对偶问题于是可得到下面的推论:【推论4.1】 如果原始问题中的变量无符号限制,则对偶问题中的约束条件为等式约束。【推论4.2】 如果原始问题中的变量具有非正(0)约束,则极小化对偶问题的约束条件为 约束。CONTENTS4.1 原问题与对偶问题为了更好地理解以上结论,给出如下例子。【例4-2】 写出以下原始问题的对偶问题: max
4、 z=2x1-x2+4x3+x4 x1+3x2-x3+5x412s.t. -2x1-2x2+3x3-2x4=25 3x1+x2-2x3+x418 x10 x20 x3:unr x40 CONTENTS4.1 原问题与对偶问题极大化问题极大化问题(max)极小化问题极小化问题(min)约束约束 a aijijx xi icj jy yj j0 0变量变量 a aijijx xi i=c=cj jy yj j:unr:unr a aijijx xi icj jy yj j0 0变量变量x xi i0 0 a aijijy yj jb bi i约束约束x xi i:unr:unr a aijijy
5、yj j=b=bi ix xi i0 0 a aijijy yj jb bi i 通过对称形式和一般形式的讨论,可以对原始问题和对偶问题之间的关系做出如下总结: CONTENTS4.2 对偶问题的基本性质1. 对称性:对偶问题的对偶是原问题。设原始问题为:max z=CTXs.t. AXb (P) X0根据定义,对偶问题为:min =bTYs.t. ATYC (D) Y0CONTENTS4.2 对偶问题的基本性质2. 弱对偶性极小化原始问题的任一可行解的目标函数值总是大于或等于极大化对偶问题的任一可行解的目标函数值。也就是说,若 是原问题的可行解, 是对偶问题的可行解。则恒有: 。这就是弱对偶
6、定理,其证明如下:证明:设原始问题为max z=CTXs.t. AXb (P) X0则对偶问题为:min =bTYs.t. ATYC (D) Y0TTc xb yCONTENTS4.2 对偶问题的基本性质3.最优性如果XF和XF分别是原始问题和对偶问题的可行解,并且它们对应的目标函数值相等,则XF和XF分别是原始问题和对偶问题的最优解。即可行解是最优解时的性质:设是原问题的可行解,是对偶问题的可行解,当z=CTX= bTY =w时,X,Y是最优解。证明如下:证明:设XF 是原问题的最优解,YF 是其对偶问题的最优解由弱对偶性, CTXFbTYF可知CTX CTXF bTYFbTY又由已知 z=
7、CTX= bTY =w所以CTX =CTXF=bTYF=bTY即X也是原问题的最优解,Y也是其对偶问题的最优解。CONTENTS4.2 对偶问题的基本性质4.无界性如果原始问题和对偶问题中的任一个目标函数无界,则另一个必定无可行解。注意这个性质的逆命题不成立,即一个问题无可行解,不能推得另一个问题目标函数无界。事实上,一对原始对偶问题都没有可行解的情况是存在的。 CONTENTS4.2 对偶问题的基本性质5.对偶定理若原问题及其对偶问题均具有可行解,则两者均具有最优解,且它们的最优解的目标函数值相等。证明:由于原问题及其对偶问题均具有可行解,根据弱对偶性,可以确定原问题的目标函数具有上界,对偶
8、问题的目标函数具有下界,因此两者均具有最优解。设原问题的最优基为B,对应的基础最优解为X,通过单纯形法可知,原问题的最优值为z=CTX= B-1b,且CT B-1A0TBCTBCCONTENTS4.2 对偶问题的基本性质对于对偶问题,令YT= B-1,则由上式可得AYTCT又由于Y是对偶问题的可行解,其对应的目标函数值w =YTb= B-1 b所以有 z=CTX= bYT = w可知,当原问题为最优解时,其对偶问题的解为可行解,且有z =w,由最优性,这时两者的解均为最优解,且它们的目标函数值相等。 TBCTBCCONTENTS4.2 对偶问题的基本性质6.互补松弛关系【定理4.3】 若X=(
9、x1,x2,xn)T和Y=(y1,y2,ym)T分别是原始问题和对偶问题的最优解,则有或用矩阵向量表示为 110(1,2, )()0(1,2,)mijijjinijjiija ycxjna xb yim()()0,()0TTTYAXbXcA YCONTENTS4.2 对偶问题的基本性质证明:设原始问题为max z=CTXs.t. AXb (P)X0则对偶问题为:min z=bTYs.t. ATYC (D)Y0 CONTENTS4.2 对偶问题的基本性质【推论推论4.34.3】 由于Xo,Yo分别是原始对偶问题的最优解,因此在以上两式中,有100(1,2, )00(1,2,)ojoTjjoino
10、ijjijxcYjnYa xbimaCONTENTS4.2 对偶问题的基本性质【推论推论4.44.4】 若原始问题的最优解Xo对于某一个约束i,有 则对偶问题最优解中该约束对应的对偶变量 Yio=0反之,若在对偶问题的最优解中,第i个对偶变量 Yio0则原始问题最优解对于相应的第i个约束是等号约束,即 也就是说,原始问题最优解中的第i个松弛变量等于0。1noijjija xb1noijjija xbCONTENTS4.2 对偶问题的基本性质【定理定理4.44.4】 若向量 和 分别是原始问题和对偶问题的最优解,当且仅当它们满足以下三个条件:(1)X、XS是原始问题 min z=CTX s.t.
11、AX-Xs=b(P)X,Xs0的可行解。这个条件称为原始可行条件。SXXSyyCONTENTS4.2 对偶问题的基本性质(2)Y、Ys是对偶问题max z=bTYs.t. ATY+Ys=C (D) Y,Ys0的可行解。这个条件称为对偶可行条件(Dual Feasible Condition,DFC)。(3)X、Xs、Y、Ys满足 YTXs=0 YsTX=0这个条件称为互补松弛条件(Complementary Slackness Condition,CSC)。CONTENTS4.2 对偶问题的基本性质综上所述,单纯形法和Kuhn-Tucker条件的关系可叙述如下:在单纯形迭代过程中,如果当前基B
12、是原始可行基而不是最优基,则(1)原始问题相应的解X、Xs满足原始可行条件;(2)对偶问题相应的解YT=CBTB-1、YsT=CT-YTA中至少有一个不满足对偶可行条件;(3)X、Xs、Y、Ys在单纯形叠代的每一步,都满足互补松弛关系。当B不仅可行,而且是最优基时,对偶问题相应的解YT=CBTB-1、YsT=CT-YTA才满足对偶可行条件。因此,可以把单纯形法看成在原始可行条件和互补松弛条件得到满足的条件下,不断改进对偶可行条件的过程,一旦三个条件都得到满足,也就得到了最优解。CONTENTS4.2 对偶问题的基本性质7. 互补基解线性规划的原问题及其对偶问题之间存在一对互补的基解,其中原问题
13、的松驰变量对应对偶问题的变量,对偶问题的剩余变量对应原问题的变量;这些互相对应的变量如果在一个问题的解中是基变量,则在另一问题的解中是非基变量; 将这对互补的基解分别代入原问题和对偶问题的目标函数有z=y。证明:因为Zj -Cj =CBB-1Pj - Cj =YT Pj - Cj所以,YT Pj -(Zj -Cj)= Cj也就是 -(Zj -Cj)= Cj1mijiia yCONTENTS4.3 对偶单纯形法由上一节知道,线性规划取得最优解的充分必要条件是原始可行、对偶可行和互补松弛条件同时满足。同时,也曾指出,单纯形迭代过程实际上是在满足原始可行条件和互补松弛条件的基础上,不断改进对偶可行性
14、的过程,一旦对偶可行条件得到满足,就得到了最优解。对偶单纯形法则是从另一角度来进行的。对偶单纯形法在迭代过程中保持对偶可行条件和互补松弛条件满足,并且在迭代过程中不断改进原始可行条件。一旦原始可行条件得到满足,也就求得了最优解。为了说明对偶单纯形法原理,先建立有关概念和定理。CONTENTS4.3 对偶单纯形法【定义定义4.14.1】 (对偶可行基)设B为原始问题的一个基,若XT=CBTB-1是对偶问题的可行解,则称B为原始问题的对偶可行基。【定理定理4. 54. 5】 若基B既是原始问题的可行基,又是原始问题的对偶可行基,则B必定是原始问题的最优基。证明:因为B是原始问题的可行基,因此1BN
15、XB bX0X0CONTENTS4.3 对偶单纯形法同时因为B是对偶可行基,根据对偶可行基的定义,X XT=C CBTB B-1满足对偶问题的约束条件,即XTACTXT0或:CBTB-1A-CT0T-C CBTB B-10 0T以上两个条件,就是:zjcj0,j=1, 2, , n, n+1, , n+m因此,B B是原始问题的最优基。CONTENTS4.3 对偶单纯形法对偶单纯形法的计算步骤如下:(1)确定换出基的变量:存在小于零的bi 时,令 br =min bi ,其对应变量xr 为换出基的变量(2)确定换入基的变量:为使迭代后表中第r行基变量为正值,因而只有对应rj 0(j=m+1,n
16、)的非基变量才可以考虑作为换入基的变量;为使迭代后表中对偶总是的解仍为可行解,令:称r,S 为主元素,xs 为换入基的变量。min0jjjjrjjrjrjczczaaaCONTENTS4.3 对偶单纯形法(3)用换入变量替换换出变量,得到一个新的基。用新的基再检查是否所有bi(i=1,2,m,)。如果是,找到了问题的最优解,如果否,回到第一步再重复计算。由对偶问题的基本性质知,当对偶问题存在可行解时,原问题可能存在可行解,也可能无可行解,对出现后一种情况的判别准则为:对br 0,而对所有j=1,n,有rj 0。因为在这种情况下,如把表中第r行的约束方程列出有因rj 0(j=m+1,n),又br
17、 0时,有 ,这表明生产过程中如果某种资源bi 未得到充分利用时,该种资源的影子价格为0;又当资源的影子价格不为0时,表明该种资源在生产中已消耗完毕。从影子价格的含义上再来考察单纯形法的计算。1, (1,2,)nijjija xbim1,(1,2,)nijjija xbimCONTENTS4.4 线性规划对偶问题的经济解释(4)记 ,式中 代表第j种产品的产值, 是生产该种产品所消耗各种资源的影子价格的总和,即产品的隐含成本。当产品产值大于隐含成本时,表明生产该项产品有利,可在计算中安排,否则用这些资源来生产别的产品更为有利,就不在生产计划中安排。这就是单纯形法中各个检验数的经济意义。(5)一
18、般讲,对线性规划问题的求解是确定资源的最优分配方案,而对于对偶问题的求解则是确定对资源的恰当估价,这种做人直接涉及资源的最有效利用。11mijBjjijiicC B Pca yjcjc1mijiia yCONTENTS4.4 线性规划对偶问题的经济解释4.4.2 互补松弛关系的经济解释互补松弛关系的经济解释互补松弛关系在经济学中应用也十分广泛,尤其是结合线性规划问题的对偶形式,更能体现线性规划模型和实际应用之间的关系。在考虑互补松弛条件的时候,一般会考虑以下几种情形:(1)若在最优生产计划下,第i种设备的能力大于这种设备实际耗用,或者说第i种设备能力有剩余,这种设备的微小增加对利润没有影响,按
19、边际贡献的概念,有0ooiizxbCONTENTS4.4 线性规划对偶问题的经济解释在这种情况下,原问题最优解中会有:在这种情况下,第i种设备开工的机会成本小于实际成本,松弛变量xm+j0,对降低总成本来说,这种设备不开工更为有利,即Yi=0。于是互补松弛关系ixm+j=0成立。反之,如果在最优解中,某一种设备开工,即Yi0,可以肯定,这种设备的实际成本与机会成本相等,即可以断定这种设备能力没有剩余, 即松弛变量xm+j=0,从而同样满足互补松弛条件Yixm+j=0也成立。1(1,2,)nijjija xbim1(1,2,)nijjija xbimCONTENTS4.4 线性规划对偶问题的经济
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 本科第4章 对偶线性规划与灵敏度分析 教学ppt课件 本科 对偶 线性规划 灵敏度 分析 教学 ppt 课件
限制150内