01线性规划与单纯型法

Lingfeng2025-02-21

01线性规划与单纯型法

1. 多面体模型和标准模型

Definition (多面体模型)

设决策变量为,求解以下优化问题

其中。由不等式描述的约束条件将线性规划的可行域约束为一个多面体区域。

Definition (线性规划标准模型)

线性规划标准形式为

Theorem (松弛变量转换法)

  1. 不等式
  2. 不等式
  3. 取值无约束

2. 线性规划基本定理

Definition (基)

是秩为的约束矩阵中的一个阶满秩子方阵,称的一个个线性无关的列向量称为基向量。变量中与之对应的个分量称为基变量,其余的分量称为非基变量

Definition (可行基)

令所有非基变量取值为零,得到解称为基本解。当基本解非负时,称为基本可行解,此时对应的基称为可行基

Theorem (可行域性质)

线性规划若存在可行集,则可行域是凸集(多面体)。

Lemma (可行解是基本可行解的充要条件)

可行解是基本可行解的充要条件是它的正分量所对应的列向量线性无关。

Theorem (基本可行解与顶点)

线性规划问题的基本可行解对应着线性规划问题可行域的顶点。

Theorem (基本可行解与最优解)

若线性规划问题有最优解,则一定存在一个基本可行解是最优解。

3. 单纯型法

3.1 定义

Definition (单纯型法)

  1. 给出初始基本可行解
  2. 计算非基变量的检验数
  3. 若存在检验数大于0,则选检验数最大的基,用最小比值法确定传出的基变量
  4. 所有非基变量检验数都为负,则已经达到最优解。若存在检验数为正,但是对应列系数都为负,则无有限最优解。

考虑

其中不妨设为基变量,其余为非基变量。此时注意到所有的基变量可由非基变量线性表出,有
因此
为检验数,此时
其中表示增大时对目标函数值的单位贡献。

Theorem (最优性判别定理)

是对应的基本可行解,是用非基变量表示目标函数表达式中的检验数,若均有,则当前基本可行解为最优解。

3.2 人工变量法

Definition (人工变量)

添加人工变量,通过在迭代过程中把人工变量换出可行基获得原问题的可行基。

Definition (人工变量换出可行基方法)

  1. 大M法。把目标函数换成
  2. 两阶段法。先把目标函数设为,迭代到该目标函数等于零时再用原目标函数。
Last Updated 3/28/2025, 1:46:41 PM