现代科技综述知识文库：线性规划的单纯形方法.pdf

现代科技综述系列—— 线线性性规规划划的的单单纯纯形形方方 法法 科技是人类区别于动物的重要文明之一， 是人类对自然规律研究 利用的学科。 本文提供对科技基本概念 “线性规划的单纯形方法” 的解读，以供大家了解。 线线性性规规划划的的单单纯纯形形方方 法法 单纯形方法是计算线性函数在凸多面体集合S上极值点 的算法。 其中S= ｛x ｜Ax=bx≥0 ，x ∈Rn ｝，A b分别是给定 mxn短阵 m维向量。 它首先是寻找S的一个顶点(基本可行解)或确定S是空 集。 然后从S的一个顶点按某种规则沿棱搜索至另一顶点， 产生目标函数值为单调的路径，使其终止于极值点， 或是终止一顶点，它是使目标函数值为无界的极射线 的端点。 单纯形方法是求解线性规划问题 研究凸多面体几何 的有效工具，也是研究科学决策的重要手段。 它被广泛应用于工业、军事、经济计划、交通、能 源、资源分配、城市规划 科学管理等方面。 也是运筹学、管理科学、数值最优化 计算机科学等 学科的重要组成部分，对它们的发展也有重要的影 响。 1947年丹特齐格(G ．B ．Dantzig)设计求解线性规划的 单纯形方法。 实际上先前的许多数学家 经济学家在凸多面体几 何、代数、最优化 经济模型等方面研究了类似的问 题 求解方法。 1826年傅立叶( ．B ． ．Fourier)在研究超定线性方程 组的无穷模极小值时，应用从凸多面体一个顶点至另 一顶点的下降法已蕴含着单纯形方法的主要思想，也 是最早涉及的线性规划问题。 1894年福尔卡什(Gy ．Farkas)论述齐次线性不等式组解 的存在性条件中已孕育着线性规划的对偶原则。 1939年康托洛维奇(L ．V ．Kantorovich)在研究生产组 织 计划中的数学方法时已应用了对偶单纯形方法。 希契科克(F．L ．Hichcock) 库普曼斯(Tj ．C ． Koopmans)也分别于194 1年、1948年在对运输问题静态 模型的研究中应用单纯形方法的原则。 1947年冯·纽曼(Von Neumann)研究经济增长模型时指 出Max ｛cx ｜x≥0 ，Ax≤b ｝ 不等式组x≥0 ，Ax≤b ， yA≥c，y≥0 ，cx≥yb之间的等价性。 这就是195 1年由盖尔(D ．Gale)、库恩(H ．W ．Kuhn) 塔克(A ．W ．Tucker)严格证明的线性规划对偶定 理。 它不仅是单纯形方法的理论基础，也对线性 非线性 规划的发展产生深刻的影响。 1953年丹特齐格 奥查德－海斯(W ．Orchard-Hays)设 计修正单纯形法。 1954年莱姆基(C ．E ．Lemke) 比尔(E ．M ．L ．Beale) 独立提出对偶单纯形法。 1956年丹特齐格、福特(L ．R ．Ford) 富尔科森(D ． R ．Fulkerson)推出原始对偶单纯形方法。 在数值计算方面，单纯形方法主要是研究进出基变量 的转轴规则、基矩阵逆的计算及其数值稳定性 算法 的有效性等。 它与计算机、稀疏矩阵计算的发展密切相关。 转轴规则的研究包含退化 非退化。 1952年查尼斯(A ．Charnes)、丹特齐格 他的学生在研 究退化问题中独立应用不同的扰动规则，并以字典序 方法证明其迭代有限终止。 1977年布兰德(R ．G ．Bland)用组合规则从最小下标中 选取进出基变量方法，避免无限循环。 图纶、对偶方法也被应用于研究退化问题。 对非退化问题，1977年戈德法布(D ．Goldfarb)