线性规划


在人们的生产实践中,经常会遇到如何利用现有资源来安排生产,以取得最大经济效益的问题。此类问题构成了运筹学的一个重要分支—数学规划,而线性规划(LinearProgramming 简记LP)则是数学规划的一个重要分支。自从1947 年G. B. Dantzig 提出求解线性规划的单纯形方法以来,线性规划在理论上趋向成熟,在实用中日益广泛与深入。特别是在计算机能处理成千上万个约束条件和决策变量的线性规划问题之后,线性规划的适用领域更为广泛了,已成为现代管理中经常采用的基本方法之一。


1.1 线性规划的实例与定义


例1 某机床厂生产甲、乙两种机床,每台销售后的利润分别为4000 元与3000 元。生产甲机床需用 A、B机器加工,加工时间分别为每台 2 小时和 1 小时;生产乙机床需用 A、B、C三种机器加工,加工时间为每台各一小时。若每天可用于加工的机器时数分别为A 机器10 小时、B 机器8 小时和C 机器7 小时,问该厂应生产甲、乙机床各几台,才能使总利润最大?

上述问题的数学模型:设该厂生产 x1 台甲机床和 x2 乙机床时总利润最大,则 x1, x2应满足

数学建模基本算法---线性规划

这里变量 x1 , x2 称之为决策变量,(1)式被称为问题的目标函数,(2)中的几个不等式是问题的约束条件,记为 s.t.(即 subject to)。由于上面的目标函数及约束条件均为线性函数,故被称为线性规划问题。

总之,线性规划问题是在一组线性约束条件的限制下,求一线性目标函数最大或最小的问题。

在解决实际问题时,把问题归结成一个线性规划数学模型是很重要的一步,但往往也是困难的一步,模型建立得是否恰当,直接影响到求解。而选适当的决策变量,是我们建立有效模型的关键之一。

 

1.2线性规划的 Matlab 标准形式

 

线性规划的目标函数可以是求最大值,也可以是求最小值,约束条件的不等号可以是小于号也可以是大于号。为了避免这种形式多样性带来的不便,Matlab 中规定线性规划的标准形式为

数学建模基本算法---线性规划

其中c x n 维列向量, A Aeq 为适当维数的矩阵, b beq 为适当维数的列向量。

例如线性规划

数学建模基本算法---线性规划

的 Matlab 标准型为

数学建模基本算法---线性规划

1.3 线性规划问题的解的概念


一般线性规划问题的(数学)标准型为

数学建模基本算法---线性规划

可行解 满足约束条件(4)的解 x = ( x1, x2 ,。。。, xn ) ,称为线性规划问题的可行解, 而使目标函数(3)达到最大值的可行解叫最优解。

可行域 所有可行解构成的集合称为问题的可行域,记为 R

 

1.4 线性规划的图解法

数学建模基本算法---线性规划

图解法简单直观,有助于了解线性规划问题求解的基本原理。我们先应用图解法来求解例 1。对于每一固定的值 z ,使目标函数值等于 z 的点构成的直线称为目标函数等位线,当 z 变动时,我们得到一族平行直线。对于例 1,显然等位线越趋于右上方,其上的点具有越大的目标函数值。不难看出,本例的最优解为 x* = (2,6)T ,最优目标值z* = 26 。

从上面的图解过程可以看出并不难证明以下断言:
(1)可行域R 可能会出现多种情况。R 可能是空集也可能是非空集合,当R 非空时,它必定是若干个半平面的交集(除非遇到空间维数的退化)。R 既可能是有界区域,也可能是无界区域。
(2)在R 非空时,线性规划既可以存在有限最优解,也可以不存在有限最优解(其目标函数值无界)。

 

(3)若线性规划存在有限最优解,则必可找到具有最优目标函数值的可行域R 的“顶点”。
上述论断可以推广到一般的线性规划问题,区别只在于空间的维数。在一般的n 维
空间中,满足一线性等式数学建模基本算法---线性规划的点集被称为一个超平面,而满足一线性不等式
数学建模基本算法---线性规划的点集被称为一个半空间(其中a1 ,。。。, an )为一n维行
向量, b 为一实数)。若干个半空间的交集被称为多胞形,有界的多胞形又被称为多面体。易见,线性规划的可行域必为多胞形(为统一起见,空集Φ 也被视为多胞形)。在一般 n 维空间中,要直接得出多胞形“顶点”概念还有一些困难。二维空间中的顶点可以看成为边界直线的交点,但这一几何概念的推广在一般n 维空间中的几何意义并不十分直观。为此,我们将采用另一途径来定义它。

 

1   n 维空间中的区域 R 为一凸集,若数学建模基本算法---线性规划,有数学建模基本算法---线性规划

定义 2 R n 维空间中的一个凸集, R 中的点 x 被称为 R 的一个极点,若不存在数学建模基本算法---线性规划 ,使得 数学建模基本算法---线性规划

定义 1 说明凸集中任意两点的连线必在此凸集中;而定义2 说明,若x 是凸集R的一个极点,则x 不能位于R 中任意两点的连线上。不难证明,多胞形必为凸集。同样也不难证明,二维空间中可行域R 的顶点均为R 的极点( R 也没有其它的极点)。

1.5 求解线性规划的Matlab 解法


单纯形法是求解线性规划问题的最常用、最有效的算法之一。这里我们就不介绍单纯形法,有兴趣的读者可以参看其它线性规划书籍。下面我们介绍线性规划的Matlab解法。
Matlab 中线性规划的标准型为

数学建模基本算法---线性规划

基本函数形式为 linprog(c,A,b),它的返回值是向量 x 的值。还有其它的一些函数调用形式(在 Matlab  指令窗运行 help linprog  可以看到所有的函数调用形式),如:

[x,fval]=linprog(c,A,b,Aeq,beq,LB,UB,X0,OPTIONS)

这里 fval 返回目标函数的值,LB 和 UB 分别是变量 x 的下界和上界,x0 是 x 的初始值,OPTIONS 是控制参数。

例 2    求解下列线性规划问题

数学建模基本算法---线性规划

解(i)编写M 文件
c=[2;3;-5];
a=[-2,5,-1;1,3,1]; b=[-10;12];
aeq=[1,1,1];
beq=7;
x=linprog(-c,a,b,aeq,beq,zeros(3,1))

value=c'*x

(ii)将M文件存盘,并命名为example1.m。
(iii)在Matlab指令窗运行example1即可得所求结果。

例3 求解线性规划问题

数学建模基本算法---线性规划

解 编写Matlab程序如下:
c=[2;3;1];
a=[1,4,2;3,2,0];
b=[8;6];
[x,y]=linprog(c,-a,-b,[],[],zeros(3,1))

1.6 可以转化为线性规划的问题
很多看起来不是线性规划的问题也可以通过变换变成线性规划的问题来解决。如:
例4 规划问题为

数学建模基本算法---线性规划

其中 数学建模基本算法---线性规划, A和b为相应维数的矩阵和向量。要把上面的问题变换成线性规划问题,只要注意到事实:对任意

xi ,存在ui , vi > 0 满足

xi = ui - vi ,| xi |= ui + vi

事实上,我们只要取数学建模基本算法---线性规划就可以满足上面的条件。

这样,记数学建模基本算法---线性规划,从而我们可以把上面的问题变成

数学建模基本算法---线性规划

例 5数学建模基本算法---线性规划

其中数学建模基本算法---线性规划i = xi - yi

对于这个问题,如果我们取数学建模基本算法---线性规划,这样,上面的问题就变换成

数学建模基本算法---线性规划

此即我们通常的线性规划问题。

相关文章: