当前位置:
文档之家› 线性规划中的对偶规划模型及对偶理论
线性规划中的对偶规划模型及对偶理论
则定义其对偶问题为
MinW b1 y1 b2 y2 bm ym a11 y1 a21 y 2 am1 ym c1 a y a y a y c 12 1 22 2 m2 n 2 s.t. a y a y a y c 2n 2 mn n n 1n 1 y1 , y2 , , ym 0
(2)对称形式的对偶关系的矩阵描述
MaxZ CX
MinW bY
YA C ( D ) AX b (L)s.t. s.t. Y 0 X 0 (3)怎样从原始问题写出其对偶问题?
按照定义;
记忆法则:
“上、下”交换,“左、右”换位, 不等式变号,“极大”变“极小”
~ b i yi
i 1
MaxZ CX
(L)
MinW bY
AX b 和 (D) YA C s.t. s.t. X 0 Y 0 ~ ~ ~ ~ 均有可行解,分别为 X 和 Y ,则C X ≤ Yb。 ~ ~ ~ ~ ~ 证 由(L)AX b 左乘 Y ,得 YAX Yb 明 ~~ ~ ~ ~ 思 由(D)Y A C 右乘 X,得 YAX CX 路 n m ~ ~ ~ ~ : c x b y j j i i CX Yb
n m
~ ~ 则X ,Y 分别为原始问题和对偶问题的最
j 1
j
j
i 1
i
i
优解。
性质3 无界性 如果原问题(对偶问题) 具有无界解,则对偶问题(原问题)无可 行解。
注意:这个性质逆不成立。因为当原问题
(对偶问题)无可行解时,其对偶问题(原 问题)或无可行解或具有无界解。
性质4 强对偶性(或称对偶定理) 如果原问 题有最优解,则其对偶问题也一定具有最优 解,且有 max z min
2、非对称形式的对偶关系:
(1) 原问题
MaxZ c j x j
j 1 n
对偶问题
MinW bi xi
i 1 m
n aij x j bi i 1,2,, m s.t. j 1 x j 0 j 1,2,, n
m aij yi c j j 1,2,, n s.t. i 1 yi符号不限, i 1,2,, m
第二章 线性规划的对偶模型
一、对偶问题的提出 1、 对偶思想举例:某工厂拥有一定生产原材料 时,该工厂考虑是自己进行产品生产所赚的利 润大还是将其原材料直接出售给其它工厂时所 以赚取的利润大的问题。
ห้องสมุดไป่ตู้ 2、 换个角度审视生产计划问题
例:(第一章例2)要求制定一个生产计划 方案,在劳动力和原材料可能供应的范围 内,使得产品的总利润最大 。
MaxZ 2 x1 3x 2 2 x1 2 x 2 12 16 4 x 1 s.t. 15 5x 2 x1 , x 2 0
它的对偶问题就是一个价格系统,使在平衡了 劳动力和原材料的直接成本后,所确定的价格系统 最具有竞争力:
MinW 12y1 16y 2 15y 3 2 2 y1 4 y 2 5y3 3 2 y1 s.t. y1,y 2,y 3 0
二、原问题和对偶问题的关系
1、对称形式的对偶关系
(1)定义:若原问题是
MaxZ c1 x1 c 2 x 2 c n x n a11 x1 a12 x 2 a1n x n b1 a x a x a x b 21 1 22 2 2n n 2 s.t. a x a x a x b m2 2 mn n m m1 1 x1 , x 2 , , x n 0
这两个式子之间的变换关系称为 “对称形式的对偶关系”。
原问题与对偶问题的对比:
若原问题 MaxZ c1 x1 c2 x2 cn xn 对偶问题
MinW b1 y1 b2 y2 bm ym
a11 x1 a12 x2 a1n xn b1 a11 y1 a21 y2 am1 ym c1 a x a x a x b a y a y a y c 21 1 22 2 2n n 2 12 1 22 2 m2 n 2 s.t. s.t. a x a x a x b a y a y a y c mn n m mn n n m1 1 m 2 2 1n 1 2 n 2 x1 , x2 ,, xn 0 y1 , y2 ,, ym 0
下面的答案哪一个是正确的?为什麽?
MaxW 7 y1 11y 2 14 y3 MaxW 7 y1 11y 2 14 y3
4 y1 8 y 2 12 y3 4 4 y1 8 y 2 12 y3 4 5 y1 9 y 2 13y3 2 5 y1 9 y 2 13y3 2 s.t. s.t. 6 y1 10 y 2 3 6 y1 10 y 2 3 y1符号不限, y 2 0, y3 0 y1符号不限, y 2 0, y3 0
(特点:等式约束)
(特点:对偶变量符号 不限,系数阵转置)
(2)怎样写出非对称形式的对偶问题?
把一个等式约束写成两个不等式约束, 再根据对称形式的对偶关系定义写出;
按照原始-对偶表直接写出 ;
(3)原始-对偶表
原问题(或对偶问题)
目标函数 MaxZ
变量数:n个 变量 ≥0 变量 ≤0 变量 无约束
√
×
(原问题是极小化问题,因此应从原始对偶 表的右边往左边查!)
三、对偶定理
对偶定理是揭示 原始问题的解与对偶问题的解之间重 要关系的 一系列性质。 对称性—— 对偶问题的对偶是原问题。
~ 性质1 弱对偶性——如果 X 是原问题 j ( j 1,, n)
~ c jxj
j 1
~ 的可行解, Yi (in 1,其对偶问题的可行解,则恒有: , n) m
对偶问题(或原问题)
目标函数 MinW
约束条件数:n个 约束条件 ≥ 约束条件 ≤ 约束条件 =
约束条件:m个 约束条件 ≤ 约束条件 ≥ 约束条件 =
变量数:m个 变量 ≥0 变量 ≤0 无约束
课堂练习:写出下面线性规划的对偶规划:
MinZ 4 x1 2 x 2 3 x3 4 x1 5 x 2 6 x3 7 8 x1 9 x 2 10x3 11 s.t. 12x1 13x 2 14 x1 0, x 2 符号不限, x3 0
j 1 i 1
• 关于“界”的结果; •极小化问题有下界—— 推论1 极大化问题的任意一个可行解所对应的 目标函数值是其对偶问题最优目标函数值的一 个下界。
•极大化问题有上界——
推论2 极小化问题的任意一个可行解所对 应的目标函数值是其对偶问题最优目标函 数值的一个上界。
~ 、~ 分别为对称形式对 性质2 最优性 若 X Y 偶线性规划的可行解,且两者目标函数的 相应值相等,即 c ~ x b ~ y
j 1
n
性质6 线性规划的原问题及其对偶问题之间 存在一对互补的基解,其中原问题的松驰变 量对应对偶问题的变量,对偶问题的剩余变 量对应原问题的变量;这些互相对应的变量 如果在一个问题的解中是基解变量,则在另 一问题的解中是非基变量;将这对互补的基 解分别代入原问题和对偶问题的目标函数有:
z
性质5 互补松弛性 在线性规划问题的最优解
中,如果对应某一约束条件的对偶变量值为非 零,则该约束条件取严格等式;反之如果约束 条件取严格不等式,则其对应的对偶变量一定 为零。
即:
ˆ i 0, 则 aij x ˆ j bi 如果y
j 1
n
ˆ j bi, 则y ˆi 0 如果 aij x
例 写出下面线性规划的对偶问题:
MaxZ 2x1 x 2 3x1 4x 2 15 s.t.5x1 2x 2 10 x , x 0 1 2
MinW 15 y1 10 y 2 3 y1 5 y 2 2 s.t. 4 y1 2 y 2 1 y ,y 0 1 2
(用于生产第i种产 品的资源转让收益不 小于生产该种产品时 获得的利润)
对偶变量的经济意义可以解释为对工时及原材 料的单位定价 ;
若工厂自己不生产产品A、B和C,将现 有的工时及原材料转而接受外来加工时,
那么上述的价格系统能保证不亏本又最富
有竞争力(包工及原材料的总价格最低) 当原问题和对偶问题都取得最优解时,这 一对线性规划对应的目标函数值是相等的: Zmax=Wmin