线性规划对偶理论
合集下载
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
a m1 y m ≥ c1 a m2 x m ≥ c 2 a mn y m ≥ c n ,m
7
规范形式下对偶关系的一般形式
max z CX
min w Yb
AX ≤ b X ≥0
YA ≥ C Y ≥ 0
8
规范形式原问题与对偶问题变换规则
观察分析上述规范形式下线性规划的原问题及其对偶问题的模型形 式,可发现,按如下规则,可从线性规划原问题得到其对偶问题: (1)目标函数由 max 型变为 min 型; (2)对应原问题,每个约束行有一个对偶变量 y i, i 1, 2, (3)对偶问题约束为≥型,有 n 行; (4)原问题的价值系数 C 变换为对偶问题的右端项; (5)原问题的右端项 b 变换为对偶问题的价值系数; (6)原问题的系数矩阵 A 转置后成为对偶问题的系数矩阵。 根据上述变换规则,可直接写出规范形式下线性规划问题对偶问题。
a x ≤b a x ≤b
1n n 2n n
min w b1 y1 b2 y2 bm ym
1
2
a
,n
mn
x n≤b m
a11 y1 a 21 y 2 a12 y1 a 22 y 2 a y a y 1n 1 2 n 2 y i ≥ 0 i 1, 2,
它与下列线性规划问题是等价的
max Z CX , AX b, X 0
即是原问题。
18
【性质2】 弱对偶性 设X°、Y°分别为LP(max)与 DP(min)的可行解,则 CX 0 Y 0 b
【证】因为X°、Y°是可行解,故有AX°≤b, X°≥0及 Y°A≥C,Y°≥0,将不等式 AX°≤b 两边左乘Y°,得Y0AX°≤Y0b 再将不等式Y°A≥C两边右乘X°,得C X°≤Y°AX° 故 C X°≤Y°AX≤Y°b
【解】目标函数求最小值,应将 表3-1的右边看作原问题,左边 是对偶问题,原问题有3个约束4 个变量,则对偶问题有3 个变量4 个约束,对偶问题为:
max w 18 y1 10 y2 14 y3 2 y3 = 1 7 y1 2 y 6 y 8 y 5 1 2 3≥ y3 ≤ 4 8 y1 y 5y ≤ 9 2 1 y1≤0, y2≥0, y3无约束
【证】若C X0= Y0b ,由性质2,对偶问题的所有可行解Y’都 存在 Y’ b≥ CX’。因为C X0= Y0b ,所以Y’ b ≥ Y0b ,可见Y0 是使目标函数取值最小的可行解,因而Y0是最优解。同理可 证, X0是最优解
22
【性质5】 弱对偶性 若互为对偶的两个问题其中一个有 最优解,则另一个也有最优解,且最优值相同。
这是一个典型的最优生产计划制定问题。 制定获得最大利润生产计划的线性规划问题为:
max z 2 x1 x2
(LP1)
5 x 2 ≤ 15 6 2 ≤ 24 x1 x 2 x1 x 2 ≤ 5 x1, x 2 ≥ 0
4
对偶问题的提出
再从另一个角度看问题。假定:有另一个公司想把该公司的资源收买下来,它至 少应付多大的代价才能让该公司愿意放弃生产活动出让自己的资源。显然,该公 司出让自己资源的条件是:出让价不低于同等资源由自己组织生产时获取的盈 利。 设 y1 , y 2 , y3 分别代表单位时间 ( h ) 设备 A,B 及调试工序的出让代价,那么,
13
表3-1
原问题(或对偶问题) 目标函数max 目标函数系数(资源限量) 约束条件系数矩阵A(AT) 变 量 n个变量 第j个变量≥0 第j 个变量≤0 第j个变量无约束 m个约束 第i个约束≤ 第i个约束≥ 第i个约束为= 对偶问题(或原问题) 目标函数min 资源限量(目标函数系数) 约束条件系数矩阵AT(A) 约 束 n个约束 第j个约束为≥ 第j个约束为≤ 第j个约束为= m个变量 第i个变量≥0 第i个变量≤0 第i个变量无约束
min w 2 y1 y2 4 y3 2 y1 3 y 2 y 3 1 3 y1 y 2 y 3 4 5 y1 6 y 2 y 3 3 y , y , y 2 3 1
12
如何直接写出非对称形式的对偶问题
然后,将上述原问题与对称形式下原问题作对照。
max z CX AX ≤ b X ≥0
min w Yb
Y A≥ C Y ≥ 0
为了准确无误判断对偶问题中的待定符号, 我们遵从 如下规则: (1) 约束为等式约束与变量无约束对应。 (2) 符号相同的变量、 约束, 其对偶问题的约束、 变量符号也相同。符号相反的变量、约束,其对偶问 题的约束、变量符号也相反。
14
约 束
变 量
如何直接写出非对称形式的对偶问题
只要记住规范形式下的对偶关系以及上述规则,就可以准确 无误并很快写出其对偶问题。
min w 2 y1 y 2 4 y 3 2 y1 3 y 2 y 3 ≥ 1 3 y1 y 2 y 3 ≤ 4 5 6 3 y y y 1 2 3 y ≥ 0, y ≤ 0, y 无约束 2 3 1
11
如何直接写出非对称形式的对偶问题
首先,按对规范形式写出对偶关系的框架(不考虑符号) , 对上例有
max z x1 4 x2 3 x3 2 x1 3 x 2 5 x 3 ≤ 2 3 6 ≥ 1 x1 x 2 x 3 x1 x 2 x 3 4 x1 ≥ 0, x 2 ≤ 0, x 3无约束
注意:(1)这个定理的逆定理不成立,即若一个问题无可 行解,另一问题不一定有无界解,也可能无可行解; (2)若原问题可行且另一个问题不可行,则原问题具 有无界解
20
例如:
min z x1 2 x 2 1 x1 2 x 2 2 x1 x 2 2 x , x 0 1 2
6 y 2 y3 2 LP2) 5 y1 2 y 2 y3 1 y1 , y 2 , y3 0
5
对偶问题的提出
max z 2 x1 x2 5 x 2 ≤ 15 6 2 ≤ 24 x1 x 2 (LP1) x1 x 2 ≤ 5 x1, x 2 ≥ 0
对偶理论是线性规划中的一个最重要的最有趣的 概念。支持对偶理论的基本思想是,每一个线性 规划问题都存在一个与其对偶的问题。在求出一 个问题解的时候,也同时给出了另一问题的解。 线性规划对偶问题以及对偶理论中对偶定理的运 用是线性规划中主要考点。
3
对偶问题的提出
某公司制造两种家电产品。 假定: 已知各制造一件时, 分别占用的设备 A、 设备 B 的台时, 调试时间以及设备 A、设备 B 和调试工序每天的可用能力,产品的单件利润如表所示,要 求确定 A,B 两种家电各多少件,获利为最大。 产品 设备 A(h) 设备 B(h) 调试工序 单件利润 产品 1 0 6 1 2 产品 2 5 2 1 1 每天可用能力 15 24 5
15
【例3.3】写出下列线性规划的对偶问题
min Z x1 5 x2 4 x3 9 x4 7 x1 2 x2 8 x3 x4 18 6 x2 5 x4 10 2 x1 8 x2 x3 14 x1无约束, x2 0, x3 , x4 0
16
ቤተ መጻሕፍቲ ባይዱ
线性规划对偶问题的基本性质
下面介绍对偶基本性质时,一般假定是如下规范对偶关系。 设原问题是(记为LP): 对偶问题是(记为DP):
max Z CX AX b X 0
min w Yb YA C Y 0
这里A是m×n矩阵X是n×1列向量,Y是1×m行向量。假设Xs与 Ys分别是(LP)与(DP)的松驰变量。
10
非规范形式的对偶关系
例 3.2 写出如下线性规划问题的对偶问题
max z x1 4 x2 3 x3 2 x1 3 x 2 5 x3 2 3 6 1 x3 x1 x 2 x1 x 2 x3 4 x1 0, x 2 0, x3 无约束
17
【性质1】 对称性 对偶问题的对偶是原问题。
【证】设原问题是
max Z CX , AX b, X 0
可知,它的对偶问题是
min w Yb,
YA C, Y 0
它与下列线性规划问题是等价的:
max( w) Yb,YA C, Y 0
再写出它的对偶问题。
min( w) CX , AX b, X 0
这一性质说明了两个线性规划互为对偶时,求最大值的线性 规划的任意目标值都不会大于求最小值的线性规划的任一目 标值,不能理解为原问题的目标值不超过对偶问题的目标值。
19
【性质3】 无界性 若原问题(对偶问题)有无界 解,则其对偶问题(原问题)无可行解。
可理解为:在互为对偶的两个问题中,若一个问题可行且具有无 界解,则另一个问题无可行解 证:假定原问题有无界解,对偶问题有可行解 Y°, Y°b ≤∞。原问题有无界解,即存在C X°→ ∞,根据若 对偶性有, Y°b ≥ C X° → ∞,显然矛盾,故命题成立。
【证】设(LP)有最优解X0,那么对于最优基B必有C-CBB-1A≤0与 -CBB-1≤0,即有Y°A≥C与Y°≥0,这里Y°= CBB-1 ,从而Y°是 可行解,对目标函数有
LP1与LP2 两个线性规划问题的 表现形式和系数之间存在许多对 应关系。 并且 max z min w
min w 15 y1 24 y2 5 y3
6 y 2 y 3 ≥ 2 (LP2) 5 y1 2 y 2 y 3 ≥ 1 y , y , y ≥0 1 2 3
无可行解,而对偶问题
max w 2 y1 2 y 2 y1 y 2 1 1 y1 y 2 2 2 y1 , y 2 0
有可行解,由性质(3)知必有无界解。
21
【性质4】最优性定理 设X0与Y0分别是(LP)与(DP)的可 行解,则当C X0= Y0b 时,X0、Y0是(LP)与(DP)的最优解
我们称前者为原问题,后者是前 者的对偶问题。
6
规范形式下对偶关系的一般形式
max z c1 x1 c2 x2 cn xn
a11 x1 a12 x 2 a 21 x1 a 22 x 2 a m1 x1 a m 2 x 2 x j ≥ 0 j 1, 2,
5 y1 2 y 2 y 3 ≥1 y1 , y 2 , y3 的取值应满足: 6 y 2 y 3 ≥ 2,
又另一个公司希望用最小代价把该公司的资源收买过来,故有
min w 15 y1 24 y2 5 y3 显然, y i ≥ 0, i 1, 2,3 ,
综合上述,便有
min w 15 y1 24 y2 5 y3
运筹学 Operations Research
陈志松
1
线性规划对偶理论
线性规划对偶理论概述 线性规划对偶问题提出 线性规划对偶问题规范形式 线性规划对偶问题一般形式
线性规划对偶问题基本性质
线性规划对偶问题的经济解释
2
线性规划对偶理论概述
线性规划对偶理论自1947年提出以来,已经有了 很大发展,已成为线性规划的必不可少的重要基 础理论。
9
,m;
线性规划问题对偶问题举例
例3.1 写出下列线性规划问题的对偶问题
max z 3x1 4 x2 6 x3 4 x4 x1 4 x2 2 x3 3 x4 ≤ 35 3x1 x2 5 x3 6 x4 ≤ 45 x ,x ,x ,x ≥ 0 1 2 3 4