本文属于自学笔记,若有错误之处,多多包涵。
线性规划数学模型的组成要素
,(目标函数)
,(本文称为“技术约束”)
,(本文称为“变量约束”)
(1)决策变量。,共
个。
(2)目标评价准则。默认,则
是从无穷多解中找出最优解的衡量工具。
(3)约束条件。包括行决策变量的技术约束,和对所有决策变量的非负约束。
:价值系数
:决策变量
:技术系数
:限额系数
线性规划问题解的情况
用由2个决策变量构成的线性规划问题的图解法,来理解“解的情况”,可推广到n维。
图片截取自百度百科
可行域:阴影部分。目标函数:虚线。
(1)无穷多解。目标函数与可行域共线
(2)无界解。可行域无界,约束条件不足。
(3)无可行解。可行域为空集,约束条件过多,互相矛盾。
(4)唯一解。目标函数与可行域的端点相交。
出现(2)(3)说明模型有误。
线性规划问题中有关解的概念
对于一般线性规划的标准型数学模型,设技术约束方程组 A 的系数矩阵为m×n(m<n)维,秩为m。
- 可行解:满足所有技术约束条件和变量约束条件的解。
- 可行域:可行解的集合
- 最优解:使目标函数达到最大值的可行解。
- 基:矩阵A中的一个m×m维可逆矩阵B,称为一个基。B由m个线性独立的列向量组成。
- 基向量:记
,则
称为一个基向量(基向量是列向量)。
- 基变量:与基向量对应的变量。
- 非基变量:除了基向量之外的变量。
令所有非基变量为0,用高斯消元法求得一个解:
- 基解:非零变量个数不大于方程个数
的解。基解可以位于可行域的内部或边界上。
> 有一个基,就可以求出一个基解。
> 基解对应图解法中阴影部分的端点。
- 基可行解:满足变量非负约束条件的基解。
- 可行基:对应基可行解的基。
约束方程组具有基解的数目最多是C(m,n)个。
等基解中非零分量的个数小于m个时,称为该基退化。
假设方程组的系数矩阵的秩为m,因为m<n,所以方程组有无穷多解。
线性规划就是以目标函数为评价标准,从无穷多解中找出最优解的方法。