跳到内容
返回探索
数学建模 / 英语

对偶问题 1,2 - 线性规划问题 (LPP) - 工程数学 - 4

Ekeeda · YouTube · 7:31

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文
阅读完整概览

这段时长约120秒的白板讲解片段,以基础水平介绍线性规划的对偶性。标题卡片之后,讲师呈现标题“原问题与对偶问题[对偶性]”,并强调构造对偶问题不同于使用对偶单纯形法。他陈述了黑板上显示的两条标准形式规则:极大化问题的所有约束应为≤\le,极小化问题的所有约束应为≥\ge。他还指出原问题与对偶问题的目标方向互逆:原问题为极大化,则对偶问题为极小化,反之亦然。屏幕上展示了两个原问题例题,一个为极大化,一个为极小化;片段最后说明:求对偶问题的第一步是检查给定原问题是否已处于正确形式。 这段时长为120秒的白板讲解片段,解决了黑板上所列两个线性规划对偶练习中的第一个。教师首先确认原始问题 Max Z=40x1+35x2Z = 40x_1 + 35x_2(含两个 ≤ 约束)已处于构造对偶问题的正确形式,随后逐步构建其对偶:目标函数变为 Min W=60y1+96y2W = 60y_1 + 96y_2(使用原始问题右侧常数项),约束变为 2y1+4y2≥402y_1 + 4y_2 \ge 40 和 3y1+8y2≥353y_1 + 8y_2 \ge 35(使用原始问题各变量对应列的系数),最后默认添加 y1y_1, y2≥0y_2 \ge 0。黑板上的第二个问题可见,但本片段未予求解。 本120-第二讲片段讲解如何为线性规划原问题做好准备,以便写出其对偶问题。教师首先通过一个已完成的示例回顾一般规则:原问题约束的右端项成为对偶问题目标函数的系数,原问题各列的系数则成为对偶问题约束的系数。接着他转向一个极小化问题,并强调必须先将原问题化为正确的标准形式。由于此处要求极小化原问题的所有约束均为 ≥ 形式,因此将第三个约束2x1−x2≤62x_1 - x_2 \le 6两边同乘 -1,得到 -2x_1 + x2≥−6x_2 \ge -6。完成整个原问题的重写后,他开始构建对偶问题,并指出该对偶问题是一个极大化问题,目标函数为 W。 本视频片段演示了将原最小化线性规划问题逐步转换为其对应对偶最大化问题的过程。教师使用白板说明:原问题约束条件右侧的常数变为对偶目标函数的系数;接着解释原约束系数矩阵的各列经转置后构成对偶约束矩阵的各行,且原目标函数的系数变为对偶约束条件右侧的常数;最后,依据原约束不等式的方向,确定对偶变量的非负性条件。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:00标题卡片:对偶问题1和20:12原问题与对偶问题的引入;与对偶单纯形法的区别0:30标准形式规则:极大化 → ≤,极小化 → ≥0:52原始问题与对偶问题的方向互换1:16两个展示的例题1:35第一步:检查原始问题是否符合标准形式2:00检查原始问题是否处于正确形式2:17开始书写对偶问题,并将最大化改为最小化2:33根据原始问题的右端项构造对偶目标函数3:03根据 x1x_1 和 x2x_2 列构造对偶约束3:45添加非负性约束并写出最终的对偶问题4:00对偶构造规则的回顾4:15引入问题2并检验原问题形式4:33极小化原问题的标准形式条件5:20重写第三个约束及完整的原问题5:41开始为问题2构建对偶问题6:00构造对偶目标函数6:10推导第一个对偶约束6:38推导第二个对偶约束并完成对偶问题的构建

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

视频片段以标题卡片“对偶性问题1和2”开场,表明本课重点在于线性规划中的原始问题与对偶问题关系,而非从一开始就进行数值求解。

白板上方显示标题“原始问题与对偶问题[对偶性]”,其下是两个已解出的例题。讲师首先厘清术语:本课讨论的是对偶性本身,而非名称相近的对偶单纯形法。

接着他陈述笔记框中可见的标准形式核查清单:对于最大化问题,约束条件应写成≤\le形式;对于最小化问题,约束条件应写成≥\ge形式。这为观众提供了一种快速判断原始问题是否符合预期形式的方法。

随后他解释原始问题与其对偶问题之间的方向关系:若原始问题是最大化问题,则其对偶问题是最小化问题;若原始问题是最小化问题,则其对偶问题是最大化问题。视频将此呈现为一种对应规则,而非完整的构造公式。

白板上展示了两个具体的原始问题实例:左侧是一个含两个≤\le约束且变量非负的最大化问题;右侧是一个含两个≥\ge约束、一个≤\le约束且变量非负的最小化问题。这些实例将成为后续对偶问题构造步骤所作用的对象。

在实际写出任何对偶问题之前,讲师强调第一个操作步骤:验证给定的原始问题是否已处于正确形式。他回指最大/最小化规则框,并利用所展示的例题说明:这一检验步骤必须先于系数重排或变量引入。

视频片段以一块白板开场,标题为“原始问题与对偶问题[对偶性]”,旁注框中写着“最大化 → ≤”和“最小化 → ≥”。两个线性规划问题已并排写出,但讲师仅处理左侧问题。他指向原始问题的 Max Z=40x1+35x2\text{Max } Z = 40x_1 + 35x_2,其约束为 2x1+3x2≤602x_1 + 3x_2 \le 60、4x1+8x2≤964x_1 + 8x_2 \le 96 和 x1,x2≥0x_1,x_2 \ge 0,并指出该问题已处于正确形式,因为它是一个最大化问题,且所有函数约束均为 ≤\le。

他在原始问题下方写下“对偶问题由以下给出”,并解释第一条转换规则:优化方向取反。由于原始问题是最大化,对偶问题将是最小化。这是新模型的起点。

接着他构造对偶目标函数。他指向两个原始约束的右端项 60 和 96,并说明对偶目标函数由这些常数构成。引入对偶变量 y1y_1 和 y2y_2 后,他写出 Min W=60y1+96y2\text{Min } W = 60y_1 + 96y_2。原始目标函数中的数字 40 和 35 此处未被使用;它们将在后续作为对偶约束的右端项出现。

然后他逐个原始变量地构造对偶约束。对于 x1x_1,他沿两个原始约束向下读取系数 2 和 4,并将它们与对偶变量组合得到 2y1+4y22y_1 + 4y_2。由于对偶问题是极小化问题,他指出其约束应为 ≥\ge,并令该表达式大于或等于 40——即 x1x_1 在原始目标函数中的系数。因此第一个对偶约束为 2y1+4y2≥402y_1 + 4y_2 \ge 40。

对于 x2x_2,他重复相同规则。沿原始约束向下的系数为 3 和 8,得到 3y1+8y23y_1 + 8y_2;而 x2x_2 在原始目标函数中的系数为 35,因此第二个对偶约束为 3y1+8y2≥353y_1 + 8y_2 \ge 35。他指出原始变量仅有两个,故对偶约束也仅有两个。

最后,他添加默认的非负性约束 y1,y2≥0y_1, y_2 \ge 0。因此白板上完成的对偶问题为:最小化 Min W=60y1+96y2\text{Min } W = 60y_1 + 96y_2,满足约束 2y1+4y2≥402y_1 + 4y_2 \ge 40、3y1+8y2≥353y_1 + 8y_2 \ge 35 和 y1,y2≥0y_1,y_2 \ge 0。他总结道:“这就是上述原始问题的对偶问题。”

该片段以教师总结黑板左侧已写出的完成示例中的对偶构造规则开场。他指出:原问题约束的右端常数用于构成对偶问题的目标函数,而原问题约束的系数则用于构建对偶问题的约束。

接着他转向黑板右侧的问题2,并宣布该例题将使这一过程更清晰。这个新问题是极小化线性规划问题,在写出任何对偶问题之前,他首先检查原问题是否符合所需形式。

关键条件被明确指出:对于一个极小化原问题,所有约束必须写成大于等于不等式。观察黑板,前两个约束已满足这一要求,但第三个约束使用了小于等于号,因此该原问题尚不能直接进行对偶变换。

由此,讲师强调了运算顺序:必须先将原问题转化为正确的标准形式,之后才能构造其对偶问题。他将此与之前讲解过的例题作对比——在那个例题中,原问题已处于恰当形式,因而可直接写出对偶问题。

他将问题2的原问题重写在原始陈述下方。目标函数仍为 Min Z=10x1+20x2Z = 10x_1 + 20x_2。第一个约束 3x1+2x2≥183x_1 + 2x_2 \ge 18 保持不变,第二个约束 x1+3x2≥8x_1 + 3x_2 \ge 8 同样保持不变,因为二者均已符合极小化标准形式。

第三个约束需要调整。从 2x1−x2≤62x_1 - x_2 \le 6 出发,讲师将整个不等式乘以 -1。这使不等号方向反转,并使各项符号均发生改变,得到 -2x_1 + x2≥−6x_2 \ge -6。随后,他补充非负性条件 x1x_1, x2≥0x_2 \ge 0,从而完成标准化后的原问题。

当原问题已处于所需形式后,他开始构造对偶问题。他指出,该极小化问题的对偶问题将是一个极大化问题,并写下对偶目标函数的标题:Max W。接着,他回顾标准化约束的右端项,准备将这些常数用作对偶目标函数的系数。

教师首先识别出原约束条件右侧的常数,分别为18、8和-6。这些值直接用于构造对偶目标函数,得到 Max W=18y1+8y2−6y3W = 18y_1 + 8y_2 - 6y_3。

接着,教师通过考察第一个原变量 x1x_1 的系数来构造第一个对偶约束。该变量在三个原约束中的系数依次为3、1和-2,它们分别成为 y1y_1、y2y_2和 y3y_3 在第一个对偶约束中的系数。该新约束右侧的值为原问题中 x1x_1 的目标函数系数,即10。由于原问题是带‘大于或等于’约束的最小化问题,其对偶问题则为带‘小于或等于’约束的最大化问题。因此,第一个对偶约束为 3y1+y2−2y3≤103y_1 + y_2 - 2y_3 \leq 10。

该过程对第二个原变量 x2x_2 同样适用。它在原约束中的系数依次为2、3和1,由此构成第二个对偶约束的左侧:2y1+3y2+y32y_1 + 3y_2 + y_3。右侧为原问题中 x2x_2 的目标函数系数,即20。于是得到第二个对偶约束:2y1+3y2+y3≤202y_1 + 3y_2 + y_3 \leq 20。

最后,教师给出对偶变量的非负性约束:y1y_1, y2y_2, y3≥0y_3 \ge 0,从而完成对偶最大化问题的构建。

知识卡片

01

对偶性 vs 对偶单纯形法

本视频片段将对偶性定义为原始线性规划问题与其关联对偶问题之间的关系。讲师明确提醒:该主题不同于对偶单纯形法。此处的任务是为给定问题构造其对偶问题,而非执行对偶单纯形算法。

02

最大化与最小化问题的标准形式规则

黑板上列出了对偶问题构建前的两个简单检验:最大化问题的所有约束应写为≤\le,而最小化问题的所有约束应写为≥\ge。这些规则用于检验原始问题是否符合所需形式。

Max→≤,Min→≥\text{Max} \rightarrow \le,\quad \text{Min} \rightarrow \ge
03

原始-对偶优化方向反转

讲师指出,从原始问题过渡到对偶问题时,优化方向会发生改变:最大化原始问题对应最小化对偶问题,最小化原始问题对应最大化对偶问题。这被作为原始-对偶关系的一项基本特征来介绍。

Primal Max↔Dual Min\text{Primal Max} \leftrightarrow \text{Dual Min}
04

展示的原始问题示例

黑板上写出两个示例问题:第一个是含两个≤\le约束的最大化问题;第二个是含混合不等式方向的最小化问题,其中包括一个≤\le约束。这些示例用于说明在构造对偶问题前,有必要先检验原始问题的形式。

(1) Max Z=40x1+35x22x1+3x2≤60,  4x1+3x2≤96,  x1,x2≥0(2) Min Z=10x1+20x23x1+2x2≥18,  x1+3x2≥8,  2x1−x2≤6,  x1,x2≥0\begin{aligned}\text{(1) }&\text{Max } Z = 40x_1 + 35x_2\\&2x_1 + 3x_2 \le 60,\; 4x_1 + 3x_2 \le 96,\; x_1,x_2\ge 0\\\text{(2) }&\text{Min } Z = 10x_1 + 20x_2\\&3x_1 + 2x_2 \ge 18,\; x_1 + 3x_2 \ge 8,\; 2x_1 - x_2 \le 6,\; x_1,x_2\ge 0\end{aligned}
05

构建对偶问题前的第一步

该片段最后强调操作流程:在写出对偶问题之前,须首先检验给定的原始问题是否符合正确形式。讲师借助最大/最小规则框及所展示的示例,说明这一验证步骤必须优先进行。

06

识别一个可直接构造对偶问题的原始问题

视频首先检查原始问题的结构,再进行任何代数运算。所展示的问题是一个最大化问题,包含两个用 ≤\le 表示的函数约束,且变量满足 x1,x2≥0x_1,x_2 \ge 0。讲师称此为正确形式,之后才开始写出对偶问题。

Max Z with constraints ≤ 且 variables ≥0\text{Max } Z \text{ with constraints } \le \text{ \text{且} variables } \ge 0
07

原始问题的最大化转化为对偶问题的最小化

视频片段中给出的第一条明确的对偶转换规则是:优化方向相反。由于原问题为最大化,其对偶问题即为最小化。讲师还指出其逆命题:若原问题为最小化,则其对偶问题为最大化。

Max↔Min under primal-dual conversion\text{Max} \leftrightarrow \text{Min under primal-dual conversion}
08

根据原问题约束条件的右端项构造对偶目标函数

对偶目标函数使用原问题各约束条件右端的常数。此处原问题的右端项为60和96,因此在引入对偶变量y1y_1和y2y_2后,讲师写出Min W=60y1+96y2\text{Min } W = 60y_1 + 96y_2。这表明对偶目标函数的系数来源于约束的右端界,而非原目标函数的系数。

Min W=60y1+96y2\text{Min } W = 60y_1 + 96y_2
09

根据每个原变量列构造一条对偶约束

每个原决策变量生成一条对偶约束。对于x1x_1,其在两个原约束中的系数分别为2和4,由此得到2y1+4y22y_1 + 4y_2;该对偶约束的右端项为原目标函数中对应变量的系数40。对于x2x_2,其在两个原约束中的系数分别为3和8,由此得到3y1+8y23y_1 + 8y_2;该对偶约束的右端项为原目标函数中对应变量的系数35。

2y1+4y2≥40,3y1+8y2≥352y_1 + 4y_2 \ge 40,\quad 3y_1 + 8y_2 \ge 35
10

本例中对偶约束为何使用≥\ge

一旦对偶问题确定为最小化问题,讲师指出其函数约束应为大于等于形式。该规则在根据原变量列写出两条对偶不等式时被直接应用。

Minimization dual⇒constraints use ≥\text{Minimization dual} \Rightarrow \text{constraints use } \ge
11

对偶变量的默认非负性

在写出目标函数与约束条件后,讲师添加y1,y2≥0y_1,y_2 \ge 0,并称其为默认条件。因此,在最终模型中,对偶变量被限制为非负。

y1,y2≥0y_1, y_2 \ge 0
12

所求解原问题的最终对偶形式

综合运用全部规则,黑板上写出的该原问题完整对偶形式是一个含两个变量、两个约束且具有非负性限制的最小化问题。这是本片段的主要结论。

Min W=60y1+96y2 s.t. 2y1+4y2≥40,  3y1+8y2≥35,  y1,y2≥0\text{Min } W = 60y_1 + 96y_2 \text{ s.t. } 2y_1 + 4y_2 \ge 40,\; 3y_1 + 8y_2 \ge 35,\; y_1,y_2 \ge 0
13

对偶构造规则

视频指出:构造对偶问题时,原问题各约束的右端项值成为对偶目标函数的系数,而原问题约束中的系数则用于写出对偶约束。该规则通过黑板左侧已完成的例题加以说明。

Primal RHS → dual objective coefficients;primal column coefficients → dual constraint coefficients\text{Primal RHS } \rightarrow \text{ dual objective coefficients};\quad \text{primal column coefficients } \rightarrow \text{ dual constraint coefficients}
14

极小化原问题的标准形式

对于该极小化例题,讲师明确要求:在写出对偶问题之前,每个约束都必须化为 ≥\ge 形式。若存在任一约束仍为 ≤\le,则必须先对原问题进行调整。

If primal is min⁡, then all constraints must be ≥\text{If primal is } \min, \text{ then all constraints must be } \ge
15

通过乘以 -1 将 ≤\le 约束重写

问题2的第三个约束由 2x1−x2≤62x_1 - x_2 \le 6 转化为 -2x_1 + x2≥−6x_2 \ge -6,方法是将整个不等式乘以 -1。此举反转了不等号方向,使原问题符合极小化标准形式。

2x1−x2≤6  ⇒  −2x1+x2≥−62x_1 - x_2 \le 6 \;\Rightarrow\; -2x_1 + x_2 \ge -6
16

问题2的已准备就绪的原问题

修正之后,原始问题写作:最小化 Z=10x1+20x2Z = 10x_1 + 20x_2,约束条件为:3x1+2x2≥183x_1 + 2x_2 \ge 18,x1+3x2≥8x_1 + 3x_2 \ge 8,-2x_1 + x2≥−6x_2 \ge -6,且 x1x_1, x2≥0x_2 \ge 0。只有在此阶段,讲师才指出该问题可转化为对偶问题。

min⁡Z=10x1+20x2s.t.  3x1+2x2≥18,  x1+3x2≥8,  −2x1+x2≥−6,  x1,x2≥0\min Z = 10x_1 + 20x_2 \quad \text{s.t.}\; 3x_1 + 2x_2 \ge 18,\; x_1 + 3x_2 \ge 8,\; -2x_1 + x_2 \ge -6,\; x_1,x_2 \ge 0
17

问题2的对偶问题开始

讲师首先指出,该极小化问题的对偶问题是一个极大化问题,其目标函数记为 W;接着他回指标准化约束条件的右端项,说明这些值即为对偶目标函数的系数来源。

max⁡W=⋯\max W = \cdots
18

构建对偶目标函数

将原始最小化问题转化为其对偶最大化问题时,原始约束条件右侧的常数成为对偶目标函数的系数。例如,若原始约束条件右侧分别为18、8和-6,则对偶目标函数为:Max W=18y1+8y2−6y3W = 18y_1 + 8y_2 - 6y_3。

max⁡W=b1y1+b2y2+⋯+bmym\max W = b_1 y_1 + b_2 y_2 + \dots + b_m y_m
19

转置系数以构造对偶约束

原始约束系数矩阵的各列,变为对偶约束系数矩阵的各行。为构造第 i 个对偶约束,需取第 i 个原始变量在所有原始约束中的系数,并将其分别乘以对应的对偶变量。

a1iy1+a2iy2+⋯+amiyma_{1i}y_1 + a_{2i}y_2 + \dots + a_{mi}y_m
20

设定对偶约束的右侧常数

原始目标函数中各变量的系数,成为对应对偶约束的右侧常数。若原始目标函数为 Min Z=10x1+20x2Z = 10x_1 + 20x_2,则两个对偶约束的右侧常数分别为10和20。

≤ci\leq c_i
21

确定对偶变量的符号

原始约束中不等式的方向决定了对偶变量的符号限制。对于一个具有‘大于或等于’(≥)约束的原始最小化问题,其对应的对偶变量为非负变量(≥ 0)。

yj≥0y_j \geq 0

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 23

Z

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上显示的目标函数形式为“Max Z = …”和“Min Z = …”。

符号

Z

含义

线性规划问题中的目标函数值。

适用范围

实数值的目标函数值;视频中未说明单位。

x1x_1, x2x_2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    两个展示的原始问题在目标函数和约束条件中均使用变量 x1x_1 和 x2x_2。

符号

x1x_1, x2x_2

含义

两个展示的原始线性规划问题的决策变量。

适用范围

白板明确写出两个问题均有 x1x_1, x2≥0x_2 \ge 0。

Max, Min

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    右上方注释框中包含“Max -> <=”和“Min -> >=”。

  2. 声音
    观察依据

    讲师指出,最大化问题的所有约束应为小于等于,最小化问题的所有约束应为大于等于。

符号

Max, Min

含义

用于区分最大化型问题与最小化型问题的优化方向标签。

适用范围

此处应用于原始问题及其对应的对偶问题。

primal, dual

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师反复对比“原始问题”与“对偶问题”,并指出所给问题是原始问题,而其解是对偶问题。

符号

primal, dual

含义

对给定优化问题及其待构造的关联变换问题所采用的术语。

适用范围

用于线性规划对偶性的语境中。

Z

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上显示原始问题的目标函数为:最大化 Z=40x1+35x2Z = 40x_1 + 35x_2。

符号

Z

含义

原始最大化问题的目标函数值。

适用范围

实值目标函数。

x1x_1

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    原始问题在目标函数和约束条件中使用变量 x1x_1 和 x2x_2。

  2. 声音
    观察依据

    教师在构建对偶约束时,提及了 x1x_1 和 x2x_2 的系数。

符号

x1x_1

含义

原始线性规划的第一个决策变量。

适用范围

非负实变量,x1≥0x_1 \ge 0。

x2x_2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    原始问题在目标函数和约束条件中使用变量 x1x_1 和 x2x_2。

  2. 声音
    观察依据

    教师指出有两个变量,即 x1x_1 和 x2x_2,因此对应两个对偶约束。

符号

x2x_2

含义

原始线性规划的第二个决策变量。

适用范围

非负实变量,x2≥0x_2 \ge 0。

W

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    教师在‘对偶问题如下’下方写出:最小化 W=60y1+96y2W = 60y_1 + 96y_2。

  2. 声音
    观察依据

    他指出,若原问题为最大化问题,则其对偶问题将变为最小化问题。

符号

W

含义

对偶最小化问题的目标函数值。

适用范围

实值目标函数。

y1y_1

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    对偶目标函数包含60y160y_1,而对偶约束包含2y12y_1和3y13y_1。

  2. 声音
    观察依据

    讲师指出,对偶目标函数由右侧常数60和96构成。

符号

y1y_1

含义

与第一个原问题约束2x1+3x2≤602x_1 + 3x_2 \le 60相对应的对偶变量。

适用范围

非负实变量,y1≥0y_1 \ge 0。

y2y_2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    对偶目标函数包含96y296y_2,而对偶约束包含4y24y_2和8y28y_2。

  2. 声音
    观察依据

    讲师将96称为第二个右侧常数,并将其与y2y_2配对。

符号

y2y_2

含义

与第二个原问题约束4x1+8x2≤964x_1 + 8x_2 \le 96相对应的对偶变量。

适用范围

非负实变量,y2≥0y_2 \ge 0。

x1x_1

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    x1x_1 出现在原始问题的目标函数和约束条件中。

符号

x1x_1

含义

原始问题的决策变量。

适用范围

x1x_1 大于等于 0

x2x_2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    x2x_2 出现在原始问题的目标函数和约束条件中。

符号

x2x_2

含义

原始问题的决策变量。

适用范围

x2x_2 大于等于 0

知识点 · 13

主题介绍:线性规划中的原问题与对偶问题

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    开场发言介绍了“对偶性、原问题与对偶问题一和二”。

  2. 公式
    观察依据

    黑板标题写的是“原问题与对偶问题〔Duality〕”。

定义
解释

本片段通过将主题命名为“原问题与对偶问题〔Duality〕”,并指出任务是求给定问题的对偶问题,来引入线性规划中的对偶性概念;教师还特别说明该主题不同于另一种独立的方法——“对偶单纯形法”。

公式
适用条件
  1. 讨论内容是如何从给定的原线性规划问题构造其对偶问题。

  2. 教师明确指出,这与对偶单纯形法不同。

最大化问题的标准型规则

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,若问题是最大化类型,则所有约束均为小于等于形式。

  2. 公式
    观察依据

    右上角注释框显示“Max -> <=”。

方法
解释

对于本处所采用形式的最大化型线性规划问题,每个约束都必须为≤\le形式;教师说明,这是在构造对偶问题前,检验原问题是否符合正确形式时所依据的条件。

公式
Max→≤\text{Max} \rightarrow \le
适用条件
  1. 适用于本讨论中所涉及的最大化型问题。

  2. 教师在表述中,对原问题和对偶问题均作了说明。

先修条目
  1. 主题介绍:线性规划中的原问题与对偶问题

最小化问题的标准型规则。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,只要遇到最小化类型的问题,所有约束条件都必须是大于等于形式。

  2. 公式
    观察依据

    右上角的注释框显示“最小化 → ≥”。

方法
解释

对于此处所采用形式的最小化型线性规划问题,每个约束条件都必须为≥\ge形式。这被作为最大化规则的对应规则提出。

公式
Min→≥\text{Min} \rightarrow \ge
适用条件
  1. 适用于当前讨论的最小化型问题。

  2. 教师在表述中,对原问题和对偶问题均作了说明。

先修条目
  1. 主题介绍:线性规划中的原问题与对偶问题

原问题与对偶问题之间的方向反转。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,若问题是最大化型,则该问题即为原问题,其对偶问题为最小化型;反之亦然。

方法
解释

该片段指出:若原问题为最大化问题,则其对偶问题为最小化问题;反之,若原问题为最小化问题,则其对偶问题为最大化问题。这被作为构造对偶问题的基本设定之一提出。

公式
Primal Max↔Dual Min\text{Primal Max} \leftrightarrow \text{Dual Min}
适用条件
  1. 用于将原线性规划问题转化为其对偶问题。

  2. 该片段尚未展示完整的系数转置规则。

先修条目
  1. 主题介绍:线性规划中的原问题与对偶问题

构造对偶问题的正确形式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师指出,该问题是最大化问题,且所有约束均为小于等于形式,因此原问题已处于标准形式。

  2. 公式
    观察依据

    黑板上显示:最大化 Z=40x1+35x2Z = 40x_1 + 35x_2,约束条件为 2x1+3x2≤602x_1 + 3x_2 \le 60,4x1+8x2≤964x_1 + 8x_2 \le 96,且 x1x_1, x2≥0x_2 \ge 0。

定义
解释

根据本课的规则集,当原始问题写成一个最大化问题,其函数约束均使用 ≤ 号,且所有决策变量均非负时,可直接将其转化为对偶问题。教师在写出对偶问题前,会明确验证这三个条件。

公式
Maximize Z with constraints ≤ 且 variables ≥0\text{Maximize } Z \text{ with constraints } \le \text{ \text{且} variables } \ge 0
适用条件
  1. 原始问题的目标函数是最大化形式。

  2. 所有函数约束均为 ≤ 形式。

  3. 所有决策变量均非负。

对偶问题目标函数的系数来源于原始问题约束条件的右端项

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,对偶问题的目标函数将依据约束条件的右端项来构建。

  2. 公式
    观察依据

    他写下最小化 W=60y1+96y2W = 60y_1 + 96y_2,同时指向常数 60 和 96。

方法
解释

当原始问题包含两个 ≤ 约束,其右端项分别为 60 和 96 时,对偶问题的最小化目标函数便以这两个数作为新对偶变量 y1y_1 和 y2y_2 的系数。因此,对偶目标函数由原始约束的常数项构建,而非由原始目标函数的系数构建。

公式
Min W=60y1+96y2\text{Min } W = 60y_1 + 96y_2
适用条件
  1. 该规则应用于当前展示的、含两个约束条件的原始最大化问题。

  2. 每个原始约束条件对应一个对偶变量。

先修条目
  1. 构造对偶问题的正确形式

对偶约束来源于原始变量的列。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,约束条件将首先根据 x1x_1 的系数确定,随后再根据 x2x_2 的系数确定。

  2. 公式
    观察依据

    他写出 2y1+4y2≥402y_1 + 4y_2 \ge 40 和 3y1+8y2≥353y_1 + 8y_2 \ge 35。

方法
解释

每个原始决策变量生成一个对偶约束。对于 x1x_1,原始约束中该变量的系数为 2 和 4,得到 2y1+4y22y_1 + 4y_2;右侧为原始问题目标函数的系数 40,其系数为 2,其系数为 3 和 8,得到 3y1+8y23y_1 + 8y_2;右侧为原始问题目标函数的系数 35。

公式
For each primal variable xj:∑iaijyi≥cj\text{For each primal variable } x_j:\quad \sum_i a_{ij}y_i \ge c_j
适用条件
  1. 此处用于已明确给出标准正确形式的原始最大化问题。

  2. 每个原始变量对应生成一个对偶约束。

先修条目
  1. 构造对偶问题的正确形式
  2. 对偶问题目标函数的系数来源于原始问题约束条件的右端项

极小化问题下对偶约束的方向。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,由于对偶问题是极小化问题,因此所有约束都应为大于等于形式。

  2. 公式
    观察依据

    对偶约束以 ≥ 符号写出:2y1+4y2≥402y_1 + 4y_2 \ge 40 和 3y1+8y2≥353y_1 + 8y_2 \ge 35。

定义
解释

在此例题中,当原始最大化问题转化为对偶极小化问题后,对偶的功能约束均采用 ≥ 形式书写。教师将此视为从给定原始形式构造对偶问题的标准步骤之一。

公式
Dual of a minimization problem uses ≥ constraints\text{Dual of a minimization problem uses } \ge \text{ constraints}
适用条件
  1. 该说法适用于当前所构造的对偶问题——其原始问题为带 ≤ 约束的最大化问题。

先修条目
  1. 构造对偶问题的正确形式

对偶变量的默认非负性

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,最后 y1y_1、y2y_2 大于等于 0,这是默认要求。

  2. 公式
    观察依据

    他在对偶问题底部写下 y1y_1、y2≥0y_2 \ge 0。

定义
解释

在构造出对偶目标函数和约束条件后,教师补充写上 y1y_1、y2≥0y_2 \ge 0,并说明这是本设定下对偶变量的默认条件。

公式
y1,y2≥0y_1, y_2 \ge 0
适用条件
  1. 本例中针对对偶变量所作的陈述。

先修条目
  1. 对偶问题目标函数的系数来源于原始问题约束条件的右端项
  2. 对偶约束来源于原始变量的列。

由原始问题构造对偶问题的规则

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,约束条件的右端常数用于构造目标函数,而系数则用于写出约束条件。

  2. 图示
    观察依据

    黑板上展示了一个完整的原始问题到对偶问题的转换示例,其中对偶目标函数的系数与原始问题右端值一致,对偶约束条件的系数与原始问题各列系数一致。

方法
解释

本讲中,对偶问题的构建方式是:将原始问题各约束条件的右端常数作为对偶目标函数的系数,并用原始问题约束条件的系数来构造对偶约束条件。

公式
适用条件
  1. 在应用该规则前,原始问题必须首先化为所要求的标准形式。

极小化原始问题的标准形式条件

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,若原始问题是极小化问题,则所有约束条件均应为大于等于形式。

  2. 图示
    观察依据

    黑板上的问题2是一个极小化问题,其第三个约束条件写为 ≤\le 形式。

定义
解释

本视频中,仅当极小化原始问题的每个约束条件都写成 ≥\ge 形式时,才视为已准备好进行对偶转换。

公式
适用条件
  1. 适用于问题2中所示的极小化原始问题。

将≤约束用于最小化原问题时的转化

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,第三个约束需要乘以负号,并转化为大于等于形式。

  2. 公式
    观察依据

    黑板上将2x1−x2≤62x_1 - x_2 \le 6改为-2x_1 + x2≥−6x_2 \ge -6。

方法
解释

为使≤约束符合最小化标准型要求,需将整个不等式乘以-1,此举会反转不等号方向,并改变等式两边各项的符号。

公式
适用条件
  1. 当原问题是最小化问题,且某约束以≤形式给出时使用。

先修条目
  1. 极小化原始问题的标准形式条件
定理与条件 · 5

对偶性与对偶单纯形法是不同的

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说:“对偶性与对偶单纯形法是两种不同的概念”,随后再次强调:构造对偶问题与对偶单纯形法是不同的。

命题
命题

在本讲片段中,教师指出:对偶性(原问题与对偶问题)这一主题不同于对偶单纯形法。

前提
  1. 题目要求求出给定问题的对偶问题。

  2. 教师是在辨析术语,而非证明定理。

量词

就本课当前的教学情境而言。

构造对偶问题的第一步

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,求对偶问题的第一步是检查原问题是否已处于正确的形式。

命题
命题

在构造对偶问题之前,必须首先检查所给的原问题是否已满足所需的标准化形式。

前提
  1. 任务是为给定的原线性规划问题构造其对偶问题。

量词

就本视频片段所讲授的步骤而言。

原问题与对偶问题的优化方向相反

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师说:原问题是最大化,则其对偶问题变为最小化;原问题是最小化,则其对偶问题变为最大化。

  2. 公式
    观察依据

    黑板上的提示框写着“Max → ≤”和“Min → ≥”,直观地强化了原问题与对偶问题优化方向相反的对应关系。

命题
命题

本片段所采用的规则体系中,最大化问题的对偶问题是极小化问题,极小化问题的对偶问题是极大化问题。

前提
  1. 该问题正依据黑板上展示的原-对偶规则进行转换。

量词

本例所讨论的原-对偶问题对。

该原始问题已处于所需形式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,该问题是最大化问题,且所有约束均为小于等于形式,因此原问题已处于标准形式。

  2. 公式
    观察依据

    所展示的原问题为:最大化 Z=40x1+35x2Z = 40x_1 + 35x_2,满足约束 2x1+3x2≤602x_1 + 3x_2 \le 60,4x1+8x2≤964x_1 + 8x_2 \le 96,x1x_1, x2≥0x_2 \ge 0。

命题
命题

所给的原始问题已处于直接构造对偶问题所需的正确形式,因为它是一个目标为最大化、约束为≤且变量非负的问题。

前提
  1. 黑板左侧展示的问题即为当前考虑的原始问题。

量词

针对所展示的具体原始问题。

最小化原问题标准型的断言

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师明确说明了原问题在最小化情形下成立所需的条件。

命题
命题

若原问题是最小化问题,则在构造对偶问题之前,其所有约束均应为大于等于形式。

前提
  1. 该问题是一个最小化线性规划问题。

量词

针对最小化原问题中的所有约束。

推导与证明 · 6

步骤核查:在构造对偶问题前,先验证原问题是否为标准形式。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师解释道:第一步是检查原问题是否处于正确形式;随后一边指着黑板,一边重述极大化/极小化问题中的不等式规则。

  2. 公式
    观察依据

    黑板上的问题1是最大值问题,含≤\le个约束;问题2是最小值问题,含≥\ge个约束。

直观解释
步骤
  1. 公式
    Given primal problem\text{Given primal problem}
    解释

    从黑板上所列、由教师指明为原问题的问题出发。

    步骤依据

    教师提问:“原问题指的是什么?”并指向所列的问题。

    视频直接表达
  2. 公式
    Check objective direction: Max or Min\text{Check objective direction: Max or Min}
    解释

    判断原问题是最大化问题还是最小化问题。

    步骤依据

    黑板明确将问题1标注为最大值问题,将问题2标注为最小值问题。

    视频直接表达
  3. 公式
    If Max, require all constraints ≤\text{If Max, require all constraints } \le
    解释

    对于最大化原问题,需检查每个约束是否均使用≤\le。

    步骤依据

    该规则写作“Max → ≤”,并由教师口述。

    视频直接表达
  4. 公式
    If Min, require all constraints ≥\text{If Min, require all constraints } \ge
    解释

    对于最小化原问题,需检查每个约束是否均使用≥\ge。

    步骤依据

    该规则写作“Min → ≥”,并由教师口述。

    视频直接表达
  5. 公式
    Then proceed to form the dual\text{Then proceed to form the dual}
    解释

    只有在确认原问题符合正确形式后,课程才进入对偶问题的构造环节。

    步骤依据

    教师明确指出这是求对偶问题的第一步。

    视频直接表达
结论

本片段建立了对偶问题构建的初步检查清单:确定原问题、验证目标函数的优化方向,并确认约束不等式符合所需的标准形式。

从所展示的原始问题逐步构造其对偶问题

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师边书写边口述每一步:将最大值改为最小值,将右侧常数60和96用作对偶目标函数的系数,用x1x_1和x2x_2的系数构造约束,然后添加y1y_1,y2≥0y_2 \ge 0。

  2. 公式
    观察依据

    黑板上最终写出的对偶问题是:Min W=60y1+96y2W = 60y_1 + 96y_2,约束条件为2y1+4y2≥402y_1 + 4y_2 \ge 40,3y1+8y2≥353y_1 + 8y_2 \ge 35,y1y_1,y2≥0y_2 \ge 0。

严格证明
步骤
  1. 公式
    Primal: Max Z=40x1+35x2 s.t. 2x1+3x2≤60,  4x1+8x2≤96,  x1,x2≥0\text{Primal: Max } Z = 40x_1 + 35x_2 \text{ s.t. } 2x_1 + 3x_2 \le 60,\; 4x_1 + 8x_2 \le 96,\; x_1,x_2 \ge 0
    解释

    从黑板上给出的原始问题出发。

    步骤依据

    直接可见的公式依据。

    视频直接表达
  2. 公式
    Dual objective sense: Min W\text{Dual objective sense: Min } W
    解释

    由于原始问题是最大化问题,其对偶问题变为最小化问题。

    步骤依据

    教师陈述的原始问题转对偶问题的规则。

    视频直接表达
  3. 公式
    W=60y1+96y2W = 60y_1 + 96y_2
    解释

    将两个原始约束的右端项用作两个对偶变量的目标函数系数。

    步骤依据

    教师明确指出,目标函数由约束条件的右端项构成。

    视频直接表达
  4. 公式
    2y1+4y2≥402y_1 + 4y_2 \ge 40
    解释

    取原始约束中x_的系数列1,即2和4,并将它们的线性组合与原始目标函数中x_的系数进行比较40。

    步骤依据

    教师指出,约束条件是依据 x1x_1 的系数构建的,并使用了目标函数中的 40。

    视频直接表达
  5. 公式
    3y1+8y2≥353y_1 + 8y_2 \ge 35
    解释

    取原始约束中x_的系数列2,即3和8,并将它们的线性组合与原始目标函数中x_的系数进行比较35。

    步骤依据

    教师对 x2x_2 重复应用同一规则,并使用目标函数中的 35。

    视频直接表达
  6. 公式
    y1,y2≥0y_1, y_2 \ge 0
    解释

    为对偶变量添加非负性约束。

    步骤依据

    教师称此为默认条件,并明确写出该条件。

    视频直接表达
结论

所展示原始问题的对偶问题是:最小化 W=60y1+96y2W = 60y_1 + 96y_2,满足约束 2y1+4y2≥402y_1 + 4y_2 \ge 40,3y1+8y2≥353y_1 + 8y_2 \ge 35,且 y1y_1, y2≥0y_2 \ge 0。

将第三个约束条件改写为标准形式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师解释说,第三个约束存在问题,因为原问题是求最小值,因此必须进行转化。

  2. 公式
    观察依据

    黑板上重写的式子为-2x_1 + x2≥−6x_2 \ge -6。

严格证明
步骤
  1. 公式
    2x1−x2≤62x_1 - x_2 \le 6
    解释

    从问题2中最初写出的第三个约束条件出发。

    步骤依据

    直接在黑板上观察得出。

    视频直接表达
  2. 公式
    −2x1+x2≥−6-2x_1 + x_2 \ge -6
    解释

    将整个不等式乘以-1,并反转不等号方向。

    步骤依据

    由教师口头陈述,并在黑板上展示。

    视频直接表达
结论

第三个约束条件被转化为所需的最小化标准形式。

对偶目标函数的推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师口述:‘是18、8和负6。所以18y1加8y2减6y3。’

  2. 公式
    观察依据

    黑板上显示原始约束右侧值18、8、-6被用于构造对偶目标函数:Max W=18y1+8y2−6y3W = 18y_1 + 8y_2 - 6y_3。

严格证明
步骤
  1. 公式
    Primal RHS constants: 18,8,−6\text{Primal RHS constants: } 18, 8, -6
    解释

    识别原始约束条件右侧的常数。

    步骤依据

    直接从黑板上给出的原始问题表述中观察得出。

    视频直接表达
  2. 公式
    max⁡W=18y1+8y2−6y3\max W = 18y_1 + 8y_2 - 6y_3
    解释

    通过对每个原始约束右侧常数乘以其对应的对偶变量,并将所有乘积相加,同时将优化方向改为最大化,从而构造出对偶目标函数。

    步骤依据

    由原始最小化问题构造对偶目标函数的标准规则。

    视频直接表达
结论

对偶目标函数已正确表述为:Max W=18y1+8y2−6y3W = 18y_1 + 8y_2 - 6y_3。

第一个对偶约束的推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师讲解:'在满足 x1 的条件下,我们得到 3,此处为 1,此处为负 2。因此结果为 3 y1,接着我们有 1,即 y2……这些是第一个约束条件的系数,即负 2 y3;又因原问题是求最大值,故该约束将转化为小于等于形式,即小于等于 10。'

  2. 公式
    观察依据

    白板显示原始问题约束矩阵的第一列(3, 1, -2)被用于构造第一个对偶约束:3y1+y2−2y3≤103y_1 + y_2 - 2y_3 \le 10。

严格证明
步骤
  1. 公式
    Primal coefficients for x1:3,1,−2\text{Primal coefficients for } x_1: 3, 1, -2
    解释

    识别原始问题中所有三个约束条件下第一原始变量 x1x_1 的系数。

    步骤依据

    直接从白板上原始问题的表述中观察得出。

    视频直接表达
  2. 公式
    Primal objective coefficient for x1:10\text{Primal objective coefficient for } x_1: 10
    解释

    识别原始目标函数中 x1x_1 的系数。

    步骤依据

    直接从原始目标函数“最小化 Z=10x1+20x2Z = 10x_1 + 20x_2”中观察得出。

    视频直接表达
  3. 公式
    3y1+y2−2y3≤103y_1 + y_2 - 2y_3 \leq 10
    解释

    通过将原始变量 x1x_1 在各约束中的系数与对偶变量作点积,并令其小于等于原始目标函数中 x1x_1 对应的系数,从而构造第一个对偶约束。

    步骤依据

    由原始最小化问题构造对偶最大化问题时,形成对偶约束的标准规则。

    视频直接表达
结论

第一个对偶约束正确地表示为 3y1+y2−2y3≤103y_1 + y_2 - 2y_3 \le 10。

第二个对偶约束的推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师讲解:'接下来,对于 x2,我们有 2、3 和 1。因此 2、3 和 1 小于等于;而 x2 在目标函数中的系数为 20。'

  2. 公式
    观察依据

    白板显示原始问题约束矩阵的第二列(2, 3, 1)被用于构造第二个对偶约束:2y1+3y2+y3≤202y_1 + 3y_2 + y_3 \le 20。

严格证明
步骤
  1. 公式
    Primal coefficients for x2:2,3,1\text{Primal coefficients for } x_2: 2, 3, 1
    解释

    找出第二原始变量 x2x_2 在全部三个原始约束中的系数。

    步骤依据

    直接从白板上的原始问题陈述中观察得出。

    视频直接表达
  2. 公式
    Primal objective coefficient for x2:20\text{Primal objective coefficient for } x_2: 20
    解释

    找出原始目标函数中 x2x_2 的系数。

    步骤依据

    直接从原始目标函数 Min Z=10x1+20x2Z = 10x_1 + 20x_2 中观察得出。

    视频直接表达
  3. 公式
    2y1+3y2+y3≤202y_1 + 3y_2 + y_3 \leq 20
    解释

    将原始变量 x2x_2 在各约束中的系数与对偶变量作点积,并令其小于或等于原始目标函数中 x2x_2 的系数,从而构造第二个对偶约束。

    步骤依据

    将原始最小化问题转化为对偶最大化问题时,构造对偶约束的标准规则。

    视频直接表达
结论

第二个对偶约束正确地表示为 2y1+3y2+y3≤202y_1 + 3y_2 + y_3 \leq 20。

例题详解 · 6

展示的原问题示例1(最大化问题)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板左侧显示:最大化 Z=40x1+35x2Z = 40x_1 + 35x_2;约束条件为 2x1+3x22x_1 + 3x_2 <= 60;4x1+3x24x_1 + 3x_2 <= 96;x1x_1, x2x_2 >= 0。

  2. 声音
    观察依据

    教师指出我们面前给出的两个问题,并要求求出下列问题的对偶问题。

题目

求下列问题的对偶问题:最大化 Z=40x1+35x2Z = 40x_1 + 35x_2 满足 2x1+3x2≤602x_1 + 3x_2 \le 60, 4x1+3x2≤964x_1 + 3x_2 \le 96,且 x1,x2≥0x_1, x_2 \ge 0。

已知条件
  1. 目标函数为最大化。

  2. 两个决策变量x1,x2x_1,x_2。

  3. 两个资源型约束,其右端项分别为60和96。

  4. 非负性条件x1,x2≥0x_1,x_2\ge 0。

目标

将此作为对偶问题构建讨论中的原问题。

步骤
  1. 公式
    Max Z=40x1+35x2\text{Max } Z = 40x_1 + 35x_2
    解释

    从黑板上读取目标函数。

    步骤依据

    在左栏示例中可直接看到。

    视频直接表达
  2. 公式
    2x1+3x2≤60,4x1+3x2≤962x_1 + 3x_2 \le 60,\quad 4x_1 + 3x_2 \le 96
    解释

    阅读这两个约束条件。

    步骤依据

    直接显示在黑板上。

    视频直接表达
  3. 公式
    x1,x2≥0x_1, x_2 \ge 0
    解释

    阅读变量的限制条件。

    步骤依据

    直接显示在黑板上。

    视频直接表达
  4. 公式
    This is a Max problem with all ≤ constraints\text{This is a Max problem with all } \le \text{ constraints}
    解释

    将该例题与规则框进行分类比对。

    步骤依据

    与口述及板书规则“最大化 → ≤”相吻合。

    依据视频推导
结果

该片段已将此问题呈现为一个原始最大化问题,且已处于所陈述的标准不等式形式。

检验

该分类依据黑板上的规则“最大化 → ≤”进行核验,且所有展示的约束条件确实均为≤\le。

展示的原始例题2(含混合不等式的最小化问题)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板右侧显示:最小化 Z=10x1+20x2Z = 10x_1 + 20x_2;约束条件为:3x1+2x2≥183x_1 + 2x_2 \ge 18;x1+3x2≥8x_1 + 3x_2 \ge 8;2x1−x2≤62x_1 - x_2 \le 6;x1x_1, x2≥0x_2 \ge 0。

  2. 声音
    观察依据

    教师再次提及所列问题,并强调需检查原始问题是否符合正确形式。

题目

求下列问题的对偶问题:最小化Z=10x1+20x2Z = 10x_1 + 20x_2,约束条件为3x1+2x2≥183x_1 + 2x_2 \ge 18、x1+3x2≥8x_1 + 3x_2 \ge 8、2x1−x2≤62x_1 - x_2 \le 6和x1,x2≥0x_1, x_2 \ge 0。

已知条件
  1. 目标是极小化。

  2. 两个决策变量x1,x2x_1,x_2。

  3. 三个约束条件,其中两个为≥\ge型,一个为≤\le型。

  4. 非负性条件x1,x2≥0x_1,x_2\ge 0。

目标

将此作为视频片段中讨论的标准型检验的第二个原始问题示例。

步骤
  1. 公式
    Min Z=10x1+20x2\text{Min } Z = 10x_1 + 20x_2
    解释

    从黑板上读取目标函数。

    步骤依据

    在右栏示例中可直接看到。

    视频直接表达
  2. 公式
    3x1+2x2≥18,x1+3x2≥8,2x1−x2≤63x_1 + 2x_2 \ge 18,\quad x_1 + 3x_2 \ge 8,\quad 2x_1 - x_2 \le 6
    解释

    读取三个约束条件。

    步骤依据

    在黑板上可直接看到。

    视频直接表达
  3. 公式
    x1,x2≥0x_1, x_2 \ge 0
    解释

    读取变量限制条件。

    步骤依据

    在黑板上可直接看到。

    视频直接表达
  4. 公式
    This Min problem is not uniformly ≥\text{This Min problem is not uniformly } \ge
    解释

    将所展示的约束条件与极小化问题的规则进行比对。

    步骤依据

    教师的规则指出,最小化问题的所有约束条件都应为≥\ge,但第三个展示出的约束条件却是≤\le。

    依据视频推导
结果

该片段展示了一个原始最小化问题示例,但其展示出的约束条件并非全部符合所陈述的最小化标准形式。

检验

对照黑板上的规则“最小化 → ≥”进行核验:其中两个约束条件满足该规则,但2x1−x2≤62x_1 - x_2 \le 6不满足。

例题:第一个线性规划问题的对偶问题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板标题为“求下列问题的对偶问题”,其中问题 1 在左侧已完整求解。

  2. 声音
    观察依据

    教师总结道:“因此,这就是上述原始问题的对偶问题。”

题目

求下列问题的对偶问题:最大化 Z=40x1+35x2Z = 40x_1 + 35x_2,满足约束 2x1+3x2≤602x_1 + 3x_2 \le 60,4x1+8x2≤964x_1 + 8x_2 \le 96,且 x1x_1, x2≥0x_2 \ge 0。

已知条件
  1. 原始目标函数:最大化 Z=40x1+35x2Z = 40x_1 + 35x_2。

  2. 第一个原始约束条件:2x1+3x2≤602x_1 + 3x_2 \le 60。

  3. 第二个原始约束条件:4x1+8x2≤964x_1 + 8x_2 \le 96。

  4. 非负性约束:x1x_1, x2≥0x_2 \ge 0。

目标

写出对应的对偶线性规划问题。

步骤
  1. 公式
    Check form: Max with ≤ constraints 且 x1,x2≥0\text{Check form: Max with } \le \text{ constraints \text{且} } x_1,x_2 \ge 0
    解释

    在构造对偶问题前,请确认原始问题已处于所需的标准形式。

    步骤依据

    由教师明确指出。

    视频直接表达
  2. 公式
    Min W=60y1+96y2\text{Min } W = 60y_1 + 96y_2
    解释

    将原始的最大化问题替换为对偶的最小化问题,并将原始问题右侧常数项60和96用作对偶目标函数的系数。

    步骤依据

    该规则在音频讲解中已说明,并写在黑板上。

    视频直接表达
  3. 公式
    2y1+4y2≥402y_1 + 4y_2 \ge 40
    解释

    根据原始问题中 x1x_1 列和原始目标函数系数40,构造第一个对偶约束条件。

    步骤依据

    教师指出,这些约束条件是基于 x1x_1 的系数。

    视频直接表达
  4. 公式
    3y1+8y2≥353y_1 + 8y_2 \ge 35
    解释

    根据原始问题中 x2x_2 列和原始目标函数系数35,构造第二个对偶约束条件。

    步骤依据

    教师对变量 x2x_2 重复了相同的规则。

    视频直接表达
  5. 公式
    y1,y2≥0y_1, y_2 \ge 0
    解释

    为对偶变量添加默认的非负性约束。

    步骤依据

    由教师以书面形式和口头方式明确标识为默认规则。

    视频直接表达
结果

最小化 W=60y1+96y2W = 60y_1 + 96y_2,满足约束条件:2y1+4y2≥402y_1 + 4y_2 \ge 40,3y1+8y2≥353y_1 + 8y_2 \ge 35,且 y1y_1, y2≥0y_2 \ge 0。

检验

答案与黑板上最终手写的对偶问题一致,并遵循教师口头陈述的规则顺序。

例2:对偶变换前的原问题准备

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师引入第二个问题,并检查原问题是否处于正确形式。

  2. 公式
    观察依据

    黑板上显示:Min Z=10x1+20x2Z = 10x_1 + 20x_2,约束条件为3x1+2x2≥183x_1 + 2x_2 \ge 18,x1+3x2≥8x_1 + 3x_2 \ge 8,2x1−x2≤62x_1 - x_2 \le 6,x1x_1, x2≥0x_2 \ge 0。

  3. 公式
    观察依据

    黑板上重写的原问题变为:Min Z=10x1+20x2Z = 10x_1 + 20x_2,约束条件为3x1+2x2≥183x_1 + 2x_2 \ge 18,x1+3x2≥8x_1 + 3x_2 \ge 8,-2x_1 + x2≥−6x_2 \ge -6,x1x_1, x2≥0x_2 \ge 0。

题目

给定最小化问题:Min Z=10x1+20x2Z = 10x_1 + 20x_2,约束条件为3x1+2x2≥183x_1 + 2x_2 \ge 18,x1+3x2≥8x_1 + 3x_2 \ge 8,2x1−x2≤62x_1 - x_2 \le 6,x1x_1, x2≥0x_2 \ge 0,请将该原问题改写为求对偶前所要求的标准形式。

已知条件
  1. 目标函数:Min Z=10x1+20x2Z = 10x_1 + 20x_2

  2. 约束条件1:3x1+2x2≥183x_1 + 2x_2 \ge 18

  3. 约束条件2:x1+3x2≥8x_1 + 3x_2 \ge 8

  4. 约束条件3:2x1−x2≤62x_1 - x_2 \le 6

  5. 非负性约束:x1x_1, x2≥0x_2 \ge 0

目标

将原问题转化为对偶性所需的标准形式。

步骤
  1. 公式
    3x1+2x2≥183x_1 + 2x_2 \ge 18
    解释

    第一个约束条件保持不变,因为它已满足最小化问题的标准形式。

    步骤依据

    教师明确指出该式完全正确,维持原样。

    视频直接表达
  2. 公式
    x1+3x2≥8x_1 + 3x_2 \ge 8
    解释

    第二个约束条件保持不变,因为它也满足最小化问题的标准形式。

    步骤依据

    教师明确指示维持原样。

    视频直接表达
  3. 公式
    −2x1+x2≥−6-2x_1 + x_2 \ge -6
    解释

    将第三个约束条件两边同乘以−1,使不等号变为≥。

    步骤依据

    在黑板上明确讲解并写出。

    视频直接表达
  4. 公式
    x1,x2≥0x_1, x_2 \ge 0
    解释

    保留非负性约束。

    步骤依据

    写在黑板上的重写后的原始问题。

    视频直接表达
结果

准备好的原始问题是:最小化 Z=10x1+20x2Z = 10x_1 + 20x_2,约束条件为 3x1+2x2≥183x_1 + 2x_2 \ge 18,x1+3x2≥8x_1 + 3x_2 \ge 8,-2x_1 + x2≥−6x_2 \ge -6,x1x_1, x2≥0x_2 \ge 0。

检验

所有约束现在均为 ≥ 形式,符合教师所陈述的最小化原始问题的条件。

已写在黑板上的对偶例题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板左侧显示:最大化 Z=40x1+35x2Z = 40x_1 + 35x_2,约束条件为 2x1+3x2≤602x_1 + 3x_2 \le 60,4x1+3x2≤904x_1 + 3x_2 \le 90,x1x_1, x2≥0x_2 \ge 0。

  2. 公式
    观察依据

    其下方黑板显示:对偶问题为:最小化 W=60y1+90y2W = 60y_1 + 90y_2,约束条件为 2y1+4y2≥402y_1 + 4y_2 \ge 40,3y1+3y2≥353y_1 + 3y_2 \ge 35,y1y_1, y2≥0y_2 \ge 0。

  3. 声音
    观察依据

    教师总结了如何根据原始问题的数据写出对偶问题。

题目

利用黑板上展示的原始最大化例题,识别对偶问题的构建方式。

已知条件
  1. 原始问题:最大化 Z=40x1+35x2Z = 40x_1 + 35x_2

  2. 约束条件:2x1+3x2≤602x_1 + 3x_2 \le 60,4x1+3x2≤904x_1 + 3x_2 \le 90

  3. 非负性约束:x1x_1, x2≥0x_2 \ge 0

目标

从已完成的例题中读出对偶问题的构建模式。

步骤
  1. 公式
    MinW=60y1+90y2Min W = 60y_1 + 90y_2
    解释

    对偶问题的目标函数系数60和90来源于原始问题约束条件的右端项。

    步骤依据

    在黑板上可见,并由教师口头总结。

    视频直接表达
  2. 公式
    2y1+4y2≥402y_1 + 4y_2 \ge 40
    解释

    第一个对偶约束使用两个原始约束中变量x1x_1的系数,以及原始目标函数中变量x1x_1的系数作为右端项。

    步骤依据

    在黑板上可见,且与教师的讲解一致。

    视频直接表达
  3. 公式
    3y1+3y2≥353y_1 + 3y_2 \ge 35
    解释

    第二个对偶约束使用两个原始约束中变量x2x_2的系数,以及原始目标函数中变量x2x_2的系数作为右端项。

    步骤依据

    在黑板上可见,且与教师的讲解一致。

    视频直接表达
结果

所展示的对偶问题是:最小化W=60y1+90y2W = 60y_1 + 90y_2,满足约束条件:2y1+4y2≥402y_1 + 4y_2 \ge 40,3y1+3y2≥353y_1 + 3y_2 \ge 35,y1y_1, y2≥0y_2 \ge 0。

检验

黑板本身将此呈现为第一个例题的完整对偶问题。

将原始最小化问题转化为其对偶最大化问题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    本段内容全程聚焦于在白板上将某一特定原始最小化问题转化为其对偶最大化问题。

题目

已知原始线性规划问题:Min Z=10x1+20x2Z = 10x_1 + 20x_2,约束条件为 3x1+2x2≥183x_1 + 2x_2 \geq 18,x1+3x2≥8x_1 + 3x_2 \geq 8,-2x_1 + x2≥−6x_2 \geq -6,且 x1x_1, x2≥0x_2 \geq 0。求其对偶问题。

已知条件
  1. 原始目标函数:Min Z=10x1+20x2Z = 10x_1 + 20x_2

  2. 原始约束条件:3x1+2x2≥183x_1 + 2x_2 \ge 18,x1+3x2≥8x_1 + 3x_2 \ge 8,-2x_1 + x2≥−6x_2 \ge -6

  3. 原始变量限制:x1x_1, x2≥0x_2 \ge 0

目标

构造对应的对偶最大化问题。

步骤
  1. 公式
    max⁡W=18y1+8y2−6y3\max W = 18y_1 + 8y_2 - 6y_3
    解释

    利用原始约束条件右侧的常数作为新对偶变量 y1y_1、y2y_2、y3y_3 的系数,构造对偶目标函数。

    步骤依据

    对偶目标函数的构造规则:原始问题右侧常数成为对偶目标函数的系数。

    视频直接表达
  2. 公式
    3y1+y2−2y3≤103y_1 + y_2 - 2y_3 \leq 10
    解释

    利用原始约束条件中 x1x_1 的系数以及 x1x_1 的目标函数系数,构造第一个对偶约束。

    步骤依据

    对偶约束的构造规则:原始变量的系数成为对偶约束的系数,原始目标函数的系数成为对偶约束右侧常数。

    视频直接表达
  3. 公式
    2y1+3y2+y3≤202y_1 + 3y_2 + y_3 \leq 20
    解释

    利用原始约束条件中 x2x_2 的系数以及 x2x_2 的目标函数系数,构造第二个对偶约束。

    步骤依据

    对偶约束的构造规则:原始变量的系数成为对偶约束的系数,原始目标函数的系数成为对偶约束右侧常数。

    视频直接表达
  4. 公式
    y1,y2,y3≥0y_1, y_2, y_3 \geq 0
    解释

    写出对偶变量的非负性限制。

    步骤依据

    由于所有原始约束均为‘大于或等于’类型,对应的对偶变量均非负。

    视频直接表达
结果

对偶问题为:最大化 W=18y1+8y2−6y3W = 18y_1 + 8y_2 - 6y_3,满足约束 3y1+y2−2y3≤103y_1 + y_2 - 2y_3 \le 10,2y1+3y2+y3≤202y_1 + 3y_2 + y_3 \le 20,且 y1y_1, y2y_2, y3≥0y_3 \ge 0。

检验

所构建的对偶问题遵循线性规划对偶性的标准规则,即将带有“≥”约束的最小化问题转化为带有“≤”约束的最大化问题。

图示与动画 · 7

标题与品牌标识序列

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    片头标题卡显示“对偶问题1和2”,下方标有“Farhan Meer教授”,随后是Keeda标志动画。

图中对象
  1. 标题文字:“对偶问题1和2”

  2. 主讲人姓名:“Farhan Meer教授”

  3. Keeda标志动画

变化过程
  1. 标题出现在仿黑板风格的背景上。

  2. 画面切换至白色背景的标志动画。

不变量
  1. 此时间段内未展示任何数学推导过程。

数学含义

该视觉片段在白板讲解开始前,明确了本节课的主题。

白板主体布局及指示顺序

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一块白板充满整个画面,顶部标题为“原始问题与对偶问题〔Duality〕”,右上角有一个注释框,左右两侧分别排列着两道编号例题。

  2. 动画
    观察依据

    讲师在讲解过程中反复指向注释框,再指向左右两道例题。

图中对象
  1. 标题“原始问题与对偶问题〔Duality〕”

  2. 注释框内写有“最大化 → ≤”和“最小化 → ≥”

  3. 左侧例题(最大化问题)

  4. 右侧例题(最小化问题)

  5. 讲师的手与记号笔

变化过程
  1. 注意力从标题移向注释框。

  2. 随后注意力转向白板上的两道已解例题。

不变量
  1. 白板内容在整个片段中始终可见。

  2. 两道例题始终保持左右固定位置。

数学含义

视觉呈现方式与口头讲解相辅相成:先明确主题,再陈述标准形式的规则,最后将这些规则与屏幕上展示的原始问题进行对照。

用于两个对偶性问题的双栏白板布局

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    白板分为左右两栏,问题 1 位于左侧,问题 2 位于右侧;本片段仅求解问题 1。

图中对象
  1. 标题“原问题与对偶问题[对偶性]”

  2. 注释框:“最大化 → ≤” 和 “最小化 → ≥”

  3. 问题 1 位于左侧

  4. 问题 2 位于右侧

  5. 教师在问题 1 下方书写

变化过程
  1. 一开始,两个问题就已经写好了。

  2. 大约从17秒开始,讲师在问题1下方添加了‘对偶问题由以下给出’这一行。

  3. 大约从28秒到116秒,他在问题1下方完整写出对偶模型。

  4. 问题2在整个片段中始终保持不变。

不变量
  1. 两个问题的原始原问题表述始终可见。

  2. 右上角的注释框始终可见。

  3. 问题1与问题2之间的左右分隔保持不变。

数学含义

视觉布局表明本课在对比多个原问题–对偶问题练习,但当前片段仅聚焦于为问题1构建对偶问题。

边书写边将原问题条目指向对偶问题条目

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    讲师先指向原问题的目标函数和约束条件,然后直接在它们正下方写出对偶问题的对应部分。

图中对象
  1. 原问题目标函数系数40和35

  2. 原问题右侧常数项60和96

  3. 原始约束系数2、3、4、8

  4. 新增对偶变量 y1y_1 和 y2y_2

变化过程
  1. 他首先完整写出原始问题,并检验其形式。

  2. 接着他一边指向60和96,一边写下60y1+96y260y_1 + 96y_2。

  3. 接着他一边指向x1x_1的系数2和4,一边写下2y1+4y2≥402y_1 + 4y_2 \ge 40。

  4. 然后他一边指向x2x_2的系数3和8,一边写下3y1+8y2≥353y_1 + 8y_2 \ge 35。

  5. 最后,他写出 y1y_1,y2≥0y_2 \ge 0。

不变量
  1. 原始问题本身并不改变。

  2. 映射关系始终是从已有的原始数据到新写出的对偶数据。

数学含义

手势序列使构造规则变得明确:原始问题的右端项值成为对偶问题的目标函数系数,原始问题中变量所对应的列成为对偶问题的约束。

黑板布局及注释框

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    黑板分为左右两部分:左侧为已讲解的例题,右侧为新问题;右上角有一个注释框,内容为“Max -> >=”和“Min -> <=”。

图中对象
  1. 左侧已讲解的原始问题–对偶问题例题

  2. 右侧问题2的原始问题陈述

  3. 右上角注释框

  4. 教师边指边写

变化过程
  1. 教师首先指向左侧已完成的例题。

  2. 然后将注意力转向右侧的问题2。

  3. 他在问题2下方写出重写的原始问题。

  4. 临近结尾时,他在最右侧开始写下对偶问题的标题。

不变量
  1. 左侧已解例题始终可见。

  2. 原始问题2的陈述在重写版本添加到其下方时始终保持可见。

数学含义

这种视觉布局将一个已求解的模型与正在为对偶性分析而准备的新例题区分开来。

书写修正后的原始问题

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    教师写出变换后的第三个约束条件,并在原问题下方写出完整的重写原始问题。

图中对象
  1. 原始第三个约束条件:2x1−x2≤62x_1 - x_2 \le 6

  2. 新行:2x1+x2≥−62x_1 + x_2 \ge -6

  3. 完整重写的原始问题块

变化过程
  1. 不等号由 ≤ 变为 ≥。

  2. 左侧各项的符号及右侧常数的符号均发生改变。

  3. 添加非负性条件。

不变量
  1. 目标函数保持为最小化 Z=10x1+20x2Z = 10x_1 + 20x_2。

  2. 前两个约束条件保持不变。

数学含义

此可视化步骤展示了将原始问题转化为对偶变换前所需的规范形式。

在白板上书写对偶问题

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    教师一边在白板右侧持续书写对偶问题的目标函数与约束条件,一边指向左侧对应的原始问题组成部分。

图中对象
  1. 原始最小化问题的方程

  2. 对偶最大化问题的方程

  3. 教师的手与记号笔

变化过程
  1. 对偶目标函数 Max W=18y1+8y2−6y3W = 18y_1 + 8y_2 - 6y_3 被写出。

  2. 第一个对偶约束 3y1+y2−2y3≤103y_1 + y_2 - 2y_3 \leq 10 被写出。

  3. 第二个对偶约束 2y1+3y2+y3≤202y_1 + 3y_2 + y_3 \leq 20 被写出。

  4. 非负性条件 y1y_1, y2y_2, y3≥0y_3 \geq 0 被写出。

不变量
  1. 原始问题在整个过程中始终保留在白板左侧可见。

数学含义

该视觉演进过程展示了将原始问题中的数值数据逐步、机械地转化为对偶问题结构的过程。

易错点 · 5

混淆对偶性与对偶单纯形法

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师明确提醒:“对偶性与对偶单纯形法二者完全不同”,并在后文再次强调这一区别。

误区

学习者可能误以为求一个线性规划问题的对偶问题,就等同于应用对偶单纯形法。

说明

该片段明确指出这是两个不同的主题:此处的任务是从原始问题构造其对偶问题,而非执行对偶单纯形算法。

切勿在检验原始问题形式之前构造对偶问题

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    在写出对偶问题之前,教师明确检验原始问题是最大化问题,且所有约束均为小于等于形式,并指出其形式正确。

误区

有人可能直接写出对偶问题,而未先验证原问题是否已满足所需的标准形式。

说明

视频首先确认原问题是目标函数最大化、约束为≤型且变量非负的线性规划问题,然后才开始构造其对偶问题。

对偶问题目标函数的系数并非来自原问题的目标函数。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师指出,对偶问题的目标函数将依据约束条件的右端项来构建。

误区

学习者可能误以为对偶问题的目标函数应复用原问题目标函数的系数40和35。

说明

在此例中,对偶问题的目标函数使用的是原问题约束条件的右端项60和96,而40和35则成为对偶问题约束条件的右端项。

对偶问题的约束来源于变量列,而非简单复制行。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师指出,约束条件将先依据x1x_1的系数构建,再依据x2x_2的系数构建。

误区

有人可能错误地将每个原问题约束行直接照搬为对偶问题的一行。

说明

此处,每个对偶约束均由某一原问题变量在所有原问题约束中的系数组装而成,且对应原问题目标函数的系数被置于该对偶约束的右端项。

切勿在原始问题标准化之前构造其对偶问题。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师指出,首先必须修改该原始问题;待原始问题准备就绪后,方可将其转化为对偶问题。

误区

有人可能试图直接从仍含 ≤ 约束的最小化问题写出其对偶问题。

说明

视频明确要求:必须先将原始问题化为正确的规范形式,之后才能将其转化为对偶问题。

概念关系 · 12

主题介绍:线性规划中的原问题与对偶问题 → 最大化问题的标准型规则

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    在引入对偶性之后,教师立即给出构造对偶问题前所必需的最大化问题约束标准形式规则。

应用
解释

原始问题与对偶问题之间的转换这一总体主题,通过最大化问题所对应的具体标准形式规则得以体现。

主题介绍:线性规划中的原问题与对偶问题 → 最小化问题的标准型规则。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    同一段导入性讲解中也包含了最小化问题所对应的规则。

应用
解释

原始问题与对偶问题之间的转换这一总体主题,通过最小化问题所对应的具体标准形式规则得以体现。

最大化问题的标准型规则 → 最小化问题的标准型规则。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    提示框中将“Max → <=”直接置于“Min → >=”上方。

  2. 声音
    观察依据

    教师按顺序对比了这两种情形。

对比
解释

这两条规则被表述为互为对立的标准形式要求,其具体适用取决于原问题是最大化问题还是最小化问题。

原问题与对偶问题之间的方向反转。 → 主题介绍:线性规划中的原问题与对偶问题

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,若原问题为最大化问题,则其对偶问题为最小化问题,反之亦然。

包含
解释

原问题与对偶问题的优化方向互逆,是本片段中关于对偶性入门讲解所包含的核心事实之一。

构造对偶问题的第一步 → 步骤核查:在构造对偶问题前,先验证原问题是否为标准形式。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,求对偶问题的第一步是检查原问题是否处于正确形式。

证明依赖
解释

该操作性结论依赖于屏幕上显示的核对清单推导过程,该过程在构造对偶问题之前,先验证目标函数类型及约束条件方向。

构造对偶问题的正确形式 → 对偶问题目标函数的系数来源于原始问题约束条件的右端项

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师指出,原问题已处于正确形式,现在可以构造其对偶问题。

先修
解释

视频将原问题形式的验证视为应用对偶构造规则的前提条件。

对偶问题目标函数的系数来源于原始问题约束条件的右端项 → 对偶约束来源于原始变量的列。

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    教师首先根据60和96写出对偶目标函数,再根据x1x_1列和x2x_2列写出对偶约束。

包含
解释

视频片段中展示的完整对偶构造过程包括:先确定对偶目标函数,再确定对偶约束。

极小化问题下对偶约束的方向。 → 对偶约束来源于原始变量的列。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师将对偶问题的极小化性质与使用≥约束联系起来。

应用
解释

极小化对偶问题采用≥约束这一规则,在根据原问题变量列写出两个对偶不等式时得到应用。

例题:第一个线性规划问题的对偶问题 → 从所展示的原始问题逐步构造其对偶问题

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    左侧的例题是对知识要点中所述一般规则的具体实例化。

应用
解释

该例题是根据给定原问题,运用推导步骤构建对偶问题的具体应用。

极小化原始问题的标准形式条件 → 由原始问题构造对偶问题的规则

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师在讨论对偶转换之前,先检查原始形式。

先修
解释

必须先满足标准型条件,才能应用对偶构造规则。

将≤约束用于最小化原问题时的转化 → 极小化原始问题的标准形式条件

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    第三个约束被特别重写,以满足最小化要求。

应用
解释

乘以 -1 是强制转化为最小化标准型的方法。

从原始最小化问题构造对偶问题 → 将原始最小化问题转化为其对偶最大化问题

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师明确指出:“我们将原问题转换为对偶问题。因此,这就是我们将问题从原问题转换为对偶问题的方法。”

应用
解释

在白板上,将构造对偶问题的一般方法应用于一个具体的数值例题。

问题定位 · 14

本片段中所说的‘对偶性’是什么意思?它与对偶单纯形法有何不同?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    开场旁白将本主题命名为对偶性、原问题与对偶问题。

涉及知识点
  1. 主题介绍:线性规划中的原问题与对偶问题
  2. 混淆对偶性与对偶单纯形法

为何在本课中,一个最大化线性规划必须使用≤\le类约束,而一个最小化线性规划必须使用≥\ge类约束?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    提示框中显示“最大化 → ≤”和“最小化 → ≥”。

涉及知识点
  1. 最大化问题的标准型规则
  2. 最小化问题的标准型规则。

在构造对偶问题时,优化方向保持不变还是发生反转?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,原问题为最大化则对偶问题为最小化,反之亦然。

涉及知识点
  1. 原问题与对偶问题之间的方向反转。

在为给定原问题写出其对偶问题之前,第一步是什么?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,第一步是检查原问题是否处于正确形式。

涉及知识点
  1. 构造对偶问题的第一步
  2. 步骤核查:在构造对偶问题前,先验证原问题是否为标准形式。

第二个展示的极小化例子是否已满足所陈述的标准形式?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    正确的例子是极小化问题,但包含了约束条件2x1−x2≤62x_1 - x_2 \le 6。

涉及知识点
  1. 展示的原始例题2(含混合不等式的最小化问题)
  2. 最小化问题的标准型规则。

在什么情况下,我可以直接写出线性规划问题的对偶问题,而无需先重写原问题?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师在继续推导前,明确验证了原问题是目标函数极大化且约束为≤形式。

涉及知识点
  1. 构造对偶问题的正确形式

为什么对偶目标函数中使用60和96作为系数?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    对偶目标函数写作60y1+96y260y_1 + 96y_2,其系数来源于原问题右侧常数项。

涉及知识点
  1. 对偶问题目标函数的系数来源于原始问题约束条件的右端项

原问题中x1x_1和x2x_2的系数如何转化为对偶约束的左侧表达式?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,约束条件是依据x1x_1的系数、然后依据x2x_2的系数来构造的。

涉及知识点
  1. 对偶约束来源于原始变量的列。

为什么本例中的对偶问题使用 ≥ 约束而非 ≤ 约束?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师指出,为求最小值,所有约束条件都应为大于等于形式。

涉及知识点
  1. 极小化问题下对偶约束的方向。

最大化 Z=40x1+35x2Z = 40x_1 + 35x_2,约束为 2x1+3x2≤602x_1 + 3x_2 \le 60,4x1+8x2≤964x_1 + 8x_2 \le 96,x1x_1, x2≥0x_2 \ge 0 的对偶问题是什么?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    视频片段结束时,完整的对偶模型已写在黑板上。

涉及知识点
  1. 从所展示的原始问题逐步构造其对偶问题
  2. 例题:第一个线性规划问题的对偶问题

如何从原始问题写出对偶目标函数和对偶约束?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师总结了如何从原始问题写出对偶问题的规则。

涉及知识点
  1. 由原始问题构造对偶问题的规则

为什么在最小化示例中,第三个约束必须在构造对偶问题之前进行修改?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    教师解释道:由于该问题是求最小值,所有约束都应为大于等于形式。

涉及知识点
  1. 极小化原始问题的标准形式条件
  2. 将≤约束用于最小化原问题时的转化
覆盖情况与待核验内容

已覆盖 · 标题卡片与标志动画引出本课主题;除提及对偶性外,未进行任何具体数学演算。

已覆盖 · 讲师介绍原问题与对偶问题,并明确区分对偶性与对偶单纯形法。

已覆盖 · 标准形式下极大化与极小化问题的规则以口头方式陈述,并在注释框中展示。

已覆盖 · 讲师解释:原问题为极大化时,其对偶问题为极小化,反之亦然。

已覆盖 · 两个展示的例题被引入为待求其对偶问题的任务。

已覆盖 · 讲师指出,第一步是检查原问题是否已处于正确形式,并将例题与极大化/极小化规则逐一比对。

已覆盖 · 教师指出,黑板上展示的原始问题已处于构造对偶问题所需的正确形式。

已覆盖 · 他开始书写‘对偶问题如下’,并说明原始问题中的最大化在对偶问题中变为最小化。

已覆盖 · 对偶目标函数 Min W=60y1+96y2W = 60y_1 + 96y_2 由原始问题右侧常数项构成。

已覆盖 · 两个对偶约束分别由 x1x_1 和 x2x_2 对应的列构造而成,并均使用 ≥ 符号。

已覆盖 · 他补充 y1y_1, y2≥0y_2 \ge 0,并说明这就是上述原始问题的对偶问题。

已覆盖 · 利用已完成的左侧示例,总结从原始问题构造对偶问题的过程。

已覆盖 · 过渡到问题 2,并引出需先检查原始形式的必要性。

已覆盖 · 说明:在将极小化原问题转化为对偶问题之前,所有约束必须为 ≥ 形式。

已覆盖 · 重申:问题1已满足要求,而问题2尚未满足要求。

已覆盖 · 重写第三个约束,并整理出修正后的原问题。

已覆盖 · 从问题2开始构建对偶问题:先写出 Max W,并回溯到约束右端项。

已覆盖 · 该片段涵盖了将某个具体原最小化线性规划问题完整转换为其对偶最大化问题的全过程,包括目标函数、约束条件以及变量限制。

探索视频中的知识

打开视频知识图谱 →

  • 对偶理论与影子价格 讲解定位 0:12
    查看关联依据

    已审核中文素材 v1:知识卡片(概念卡片)「构建对偶问题前的第一步」从 0:12 起——该片段最后强调操作流程:在写出对偶问题之前,须首先检验给定的原始问题是否符合正确形式。讲师借助最大/最小规则框及所展示的示例,说明这一验证步骤必须优先进行。

  • 单纯形法 讲解定位 0:12
    查看关联依据

    已审核中文素材 v1:知识卡片(概念卡片)「对偶性 vs 对偶单纯形法」从 0:12 起——本视频片段将对偶性定义为原始线性规划问题与其关联对偶问题之间的关系。讲师明确提醒:该主题不同于对偶单纯形法。此处的任务是为给定问题构造其对偶问题,而非执行对偶单纯形算法。

  • 线性规划模型 讲解定位 6:00
    查看关联依据

    已审核中文素材 v1:知识卡片(概念卡片)「根据原问题约束条件的右端项构造对偶目标函数」从 6:00 起——对偶目标函数使用原问题各约束条件右端的常数。此处原问题的右端项为60和96,因此在引入对偶变量y1y_1和y2y_2后,讲师写出Min W=60y1+96y2\text{Min } W = 60y_1 + 96y_2。这表明对偶目标函数的系数来源于约束的右端界,而非原目标函数的系数。 Min W=60y1+96y2\text{Min } W = 60y_1 + 96y_2