线性规划的基本知识和求解方法

上图来源于B站西电黄丽娟老师运筹学讲义

上图为线性规划的一般形式，在求解时通常需要将其化为标准型。在标准形式的线性规划模型中，目标函数为求极大值，约束条件全为等式，约束条件右端常数项全非负，决策变量取值为非负。这里有个问题是为什么要化为标准形式？黄老师说标准型是单纯形法求解的前提，我的理解是化为标准型了才会有等号，我们要的是那个等号。

化标准型的步骤：

1. 目标函数z为求极小值，令z'=-z

2. 约束条件小于等于时加个松弛变量，大于等于时减去一个剩余变量

3. 取值无约束的变量令x=x'-x''

4. 变量小于等于0时令x'=-x，资源变量为负时两边乘-1

下面明确几个概念

1. 可行解：满足约束条件的解

2. 可行域：可行解的集合

3. 最优解：使目标函数最优的解

4. 基：系数矩阵的一个满秩子矩阵

5. 基向量：基中的每一个列向量

6. 基变量：基向量对应的变量

7. 非基变量：除基变量以外的变量

8. 基解：令非基变量=0，根据基求得的解x=(x1,...,xm,0,...,0)T

9. 基可行解：满足非负约束的基解

10. 可行基：对应于基可行解的基

复习两个知识：

1. 秩r(A)=a  至少有一个a阶子式不为0，所有大于a阶子式=0

2. 克拉默法则，|A|≠0则xn=|An|/|A|

求解方法

1. 图解法（高中就学过，这里不总结了）

2. 单纯形法：先找一个初始基可行解判断是否最优，若否，转换到另一个基可行解并使目标函数值更优，直到最优（本质是一个迭代寻优的过程）。计算过程不难，随便找个例题练习一下就OK了。

3. 人工变量法大M法：当不存在单位矩阵时不方便确定基可行解，于是添加人工变量。但后添加的变量有可能打破原来的等式约束，那么意味着这些添加的人工变量必须为0。这时令人工变量的系数为一个足够大的负值-M即可。

4. 人工变量法两阶段法：先求人工变量最小，再去除人工变量继续求解。

对单纯形法中检验数的理解：基变量对目标函数的贡献，大于零说明还有贡献，小于零没贡献了，所以最优（目标函数为极大）。