弱对偶问题
拉格朗日乘子法、对偶问题、KKT条件、半二次方分裂法、ADMM

拉格朗⽇乘⼦法、对偶问题、KKT 条件、半⼆次⽅分裂法、ADMMTo Be Continued~共轭函数假设 f :R n →R ,函数 f ∗:R →R 。
若两函数满⾜:f ∗(y )=sup x ∈domf (y T x −f (x ))则 f ∗ 是 f 的共轭函数,共轭函数是使上式的上确界⼩于 ∞ 的部分。
可以理解为对于每⼀个确定的 y ,y T x 都是⼀个线性函数,此时 y T x −f (x ) 变为线性函数与原函数在 x 的定义域上的差值,这个差值即为 y T x −f (x ) 的值域,若此时确定的 y 不能使值域的上确界⼩于⽆穷⼤,则不保留,反之则保留。
所有保留的 y 构成共轭函数的定义域,⽽所有 y T x −f (x ) 不是 ∞的上确界构成共轭函数的值域。
易知共轭函数是凸函数⽰例放射函数:f (x )=ax +b 的共轭函数为:f ∗(y )=sup (yx −ax −b )观察易得,如果 y ≠a ,那么⽆论 y 取值多少,yx −ax −b 的上确界都是 ∞。
但是当 y =a 时,yx −ax −b 为常数 −b ,上确界为 −b ,即此共轭函数定义域为 a ,值域为 −b 。
负对数函数:f (x )=−log x 的共轭函数为:f ∗(y )=sup x >0(yx +log x )⾸先f ∗(y )′′<0, 对于某⼀ y 有 f ∗(y )′=y +1x =0 时,共轭函数取得最⼤值,此时 x =−1y 使得共轭函数取得上确界,即共轭函数简化为 f ∗(y )=−log(−y )−1拉格朗⽇乘⼦法⾸先解释拉格朗⽇函数的形式的原因由简单的⼆维形式,并且受到等式约束的例⼦出发min f (x ,y )s .t .g (x ,y )=c其中 g (x ,y )=c 可以理解为等⾼线,即 z =g (x ,y ) 为三维曲⾯,当 z =c 时,可以想象为⽤平⾯ z =c 去截 z =g (x ,y ) 这个三维曲⾯所获得的曲线,⽽这条曲线上满⾜g (x ,y )=c 。
运筹学基础-对偶线性规划(2)

用单纯形法同时求解原问题和对偶问题
原问题是:
maxZ=2x1 +x2 5x2 ≤15 6x1 + 2x2 ≤ 24 x1 + x2 ≤ 5 x1 , x2 ≥0
5x2 +x3 =15 6x1 + 2x2 +x4 = 24 x1 + x2 +x5 = 5 xi ≥0
原问题的标准型是:maxZ=2x1 +x2+0x3+0x4 +0x5
b
15 24 5 0
x1 0 6 1 2
比 值
-
24/6=4
5/1=5
检验数j
对偶问题剩余变量 y4、y5
对偶问题变量 y1、y2 、y3
检验数行的- (cj-zj)值是其对偶问题的一个基本解yi ;
原问题变量
0 2
原问题松驰变量
1 0 0 0 0 1/6 -1/6 -1/3 0 0 1 0
3
x3 x1
x2 1 检验数j= cj-zj
-1/4 -1/2
对偶问题剩余变量 y4、y5
对偶问题变量 y1、y2 、y3
此时得原问题最优解:X*=(7/2,3/2,15/2,0,0)T,Z*=17/2 则对偶问题最优解:Y*=(0,1/4,1/2,0,0)T,S*=17/2
又例:用单纯形法同时求解原问题和对偶问题
定理6(互补松弛定理)
在线性规划问题的最优解中,如果对应某一约束条件的 对偶变量值为非零,则该约束条件取严格等式;反之如果约 束条件取严格不等式,则其对应的对偶变量一定为零。
注:证明过程参见教材59页性质5证明
讨论:
互补松弛定理也称松紧定理,它描述了线性规划达到最
对偶定理_精品文档

(2)极小化问题(对偶问题)的任一可行解
上页
所对应的目标函数值是原问题最优目标函数值
的上界。
下页
返回
原问题
对偶问题
CX Y b
对偶问题的基本性质
定理三 最优性准则定理 若X~ 、Y~ 分 别为对称形式对C偶X 线 Y性b,规划X的 ,可Y 行解, 且两者目标函数的相应值相等, C X~ =bY~ ,则 X~ ,Y~ 分别为原始问题 和对偶问题的最优解。
x1, x2 0
下页
min 8 y1 4 y2 6 y3
返回
2 y1 4 y3 5
2 y1
3y2
y3
4
y1
,
y2 ,
y3
0
对 偶
课堂练习:已知线型规划问题
问
题
min Z 2x1 3x2 5x3 2x4 3x5
上页
2x1x1 x2x223x3x3xx4 43xx55
偶 问
二、弱对偶性定理:
题
——若 和X 分别Y 是原问题(1)及
对偶问题(2)的可行解,则有
上页
CX Yb
下页
证明: AX b YAX Yb YA C YAX CX
返回
CX YAX Yb
从弱对偶性可得到以下重要结论:
对
偶 (1)极大化问题(原问题)的任一可行解所
问 题
对应的目标函数值是对偶问题最优目标函数值 的下界。
4 3
下页
x
j
0,
j
1,2...,5
返回 又已知其对偶问题的最优解为y1=4/5,y2=3/5,
Z=5。试用对偶理论解原问题。
互补松弛定理应用:
对 偶
(1)从已知的最优对偶解,求原问题最
对偶理论几个性质的证明

对偶理论的性质及证明性质1(对称性) 对偶问题的对偶问题是原问题证明证明 设原问题为设原问题为max z ..CXAX b s t X =£ìí³î (1) 对偶问题为对偶问题为min ..0w Yb YA Cs t X =³ìí³î(2) 对偶问题的对偶问题为对偶问题的对偶问题为max ..0CUAU b s tU j =£ìí³î (3) 比较式(1)和式(3), 显然二者是等价的, 命题得证.性质2(弱对偶性) 设原问题为设原问题为式式(1)(1),,对偶问题为式(2),X 是原问题的任意一个可行解,Y 是对偶问题的任意一个可行解,那么总有CX Yb £(4) 证明证明 根据式(1), 由于AX b £, 又由于0Y ³, 从而必有从而必有YAX Yb £(5) 根据式(2), 由于YA c ³, 又由于0X ³, 从而必有从而必有YAX CX ³(6) 结合式(5)和式(6), 立即可得CX Yb £,命题得证命题得证..性质3(最优性) 设*X 原问题式(1)的可行解,*Y 是对偶问题式(2)的可行解,当是**CX Y b =时,*X 是原问题式(1)的最优解,*Y 是对偶问题式(2)的最优解. 证明证明 设X 是式(1)的最优解, 那么有那么有*CX CX ³(7) 由于**CX Y b =,那么那么*CX Y b ³(8) 根据弱对偶性质根据弱对偶性质, , 又有又有*CX Y b £ (9)从而*CX CX =, 也就是*X 是原问题式是原问题式(1)(1)(1)的最优解。
的最优解。
的最优解。
同理,也可证明*Y 是对偶问题式是对偶问题式(2)(2)(2)的最优解。
对偶问题

第二章 线性规划的对偶理论与灵敏度分析主要内容 对偶问题、对偶基本性质、对偶单纯形方法、灵敏度分析、参数规划 讲授重点 对偶基本性质、对偶单纯形方法、灵敏度分析 讲授方式讲授式、启发式本章知识结构图第一节 线性规划的对偶问题一、对偶问题的提出首先通过实际例子看对偶问题的经济意义。
例1 第一章例1中美佳公司利用该公司资源生产两种家电产品时,其线性规划问题为: (LP 1) max z =2x l +x 2⎪⎪⎩⎪⎪⎨⎧≥≤+≤+≤0,524261552121212x x x x x x x现从另一角度提出问题。
假定有另一公司想把美佳公司的资源收买过来,它至少应付出多大代价,才能使美佳公司愿意放弃生产活动,出让自己的资源。
显然美佳公司愿出让自己资源的条件是,出让代价应不低于用同等数量资源由自己组织生产活动时获取的盈利。
设分别用y 1、y 2、和y 3代表单位时间(h)设备A 、设备B 和调试工序的出让代价。
因美佳公司用6小时设备A 和1小时调试可生产一件家电I ,盈利2元;用5小时设备A ,2小时设备B 及1小时调试可生产一件家电Ⅱ,盈利1元。
由此y1,y2,y3的取值应满足 6y 2+y 3≥25y 1+2y 2+y 3≥1 (2.1) 又另一公司希望用最小代价把美佳公司的全部资源收买过来,故有min z =15y 1+24y 2+5y 3 (2.2) 显然y i ≥0(i =l ,2,3),再综合(2.1),(2.2)式有。
(LP 2) min ω=15y 1+24y 2+5y 3⎪⎩⎪⎨⎧≥≥+≥+0,,125263212132y y y y y y y上述LP 1和LP 2是两个线性规划问题,通常称前者为原问题,后者是前者的对偶问题。
二、对称形式下对偶问题的一般形式定义:满足下列条件的线性规划问题称为具有对称形式:其变量均具有非负约束,其约束条件当目标函数求极大时均取“≤”号,当目标函数求极小时均取“≥”号’。
对偶问题的性质

(1)对称性:对偶问题的对偶是原问题MaxZ CX AX b X =⎧≤⎨≥⎩MinS Yb YA C Y =⎧≥⎨≥⎩--,--,0MinS Yb YA C Y =≤≥证明:变换对偶问题模型ax 0M S YbYA C Y =−⎧−≤−⎨≥⎩MinZ CX AX b X =−⎧−≥−⎨≥⎩MaxZ CX AX b X =⎧≤⎨≥⎩2.3 对偶问题的性质b Y X C ≤(2)弱对偶性:若是原问题的可行解,是对偶问题的可行解,则存在有XY 证明:MaxZ CXAX b X =⎧≤⎨≥⎩MinS Yb YA C Y =⎧≥⎨≥⎩因是原问题的可行解,是对偶问题的可行解,所以有:XY ;Y AX Yb Y AX C X≤≥b Y X C ≤•弱对偶性的图形解释MinS=b Y最优目标MaxZ=XC(3)可行解是最优解的性质:若是原、对的可行解,当Y Xˆ,ˆ b Y X C ˆˆ= 则:是最优解Y X ˆ,ˆ b Y MinS =最优XC MaxZ =b Y XC ˆˆ=(4)对偶定理若原问题有最优解,那么对偶问题也有最优解,且原问题与对偶问题最优目标函数值相等。
1ˆ−=B C Y B01≤−−A B C C B()()XA B C C b B C X B C C X N B C C X B B C C b B C X B C C X N B C C b B C X C X C X B C NX B C b B C X C X C X C X X X C C C CX Z X B NX B b B X b X X X I N B AX B B S B S N B N B B B B SB S N B N B SS N N S B N B B S S N N B B S N B S N B SN B S N B )()()()()()(111111111111111−−−−−−−−−−−−−−−−+=−+−+−+=−+−+=++−−=++=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡==−−==⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=01≤−−A B C C B•检验数的推导:(5)互补松弛性:若分别是原问题和对偶问题的可行解,那么当且仅当为最优解Y Xˆ,ˆ 0ˆ0ˆ==X Y X Y S S和Y X ˆ,ˆ 11ˆˆˆ0,0ˆˆˆ,0,0若则有即若即则有==>==<>=∑∑ni ijj i si j nijj i si i j yaxb x ax b xy⚫对偶变量的经济含义----影子价格资源的单位改变量引起目标函数值(Z )的改变量,通常称为影子价格(shadow price )或边际价格(marginalprice )。
对偶理论知识点总结
对偶理论知识点总结一、一般理解对偶理论是运筹学和数学中的一个重要理论,主要研究优化问题的对偶性质和利用对偶问题来解决原始问题的方法。
优化问题是现实世界中的一种普遍问题,它的目标是在一定的约束条件下找到最优解。
而对偶理论则是研究优化问题的一个重要角度,它告诉我们,对于每一个原始问题都存在一个对偶问题,通过对偶问题我们可以获得原始问题的一些重要信息,比如最优解的下界。
二、对偶问题的定义在深入了解对偶理论之前,我们首先需要了解什么是对偶问题。
对于一个原始优化问题:\[ \begin{cases} inf \ c^T x \\ Ax=b \\ x\geq0 \end{cases}\]它的对偶问题可以定义为:\[ \begin{cases} sup \ b^T y \\ A^Ty+c=y \\ y\geq0 \end{cases}\]其中,\(c,x\)是原始问题的目标函数和解向量,\(A,b\)是原始问题的约束条件,对偶问题的目标函数和解向量分别为\(b,y\)。
原始问题和对偶问题之间存在着一种对偶关系,通过对偶问题我们可以获得原始问题的一些重要信息。
三、对偶性质对偶理论的一个重要性质就是对偶性质,它告诉我们原始问题和对偶问题之间存在着一种非常紧密的联系。
具体来讲,对偶性质包括弱对偶性和强对偶性两个方面。
1. 弱对偶性:对于任意一个优化问题,其对偶问题的目标函数值不会超过原始问题的目标函数值,即对于原始问题的任意可行解x和对偶问题的任意可行解y,有\[c^Tx\geqb^Ty\]2. 强对偶性:若原始问题和对偶问题均存在最优解,则它们的目标函数值相等,即\[inf \c^Tx=sup \ b^Ty\]这两个对偶性质告诉我们,对偶问题的解可以为原始问题的最优解提供一个下界,并且在某些情况下,对偶问题的解可以等于原始问题的最优解。
四、对偶问题的应用对偶理论不仅仅是一种理论概念,更是一种实际问题求解的工具。
在实际问题中,我们经常可以通过对偶问题来求解原始问题,或者通过对偶问题的解来获得原始问题的解。
第三章线性规划的对偶定理
特点:
1. max min 2.限定向量b 价值向量C
其它形式 的对偶
?
(资源向量)
3.一个约束 一个变量。
4. max z的LP约束“ ” min z 的
LP是“ ”的约束。
5.变量都是非负限制。
二、原问题与对偶问题的数学模型
❖ 1.对称形式的对偶
当原问题对偶问题只含有不等式约束
时,称为对称形式的对偶。
根据对称形式的对偶模型,可直接 写出上述问题的对偶问题:
b max w (Y 1,Y 2 ) -b
(Y
1,Y
2
)
A A
C
Y1 0 ,Y2 0
max w (Y 1 Y 2 ) b
(Y
1
Y
2
)
A
C
Y 1 0, Y 2 0
令 Y Y,1 Y得2对偶问题为:
max w Yb
❖ (3)若原问题可行,但其目标函数值无 界,则对偶问题无可行解。
❖ (4)若对偶问题可行,但其目标函数值 无界,则原问题无可行解。
❖ (5)若原问题有可行解而其对偶问题无 可行解,则原问题目标函数值无界。
❖ (6)对偶问题有可行解而其原问题无可 行解,则对偶问题的目标函数值无界。
CX Yb
原问题
设备A 设备B 调试工序
产品Ⅰ 产品Ⅱ
0
5
6
2
1
1
利润(元) 2
1
D
15时 24时 5时
x 设 Ⅰ产量––––– 1
x Ⅱ产量––––– 2
如何安排生产, 使获利最多?
max z 2 x1 x2
s.t.
5x2 15
6 x1 2 x2 24
(完整版)线性规划的对偶原理
线性规划的对偶原理3。
1 线性规划的对偶问题一、 对偶问题的提出换位思考家具厂的线性规划问题,该问题站在家具厂管理者的角度追求销售收入最大213050m ax x x z +=⎪⎩⎪⎨⎧≥≤+≤+0,50212034212121x x x x x x某企业家有一批待加工的订单,有意利用该家具厂的木工和油漆工资源来加工他的产品。
他 需要与家具厂谈判付给该厂每个工时的价格。
如果该企业家已对家具厂的经营情况有详细了 解,他可以构造一个数学模型来研究如何才能既让家具厂觉得有利可图,肯把资源出租给他, 又使自己付的租金最少.目标:租金最少;1y —付给木工工时的租金;2y -付给油漆工工时的租金2150120m in y y w +=所付租金应不低于家具厂利用这些资源所能得到的利益1)支付相当于生产一个桌子的木工、油漆工的租金应不低于生产一个桌子的收入 502421≥+y y2)支付相当于生产一个椅子的木工、油漆工的租金应不低于生产一个椅子的收入 30321≥+y y3)付给每种工时的租金应不小于零 0,021≥≥y y二、 原问题与对偶问题的数学模型1. 对称形式的对偶原问题和对偶问题只含有不等式约束时,一对对偶问题的模型是对称的,称为对称形式的对偶。
原问题:⎪⎩⎪⎨⎧≥≥=0min X b AX CX z对偶问题:⎪⎩⎪⎨⎧≥≤=0max Y C YA Yb w2. 非对称形式的对偶若原问题的约束条件全部是等式约束(即线性规划的标准型),即⎪⎩⎪⎨⎧≥==0min X b AX CX z则其对偶问题的数学模型为⎪⎩⎪⎨⎧≤=是自由变量Y C YA Yb w max可把原问题写成其等价的对称形式:min z =CX AX ≥b AX ≤b X ≥0即 min z =CX⎥⎦⎤⎢⎣⎡-A A X ≥⎥⎦⎤⎢⎣⎡-b bX ≥0设Y 1=(y 1,y 2,…,y m ), Y 2=(y m+1,y m+2,…,y 2m )。
4.2_对偶性质
例: max Z x1 2x2 3x3 4x4
试估计它们目
(P)2xx11
2x2 2x3 3x4 20 x2 3x3 2x4 20
标函数的界。
x14 0 解:minW 20 y1 20 y2
__
可知:__X =(1,1,1,
1),Y =(1,1),
分别是(P)和(D)
y1 2 y2 1
st
x1 2x2 x1 x2
10 0
x1 5, x2 0
(1)用图解法求解上述问题; (2)写出它的对偶问题; (3)指出对偶最优解中的基变量。
对偶最优解 中的基变量是
y2和y4!
21
6、解的对应性定理
LP ( max ) 的 初 始 基 变 量 的 检 验 数 的 相 反 数 对 应 于 DP (min)的一组基本解。
24
可行解(0,1), 目标函数值:24
9
4、对偶性定理
若原问题有最优解,那么对偶问题也有最优解,而且两者的 目标函数值必相等。
例:
原始问题
对偶问题
MinZ 6x1 3x2
2 s.t.4
x1 x1
4 x2 3x2
16 24
x1, x2 0
MaxW 16 y1 24 y2
2 y1 4 y2 6 s.t.4 y1 3 y2 3
y1, y2 0
原始问题的最 优解(0,8)
目标函数 值都为24
对偶问题的最优 解(0,1)
10
5、互补松弛性
原问题和对偶问题达到最优时的充分必要条件是YsX*=0, Y*Xs=0。
即在LP的最优解中,若某一约束的对偶变量值为非零,则该 约束条件取严格的等式;反之,如果约束条件取严格不等式, 则其对应的对偶变量一定为零。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
7.1.2
Dual problem
m
Lagrangian. To the problem we associate the Lagrangian L : Rn × Rm → R, with values L(x, λ) := f0 (x) +
i=1
λi fi (x)
The variables λ ∈ Rm , are called Lagrange multipliers. We observe that, for every feasible x ∈ X , and every λ ≥ 0, f0 (x) is bounded below by L(x, λ): ∀ x ∈ X , ∀ λ ∈ Rm (7.2) + : f0 (x) ≥ L(x, λ). The Lagrangian can be used to express the primal problem (7.1) as an unconstrained one. Precisely: p∗ = min max L(x, λ), (7.3)
EE 227A: Convex Optimization and Applications
February 7, 2012
Lecture 7: Weak Duality
Lecturer: Laurent El Ghaoui
7.1
7.1.1
Lagrange Dual problem
Primal problem
7.2
7.2.1
Examples
Linear optimization problem
p∗ = min cT x : Ax ≤ b,
x
Inequality form. Consider the LP in standard inequality form
where A ∈ Rm×n , b ∈ Rm , and the inequality in the constraint Ax ≤ b is interpreted component-wise.
Using a mulitplier νi± for the constraint ±hi (x) ≤ 0, we write the associated Lagrangian as
m p p
L(x, λ, ν , ν ) = f0 (x) +
i=1 m
+
−
λi fi (x) +
i=1 p
νi+ hi (x) νi hi (x),
λ≥0, ν
We refer to the above problem as the dual problem, and to the vector λ ∈ Rm as the dual variable. The dual problem involves the maximization of a concave function under convex (sign) constraints, so it is a convex problem. The dual problem always contains the implicit constraint λ ∈ dom g . We have obtained: Theorem 1 (Weak duality). For the general (possibly non-convex) problem (7.1),weak duality holds: p∗ ≥ d∗ . Case with equality constraints. If equality constraints are present in the problem, we can represent them as two inequalities. It turns out that this leads to the same dual, as if we would directly use a single dual variable for each equality constraint, which is not restricted in sign. To see this, consider the problem p∗ := min f0 (x) :
x
fi (x) ≤ 0, hi (x) = 0,
i = 1, · · · , m, i = 1, · · · , p.
We write the problem as p∗ := min f0 (x) :
x
fi (x) ≤ 0, i = 1, · · · , m, hi (x) ≤ 0, −hi (x) ≤ 0, i = 1, · · · , p.
i=1
+
i=1
νi− (−hi (x))
= f0 (x) +
i=1
λi fi (x) + 7-2
EE 227A
Lecture 7 — February 7, 2012
Spring 2012
where ν := ν + − ν − does not have any sign constraints. Thus, inequality constraints in the original problem are associated with sign constraints on the corresponding multipliers, while the multipliers for the equality constraints are not explicitly constrained.
7.1.3
Minimax inequality
Weak duality can also be obtained as a consequence of the following minimax inequality, which is valid for any function φ of two vector variables x, y , and any subsets X , Y : max min φ(x, y ) ≤ min max φ(x, y ).
p∗ :=ቤተ መጻሕፍቲ ባይዱmin f0 (x) :
x
In this section, we consider a possibly non-convex optimization problem fi (x) ≤ 0, i = 1, · · · , m, (7.1)
where the functions f0 , f1 , . . . , fm We denote by D the domain of the problem (which is the intersection of the domains of all the functions involved), and by X ⊆ D its feasible set. We will refer to the above as the primal problem, and to the decision variable x in that problem, as the primal variable. One purpose of Lagrange duality is to find a lower bound on a minimization problem (or an upper bounds for a maximization problem). Later, we will use duality tools to derive optimality conditions for convex problems.
x
which, after minimizing over x the left-hand side, leads to the lower bound
p ∀ λ ∈ Rm : p∗ ≥ g (λ). +, ν ∈ R
Lagrange dual problem. The best lower bound that we can obtain using the above bound is p∗ ≥ d∗ , where d∗ = max g (λ).
x λ≥0, ν
where we have used the fact that, for any vectors f ∈ Rm , we have max λT f =
λ≥ 0
0 if f ≤ 0 +∞ otherwise.
7-1
EE 227A
Lecture 7 — February 7, 2012
y ∈Y x∈X x∈X y ∈Y
(7.4)
To prove this, start from ∀ x, y : min φ(x , y ) ≤ max φ(x, y ).
x ∈X y ∈Y
and take the minimum over x ∈ X on the right-hand side, then the maximum over y ∈ Y on the left-hand side. Weak duality is indeed a direct consequence of the above. To see this, start from the unconstrained formulation (7.3), and apply the above inequality with φ = L the Lagrangian of the original problem, and y = λ the vector of Lagrange multipliers. Interpretation as a game. We can interpret the minimax inequality result in the context of a one-shot, zero-sum game. Assume that you have two players A and B, where A controls the decision variable x, while B controls y . We assume that both players have full knowledge of the other player’s decision, once it is made. The player A seeks to minimize a payoff (to player B) L(x, y ), while B seeks to maximize that payoff. The right-hand side in (7.4) is the optimal pay-off if the first player is required to play first. Obviously, the first player can do better by playing second, since then he or she knows the opponent’s choice and can adapt to it.