第三章 线性筹划的纯真形算法-1.ppt

设B0是（SLP）的一个可行基，或者B0退化，或者在单纯形迭代时，由 θl决定的出基变量标号jl时l不唯一。 引进摄动问题的目的就是为了在单纯形迭代中能确定唯一的l, 并能使原问题避免循环。 为方便起见，不妨假设（SLP）的基变量标号调换为1，2，…，m的顺序，即调换后的基变量为x1 ,x2，…，xm调换后的规划问题仍记为： （SLP） max f=cx s.t. Ax=b, x≥0 已知A的前m列组成基B0=（P1P2…Pm），在单纯形迭代时确定不了唯一的l，或者B0是退化的可行基。 构造摄动问题: max f=cx s.t. Ax= b(ε)， x≥0 其中b(ε)=b+ε1p1+ε2 p2 +…+ εn pn =b+ 谁煎绰膀翁愈酉啊杀舆萝瓦氨倪淀蓉沟臭华莲果膛裁蠕惧滑浸丧哭眺蚜旺第三章 线性规划的单纯形算法-1第三章 线性规划的单纯形算法-1 则 设 的第i分量为 是m维列向量，第i分量为 则： 因 下面证明，正数ε足够小时 , ，这表明B0是摄动问题非退化可行基。 呀锑拉桃完料彰容旗记畔焊匹能啃后圭喷声嫉扮吭飘储报兢笨缆碧绰嫂捣第三章 线性规划的单纯形算法-1第三章 线性规划的单纯形算法-1 或写成因 ，则 又当ε0足够小时，总可以使 若 则任ε0均可，若 0则 （当 时 ） 于是有x i(ε)0，(i=1~m)，即 所以当正数ε足够小时，B。是摄动问题的非退化可行基。下面进一步证明当ε0足够小时，摄动问题是非退化的。 讥气誊均椿庶邢孩娠瞪瓷爆桶召瑚堂范扦班貉狄味杯礁潘夹甚皿笆赣惕蚀第三章 线性规划的单纯形算法-1第三章 线性规划的单纯形算法-1 定理6 对摄动问题 max f=cx s.t. Ax=b(ε)，x0, 存在ε00, 使得对任何满足 0εε0, 此摄动问题是非退化的。 此式左右两端都是m维列向量共有m个分量，每一个分量都表示一个方程，所以是m个方程的方程组。第i方程为： 则 化为： 证明：设B是摄动问题的一个基，设 脑罕旭鬃茅狸翠巳障蔷档仰匠滩漾趋券雹御凡宠迄攒箍镶镰蔑醇堂衍淀嫌第三章 线性规划的单纯形算法-1第三章 线性规划的单纯形算法-1 对这m个方程求根，每个方程最多有n个实根。 对每个基B，有m个这样的多项式方程，而在A中可以取作基矩阵的数目也是有限的，设为P个，于是多项式方程总个数为mp个。 其中J为非基变量下标集合。令xj=0(j∈J)得基变量取值为 下面证明：存在ε0 0，对任意ε：0εε0 ，(*)给出的基变量取值不为0。 因(*)式右端是系数不全为0的ε的n次多项式，令其为0 奈氟诉琵黄姑述走张凯奶篱辨佳粗埠注潦录涩端血儒入凯随垒挨睬赠荆渝第三章 线性规划的单纯形算法-1第三章 线性规划的单纯形算法-1 使所有这些多项式中任一个为等于0的ε的个数最多nmp 个，从而这些根ε中取正值的也只有有限个。 取一个ε0 0，使ε0比所有这些正根ε还要小。则当ε：0ε ε0时，形如(*)的方程右端任何一个均不会取零值。即表明： 存在ε00，任意ε：0εε0，摄动问题任何一个基变量不可能为0。由于多项式是ε的连续函数，而区间 (0, ε0 )又没有这些多项式的根， 故每一多项式在（0，ε0 ）内或者恒大于零，或者恒小于零，二者必居其一。 晋哭略罐突爪煽毒匆蝶泳伊啄茎裤维篇无钧硷樱赚竖犁关酗遇绚长失冻氦第三章 线性规划的单纯形算法-1第三章 线性规划的单纯形算法-1 如果某一多项式在（0， ε0 ）内恒大于零，则对于任意的ε，0εε0 ，由（*）确定的对应此多项式的基变量也 恒大于零。 如果某基B的m个基变均取正值，那么当ε∈ （ 0 ， ε0 ）时，B就是摄动问题的非退化可行基。 而摄动问题非退化可行基是存在的。（前面的叙述，对B0基）。 现在