运筹学对偶理论.ppt
《运筹学对偶理论.ppt》由会员分享,可在线阅读,更多相关《运筹学对偶理论.ppt(104页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、运筹学对偶理论运筹学对偶理论2.1线性规划的对偶模型线性规划的对偶模型DualModelofLP对偶理论对偶理论制作与教学在在线线性性规规划划问问题题中中,存存在在一一个个有有趣趣的的问问题题,即即每每一一个个线线性性规规划划问问题题都都伴伴随随有有另另一一个个线线性性规规划划问问题题,称称它它为为对对偶偶线线性性规规划划问问题。题。【例【例2.1】某企业用四种资源生产三种产品,工艺系数、资源限量某企业用四种资源生产三种产品,工艺系数、资源限量及价值系数如下表:及价值系数如下表:建立总收益最大的数学模型。建立总收益最大的数学模型。产品产品资源资源ABC资源限量资源限量9865005474508
2、32300764550单件产品利润单件产品利润10080702.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学【解】设【解】设x1,x2,x3分别为产品分别为产品A,B,C的产量,则线性规划数学的产量,则线性规划数学模型为:模型为:现现在在从从另另一一个个角角度度来来考考虑虑企企业业的的决决策策问问题题。假假如如企企业业自自己己不不生生产产产产品品,而而将将现现有有的的资资源源转转让让或或出出租租给给其其它它企企业业,那那么么资资源源的的转转让让价价格格是是多多少少才才合合理理?合合理理的的价价格格应应是是对对方方用用最最少少的的资资金金购购买买本本
3、企企业业的的全全部部资资源源,而而本本企企业业所所获获得得的的利利润润不不应应低低于于自自己己用用于于生生产产时时所所获获得得的的利利润润。这这一一决决策策问问题题可可用用下下列列线线性性规规划划数数学学模模型型来来表示。表示。2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学设设y1,y2,y3及及y4分分别别表表示示四四种种资资源源的的单单位位增增值值价价格格(售售价成本增值),总增值最低可用价成本增值),总增值最低可用min w=500y1+450y2+300y3+550y4表表示示。企企业业生生产产一一件件产产品品A用用了了四四种种资资源源的
4、的数数量量分分别别是是9,5,8和和7个个单单位位,利利润润是是100,企企业业出出售售这这些些数数量量的的资资源源所得的利润不能少于所得的利润不能少于100,即,即同理,对产品同理,对产品B和和C有有价价格格不不可可能能小小于于零零,即即有有yi0,i=1,4.从从而而企企业业的的资资源源价格模型为价格模型为2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学这这是是一一个个线线性性规规划划数数学学模模型型,称称这这一一线线性性规规划划模模型型是是前前面面生生产产计计划划模模型型的的对对偶偶线线性性规规划划模模型型,这这一一问问题题称称为为对对偶偶问
5、问题题。生生产产计计划划的的线线性性规规划划问问题题称称为为原原始始线线性性规规划划问问题题或原问题。或原问题。2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学上面两种形式的线性规划称为规范形式。上面两种形式的线性规划称为规范形式。原问题和对偶问题是互为对偶的两个线性规划问题,已知一个问原问题和对偶问题是互为对偶的两个线性规划问题,已知一个问题就可写出另一个问题。题就可写出另一个问题。规范形式规范形式(CanonicalForm)的定义:)的定义:目标函数求极大值时,所有约束条件目标函数求极大值时,所有约束条件为为号号,变量非负变量非负;目标函数求
6、极小值时,所有约束条件目标函数求极小值时,所有约束条件为为号号,变量非负变量非负。规范形式的线性规划的对偶问题亦是规范形式。规范形式的线性规划的对偶问题亦是规范形式。以上是依据经济问题推导出对偶问题,还可以用代数方法以上是依据经济问题推导出对偶问题,还可以用代数方法推导出对偶问题。推导出对偶问题。2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学原始问题Max z=CTXs.t.AX bX 0对偶问题Min w=bT ys.t.AT y C y 0maxbACTCATbT minmnmn 对偶的定义对偶的定义对偶理论对偶理论制作与教学 规范对偶问题规
7、范对偶问题min z=CTXs.t.AXbX 0max w=bTys.t.ATyC y0max z=CTXs.t.AX bX 0min w=bTys.t.ATy C y0对偶理论对偶理论制作与教学XBXNXSbXBBNEbCCBCN00XBXNXSbXBEB1NB1B1b0CNCBB1NCBB1CBB1b表表2-2表表232.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学设线性规划模型是式(设线性规划模型是式(2.1)的规范形式由表)的规范形式由表2-3知,当检验数知,当检验数时得到最优解时得到最优解,是是的检验数的检验数,和和,令令,由由得得在在两
8、边有乘两边有乘b,则有则有,又因又因Y0无上界无上界,从从而只存在最小值,得到另一个线性规划问题而只存在最小值,得到另一个线性规划问题2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学即是原线性规划问题式(即是原线性规划问题式(2.1)的对偶线性规划问题,反之,式)的对偶线性规划问题,反之,式(2.3)的对偶问题是式()的对偶问题是式(2.1)原问题和对偶问题是互为对偶)原问题和对偶问题是互为对偶的两个线性规划问题,规范形式的线性规划的对偶仍然是规范形的两个线性规划问题,规范形式的线性规划的对偶仍然是规范形式,参数矩阵的对应关系参看表式,参数矩阵的对
9、应关系参看表2-4因此已知一个规范形式问因此已知一个规范形式问题就可写出另一个对偶问题题就可写出另一个对偶问题2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学【例【例2.2】写出下列线性规划的对偶问题】写出下列线性规划的对偶问题【解】这是一个规范形式的线性规划,设【解】这是一个规范形式的线性规划,设Y=(y1,y2),),则有则有2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学从而对偶问题为从而对偶问题为对偶变量对偶变量yi也可写成也可写成xi的形式。的形式。2.1线性规划的对偶模型线性规划的对偶模型D
10、ualmodelofLP对偶理论对偶理论制作与教学【例【例2.3】写出下列线性规划的对偶问题写出下列线性规划的对偶问题【解解】这这是是一一个个规规范范形形式式的的线线性性规规划划,它它的的对对偶偶问问题题求求最小值,有三个变量且非负,有两个最小值,有三个变量且非负,有两个“”约束,即约束,即2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学若给出的线性规划不是规范形式,可以先化成规范形式再写对偶若给出的线性规划不是规范形式,可以先化成规范形式再写对偶问题。也可直接按表问题。也可直接按表2-1中的对应关系写出非规范形式的对偶问中的对应关系写出非规范形式
11、的对偶问题。题。将上述原问题与对偶问题的对应关系列于表将上述原问题与对偶问题的对应关系列于表2-1例如,原问题是求最小值,按表例如,原问题是求最小值,按表2-1有下列关系:有下列关系:1.第第i个约束是个约束是“”约束时,第约束时,第i个对偶变量个对偶变量yj02第第i个约束是个约束是“=”约束时,第约束时,第i个对偶变量个对偶变量yi无约束;无约束;3当当xj0时时,第第j个个对对偶偶约约束束为为“”约约束束,当当xj无无约约束束时时,第第j个个对偶约束为对偶约束为“=”约束。约束。2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学原问题(或对偶问
12、题)原问题(或对偶问题)对偶问题(或原问题)对偶问题(或原问题)目标函数目标函数max目标函数系数(资源限量)目标函数系数(资源限量)约束条件系数矩阵约束条件系数矩阵A(AT)目标函数目标函数min资源限量(目标函数系数)资源限量(目标函数系数)约束条件系数矩阵约束条件系数矩阵AT(A)变变量量n个变量个变量第第j个变量个变量0第第j个变量个变量0第第j个变量无约束个变量无约束约约束束n个约束个约束第第j个约束为个约束为第第j个约束为个约束为第第j个约束为个约束为=约约束束m个约束个约束第第i个约束个约束第第i个约束个约束第第i个约束为个约束为=变变量量m个变量个变量第第i个变量个变量0第第i
13、个变量个变量0第第i个变量无约束个变量无约束表表2-42.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP对偶理论对偶理论制作与教学当原问题为求极小值时,对偶问题为求极大值。原始问题中目标函数的系数变成对偶问题中约束条件的右端;原始问题中约束条件的右端变成对偶问题中目标函数的系数。原始问题约束条件系数矩阵的转置对应对偶问题中约束条件的系数矩阵。原始问题的约束条件个数决定对偶问题变量的个数;原始问题变量个数,决定对偶问题的约束个数。原始问题的约束方程的匹配形式决定对偶问题变量的符号;原始问题决策变量的符号决定所对应对偶问题的约束方程的匹配形式。对偶理论对偶理论制作与教学【例【例2
14、.4】写出下列线性规划的对偶问题】写出下列线性规划的对偶问题【解解】目目标标函函数数求求最最小小值值,应应将将表表24的的右右边边看看作作原原问问题题,左左边边是是对对偶偶问问题题,原原问问题题有有3个个约约束束4个个变变量量,则则对对偶偶问问题题有有3个个变变量量4个个约约束束,对对照照表表21的的对对应应关关系系,对偶问题为:对偶问题为:2.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP=y10,y20,y3无约束对偶理论对偶理论制作与教学min z=2x1+4x2-x3s.t.3x1-x2+2x3 6 -x1+2x2-3x3 12 2x1+x2+2x3 8 x1+3x2
15、-x3 15max w=6y1+12y2+8y3+15y4s.t.3y1-y2+2y3+y4 2 -y1+2y2+y3+3y4 4 2y1-3y2+2y3-y4 -1 y1 0,y2 ,y3 0,y4 0=unr=x10 x20 x3:unrq原始问题变量的个数(3)等于对偶问题约束条件的个数(3);原始问题约束条件的个数(4)等于对偶问题变量的个数(4)。q原始问题变量的性质影响对偶问题约束条件的性质,用 表示 原始问题约束条件的性质影响对偶问题变量的性质,用 表示练习练习对偶理论对偶理论制作与教学1.本节以实例引出对偶问题本节以实例引出对偶问题;2.介绍了如何写规范与非规范问题的对偶问题介
16、绍了如何写规范与非规范问题的对偶问题;作业:教材作业:教材P61T1、22.1线性规划的对偶模型线性规划的对偶模型DualmodelofLP下一节:对偶性质下一节:对偶性质2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学对偶问题是(记为对偶问题是(记为DP):):这这里里A是是mn矩矩阵阵X是是n1列列向向量量,Y是是1m行行向向量量。假假设设Xs与与Ys分别是(分别是(LP)与()与(DP)的松驰变量。)的松驰变量。【性质【性质1】对称性对称性对偶问题的对偶是原问题。对偶问题的对偶是原问题。【证】设原问题是【证】设原问题是设原问题是(记为设原问题是(记为LP):):2
17、.2对偶性质对偶性质Dualproperty2.2.1对偶性质对偶性质对偶理论对偶理论制作与教学它与下列线性规划问题是等价的:它与下列线性规划问题是等价的:再写出它的对偶问题。再写出它的对偶问题。它与下列线性规划问题是等价的它与下列线性规划问题是等价的即是原问题。即是原问题。由表由表2-4知,它的对偶问题是知,它的对偶问题是2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学【证】因为【证】因为X、Y是可行解,故有是可行解,故有AXb,X0及及YAC,Y0,将不等式将不等式AXb【性质【性质2】弱对偶性弱对偶性设设X、Y分别为分别为LP(max)与与DP(min)的可行解,
18、则的可行解,则两边左乘两边左乘Y,得,得Y0AXY0b再将不等式再将不等式YAC两边右乘两边右乘X,得,得C XYAX故故C XYAXYb这这一一性性质质说说明明了了两两个个线线性性规规划划互互为为对对偶偶时时,求求最最大大值值的的线线性性规规划划的的任任意意目目标标值值都都不不会会大大于于求求最最小小值值的的线线性性规规划划的的任任一一目目标标值值,不不能能理理解解为为原原问问题题的的目目标标值值不不超超过过对对偶偶问题的目标值。问题的目标值。2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学由这个性质可得到下面几个结论:由这个性质可得到下面几个结论:(1)(LP)的的
19、任任一一可可行行解解的的目目标标值值是是(DP)的的最最优优值值下下界界;(DP)的任一可行解的目标是()的任一可行解的目标是(LP)的最优值的上界;)的最优值的上界;(2)在在互互为为对对偶偶的的两两个个问问题题中中,若若一一个个问问题题可可行行且且具具有有无无界界解解,则另一个问题无可行解;则另一个问题无可行解;(3)若原问题可行且另一个问题不可行,则原问题具有无界解。若原问题可行且另一个问题不可行,则原问题具有无界解。注注意意上上述述结结论论(2)及及(3)的的条条件件不不能能少少。一一个个问问题题无无可可行行解解时时,另一个问题可能有可行解(此时具有无界解)也可能无可行解。另一个问题可
20、能有可行解(此时具有无界解)也可能无可行解。2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学例如:例如:无可行解,而对偶问题无可行解,而对偶问题有可行解,由结论(有可行解,由结论(3)知必有无界解。)知必有无界解。2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学【性性质质3】最最优优准准则则定定理理设设X0与与Y0分分别别是是(LP)与与(DP)的的可行解,则当可行解,则当X0、Y0是(是(LP)与()与(DP)的最优解当且仅当)的最优解当且仅当C X0=Y0b.【证】若【证】若X0、Y0为最优解,为最优解,B为(为(LP)的最优基,则有)的最优
21、基,则有Y0=CBB1,并且,并且当当C X0=Y0b时,由性质时,由性质1,对任意可行解,对任意可行解有有即即Y0b是是(DP)中中任任一一可可行行解解的的目目标标值值的的下下界界,C X0是是(LP)中中任一可行解的目标值的上界,从而任一可行解的目标值的上界,从而X0、Y0是最优解。是最优解。2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学【性性质质4】若若互互为为对对偶偶的的两两个个问问题题其其中中一一个个有有最最优优解解,则则另另一一个也有最优解,且最优值相同。个也有最优解,且最优值相同。【证证】设设(LP)有有最最优优解解X0,那那么么对对于于最最优优基基B必
22、必有有C-CBB-1A0与与CBB-10,即即有有YAC与与Y0,这这里里Y=CBB-1,从从而而Y是是可可行行解,对目标函数有解,对目标函数有由性质由性质3知知Y是最优解。是最优解。由由性性质质4还还可可推推出出另另一一结结论论:若若(LP)与与(DP)都都有有可可行行解解,则则两两者者都都有有最最优优解解,若若一一个个问问题题无无最最优优解解,则则另另一一问问题题也也无无最最优优解。解。2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学【性性质质5】互互补补松松弛弛定定理理设设X0、Y0分分别别为为(LP)与与(DP)的的可可行行解解,XS和和YS是是它它的的松松弛弛
23、变变量量的的可可行行解解,则则X0和和Y0是是最最优优解解当当且且仅当仅当YSX0=0和和Y0XS=0【证证】设设X和和Y是是最最优优解解,由由性性质质3,C X0=Y0b,由由于于XS和和YS是是松松弛变量,则有弛变量,则有A X0XSbY0AYS=C将第一式左乘将第一式左乘Y0,第二式右乘,第二式右乘X0得得Y0A X0Y0XSY0bY0A X0YS X0=C X02.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学显然有显然有Y0XS=YS X0又因为又因为Y、Xs、Ys、X0,所以有,所以有YXS=0和和YS X=0成立。成立。反之,反之,当当YXS=0和和YS X
24、=0时,有时,有YA XYbYA X=C X显显然然有有Y0b=C X,由由性性质质3知知Y与与X是是(LP)与与(DP)的的最最优优解解。证毕。证毕。2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学性性质质5告告诉诉我我们们已已知知一一个个问问题题的的最最优优解解时时求求另另一一个个问问题题的的最最优优解解的方法,即已知的方法,即已知Y*求求X*或已知或已知X*求求Y*。Y*XS=0和和YS X*=0两式称为互补松弛条件。将互补松弛条件写成下式两式称为互补松弛条件。将互补松弛条件写成下式由由于于变变量量都都非非负负,要要使使求求和和式式等等于于零零,则则必必定定每每一
25、一分分量量为为零零,因而有下列关系:因而有下列关系:2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学(1)当yi*0时,,反之当 时yi*=0;利利用用上上述述关关系系,建建立立对对偶偶问问题题(或或原原问问题题)的的约约束束线线性性方方程程组组,方程组的解即为最优解。方程组的解即为最优解。性性质质5的的结结论论和和证证明明都都是是假假定定(P)与与(D)为为对对称称形形式式,事事实实上上对于非对称形式,性质对于非对称形式,性质5的结论仍然有效。的结论仍然有效。2.2对偶性质对偶性质Dualproperty对偶理论对偶理论制作与教学互补松弛关系max z=CTXs.t.
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 运筹学 对偶 理论
限制150内