第五章 单纯形法2
最优化方法第二讲 单纯形法

令 xˆ x d ,其中 0 ,取搜索方向 d (B1Am ,0, ,0,1,0, ,0) (a1k , amk ,0, ,0,1,0, ,0) 其非基变量(自由求知量)中第 k 个非基变量取值为 1,其它为 0。 故 xˆ x d = B1b a jk , 由于 x 0 ,可知 xˆ 0 为可行解。 当 时,目标值 cxˆ cB1b k 。
17
换入变量和换出变量的确定:
换入变量的确定— 最大减小原则
假设检验向量 N CN CBB1N ( m1, m2,, n )
若其中有两个以上的检验数为负,那么为了使目标函数 值下降得快些,通常要用“最大减小原则”,即选取最小 负检验数所对应的非基变量为换入变量,即若
min j j 0, m 1 j n mk
0, 1
i
m
( B1b)l ( B1Pmk )l
则选取对应的基变量 Xl 为换出变量。
19
4. 用初等变换求改进了的基本可行解——旋转运算
假设B是线性规划 min z CX , AX b, X 的0 可行基,则
AX
b
(B
N )
XB XN
b
(I , B1N )
XB XN
B1b
令非基变量 XN 0 ,则基变量 XB B1b。
。
(3)移至目标函数值有所改善的另一个基本
可行解,然后转会到步骤(2)。
3
其步骤如下: 找出一个初始可行解
是否最优
是
最优解
循
环
否
结束
转移到另一个目标函数 (找更小的基本可行解)
直到找出为止,核心是:变量迭代
4
1 确定初始的基本可行解
确定初始的基本可行解等价于确定初始的可行基,一旦初始 的可行基确定了,那么对应的初始基本可行解也就唯一确定.
第5章_单纯形法

初始可行解:第一个找到的可行域的顶点。
三、单纯形法试算程序框图(见图5—1)
开始
转变为标准型[增加额外 变量(松弛、剩余、人工 变量)]
建立初始单纯形表
最优
是
停
否 找出“换入”“换出”变量
修正单纯形表
图5—1
5.2 线性规划模型的变换
一、线性规划模型标准型的特点 ⑴目标函数是求极大值或极小值; ⑵所有的变量都是非负的; ⑶除变量的非负约束外,其余的约束条件都
ABCD 含量(单位/千克)
最低需求量 (单位)
糖
5 2 4 2 60
蛋白质
3 2 1 4 40
脂肪
3 1 2 5 35
单价(元/千克) 1.5 0.7 0.9 1.2
例3是例2的对偶问题,例3与例2互为对偶线性规 划原规划与对偶规划具有对称性,如图所示:
食品
单一营
养成分单价
AB C D
单一营养
(x1) (x2) (x3) (x4) 成分需求量
m
c a Z j
i ij
i 1
解b
b 1
b 2
…… b
n
目标函 数
例1
求max Z=7x1+10x2 满足 7x1+7x2≤49 10x1+5x2≤50 x1,x2≥0
用单纯形法求解。
例2
第2章例1中我们得线性规划模型为: 目标函数:max Z = 50x1+100x2
满足 x1 + x2 ≤300 2x1 + x2 ≤400 x2 ≤250 x1,x2 ≥0
…… am1x1 + am2x2 + ……+ amnxn ≤(≥,=) bm x1,x2 …… xn≥ 0
运筹学第5章 单纯形法

0 0 1
在第一次找可行基时,所找到的基或为单位矩阵或为由单位矩阵的 各列向量所组成,称之为初始可行基,其相应的基本可行解叫初始基 本可行解。如果找不到单位矩阵或由单位矩阵的各列向量组成的基作 为初始可行基,我们将构造初始可行基,具体做法在以后详细讲述。
8Leabharlann §1 单纯形法的基本思路和原理
二、 最优性检验 所谓最优性检验就是判断已求得的基本可行解是否是最优解。
5
§1 单纯形法的基本思路和原理
线性规划解之间的关系:
1.可行解与最优解: 最优解一定是可行解,但可行解不一定是最优解。
2. 可行解与基本解: 基本解不一定是可行解,可行解也不一定是基本解。
3. 可行解与基本可行解: 基本可行解一定是可行解,但可行解不一定是基本可行解。
4. 基本解与基本可行解: 基本可行解一定是基本解, 但基本解不一定是基本可行解。
9
§1 单纯形法的基本思路和原理
2.最优解判别定理
对于求最大目标函数的问题中,对于某个基本可行解,如
果所有检验数 j≤0,则这个基本可行解是最优解。 下面我
们用通俗的说法来解释最优解判别定理。设用非基变量表示
的目标函数为: z z0 j xj jJ 由于所有的xj的取值范围为大于等于零,当所有的 j都小
由线性代数的知识知道,如果我们在约束方程组系数矩阵中找
到一个基,令这个基的非基变量为零,再求解这个m元线性方程组就
可得到唯一的解了,这个解我们称之为线性规划的基本解。
在此例中我们不妨找到
1 1 0 B3 1 0 0
为A的一个基,令这个基的非
1 0 1
基变量x1,s2为零。这时约束方程就变为基变量的约束方程:
第五章 单 纯 形 法
1-3 单纯形法第2部分

证明思路——构造性证明 证明思路——构造性证明: 构造性证明: 依据用非基变量表示基变量的表达式构造一族 可行解,其对应的目标函数值趋于无穷大。 可行解,其对应的目标函数值趋于无穷大。 几何意义: 几何意义:沿着无界边界前进的一族可行解
− x 2 − x 3 − x 4 x5 = 6 − 3x2 − 6 x3 + x4
一般(经过若干次迭代) 对于基B 一般(经过若干次迭代),对于基B,
用非基变量表出基变量的表达式 为:
xn+i = b − ∑ a x j ,
' i j =1 ' ij
n
i = 1,2L, m
用非基变量表示目标函数的表达式: 用非基变量表示目标函数的表达式:
Z =∑ j xj =∑ j xj +∑ n+i xn+i =∑ j xj +∑ n+i (bi' −∑ ijxj ) c c c c c a'
确定是停止迭代还是转入基变换? 确定是停止迭代还是转入基变换?
第三步:基变换 第三步:
选择(最大)正检验数对应的系数列 选择(最大)正检验数对应的系数列 主元列,主元列对应的非基变量为换 为主元列,主元列对应的非基变量为换 入变量; 入变量; 最小比值对应的行为主元行 主元行, 最小比值对应的行为主元行,主元行 对应的基变量为换出变量 换出变量。 对应的基变量为换出变量。
x2 ≤ 3 / 1 于是: 于是: ⇒ x2 ≤ min{3 / 1,6 / 2} = θ x2 ≤ 6 / 3
如果x2的系数列变成 2’=(-1,0)T,则用非 如果 的系数列变成P ( , ) 则用非 基变量表示基变量的表达式就变成; 基变量表示基变量的表达式就变成; x1 = 3 + x 2 − x3 − x 4 ≥ 0 x5 = 6 + 0 x 2 − 6 x3 + x 4 ≥ 0 可行性自然满足,最小比值原则失效 意即 可行性自然满足 最小比值原则失效,意即 2的值 最小比值原则失效 意即x 可以任意增大→原线性规划无 有限最优解” 原线性规划无“ 可以任意增大 原线性规划无“有限最优解”。
运筹学教程 第五章 单纯形法(2表格形式)

r2 ÷ 6
b
15 24 5
x1 = 4 x2 = 0 x3 = 15 x4 = 0 x5 = 1
P P P P P 1 2 3 4 5
b
P 1
P2
P3
P4
P5
b
0 5 1 0 0 1 1/ 3 0 1 / 6 0 1 1 0 0 1
元数a 元数a21决定了从一个基可行解到相邻基可行解 的转移去向,取名主元 的转移去向,取名主元
§5.2单纯形法的表格形式
第3步:迭代。 步
1.确定入基变量 确定入基变量 2.确定出基变量 确定出基变量 3.用入基变量替换出基变量,得到一个新的基; 用入基变量替换出基变量, 用入基变量替换出基变量 得到一个新的基; 对应这个基可以找到一个新的基可行解; 对应这个基可以找到一个新的基可行解; 并画出一个新的单纯形表。 并画出一个新的单纯形表。
§5.2单纯形法的表格形式
迭代 次数 基 x3 x4 0 x5 CB 0 0 0 x1 2 0 6 1 x2 1 5 2 1 0 1 x3 0 1 0 0 0 0 x4 0 0 1 0 0 0 x5 0 0 0 1 0 0 b 15 24 5 Z=0 比值 24/6 5
zj σj= cj -zj
? 0
z = c 3 × b1 + c 4 × b2 + c 5 × b3 = 0 × 15 + 0 × 24 + 0 × 5 = 0
§5.2单纯形法的表格形式
迭代 次数 基 x3 x4 0 x5 CB 0 0 0 x1 2 0 6 1 0 2 x2 1 5 2 1 0 1 x3 0 1 0 0 0 0 x4 0 0 1 0 0 0 x5 0 0 0 1 0 0 b 15 24 5 Z=0 比值 24/6 5
单纯形法

四、单纯形法的实现——单纯形表
例1:煤电油例 Max Z=7 x1 +12x2 9 x1 +4x2≤360 化为标准型 s.t. 4x1 +5x2 ≤200 3 x1 +10x2 ≤300 x1 , x2≥0 s.t. Max Z=7 x1 +12x2 9 x1 +4x2 +x3 4x1 +5x2 3 x1 +10x2 x1 ,…,x5≥0 +x4 =360 = 200
•
“≥”型约束,减松弛变量;
练习1.3 请将例1.1的约束化为标准型
Maxz = 7 x1 + 12 x 2 ⎧9 x1 + 4 x 2 ≤ 360 ⎪4 x1 + 5 x 2 ≤ 200 s.t.⎨ 3x1 + 10 x 2 ≤ 300 ⎪x , x ≥ 0 ⎩ 1 2
则约束化为
= 360 ⎧9 x1 + 4 x 2 + x3 ⎪4 x + 5 x 2 + x4 = 200 s.t.⎨ 1 3 x1 + 10 x 2 + x5 = 300 ⎪x , x , x , x , x ≥ 0 ⎩ 1 2 3 4 5
例4 下面为某线性规划的约束
=1 ⎧ x1 + 2 x2 + x3 ⎪ + x4 = 3 ⎨2 x1 − x2 ⎪ x1 , , x4 ≥ 0 ⎩ 请例举出其基矩阵和相应的基向量、基变量。
解:
本例中, A = ⎡1 2 1 0⎤,A中的2阶可逆子阵有 ⎢ 2 − 1 0 1⎥ ⎦ ⎣
问题:本例的A中一共有几个基?—— 6个。
易见,增加的松弛变量的系数恰构成一个单位阵I。
一般地,记松弛变量的向量为 X s,则
第五章 单纯形法ppt课件

➢ x2+x5=250
→ 0=250?
➢ 显然不能得到相应的解。
编辑版pppt
9
一、问题的提出
➢ 为什么令x2=0,x5=0时不能得到解? ➢ 因为其余三个变量的系数列向量为
110
201
000
➢ 该矩阵是非可逆矩阵,即去掉x2和x5后的三个约束 方程线性相关,这种情况下得不到解。
编辑版pppt
10
编辑版pppt
24
二、单纯形法的基本思路和原理
➢ 3、那有没有办法在求出解之前保证我 们取得的基为可行基?
➢ 解决办法:保证右端项非负,找到一个 单位矩阵,必定是一个可行基。
编辑版pppt
25
二、单纯形法的基本思路和原理
➢ 如范例系数阵:
右端项非负
1 1 1 0 0 300 2 1 0 1 0 400 0 1 0 0 1 250
❖ 我们首先将最优解缩小在一个有限的❖ 回顾图解法,我们知道:最优解必定在可行域的顶 点上取得,而顶点的个数总是有限的。
❖ 多维线性规划问题的可行域也存在有限个顶点。
❖ 如果能够从一个顶点开始,通过某种方式向更优顶 点转移,总会找到最优点。
❖ 首先面临的问题: ❖ 如何通过代数方法找到第一个顶点?
存在3阶单位阵
编辑版pppt (初始可行基)
26
二、单纯形法的基本思路和原理
➢ 基本可行解为(0,0,300,400,250) ➢ 此可行基称为初始可行基。 ➢ 对应的解称为初始基本可行解。
➢ 初始基本可行解在上页矩阵中一目了然。
编辑版pppt
27
二、单纯形法的基本思路和原理 ➢第二步:最优性检验
不存在 (200,0,100,0,50) (300,0,0,-200,-50) (0,250,50,150,0) (0,400,-100,0,150) (0,300,0,100,-50)
单纯形法

目录第一章单纯形法的提出……………………………………………………………1.1 单纯形法提出背景……………………………………………………………第二章单纯形法的一般原理………………………………………………………2.1 单纯形法的基本思路…………………………………………………………2.2 确定初始基本可行解…………………………………………………………2.3 最优性检验……………………………………………………………………2.4 基变换…………………………………………………………………………2.5 解的判别定理…………………………………………………………………2.6 单纯形法求解线性规划问题的程序框图……………………………………第三章表格单纯形法………………………………………………………………3.1单纯型表求解…………………………………………………………………3.2 用单纯形法求解线性规划问题的举例………………………………………第四章人工变量及其处理方法……………………………………………………4.1大M法…………………………………………………………………………4.2两阶段法………………………………………………………………………4.3无最优解和无穷多最优解……………………………………………………4.4退化与循环……………………………………………………………………第五章单纯形法的矩阵表示………………………………………………………总结……………………………………………………………………………………参考文献………………………………………………………………………………第一章 单纯形法的提出1.1 单纯形法的提出背景单纯形法是1947年由George Bernard Dantzing(1914-2005)创建的,单纯形法的创建标志着线性规划问题的诞生。
线性规划问题是研究在线性约束条件下,求线性函数的极值问题。
然而,对这类极值问题,经典的极值理论是无能为力的,只有单纯形法才能有效解决这类极值问题的求解。
单纯形法

{
}
bi bL a ik 〉 0 = θ L = min a ik a LK
xL
为出基变量。 为出基变量。 ,取得最优解。 取得最优解。
四、最优性检验 δ j = c′j − z′j ≤ 0
第二节 单纯形法的表格形式
max Z = c1 x1 + c2 x 2 + L + cn x n x1 + a1,m +1 x m +1 + L + a1n xn = b1 x 2 + a2 ,m +1 x m +1 + L + a2 ,n xn = b2 M M M M x m + am ,m +1 x m +1 + L + a mn xn = bm x j≥ 0
-1 0 0
x1
0
1 0
0 0 0 1 0 0
[1 ] −1
0 1
-1 1 1 0 0 0
1
−1 2
-1 1 1 -1 1 0
0
0 1
0 0 0 0 1 0
1
0 0
-1 0 1 0 -1 -1
−1
1 −2
1 -2 -1 1 -1 -1
225 125 350
225/1 350/1
x5
zj
x2 x1
x5
第一节 单纯形法的基本思路和原理
5.基本解:对应于基的解, 5.基本解:对应于基的解,即有一个基就有一 基本解 基本解。 基本解。 6.基本可行解:满足非负条件的基本解。 6.基本可行解:满足非负条件的基本解。 基本可行解 7.基本不可行解 不满足非负条件的基本解。 基本不可行解: 7.基本不可行解:不满足非负条件的基本解。 8.可行基 对应于基本可行解的基。 可行基: 8.可行基:对应于基本可行解的基。 9.初始基本可行基 在第一次找到可行基时, 初始基本可行基: 9.初始基本可行基:在第一次找到可行基时, 如果所找到的基为单位矩阵或者是由单位列向 量构成的矩阵, 量构成的矩阵,则这个可行基为初始基本可行 基。 10.初始基本可行解 初始基本可行解: 10.初始基本可行解:初始基本可行基对应的 基本可行解。 基本可行解。
2单纯形法

2 3 0 x1 x2 x3 2 1 0 1 (3) -1 1 1 0 -2m -4m m 5/3 0 1/3 1/3 1 -1/3 (2/3) 0 1/3
0 -1/3m
0 x4 1 0 0 0 1 0 0
0
-m x5 0 1 0 0
-m x6 0 16 0 20/3 1 10 0 0 28/5 0 20 1 5
例题(标准化模型的系数矩阵中能够找到单位阵 或排列阵作为初始基)
CB
0 0 5 0
c 3 XB B-1b x1 x3 x2 4 x5 8 12 6 36 12 0 1 0 3 -3
5 x2 0 2 1 4 0 -5 0
0 x3 1 0 0 0
0 x4 0 1 1/2 0 -2 0 5/2
0 x5 0 0 1 0
可行解。
第二阶段:将原目标函数换回,以第一阶段得到的 可行基为初始基进行迭代,直到找到最优解或判断 问题无界为止。 在第二阶段的迭代中可以删去所有人工变量。
例 用两阶段法求解:
max z 2 x1 3 x2 2 x1 x2 16 x 3 x 20 1 2 s.t. x1 x2 10 x1 , x2 0
max z 3x1 5 x2 x3 x1 2 x2 x4 s.t. x5 3x1 4 x2 x1 , x2 , x3 , x4 , x5
8 12 36 0
转换为典则形式: ① 目标方程中的所有基变量的系数全都为0; ② 基本可行解对应的可行基是一个m阶单位阵或排列 阵。
第二阶段寻找最优解或判断问题无界。
第一阶段:引入人工变量并找一个初始基,另构造
一个新的求极小值的目标函数,该目标函数除人工
运筹学-单纯形法ppt课件

基本解中最多有m个非零分量。
基本解的数目不超过
C个nm。
n!
m!n
m!
定义 在线性规划问题的一个基本可行解中,如果所有的基变量都取正值,则 称它为非退化解,如果所有的基本可行解都是非退化解。称该问题为非退化的 线性规划问题;若基本可行解中,有基变量为零,则称为退化解,该问题称为 退化的线性规划问题。
Cnm
上述结论说明: 线性规划的最优解可通过有限次运算在基可行解中获得.
;.
8
2 单纯形法
(1)单纯形法的引入 例1
Max Z=40X1 +50X2
X1 +2X2 +X3
=30
3X1 +2X2 +X4 =60
2X2 X1 … X5 0
+X5 =24
;.
9
解:(1)、确定初始可行解
B = ( P3 P4 P5 ) = I
表
示
0 10 I C N B C -1 B N B -1 N-C B B -B 1-1 -C B B -B 1b -b 1
BN I b
CB CN 0
0
I
B-1N
B-1
B-1b
0
CN -CB B-1N
-CB B-1
CBB-1b
;.
27
对应I 式的单纯形表—— I 表(初始单纯形表)
价值系数cj
a2m1
amm1
a1m2 a2m2
amm2
a1n a2n amn
非 基 向 量
X B x1 x2 xm T
X N xm1 xm2 xn T
基变量
非基变量
;.
3
AX b
第五章单纯形法

17
基解:在约束方程组(1.7)中,令所有非基变量为 xm+1=xm+2=…=xn=0零,以因为有|B|≠0,根据 克莱姆法则,由m个约束方程可解出m个基变量的唯 一解XB=(x1,…,xm)T。将这个解加上非基解中变量 取0的值有X=(x1,x2,…,xm,0,0,…,0)T,称X为线 性规划问题的基解。显然在基解中变量取非零值的个 数不大于方程数m,故基解的总数不超过Cnm个。
基本解:记基变量为XB=(xj1,xj2,…,xjm)T,非基变量构成
的列向量记为XN,并令XN =0,则有AX=ΣPjxj=BXB=b,于是有 XB=B-1b。称XB=B-1b, XN =0为线性规划(L)的一个基本解。
基可行解:若基本解中XB=B-1b≥0,则称该解为基可行解,这时
基B也称为可行基。
减去非a1负1x1变+a量12xx2n++1,+称a为1nx剩n -余xn变+1=量b1,有 ⑷令变xj量= xxjj无- x约j束,。对模型中的变量进行代换。
(5)对于x≤0的情况,令x =-x,显然x ≥0。
12
(6)对于b<0的情况,不等式两边同乘以-1
例:将下述线性规划化为标准型
max z x1 2x2 3x3
同理,取B5=(P2,P4),可得x2 =3,x4=18, x1 =x3 =0是基可行解。
同理,取B6=(P3 , P4 ),可得x3=15,x4=24, x1 =x2 =0是基可行解。
22
可行域极点的数量
如果线性规划有50个变量,20个约束条件,全部是等号约
束。按照以上的算法,每计算一个基础解,要从50个变量中选
4.711 03 1.510 6 (年) 360204365
人工变量单纯形法之两阶段单纯形法

人工变量单纯形法之两阶段单纯形法 两阶段单纯形法也是一种人工变量法,它的 算法可分为两个阶段:第一阶段,引入人工 变量,构造一个具有标准基的新线性规划, 求解这个新线性规划,其结果有两种可能: 或者将原问题的约束方程组化成具有标准基 的形式,或者提供信息,表明原问题没有可 行解。第二阶段,利用第一阶段所得的标准 基,对原问题求解。
1.人工变量的引入 设原问题为
( LP)1 :
max Z CX s.t. AX b X 0
引入人工变量y1,y2, …,ym ,构造新线性规划
( LP)2 :
max W - y1 - y 2 - … - y m s.t. IY+AX b Y 0, X 0
易知,新线性规划(LP)2 ,具有以下3个 特点: 1、 (LP)2存在可行解,Y=b, X=0 2、 (LP)2 必有最优解。 3、 (LP)2 存在一个标准基。
例子:
max Z=x1+2x2+5x3-3x4 s.t. x1+x2 =3 2x1-2x2-x3 =6 2x1+x2+x3+x4=11 X>=0 这个例子用以前的方法难以求解,没有标 准基,我们可以试想添加变量,将其变成 标准形式。
max W=-y1-y2 s.t. y1+x1+x2 =3 y2+2x1-2x2-x3 =6 2x1+x2+x3+x4=11 X>=0 Y>=0 添加了人工变量,原线性规划与新线性规 划的关系是什么呢?大家可以思考一下。
(2)第二阶段:用第一阶段所得的含标准基的约束 方程组取代原问题的约束方程组,再用单纯形法求解。
The
End!
用表1-14表示新线性规划求解过程
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
思考:若不按最小比值法确定 出基变量会怎么样?
请大家计算一下: 若在第一次迭代中不选x5出基,而让x3
或x4出基,会出现什么情况。
若让x3 出基,则新的基为(p2
,p4 ,p5) , 求得解为(0,300,0,100,-50),非可行。
如,取1、2、3列得到:
1 1 1 2 1 0 0 1 0
此矩阵为可逆阵,故令x4=0,x5=0,一定 可以得到一个解。 对应的解为(75,250,-25,0,0)。
基的概念: 已知A是约束条件的m×n阶系数矩阵,其秩 为m 。 设B是A矩阵中的一个非奇异(可逆)的m×m 阶子矩阵,则称B为线性规划问题的一个基。 B由A中的m个线性无关列向量组成。
一定可以找到? 答案:不一定。 如例中x2=0,x5=0时不能得到解。 可行的办法:找到一个基。
2、一个基是否一定对应可行域顶点? 答案:不一定。必须是可行基。
一般来说,判断一个基是否是可行基,
需要在求出其基本解后才能判断。
3、那有没有办法在求出解之前保证我
们取得的基为可行基? 解决办法:保证右端项非负,找到一个 单位矩阵,必定是一个可行基。
二、单纯形法的基本思路和原理
单纯形法的基本思路:
首先找到一个顶点;
然后判断它是否最优;
如果不是,则通过更换顶点的方式找到
更优的顶点; 直到找到最优顶点。
二、单纯形法的基本思路和原理
第一步:找到一个顶点
(初始基本可行解)
思考: 1、令n-m个变量为0(非基变量)是否
一个基对应一组概念:
非基变量
x1 1 2
x2 1 1 1
x3 1 0 0
x4 0 1 0
x5 0 0 1
基变量
b
300 400 250
基向量
非基向量
0
对应基本解:(0,0,300,400,250)
基 B1=(p1 ,p2 ,p3) B2=(p1,p2 ,p4 ) B3=(p1 ,p2 ,p5) B4=(p1 ,p3 ,p4) B5=(p1 ,p3 ,p5) B6=(p1 ,p4 ,p5) B7=(p2 ,p3,p4) B8=(p2 ,p3,p5)
检验数的概念非基变量: 若只用来表示目标函数,将所有基变量从目 标函数中用非基变量替换出去。 此时目标函数中各非基变量的系数即为各非 基变量的检验数,把变量xj的检验数记为j。
最优解判别准则:
对于求最大目标函数的问题中,对于某个基 本可行解,若所有非基变量检验数j≤0,则 这个基本可行解是最优解。
s.t.
Max z= 50x1+100 x2 1· x1+1· x2≤300 2· x1+1 · x2≤400 0· x1+1 · x2≤250 x1 ≥0, x2 ≥0
从其标准形的解向量开始研究:
Max z= 50x1+100 x2 s.t. 1· x1+1· x2+1· x3+0· x4+0· x5=300 2· x1+1· x2+0· x3+1· x4+0· x5=400 0· x1+1· x2+0· x3+0· x4+1· x5=250 xj ≥0 (j=1,2,3,4,5)
是否可行 否 是 是 是 否 是 否
p1 ,p2 ,p3 x1 ,x2 ,x3 p1 ,p2 ,p4 x1 ,x2 ,x4 p1 ,p2 ,p5 x1 ,x2 ,x5 p1 ,p3 ,p4 x1 ,x3 ,x4 p1 ,p3 ,p5 x1 ,x3 ,x5 p1 ,p4 ,p5 x1 ,x4 ,x5 p2 ,p3 ,p4 x2 ,x3 ,x4 p2 ,p3 ,p5 x2 ,x3 ,x5
2x1+x2+x4=400
x2+x5=250
可得到解(50,250,0,50,0)
若令x2=0,x5=0,会怎样? 由约束方程可知: x1+x2+x3=300 → x1+x3=300
2x1+x2+x4=400 → 2x1+x4=400
x2+x5=250
→ 0=250?
。 可见要使Z增加,只有使x3和x5减少。
x3,x5的取值是否有减少的可能?
分析:该解中非基变量
0,其值不可能再减少。 所以Z值不可能再增加。
x3,x5的取值为
说明此基本解对应的目标函数值已经达
到最优。
由以上分析,可见,完全可以由典式中
的系数来判断解是否最优。 如: Z= 50x1+100 x2系数>0,未达到最优; Z= 27500-50x3-50x5系数<0,达到最优。 这些系数我们称为检验数。
(x3,x4,x5是每个约束条件的松弛变量)
X2
A(0,250)
B(50,250)
C(100,200)
O(0,0)
D(200,0)
X1
顶点对应的解向量有何代 数特征? O (0,0,300,400,250) A (0,250,50,150,0) B (50,250,0,50,0) C (100,200,0,0,50) D (200,0,100,0,50) 答案:都有两个变量取值 为0,且非负。
B9=(p2,p4,p5) B10 =(p3,p4,p5)
p2 ,p4 ,p5 x2 ,x4 ,x5 p3 ,p4 ,p5 x3 ,x4 ,x5
p1 ,p3 p1 ,p2
x1 ,x3 x1 ,x2
(0,300,0,100,-50) (0,0,300,400,250)
否 是
线性规划解的集合关系:
如范例系数阵:
右端项非负
1 1 1 0 0 300 2 1 0 1 0 400 0 1 0 0 1 250
存在3阶单位阵 (初始可行基)
基本可行解为(0,0,300,400,250) 此可行基称为初始可行基。
对应的解称为初始基本可行解。
初始基本可行解在上页矩阵中一目了然。
回顾图解法,我们知道:最优解必定在可行域的顶 点上取得,而顶点的个数总是有限的。 多维线性规划问题的可行域也存在有限个顶点。 如果能够从一个顶点开始,通过某种方式向更优顶 点转移,总会找到最优点。
首先面临的问题: 如何通过代数方法找到第一个顶点?
图解法中的例1.5模型为:
可 行 解
基 本 可 行 解
最 优 解
基 本 解
显然,将搜索范围控制在基本可行
解内,将大大减少搜索工作量。
但是,即使取得一个基,得到的解
还不一定可行。 如何才能保证取得一个可行基呢?
总结: 1、可行域顶点对应的解必为基本可行解:有 n-m个变量取值为0,满足非负条件。(n为 未知数个数,m为方程个数) 2、一个基对应一组基本解,可能可行,也可 能不可行; 3、最优解必定在基本可行解中;
1 1 -3 -1 1 3 -1 -3 4 4 1 5 -9 -8 0
x1=1.5x3-0.75x4+1.25 x2=1.5x3+1.75x4-0.25 x3= x3 x4= x4
单纯形法,就是这样的一种代数搜寻法。
线性规划问题的解一般有无穷多个,如果不 缩小搜寻范围,工作量太大! 我们首先将最优解缩小在一个有限的范围。
答案:Z增加50。 如果x2的值增加1,Z会怎样? 答案:Z增加100。
x1,x2的取值是否有增加的可能?
分析:该解中非基变量
x1,x2的取值为
0,(》=0)其值完全有可能增加。
说明此时目标函数值还有增加的可能,
没有达到最优。
再如:基本解(50,250,0,50,0) 其非基变量为x3,x5
由约束方程可得:
x1=50-x3+x5 目标函数为Max
x2=250 -x5 z= 50x1+100 x2 =
27500-50x3-50x5
典式Z=
27500-50x3-50x5
如果x3增加1,Z会怎样?
答案:Z减少50。 如果x5的值增加1,Z会怎样? 答案:Z减少50
基向量
基变量
非基 向量 p4 ,p5 p3 ,p5 p3 ,p4 p2 ,p5 p2 ,p4 p2 ,p3 p1 ,p5 p1 ,p4
非基 变量 x4 ,x5 x3 ,x5 x3 ,x4 x2 ,x5 x2 ,x4 x2 ,x3 x1 ,x5 x1 ,x4
基本解 (75,250,-25,0,0) (50,250,0,50,0) (100,200,0,0,50) 不存在 (200,0,100,0,50) (300,0,0,-200,-50) (0,250,50,150,0) (0,400,-100,0,150)
对于求最小目标函数的情况,当所有非基变 量检验数j≥0时,目标值最优,对应的基本 可行解为最优解。
第三步:基变换
1 1 1 0 0 300 2 1 0 1 0 400 0 1 0 0 1 250
初始基本可行解(0,0,300,400,250),x1,x2为非基变量, 代入目标函数
为什么令x2=0,x5=0时不能得到解? 因为其余三个变量的系数列向量为
1 1 0 1 0 1 0 0 0
该矩阵是非可逆矩阵,即去掉x2和x5后的三个约束 方程线性相关,这种情况下得不到解。
既然如此,如果我们在技术矩阵中取出三列, 组成一个可逆阵,令其余两列对应的变量为 零,则一定可以得到一个解。