上图来源于B站西电黄丽娟老师运筹学讲义
上图为线性规划的一般形式,在求解时通常需要将其化为标准型。在标准形式的线性规划模型中,目标函数为求极大值,约束条件全为等式,约束条件右端常数项全非负,决策变量取值为非负。这里有个问题是为什么要化为标准形式?黄老师说标准型是单纯形法求解的前提,我的理解是化为标准型了才会有等号,我们要的是那个等号。
化标准型的步骤:
-
目标函数z为求极小值,令z'=-z
-
约束条件小于等于时加个松弛变量,大于等于时减去一个剩余变量
-
取值无约束的变量令x=x'-x''
-
变量小于等于0时令x'=-x,资源变量为负时两边乘-1
下面明确几个概念
-
可行解:满足约束条件的解
-
可行域:可行解的集合
-
最优解:使目标函数最优的解
-
基:系数矩阵的一个满秩子矩阵
-
基向量:基中的每一个列向量
-
基变量:基向量对应的变量
-
非基变量:除基变量以外的变量
-
基解:令非基变量=0,根据基求得的解x=(x1,...,xm,0,...,0)T
-
基可行解:满足非负约束的基解
-
可行基:对应于基可行解的基
复习两个知识:
-
秩r(A)=a 至少有一个a阶子式不为0,所有大于a阶子式=0
-
克拉默法则,|A|≠0则xn=|An|/|A|
求解方法
-
图解法(高中就学过,这里不总结了)
-
单纯形法:先找一个初始基可行解判断是否最优,若否,转换到另一个基可行解并使目标函数值更优,直到最优(本质是一个迭代寻优的过程)。计算过程不难,随便找个例题练习一下就OK了。
-
人工变量法大M法:当不存在单位矩阵时不方便确定基可行解,于是添加人工变量。但后添加的变量有可能打破原来的等式约束,那么意味着这些添加的人工变量必须为0。这时令人工变量的系数为一个足够大的负值-M即可。
-
人工变量法两阶段法:先求人工变量最小,再去除人工变量继续求解。
对单纯形法中检验数的理解:基变量对目标函数的贡献,大于零说明还有贡献,小于零没贡献了,所以最优(目标函数为极大)。