第二章线性规划的对偶理论课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第二章线性规划的对偶理论课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第二 线性规划 对偶 理论 课件
- 资源描述:
-
1、第二章第二章 线性规划的对偶理论线性规划的对偶理论北京物资学院北京物资学院 李珍萍李珍萍20132013年年3 3月月北京物资学院运筹学教学课件本章主要内容本章主要内容第一节、第一节、原问题与对偶问题原问题与对偶问题第二节、第二节、对偶问题的基本性质对偶问题的基本性质第三节、第三节、影子价格影子价格第四节、第四节、对偶单纯形方法对偶单纯形方法第五节、第五节、灵敏度分析灵敏度分析第六节、第六节、线性规划的求解软件线性规划的求解软件第一节、原问题和对偶问题第一节、原问题和对偶问题一、引例一、引例二、对称形式的对偶规划二、对称形式的对偶规划三、非对称形式的对偶规划三、非对称形式的对偶规划四、一般形式
2、的对偶规划四、一般形式的对偶规划一、引例一、引例糖糖蛋白质蛋白质脂肪脂肪单价单价(元(元/公斤)公斤)A含量(单位含量(单位/公斤)公斤)53315B2217C4129D24512原料拥有量原料拥有量(单位)(单位)604035建立其数学模型。建立其数学模型。例例1 1 甲食品厂用糖、蛋白质和脂肪三种原料生产四种复甲食品厂用糖、蛋白质和脂肪三种原料生产四种复合食品合食品A A、B B、C C、D D,复合食品中含有各种原料的数量、,复合食品中含有各种原料的数量、复合食品的单价、三种原料的拥有量分别如下表所示,复合食品的单价、三种原料的拥有量分别如下表所示,问甲厂如何安排生产才能使总产值达到最大
3、?问甲厂如何安排生产才能使总产值达到最大?x1x2x3x4解:设甲厂安排解:设甲厂安排A、B、C、D的产量分别为的产量分别为x1、x2、x3、x4 公斤,总产值为公斤,总产值为z 元。于是,例元。于是,例1的数学模型的数学模型为:为:12341234123412341234max15791252426032440.32535,0zxxxxxxxxxxxxs txxxxxxxx 例例2.2.假设乙食品厂欲将甲厂的原料收买过来,问乙厂至少假设乙食品厂欲将甲厂的原料收买过来,问乙厂至少应付出多少代价,才能使甲厂放弃生产活动,出让原料?应付出多少代价,才能使甲厂放弃生产活动,出让原料?建立该问题的数学
4、模型建立该问题的数学模型。糖糖蛋白质蛋白质脂肪脂肪单价单价(元(元/公斤)公斤)A含量(单位含量(单位/公斤)公斤)53315B2217C4129D24512原料拥有量原料拥有量(单位)(单位)604035y1y2y3解:设解:设y y1 1,y,y2 2和和y y3 3(元元/单位)分别代表乙厂收购糖、蛋单位)分别代表乙厂收购糖、蛋白质和脂肪的单价,乙厂收购原料付出的总费用为白质和脂肪的单价,乙厂收购原料付出的总费用为w w元,元,于是例于是例2 2的数学模型为:的数学模型为:123123123123123123min60403553315227.42924512,0wyyyyyyyyys
5、tyyyyyyyyy 例例1 1和例和例2 2的数学模型比较的数学模型比较12341234123412341234max15791252426032440.32535,0zxxxxxxxxxxxxs txxxxxxxx 123123123123123123min60403553315227.42924512,0wyyyyyyyyys tyyyyyyyyy 令1234xxXxx(15,7,9,12)C 524232143125A 123(,)Yyyy 604035b 123412341234max1579125242603214403125350000 xxzxxxxxxxxxx 1231231
6、23min604035533152217412924512000ywyyyyyyyy 以上两个线性规划分别称为线性规划的原问题和对偶问题。以上两个线性规划分别称为线性规划的原问题和对偶问题。若两个线性规划分别是若两个线性规划分别是和和则称它们是一对对称形式的对偶规划。则称它们是一对对称形式的对偶规划。二、对称形式的对偶规划二、对称形式的对偶规划112211112211211222221122.01,2,.nnnnnnmmmnnmjMax zc xc xc xa xa xa xba xa xaxbs taxaxaxbxjn min0wYbYACY max0zCXAXbX 112211121211
7、121222221122.01,2,.mmmmmmnnmnmniMinwb yb yb ya ya yayca ya yaycs ta yayaycyim 对称形式的对偶规划还可以写成表格形式,称为对偶表对称形式的对偶规划还可以写成表格形式,称为对偶表Max zMin w对对偶偶问问题题求极小求极小b1 y1 b2 y2bm ym右端项右端项原问题(求极大)原问题(求极大)c1 x1a11a21am1 c1c2x2a12a22am2 c2 cnxna1na2namn cn右端右端项项 b1 b2 bm对偶规划中的两个问题分别称为原问题和对偶问题对偶规划中的两个问题分别称为原问题和对偶问题(互为
8、对偶)。(互为对偶)。一对对称形式的对偶规划之间具有下面的对应关系。一对对称形式的对偶规划之间具有下面的对应关系。(1)若一个模型为目标求若一个模型为目标求“极大极大”,约束为,约束为“小于等于小于等于”型不等式,则它的对偶模型为目标求型不等式,则它的对偶模型为目标求“极小极小”,约束是,约束是“大于等于大于等于”型不等式。即型不等式。即“max,”和和“min,”相对相对应。应。(2)一个模型是一个模型是m个约束,个约束,n个变量,则它的对偶模型为个变量,则它的对偶模型为n个约束,个约束,m个变量。个变量。从约束系数矩阵看:一个模型中为从约束系数矩阵看:一个模型中为,则另一个模型中为则另一个
9、模型中为AT。(3)原问题目标函数系数是对偶问题的约束条件右端项;原问题目标函数系数是对偶问题的约束条件右端项;原问题的约束条件右端项是对偶问题的目标函数系数。原问题的约束条件右端项是对偶问题的目标函数系数。(4)两个规划模型中的变量皆非负。两个规划模型中的变量皆非负。例例3 3:写出下列线性规划的对偶规划:写出下列线性规划的对偶规划解:原规划的对偶规划为解:原规划的对偶规划为12max2wyyy1y2.s t 2515y 126224yy125yy12,0yy 12323123123min1524562.521,0zxxxxxs txxxxxx 不等式约束对应非负变量不等式约束对应非负变量三
10、、非对称形式的对偶规划三、非对称形式的对偶规划max0zCXAXbX min wYbYAC 叫做非对称形式的对偶规划。非对称形式的对偶规划叫做非对称形式的对偶规划。非对称形式的对偶规划可以由对称形式的对偶规划推出。可以由对称形式的对偶规划推出。例例4 4:写出下列线性规划问题的对偶规划。:写出下列线性规划问题的对偶规划。123412341234max53345810243280(1,2,3,4)jzxxxxxxxxxxxxxj 解:将上述线性规划化成对称对偶规划的形式解:将上述线性规划化成对称对偶规划的形式12341234123412341234max533458105810.24328243
11、280(1,2,3,4)jzxxxxxxxxxxxxs txxxxxxxxxj 写出它的对偶规划写出它的对偶规划111222121212121212,min10852543.33824,yyyyyywyyyyyys tyyyyyy 令令得得无无符符号号限限制制y1y1 y2y2 112211221122112211221122min10108855225443.33388224,0wyyyyyyyyyyyys tyyyyyyyyyyyy 等式约束对应自由变量等式约束对应自由变量111max(1,2,.,)(1,.,)0(1,2,.,)(1,.,)njjjnijjijnijjijjjzc xa
12、xbipa xbipmxjqxjqn 无无符符号号限限制制111min1,2,.)01,.)(1,2,.,)(1,.,)miiiiimijijimijijiwb yyipyipma ycjqa ycjqn 无无符符号号限限制制((D)四、一般形式的对偶规划四、一般形式的对偶规划(P)一般形式的对偶规划的特点一般形式的对偶规划的特点(1 1)原问题是)原问题是“maxmax,=,”=,”形式,对偶问题是形式,对偶问题是“minmin,=,”=,”形式形式 (2 2)原问题的每个等式约束,对应对偶问题一个自由变量,)原问题的每个等式约束,对应对偶问题一个自由变量,原问题的每个不等式约束,对应对偶问
13、题的一个非负变量;原问题的每个不等式约束,对应对偶问题的一个非负变量;反之亦然,即原问题中的每个非负变量对应的是对偶问题反之亦然,即原问题中的每个非负变量对应的是对偶问题中的一个不等式约束,而原始问题中的每个自由变量对应中的一个不等式约束,而原始问题中的每个自由变量对应对偶问题中的一个等式约束。对偶问题中的一个等式约束。(3 3)原问题目标函数中的系数)原问题目标函数中的系数c c就是对偶问题约束条件的就是对偶问题约束条件的右端常数项,而原问题约束的右端常数项就是对偶问题目右端常数项,而原问题约束的右端常数项就是对偶问题目标函数中的系数。标函数中的系数。(4 4)如果用矩阵和向量形式写出问题)
14、如果用矩阵和向量形式写出问题(P)(P)和和(D)(D)的约束,可的约束,可以看出这两个问题的约束系数矩阵互为转置。以看出这两个问题的约束系数矩阵互为转置。例例5.5.写出下面线性规划的对偶规划写出下面线性规划的对偶规划12341234134123412max5732252726022430.510,0zxxxxxxxxxxxxxxs txxx 解解 先将约束条件变形为先将约束条件变形为“”形式形式y1y2y3y4y5123412341341234412max5732252726022430.105,0zxxxxxxxxxxxxxxs txxxx 再根据非对称形式的对应关系,直接写出对偶规划再
15、根据非对称形式的对应关系,直接写出对偶规划1234512313123124512345min256030105221321274527,0wyyyyyyyyyyyyyyyyyyyyyy 无无符符号号限限制制例写出下列线性规划问题的对偶规划例写出下列线性规划问题的对偶规划1231231232313min7434262436415.53300,0zxxxxxxxxxs txxxx 1112323232313min7434262436415.53300,0zxxxxxxxxxs txxxx 解:令解:令 x1=x1,将约束化成相对规范形式,将约束化成相对规范形式y1y2y31111123223232
16、max2415304372654.64330,0wyyyyyyyys tyyyyy 直接写出对偶规划直接写出对偶规划1231212312312max2415304372654.64330,0wyyyyyyyys tyyyyy 1231231232313min7434262436415.53300,0zxxxxxxxxxs txxxx 比较原规划和对偶规划比较原规划和对偶规划1111123223232max2415304372654.64330,0wyyyyyyyys tyyyyy 令令y1=y1,并把第一并把第一个约束两端乘以个约束两端乘以-1得得不符合要求的约束对应非正变量不符合要求的约束对
17、应非正变量线性规划原问题与对偶问题的对应关系线性规划原问题与对偶问题的对应关系原问题(对偶问题)原问题(对偶问题)对偶问题(原问题)对偶问题(原问题)目标函数目标函数 max目标函数目标函数 min n个个 变量变量 0 0 无限制无限制 n个个 约束条件约束条件 =目标函数中变量的系数目标函数中变量的系数约束条件右端常数约束条件右端常数 m个个约束条件约束条件 =m个个 0 变量变量 0 无限制无限制约束条件右端常数约束条件右端常数目标函数中变量的系数目标函数中变量的系数作业:作业:P881、(1)(2)(3)第二节、对偶问题的基本性质(对偶定理)第二节、对偶问题的基本性质(对偶定理)max
18、().0zCXPAXbs tX 原问题与对偶问题的解之间的关系原问题与对偶问题的解之间的关系定理定理 1(1(对称性对称性)对偶问题的对偶是原问题对偶问题的对偶是原问题。定理定理3 3 (强对偶定理)(强对偶定理)若原问题有最优解,则其对若原问题有最优解,则其对偶问题也一定有最优解,并且此时目标函数的最优偶问题也一定有最优解,并且此时目标函数的最优值相等。值相等。min().0wYbDYACs tY 定理定理 2(2(弱对偶定理弱对偶定理)设设X0和和Y0分别是原问题和对偶分别是原问题和对偶问题的可行解,则问题的可行解,则CX0 Y0b;特别当;特别当CX0=Y0b 时,时,X0和和Y0 分别
19、是原问题和对偶问题的最优解。分别是原问题和对偶问题的最优解。证明:将原问题加上松弛变量化成标准形式:证明:将原问题加上松弛变量化成标准形式:(,0)(,).0XMax zCSXA EbSs tXS 0.0,0Max zCXSAXESbs tXS 用单纯形方法求解得最优解用单纯形方法求解得最优解X,设其最优基为,设其最优基为B,则,则XB=B-1b,检验数为检验数为1(,0)(,)0BCC BA E 10BCC B A 100BC B 令令1BYC B 则则Y是对偶问题的可行解是对偶问题的可行解又因为又因为1BCXC B bYb 由定理由定理2知知Y是对偶问题的最优解。是对偶问题的最优解。即即即
20、即max().0zCXPAXbs tX min().0wYbDYACs tY 原问题和对偶问题的解的情况如下原问题和对偶问题的解的情况如下 对偶对偶原始原始有最优解有最优解问题无界问题无界无可行解无可行解有最优解有最优解 问题无界问题无界 无可行解无可行解 定理定理4 4 给定一个线性规划的原问题和它的对偶问题,给定一个线性规划的原问题和它的对偶问题,则上表中的三种情况恰有一种出现。则上表中的三种情况恰有一种出现。证明:由证明:由定理定理2容易容易证明,如果原问题或它的对偶中有一个证明,如果原问题或它的对偶中有一个是无界的,那么另一个不可能有可行解。(用反正法)是无界的,那么另一个不可能有可行
21、解。(用反正法)下面举例说明剩下的情况(下面举例说明剩下的情况(2 2)和()和(3 3)是可能出现的。)是可能出现的。考虑下列对偶规划考虑下列对偶规划1211212121212maxmin11()()010,0wyyzxyyxxPDyyxxyy 显然两个问题均无可行解,情况(显然两个问题均无可行解,情况(2 2)出现。)出现。112121212121212minmax11()()100,00,0zxwyyxxyyPDxxyyxxyy原问题无可行解,对偶问题无界,情况(原问题无可行解,对偶问题无界,情况(3 3)出现。)出现。考虑下列对偶规划:考虑下列对偶规划:例例6 6 试用对偶理论证明下列
22、线性规划问题无界试用对偶理论证明下列线性规划问题无界12123123123max2.21,0zxxxxxs txxxxxx 11max(1,2,.,)0(1,2,.,)njjjnijjijjzc xa xbimxjn (P)11min(1,2,.,)0(1,2,.,)miiimijijiiwb ya ycjnyim (D)定理定理5(互补松弛定理)设(互补松弛定理)设X和和Y分别是原问题和对偶问题分别是原问题和对偶问题的可行解,则它们分别是原问题和对偶问题的最优解的充的可行解,则它们分别是原问题和对偶问题的最优解的充要条件是对一切的要条件是对一切的 i=1,2,m,和一切,和一切 j=1,2,
23、n 有有11()0()0niiijjijmjjijijiuya xbvca y x 证明:由对偶的定义知证明:由对偶的定义知11()01,2,.()01,2,.niiijjijmjjijijiuya xbimvca y xjn 证明:由对偶的定义知证明:由对偶的定义知111111()0()0mmniiijjiiijnnmjjijijjjiuuya xbvvca y x因此因此00,1,2,.;00,1,2,.ijuuimvvjn当当且且仅仅当当 当当且且仅仅当当 11()01,2,.()01,2,.niiijjijmjjijijiuya xbimvca y xjn 定义定义1111111111
24、11()()mnnmiijjijijijijjimnmnnmijjiiijjijjiijijjinmjjiijiuvya xbca y xa x yy bc xa x yc xy bCXYb111111111111()()mnnmiijjijijijijjimnmnnmijjiiijjijjiijijjinmjjiijiuvya xbca y xa x yy bc xa x yc xy bCXYb由定理由定理1 1知,知,X 和和Y分别分别是原问题和对偶问题最优解的充要是原问题和对偶问题最优解的充要条件是条件是0uv CXYb 即即也即也即11()0()0niiijjijmjjijijiuya
25、 xbvca y x 2122112141622515max213.02,zxxs txxxxxx 1222311313min121615242.253,0yyywsyyyytyyy 原问题的最优解为原问题的最优解为 x1=3,x2=3.对偶问题的最优解为对偶问题的最优解为:y1=1,y2=0,y3=1/5.例如:考虑下面的一对对偶规划例如:考虑下面的一对对偶规划原问题的第一个约束对应对偶变量原问题的第一个约束对应对偶变量 y1。12122122 32 3120,10 xxy原问题的第二个约束对应对偶变量原问题的第二个约束对应对偶变量 y2。124164 31640,0 xy 原问题的第三个约
展开阅读全文