最优化课件解析.pptxVIP

最优化方法（最优化课件研制组）最优化方法主讲：张 京退出开始2. 基本容许解的改进（1）Gauss-Jordan方程组假定是（2.21）的一个基。由得等价方程组 （2.28）记 则（2.28）可写成（2.29）的Gauss-Jordan方程组（G-J方程组）。（2.29）称为关于基典范线性规划的主约束即是一个G-J方程组。G-J方程组的性质： ⅰ）一个基决定唯一的G-J方程组；ⅱ）若是容许基，则由其G-J方程组可得出关于的基本容许解 ⅲ）在G-J方程组中,基变量的系数向量构成单位矩阵。 性质ⅰ）说明求新的基本容许解的过程实质上就是不同基的G-J方程组间的转化过程。这个转化过程很容易实现。设是新基，是用非中的这时G-J方程组间的替换得到的矩阵。 基向量 转化过程就是要将非基变量变为单位的系数向量向量（性质ⅲ）.要实现这个过程，则必须有元素称为主元。转化过程显示如下： 的的Gauss-Jordan方程组 关于基 关于基Gauss-Jordan方程组为保证解的改进，替换须满足以下两个条件：，第一，容许性条件。即保证的G-J方程组的右端项非负的条件。的基本容许解的目标函第二，下降性条件。即保证数值小于的基本容许解的目标函数值的条件。i）容许性条件由，即主元还必须为正。（2.36）结论是：为保证主元 的G-J方程组的右端项非负， 如果主元不存在，必须是满足 的正数。 则线性规划解无界（定理2.12）。关于的例2.6 考虑例2.5中的线性规划 G-J方程组试把和分别引入基，求新的基本容许解。ⅱ）下降性条件新解。 中只有其余分量皆为0。于是，由（2.26）式得（2.37）由于，则，所以只要特别当时，只要，必有结论是：引入判别数为正的变量，将保证的基本容许解的目标函数值不大于的基本容许解的目标函数值。引理2.10定理2.11（单纯形法基本定理） 在标准线性规划（2.21）中，假设：是容许基，关于的基本容许解ⅰ）；是非退化的，即；的判别数ⅱ）非基变量ⅲ），是用公式（2.36）确定的一个行标；，而其余基向量不变，构成ⅳ）用中的替换矩阵。的基本容许解的那么，是容许基，且关于目标函数值小于关于的基本容许解的目标函数值。 定理2.12 在标准线性规划（2.21）中，假设：ⅰ）是容许基；；ⅱ）非基本变量的判别数ⅲ）。那么线性规划（2.21）存在可以使目标函数值任意减小的容许解。（2）单纯形表 以上过程都可以清晰地在一张表——单纯形表上进行，称之为表上作业法。假设已知（容许）基，那么关于的信息全部反映在以下两个式子（线性规划的两个关键数学式）中，的增广G-J方程组。称之为关于基 增广G-J方程组其实可由线性规划（2.21）的原始数据经初等行变换得到。原有(2.45）式左乘即得（2.43）式，（2.43）式再左乘加到（2.46）式上便得（2.44）式。 的系数向量，将隐去增广G-J方程组中的变量和其余数据列成表（2.51）的单纯形表。若称为关于基是最优基，则称为最优表。单纯形表是增广G-J方程组的简单表示。表称为线性规划的准备表。类似前面的推导，由准备表容易导出单纯形表 至此，含有标准基的线性规划问题的求解彻底解决。归纳见（3）。例2.7 求解例2.5中的线性规划。P64-55（3）典范线性规划的解法考虑典范线性规划是标准容许基。 典范线性规划含有标准容许基，它的准备表既是单纯形表，因此单纯形法可以直接启动。 算法2.1（单纯形法） P65单纯形法本质上是求解典范线性规划的算法。 定理2.13 在使用单纯形法（算法2.1）求解典范线性规划时，若各次迭代出的基本容许解皆是非退化的，则算法在有限步终止。 推论2.14 典范线性规划或者存在最优基本容许解，或者解无界。对于如下形式的线性规划将其化为典范形式其中。先引入非负变量然后就可以启动单纯形法。例2.8 求解线性规划 P663. 初始基本容许解的产生对于标准线性规划（2.54）引入个人工变量，求解辅助线性规划——一个典范线性规划 （2.55） 其中。 显然（2.55）不可能无解。，显然。设最优表设（2.55）的最优值为对应的G-J方程组为（2.56）注意：等价。与若，则（2.54）无解； （2.54）与（2.55）的关系： 若，则由（2.56）可得到（2.54）的一个初始基本容许解。 以下讨论在下进行。分两种情形： （1）在最优表中人工变量已全部退出基变量（表现为中不存在基向量）。 这时，与等价的中有了标准基， 即表明（2.54）有了初始基本容许解，这时可以开始求解（2.54）（见下面的4.（1））。（2）在最优表中至少还有一个人工变量是基变量（表现为中有基向量）。 个人工变量仍是基变量，那么它的取值为 假设第。因为，所以。考虑（2.56）的第个方程（2.58）以下分两种情形：，则（2.58）