运筹学 第01章 线性规划与单纯形法.pptVIP

2002-03-01 2002ZLZK-PM-KICKOFF 运 筹 学 　３、右端项bi 0时，只需将等式两端同乘（-1）则右端项必大于零 2 图解法 max z=x1+3x2 s.t.x1+ x2≤6 -x1+2x2≤8 x1 ≥0, x2≥0 线性规划的基矩阵、基变量、非基变量 得到最优解或证明最优解不存在 进基变量、离基变量、基变换 例1.27 用单纯形法（大M法）求解 max z=3x1－2x2－x3 x1 －2x2 + x3 ≤ 11 －4x1 + x2 +2x3 ≥ 3 －2x1 x3 = 1 x1、x2、x3≥0 解：化为标准形式，并引入人工变量，构造如下模型： max z=3x1－2x2－x3－Mx6－Mx7 x1－2x2 + x3 + x4 = 11 －4x1 + x2 +2x3 －x5 + x6 = 3 －2x1 x3 +x7 = 1 x1、x2、x3≥0 列表计算： 例1.24 求解线性规划 解:化为标准型 初始单纯形表为 XB x1 x2 x3 x4 b x3 x4 3 2 －2 －1 1 0 0 1 1 4 λj －1 1 0 0 ? λ2=10, x2进基，而a120，a220，没有比值，从而线性规划的最优解无界。由模型可以看出，当固定x1使x2→+∞且满足约束条件，还可以用图解法看出具有无界解。 例1.25 求解线性规划 解:化为标准型后用单纯形法计算如下表所示 0 －2 0 0 0 λj 8/3 14/3 10/3 －1/3 2/3 4/3 1/3 1/3 －1/3 0 0 1 1 0 0 0 1 0 x2 x1 x3 (4) 0 －2 0↑ 0 0 λj 14 — 10/3 7/2 3 5/2→ 0 0 1 1/4 1/2 －1/4 1/4 －1/2 [3/4] 1 0 0 0 1 0 x2 x1 x5 (3) 0 0 －2 0 4↑ λj — 3 8 2 6→ 4 0 0 1 0 1 0 1/2 －1 1/2 1 0 0 －1/2 [2] 1/2 x2 x4 x5 (2) 0 0 0 4↑ 2 λj 2 5 — 4→ 10 2 0 0 1 0 1 0 1 0 0 [2] 2 －1 －1 1 1 x3 x4 x5 (1) θ b x5 x4 x3 x2 x1 XB 表 (3)中λj全部非正,则最优解为: 表 (3)表明,非基变量x3的检验数λ3=0, x3若增加,目标函数值不变, 即当x3进基时Z仍 等于20。使x3进基 x5出基继续迭代 ,得到表(4)的另一基本最优解 X(1),X(2)是线性规划的两个最优解，它的凸组合 仍是最优解，从而原线性规划有多重最优解。 唯一最优解的判断：最优表中所有非基变量的检验数非零,则线规划具有唯一最优解 。 多重最优解的判断: 最优表中存在非基变量的检验数为零,则线则性规划具有多重最优解。 无界解的判断: 某个λk0且aik≤０（i=1，2,…,m）则线性规划具有无界解。 在实际问题中有些模型并不含有单位矩阵，为了得到一组基向量和初基可行解，在约束条件的等式左端加一组虚拟变量，得到一组基变量。这种人为加的变量称为人工变量，构成的可行基称为人工基，用大M法或两阶段法求解，这种用人工变量作桥梁的求解方法称为人工变量法。 5.1 人工变量法 5 单纯形法的进一步计论 例1.26 用大工变量法解 下列线性规划 解:首先将数学模型化为标准形式 式中x4，x5为松弛变量，x5可作为一个基变量，第一、三约束中分别加入人工变量x6、x7，目标函数中加入―Mx6―Mx7一项，得到人工变量单纯形法数学模型 用前面介绍的单纯形法求解，见下表。 -25/3 －5 0 0 0 λj 13 31/3 19/3 2 5/3 2/3 1 1 0 0 0 1 1 0 0 0 1 0 x2 x1 x3 2 3 －1 0 0 0 0 5↑ λj 3/5 31/5→11/5 0 1 0 －1/5 3/5 －2/5 0 0 1 1 0 0 －6/5 [3/5] －2/5 x2 x5 x3 2 0 －1 0 0 －M 0 5M↑ 5-6M λj 3→ 8 1 1 0 0 0 1 0 －1 0 0 0 0 1 [5] 3 －2 －6 －3 2 x6 x5 x3 －M 0 －1 0 0