【运筹学】对偶理论 : 互补松弛性 ( 原问题与对偶问题标准形式 | 互补松弛定理 | 互补松弛定理示例说明 )

举报
韩曙亮 发表于 2022/01/11 00:24:37 2022/01/11
【摘要】 文章目录 一、原问题与对偶问题标准形式二、互补松弛定理三、互补松弛定理示例说明 一、原问题与对偶问题标准形式 原问题 ...





一、原问题与对偶问题标准形式



原问题 P \rm P P : m a x Z = C X s . t { A X ≤ b X ≥ 0

maxZ=CXs.tAXbX0 m a x Z = C X s . t { A X b X 0
maxZ=CXs.tAXbX0              \ \ \ \ \ \ \ \ \ \ \,            对偶问题 D \rm D D : m i n W = b T Y s . t { A T Y ≥ C T Y ≥ 0
minW=bTYs.tATYCTY0 m i n W = b T Y s . t { A T Y C T Y 0
minW=bTYs.tATYCTY0


等价方法 :

  • 生产 : 目标函数追求 利润最大化 , 约束方程设备的使用时长受约束 , 小于等于 某个时间值 ;
  • 出租设备 : 目标函数追求 租金最小化 , 约束方程设备产生的利润要 大于等于 生产的利润 , 不能亏钱 ;




二、互补松弛定理



X 0 \rm X^0 X0 Y 0 \rm Y^0 Y0 分别是 原问题 P \rm P P 问题 和 对偶问题 D \rm D D可行解 ,

这两个解各自都是对应 线性规划问题最优解

的 充要条件是 : { Y 0 X s = 0 Y s X 0 = 0

Y0Xs=0YsX0=0 { Y 0 X s = 0 Y s X 0 = 0
Y0Xs=0YsX0=0

其中 X s , Y s \rm X_s , Y_s Xs,Ys松弛变量剩余变量 ;





三、互补松弛定理示例说明



原问题与对偶问题的对应关系 :

生产问题 ( 原问题 ) :

m a x Z = 2 x 1 + 3 x 2 s . t { 2 x 1 + 2 x 2 ≤ 12 x 1 + 2 x 2 ≤ 8 4 x 1 ≤ 16 4 x 2 ≤ 12 x 1 , x 2 ≥ 0

maxZ=2x1+3x2s.t2x1+2x212x1+2x284x1164x212x1,x20 m a x Z = 2 x 1 + 3 x 2 s . t { 2 x 1 + 2 x 2 12 x 1 + 2 x 2 8 4 x 1 16 4 x 2 12 x 1 , x 2 0
maxZ=2x1+3x2s.t2x1+2x212x1+2x284x1164x212x1,x20

上述线性规划的最优解是 : ( 4 2 )

(42) ( 4 2 )
(42)

甲产品生产 4 4 4 个单位 , 乙产品生产 2 2 2 个单位 ;



设备出租问题 ( 对偶问题 ) :

m i n W = 12 y 1 + 8 y 2 + 16 y 3 + 12 y 4 s . t { 2 y 1 + y 2 + 4 y 3 + 0 y 4 ≥ 2 2 y 1 + 2 y 2 + 0 y 3 + 4 y 4 ≥ 3 y 1 , y 2 , y 3 , y 4 ≥ 0

minW=12y1+8y2+16y3+12y4s.t2y1+y2+4y3+0y422y1+2y2+0y3+4y43y1,y2,y3,y40 m i n W = 12 y 1 + 8 y 2 + 16 y 3 + 12 y 4 s . t { 2 y 1 + y 2 + 4 y 3 + 0 y 4 2 2 y 1 + 2 y 2 + 0 y 3 + 4 y 4 3 y 1 , y 2 , y 3 , y 4 0
minW=12y1+8y2+16y3+12y4s.t2y1+y2+4y3+0y422y1+2y2+0y3+4y43y1,y2,y3,y40

上述线性规划最优解是 : ( 1 2 1 0 0 )

(12100) ( 1 2 1 0 0 )
(21100) ( 0 2 3 1 8 0 )
(023180) ( 0 2 3 1 8 0 )
(032810)



将上面两个线性规划的最优解代入目标函数 , 得到的值都是 14 14 14 ;



互补松弛定理 :

" X 0 \rm X^0 X0 Y 0 \rm Y^0 Y0 分别是 原问题 P \rm P P 问题 和 对偶问题 D \rm D D最优解 " ⇔ \Leftrightarrow { Y 0 X s = 0 Y s X 0 = 0

Y0Xs=0YsX0=0 { Y 0 X s = 0 Y s X 0 = 0
Y0Xs=0YsX0=0

其中 X s , Y s \rm X_s , Y_s Xs,Ys松弛变量剩余变量 ;



( 4 2 )

(42) ( 4 2 )
(42) P \rm P P X 0 \rm X^0 X0

Y s \rm Y_s Ys 是对偶问题 D \rm D D 的剩余变量 , { 2 y 1 + y 2 + 4 y 3 + 0 y 4 − y 5 = 2 2 y 1 + 2 y 2 + 0 y 3 + 4 y 4 − y 6 = 3

2y1+y2+4y3+0y4y5=22y1+2y2+0y3+4y4y6=3 { 2 y 1 + y 2 + 4 y 3 + 0 y 4 y 5 = 2 2 y 1 + 2 y 2 + 0 y 3 + 4 y 4 y 6 = 3
2y1+y2+4y3+0y4y5=22y1+2y2+0y3+4y4y6=3 ( y 5 y 6 )
(y5y6) ( y 5 y 6 )
(y5y6)
Y s \rm Y_s Ys

根据互补松弛定理 , Y s X 0 = 0 \rm Y_sX^0 = 0 YsX0=0 , 将真实值代入 :

Y s X 0 = ( 4 2 ) × ( y 5 y 6 ) = 4 y 5 + 2 y 6 = 0 \rm Y_sX^0 =

(42) ( 4 2 )
(y5y6) ( y 5 y 6 )
YsX0=(42)×(y5y6)=4y5+2y6=0

y 5 , y 6 \rm y_5 , y_6 y5,y6 都是大于等于 0 0 0 的 , 如果要满足 4 y 5 + 2 y 6 = 0 \rm 4 y_5 + 2y_6 = 0 4y5+2y6=0 , 则得到 y 5 = 0 , y 6 = 0 \rm y_5 = 0, y_6 = 0 y5=0,y6=0 结论 ;

文章来源: hanshuliang.blog.csdn.net,作者:韩曙亮,版权归原作者所有,如需转载,请联系作者。

原文链接:hanshuliang.blog.csdn.net/article/details/112078796

【版权声明】本文为华为云社区用户转载文章,如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

0/1000
抱歉,系统识别当前为高风险访问,暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称,即可参与社区互动!

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。