Gallery v1.0.0

线性规划的对偶理论

每个线性规划问题都有一个"镜像"——对偶问题。
理解对偶,不仅是理解一个数学技巧,更是理解最优化的本质。

线性规划对偶理论知识结构图
线性规划对偶理论 — 从原问题到对偶问题,从弱对偶到强对偶,从互补松弛到影子价格
PROBLEM ANCHOR

今天的课件可以帮你解决什么问题?

选择一个你关心的问题,后续内容会围绕它展开。

选择或输入后,本课会围绕你的问题展开。

LEARNING OBJECTIVES

学习目标

PRETEST

课前检测

先测试一下你对线性规划基础知识的掌握情况。

问题:考虑原问题 max z = 3x1 + 5x2,约束为 x1 ≤ 4,2x2 ≤ 12,3x1 + 2x2 ≤ 18,x1, x2 ≥ 0。它对应对偶问题中,决策变量的个数是多少?

请先点击一个选项,查看你的诊断反馈。
CORE CONCEPT 1

一、对称型对偶规划

已经知道:线性规划可以用单纯形法求解最优值和最优解。

但是问题是:如何从"外部"视角——比如从资源定价的角度——理解这个最优解的价值?

所以这一段要解决:引入"对偶问题"的概念,为每个原始线性规划建立一个镜像问题。

原问题 (P)

max   z = c1x1 + c2x2 + … + cnxn

s.t.   a11x1 + a12x2 + … + a1nxn ≤ b1
       a21x1 + a22x2 + … + a2nxn ≤ b2
                       ⋮
       am1x1 + am2x2 + … + amnxn ≤ bm
       x1, x2, …, xn ≥ 0
对偶问题 (D)

min   w = b1y1 + b2y2 + … + bmym

s.t.   a11y1 + a21y2 + … + am1ym ≥ c1
       a12y1 + a22y2 + … + am2ym ≥ c2
                       ⋮
       a1ny1 + a2ny2 + … + amnym ≥ cn
       y1, y2, …, ym ≥ 0
构造要诀:
原问题 (max)对偶问题 (min)
目标系数 c约束右端 c
约束右端 b目标系数 b
约束矩阵 A转置矩阵 AT
n 个变量,m 条约束m 个变量,n 条约束
"≤" 约束"≥" 约束

例题 1

写出下述线性规划的对偶问题:

max z = 4x1 + x2 + 3x3
s.t.   x1 + x2 + x3 ≤ 3
       3x1 + x2 − x3 ≤ 2
       x1, x2, x3 ≥ 0
点击查看答案
min w = 3y1 + 2y2
s.t.   y1 + 3y2 ≥ 4
       y1 + y2 ≥ 1
       y1 − y2 ≥ 3
       y1, y2 ≥ 0
CORE CONCEPT 2

二、非对称型对偶与转换规则

当原问题中含有等式约束无符号限制变量时,对偶问题的形式需要特殊处理。

完整对偶转换表

原问题(max 问题) 对偶问题(min 问题)
第 i 个约束 ≤yi ≥ 0
第 i 个约束 =yi 无符号限制 (free)
第 i 个约束 ≥yi ≤ 0
xj ≥ 0第 j 个约束 ≥
xj 无符号限制 (free)第 j 个约束 =
xj ≤ 0第 j 个约束 ≤
记忆技巧:约束方向与对偶变量符号呈"反比"关系——越紧的约束(≤)对应越大的对偶变量(≥ 0);等式约束则对应自由变量。
CORE CONCEPT 3

三、弱对偶性与强对偶性

定理 1:弱对偶定理 (Weak Duality)

x 是原问题 (P) 的任一可行解,y 是对偶问题 (D) 的任一可行解,则恒有:

cTx ≤ bTy

重要推论:

  • 原问题目标函数值的上界由对偶可行解给出
  • 若原问题无界,则对偶问题必无可行解
  • 若 cTx = bTy,则 x 和 y 分别是各自问题的最优解

定理 2:强对偶定理 (Strong Duality)

若原问题 (P) 有有限最优解 x*,则对偶问题 (D) 也有有限最优解 y*,且:

cTx* = bTy*

关键洞察:弱对偶给了我们一个不等式,强对偶说在最优点处这个不等式变为等式——原问题的最优值和对偶问题的最优值完全相等!

直观理解: 弱对偶 = "蛋糕总价不超过材料成本" 强对偶 = "最优生产方案下,蛋糕卖价恰好等于材料的最佳定价"
CORE CONCEPT 4

四、互补松弛定理

定理 3:互补松弛定理 (Complementary Slackness)

设 x* 和 y* 分别是原问题和对偶问题的可行解。它们是各自问题最优解的充要条件是:

(1) 原始互补松弛:yi* (bi − Σj aijxj*) = 0,∀ i
(2) 对偶互补松弛:i aijyi* − cj) xj* = 0,∀ j

条件 (1) 的含义

若 yi* > 0(资源有正价值),则 Σaijxj* = bi(资源完全用尽);

若资源有剩余(严格 <),则该资源的影子价格必为 0。

条件 (2) 的含义

若 xj* > 0(生产该产品),则对偶约束必紧(成本 = 收益);

若对偶约束不紧(成本 > 收益),则该产品不应生产(xj* = 0)。

INTERACTIVE

五、交互式探索:原问题与对偶问题的关系

拖动滑块修改原问题参数,观察对偶问题如何随之变化。注意观察弱对偶性和强对偶性。

💡 拖动滑块改变参数,观察原问题可行域(蓝色)和对偶最优值的变化。最优解时原问题目标值 = 对偶目标值。

APPLICATION

六、影子价格:对偶变量的经济解释

yi*
对偶最优解的第 i 个分量 = 第 i 种资源的影子价格
反映了增加一单位该资源对目标函数最优值的边际贡献

数学解释

若最优基不变,有:

∂z*/∂bi = yi*

影子价格是对最优目标值关于资源量的偏导数——即资源的边际价值。

经济含义

  • yi* > 0:该资源是稀缺的,增加供应会提升目标值
  • yi* = 0:该资源有剩余,增加供应无边际价值
  • 定价决策:市场价 < 影子价格 → 买入资源有利;市场价 > 影子价格 → 卖出资源有利
实例:某工厂生产两种产品,约束为机器工时(≤4h)和原料(≤12kg)。若最优对偶解 y1*=0, y2*=1.5,说明:机器工时非瓶颈(影子价格=0),但每增加 1kg 原料可多赚 1.5 元——这就是原料的"影子价格"。
CONCEPTEST

概念测试

关于对偶理论,以下哪个说法是错误的?

先独立判断,再查看诊断反馈。
PRACTICE

练习:从示范到独立

全支架示范

问题:写出 min z = 2x1 + 3x2
s.t. x1 + x2 ≥ 4
x1 − x2 ≤ 2
x1, x2 ≥ 0 的对偶问题。

查看解答
标准化:min → 保持 min 形式
对偶为 max w = 4y1 + 2y2
s.t. y1 + y2 ≤ 2
y1 − y2 ≤ 3
y1 ≥ 0, y2 ≤ 0

半支架练习

原问题 max z = x1 + 2x2 + 3x3
s.t. x1 + x2 + x3 = 5
2x1 − x2 ≤ 3
x1 ≥ 0, x2 ≤ 0, x3 free

提示:

  • 等式约束 → 对偶变量 _____
  • x3 无限制 → 对偶约束 _____
  • 确认 max → min 的方向

独立完成

用互补松弛定理判断 x*=(2,0,3)T 是否为下述问题的最优解,并求对偶最优解:

max z = x1 + x2 + x3
s.t. 3x1 + x2 + x3 ≤ 9
x1 − x2 + 2x3 ≤ 5
x1, x2, x3 ≥ 0
SUMMARY

本课小结

1
对偶构造

max-≤-≥0 → min-≥-≥0
A → AT,b ↔ c

2
弱对偶

cTx ≤ bTy
任何可行解对

3
强对偶

最优时值相等
cTx* = bTy*

4
互补松弛

紧约束 ↔ 正对偶变量
最优性充要条件

5
影子价格

yi* = 资源边际价值
指导买卖决策

KNOWLEDGE GRAPH

知识图谱

本节点在大学运筹学知识体系中的定位(free_mode):

前置知识
  • 线性代数(矩阵运算、向量空间)
  • 线性规划的标准形式
  • 单纯形法
后续知识
  • 对偶单纯形法
  • 灵敏度分析
  • 非线性规划的对偶理论
  • 拉格朗日对偶
📊 已访问