运筹学线性解读.ppt

若在化标准形式前，约束方程中有“≥”不等式， 那么在化标准型时除了在方程式左端减去剩余变量使不等式变 成等式以外，还必须在左端再加上一个非负新变量，称为 人工变量． 若在化标准形式前，约束方程中有等式方程，那么可以直接在 等式左端添加人工变量。 　　为了设法得到一个m阶单位矩阵I作为初始可行基Ｂ，可在线性规 划标准化过程中作如下处理： 若在化标准型前，m个约束方程都是“≤”的形式， 　那么在化标准型时只需在一个约束不等式左端都加上一个松弛变 　量xn+i (i=1,2,…,m)。 * * 判断现行的基本可行解是否最优 　　假如已求得一个基本可行解 将这一基本可行解代入目标函数，可求得相应的目标函数值 　 其中 　　　　　　　　　　　　　　　　　分别表示基变量和非基变量所对应的价值系数子向量。 * * 　 　要判定　 　　　　　是否已经达到最大值，只需将 　　　　　　　　　　 代入目标函数，使目标函数用非基变量表示， 即：　　 　 其中 　　　　　　　　 称为非基变量ＸN的检验向量，它的各个分量称为检验数。若σN的每一个检验数均小于等于0，即σN≤0，那么现在的基本可行解就是最优解。 * * 定理1 最优解判别定理 对于线性规划问题　　　　　　　　　　　　　　　　 若某个基本可行解所对应的检验向量　　　　　　　　　　， 　 则这个基本可行解就是最优解。 定理2 无穷多最优解判别定理 　 　　若　　　　　是一个基本可行解，所对应的检验向量 　　　　　　　　　　　，其中存在一个检验数σm+k=0， 　　则线性规划问题有无穷多最优解。 * * p24 基本可行解的改进 如果现行的基本可行解Ｘ不是最优解，即在检验向量 　　　 中存在正的检验数，则需在原基本可行解Ｘ的基础上寻找一个新的基本可行解，并使目标函数值有所改善。具体做法是： 先从检验数为正的非基变量中确定一个换入变量，使它从非基变量变成基变量（将它的值从零增至正值）， 再从原来的基变量中确定一个换出变量，使它从基变量变成非基变量（将它的值从正值减至零）。 由此可得一个新的基本可行解，由 可知，这样的变换一定能使目标函数值有所增加。 * * 假设检验向量 　　　　　　　　　　　　　　　　， 若其中有两个以上的检验数为正，那么为了使目标函数值增加得快些，通常要用“最大增加原则”，即选取最大正检验数所对应的非基变量为换入变量，即若 　 则选取对应的 　　 为换入变量， 由于 　　　　且为最大， 因此当　　　由零增至正值， 可使目标函数值 最大限度的增加。 换入变量和换出变量的确定： 换入变量的确定——最大增加原则 * * 换出变量的确定——最小比值原则 如果确定 　　为换入变量，方程 　　　　　　　　　　　 　其中 　　为Ａ中与　　　对应的系数列向量。 　现在需在 　　　 　　　　中确定一个基变量为换出变量。 当 　　由零慢慢增加到某个值时， 的非负性可能被打破。 为保持解的可行性，可以按最小比值原则确定换出变量： 则选取对应的基变量 　为换出变量。 * * 若 假设Ｂ是线性规划 　　　　　　　　　　 的可行基，则 令非基变量　　　，则基变量　　　　　。　 可得基本可行解 　 。 用初等变换求改进了的基本可行解 　用逆阵　　左乘约束方程组的两端，等价于对方程组施以一系列的初等“行变换”。变换的结果是将系数矩阵Ａ中的可行基Ｂ变换成单位矩阵I，把非基变量系数列向量构成的矩阵Ｎ变换成　　　，把资源向量b变换成　　　。 * * 　 且改进了的基本可行解 　只是在Ｘ的基变量的基础上用一个换入变量替代其中一个换出变量，其他的基变量仍然保持不变。这些基变量的系数列向量是单位矩阵I中的单位向量。为了求得改进的基本可行解 　，只需对增广矩阵 施行初等行变换，将换入变量的系数列向量变换成换出变量所对应的单位向量即可。 　 由于行初等变换后的方程组　　　　　　　　　　　 与原约束方程组　　　 或　　　　　　　　　　同解 * * * * * * * * * * * * * * * * * * * * * * * * 运 筹 学 Operations Re