Definition (多面体模型)
设决策变量为,求解以下优化问题其中,,,。由不等式描述的约束条件将线性规划的可行域约束为一个多面体区域。
Definition (线性规划标准模型)
线性规划标准形式为
Theorem (松弛变量转换法)
Definition (基)
设是秩为的约束矩阵中的一个阶满秩子方阵,称的一个基。中个线性无关的列向量称为基向量。变量中与之对应的个分量称为基变量,其余的分量称为非基变量。
Definition (可行基)
令所有非基变量取值为零,得到解称为基本解。当基本解非负时,称为基本可行解,此时对应的基称为可行基。
Theorem (可行域性质)
线性规划若存在可行集,则可行域是凸集(多面体)。
Lemma (可行解是基本可行解的充要条件)
可行解是基本可行解的充要条件是它的正分量所对应的列向量线性无关。
Theorem (基本可行解与顶点)
线性规划问题的基本可行解对应着线性规划问题可行域的顶点。
Theorem (基本可行解与最优解)
若线性规划问题有最优解,则一定存在一个基本可行解是最优解。
Definition (单纯型法)
考虑其中不妨设,为基变量,其余为非基变量。此时注意到所有的基变量可由非基变量线性表出,有因此令为检验数,此时其中表示增大时对目标函数值的单位贡献。
Theorem (最优性判别定理)
若是对应的基本可行解,是用非基变量表示目标函数表达式中的检验数,若均有,则当前基本可行解为最优解。
Definition (人工变量)
添加人工变量,通过在迭代过程中把人工变量换出可行基获得原问题的可行基。
Definition (人工变量换出可行基方法)
02对偶问题与灵敏度分析 →