第二章节 线性规划-单纯形方法.pptVIP

研究生课程《工程数学》之“最优化方法”;第二节 单纯形法 ; 考虑到如下线性规划问题 其中Ａ一个m×n矩阵，且秩为m，b总可以被调整为一个m维非负列向量，Ｃ为n维行向量，Ｘ为n维列向量。 根据线性规划基本定理： 如果可行域Ｄ={ Ｘ∈Ｒn / ＡＸ=ｂ，Ｘ≥0}非空有界， 则Ｄ上的最优目标函数值Ｚ=ＣＸ一定可以在Ｄ的一个顶点上达到。 这个重要的定理启发了丹齐格(G. B Dantzig)的单纯形法， 即将寻优的目标集中在D的各个顶点上。; 　Dantzig的单纯形法把寻优的目标集中在所有基本可行解（即可行域顶点）中。 　　　　其基本思路是从一个初始的基本可行解出发，寻找一条达到最优基本可行解的最佳途径。 单纯形法的一般步骤如下： （1）寻找一个初始的基本可行解; （2）检查现行的基本可行解是否最优可行解; （3）如果不是最优可行解，如何改善现行的基本可行解——进行基变换，得到下一个基本可行解。 ; 确定初始的基本可行解 ;所以约束方程 　 就可以表示为; 问题： 要判断m个系数列向量是否恰好构成一个基并不是一件容易的事。 基由系数矩阵Ａ中m个线性无关的系数列向量构成。 但是要判断m个系数列向量是否线性无关并非易事。 即使系数矩阵Ａ中找到了一个可行基B，也不能保证该基恰好是可行基。 因为不能保证基变量ＸB=Ｂ-1b≥0。 为了求得基本可行解 ，必须求可行基Ｂ的逆阵Ｂ-1。 但是求逆阵Ｂ-1也是一件麻烦的事。 结论：在线性规划标准化过程中设法得到一个m阶单位矩阵I作为初始可行基Ｂ，;若在化标准形式前，约束方程中有“≥”不等式， 那么在化标准形时除了在方程式左端减去剩余变量使不等式变 成等式以外，还必须在左端再加上一个非负新变量，称为 人工变量． 若在化标准形式前，约束方程中有等式方程，那么可以直接在 等式左端添加人工变量。;判断现行的基本可行解是否最优 ; 其中　　　　　　　　 称为非基变量ＸN的检验向量，它的各个分量称为检验数。若σN的每一个检验数均小于等于0，即σN≤0，那么现在的基本可行解就是最优解，此结论针对目标函数最大化问题。 ? 若针对目标函数最小化问题，则σN ≥ 0 。;定理1：最优解判别定理 对于线性规划问题　　　　　　　　　　　　　　　　 若某个基本可行解所对应的检验向量　　　　　　　　　　， 　则这个基本可行解就是最优解。 ; 基本可行解的改进 ; 换入变量和换出变量的确定：; 换出变量的确定— 最小比值原则 如果确定　　为换入变量，方程 　　　　　　　　　　　 　其中　　为Ａ中与　　　对应的系数列向量。 　现在需在　　　 　　　　中确定一个基变量为换出变量。 当　　由零慢慢增加到某个值时， 的非负性可能被打破。 为保持解的可行性，可以按最小比值原则确定换出变量： 若; 定理3：无(有界)最优解判别定理 若 　 是一个基本可行解，有一个检验数　　 　　， 　但是　　　　　，则该线性规划问题无(有界)最优解。 ; 用初等变换求改进了的基本可行解 ;　且改进了的基本可行解　只是在Ｘ的基变量的基础上用一个换入变量替代其中一个换出变量，其它的基变量仍然保持不变。这些基变量的系数列向量是单位矩阵I中的单位向量。为了求得改进的基本可行解 　，只需对增广矩阵 施行初等行变换，将换入变量的系数列向量变换成换出变量所对应的单位向量即可。;例1;(2) 检验 　　　　　　　　　 是否最优。 检验向量 　 因为σ1=3，σ3=4 均大于零， 　所以　　　　　　　　　不是最优解。;（3）基本可行解　　　　　　　　　的改进 ①??? 选取换入变量 　　因为max{3，4}=4，取x3为换入变量。 ②??? 选取换出变量 　 且 ， 选取x4为换出变量.;（4）求改进了的基本可行解 对约束方程组的增广矩阵施以初等行变换，使换入变量x3所对应的系数列向量 变换成换出变量x4所对应的单位向量 , 注意保持基变量x5的系数列向量 为单位向量不变。 ;—————————————————————————— 可得改进的基本可行解。 　　　　　　　　　，基变量 　　，　　　非基变量 　　　　　。 　　　　　　　　　　　 　　　　　　　　　　　　　　　基本可行解 　　　　　　 目标