[管理学]运筹学5.ppt

第 3 章 线性规划模型的单纯形法 3.1 线性规划数学模型的结构及特征 3.2 线性规划模型的标准形式 3.3 基、基本解、基本可行解 3.4 单纯形表的数学原理 3.5 从一个基本可行解转化为相邻的基本可行解 3.6 最优性检验和解的判别 3.7 单纯形表法 3.8 人工变量法和两阶段法 3.9 计算机软件QM求解 单纯形法的基本思想(顶点的逐步转移) 即从可行域的一个顶点（基本可行解）开始，转移到另一个顶点（另一个基本可行解）的迭代过程，转移的条件是使目标函数值得到改善（逐步变优），当目标函数达到最优值时，问题也就得到了最优解。 根据线性规划问题的可行域是凸多边形或凸多面体，一个线性规划问题有最优解，就一定可以在可行域的顶点上找到。 于是，若某线性规划只有唯一的一个最优解，这个最优解所对应的点一定是可行域的一个顶点；若该线性规划有多个最优解，那么肯定在可行域的顶点中可以找到至少一个最优解。 转移条件: 使目标函数值得到改善 转移结果: 得到LP最优解，目标函数达到最优值 （单纯形法的由来） 需要解决的问题： (1)为了使目标函数逐步变优，怎么转移？ (2)目标函数何时达到最优—— 判断标准是什么？ （3）确定入基（换入）变量 选哪一个非基变量进基？ 选x1为进基变量（换入变量） 当x1的值从0增加到3时，x4首先变为0，此时x5=60 因此选x4为出基变量（换出变量）。 这种用来确定出基变量的规则称为 “最小比值原则”（或θ原则）。 确定入基（换入）变量 由此可知x2，x3，x4的检验数为： σ2=1， σ3=1， σ4=-2， 选x2（也可选x3）为进基变量 3.7 单纯形表法 3.7.2 单纯形表法求解线性规划模型的步骤 （1）转换一般的线性规划模型为标准型，并 写出A，C，b （2）找初始基本可行解 （3）计算单纯形表中的各矩阵，并构造单纯 形表 （4）判断基最优解 （5）换基迭代，返回（4） 初始可行基的确定 观察法：观察系数矩阵中是否含有现成的单位阵 LP限制条件中全部是“≤”类型的约束：将新增的松弛变量作为初始基变量，对应的系数列向量构成单位阵 人工变量法：线性规划限制条件都是“≥”或“=”类型的约束：先将约束条件标准化，再引入非负的人工变量，以人工变量作为初始基变量，其对应的系数列向量构成单位阵，称为“人造基”；然后用大M法或两阶段法求解； 为什么初始可行基一定要选单位阵？ b列正好就是基变量的取值，检验数行 和b列交叉处元素也正好对应目标函数值， 因此称b列为解答列。 写出初始基本可行解 根据“用非基变量表示基变量的表达式”，非基变量取0，算出基变量，搭配在一起构成初始基本可行解。 3.7.4 最优性检验与解的判别 (1) 最优解判别定理：若： 为基可行解，且全部 则 为最优解。 （2）唯一最优解判别定理：若所有 则存在唯一最有解。 （3）无穷多最优解判定定理：若： 又存在某一个非基变量 ，且对应的列向量有正数，则存在无穷多最优解。 （4）无界解判定定理：若 有某一个非基变量 并且对应的非基变量的系数 则具有无界解。 3.7.5 换基迭代 （1）找入基变量：正检验数（或最大正检验数）所对应的变量进基，目的是使目标函数得到改善（较快增大）； 进基变量对应的系数列称为主元列。 （2）找出基变量：按最小比值原则确定出基变量，为的是保持解的可行性； 出基变量所在的行称为主元行。 （3）定轴心项：主元行和主元列的交叉元素称为主元素。 （4）作行变换：按照主元素进行矩阵的初等行变换——把主元素变成1，主元列的其他元素变成0（即主元列变为单位向量） （5）替换变量，用入基变量代替出基变量 写出新的基本可行解，返回最优性检验。 0 250 400 300 b CB XB x1 x2 x3 x4 x5 θ 50 100 0 0 0 0 x3 1 1 1 0 0 0 x4 2 1 0 1 0 0 x5 0 1 0 0 1 σj 50 100 0 0 0 确定入基（换入）变量： 在检验数行中，因σ1=50，σ2=100都大于0，取最大检验数σ2=100所对应的变量x2作为入基变量 100 0 250 400 300 b CB XB x1 x2 x3 x4 x5 θ 50 100 0 0 0 0