改訂単体法

改訂単体法（かいていたんたいほう、改訂シンプレックス法、Revised simplex method）とは、数理最適化において、ジョージ・ダンツィーグによって考案された線形計画問題に対する単体法に工夫を施した解法である。
改訂単体法は（シンプレックス表を用いた）単体法と同様の手順で実行可能基底解と呼ばれる線形計画問題の最適解となり得る解を求めていくが、実行可能基底解の生成方法が異なっている。基底変数の組み合わせを表現する辞書（基底形式表現）を表したシンプレックス表を用いる代わりに、基底変数に対応する制約式の係数を要素とする行列を生成していく。線形計画問題を行列形式として表現することで行列の疎な構造を利用して効率良く解くことができるloc=§2。

**定式化**
これ以降では、線形計画問題が下記のような標準形として与えられているものとして説明を行う。

ただし A ∈ ℝm×n は制約行列であり、x ≥ 0 の下で  を満たすような解が少なくとも一つ存在し、A が行フルランクであると仮定する。もし、A がフルランクでない場合は、制約条件に冗長な制約式が存在するか、実行不可能な制約が含まれている。A がこのような場合であったとしても、前処理の段階で対処することができる。

**アルゴリズム**

**最適性の条件**
線形計画問題では、KKT条件を満たす解が最適解となるための必要十分条件となる。線形計画問題に対するKKT条件は以下の通りである: 

ただし λ および s は、それぞれ 、x ≥ 0 に対応するラグランジュ乗数（KKT乗数）であるloc=Eq. 13.4。また最下段の条件  は、,  と等価な条件である。この条件は一般的に相補性条件（相補スラック条件）と呼ばれる。
から、実行可能多面体の頂点 x は、行列 A の列から選ばれた基底 B によって導かれる。Aが行フルランクであるとき、B は正則である。そして、A は一般性を失うことなく  と分割できたと仮定すると、x は

と表される。ただし、xB ≥ 0 である。また c および s はそれぞれ

のように分割される。xB ≥ 0 であることから相補性条件より  を満たさなければならない。このことから、最適性の条件は

と書き直される。これらの条件の下で

ここで sN ≥ 0 を満たしていれば、x は最適性の条件であるKKT条件を満たし、最適解であるといえる。

**ピボット操作**
もし現在の解がKKT条件を満たしていない場合には、非基底変数の中で sN N を制約条件（主実行可能性）が満たされるように基底変数と入れ替えるピボット操作を行う。退化していない場合は、ピボット操作によって目的関数値 cTx は厳密に減少する。したがって、線形計画問題が非退化仮定などの仮定の下では、制約条件が表す多面体の頂点が有限個であることから、改訂単体法はピボット操作の反復により最適解の頂点に到達するloc=Theorem 13.4。
を満たし、sq q が基底に移動され、xq は 0 から増大される。このときの目的関数値の単位増加量は以下の通りである。

すなわち、xq を 1 増加させると、目的関数値 cTx は −sq 増加するloc=Eq. 13.24。また、

であることから、xB は、 によって対応するように減少させる必要があり、これは変数の非負条件から xB − ΔxB ≥ 0 を満たさなければならない。ここで、 とおく。
もし d ≤ 0 ならば xq をどれだけ増加させても xB − ΔxB ≥ 0 は非負のままである。この場合、cTx は任意に減少可能であることから、与えられた線形計画問題の実行可能領域は非有界である（最適解をもたない）。
そうでない場合は、基底から出る変数の添字として
を選択する。この選択により、xq を 0 から増加させながら、制約条件（主実行可能性）を満たしつつ Ap を 0 まで減少させることができる。結果としてピボット操作後の基底は Aq から Ap に置き換わる。

**具体例**
下記の線形計画問題

が与えられたときに改訂単体法により最適解を求める。基底行列・非基底行列を

としたとき、初期実行可能基底解は  であり、λ、SN は

と求まる。
を基底に入る変数の添字として選択する。すると、 となり、これは x3 を 1 単位増加させると x4 と x5 がそれぞれ 1 と 3 減少することを意味する。したがって、x3 を 5 まで増加させると、その時点で x5 が 0 まで減少し、 が基底から出る変数の添字となる。
ピボット操作後では

となり、

が求まる。このとき sN が非負であることから、x は最適性の条件（KKT条件）を満たし、最適解 x が求まった。

**実用上で起こり得る問題点**

**退化**
改訂単体法は単体法と同様に最適解を求めるため、入力の  A , b ,  c  によってはピボット操作を行ったときに目的関数値 cTx を改善することができない退化やピボット操作に求まる辞書が退化により何度も同一のものが表れる巡回現象が生じ得る。巡回が発生する場合では、 b  の各成分に互いに異なる微小な値 ε を加える辞書式摂動法やBlandの最小添字規則に従ったピボット操作を行うことで巡回を防止し、有限回のピボット操作で最適解を求めることができるloc=§13.5。

**基底表現**
改訂単体法において、基底Bが2種類の方程式系を満たすものとする。

通常は B を反復ごとに因子分解するのではなく、LU分解された行列が直接更新される。その戦略として、Forrest−Tomlin 法や Bartels−Golub 法などが挙げられる。しかし、行列の更新にかかるデータの量や数値誤差がピボット操作を繰り返すごとに蓄積されるため、定期的な因子分解が必要となるloc=§2。

**脚注**

**注釈**

**出典**

**参考文献**
 ref=harv - cite thesis |last=Morgan |first=S. S. |degree=MSc |title=A Comparison of Simplex Method Algorithms |publisher=フロリダ大学 |year=1997 |url=http://www.cise.ufl.edu/research/sparse/Morgan/index.htm |archive-url=https://web.archive.org/web/20110807134509/http://www.cise.ufl.edu/research/sparse/Morgan/index.htm |archive-date=7 August 2011 - cite book |last1=Nocedal |first1=J.|last2=Wright |first2=S. J. |editor1-last=Mikosch |editor1-first=T. V. |editor2-last=Resnick |editor2-first=S. I. |editor3-last=Robinson |editor3-first=S. M. |title=Numerical Optimization |edition=2nd |year=2006 |series=Springer Series in Operations Research and Financial Engineering |publisher=Springer |location=New York, NY, USA |isbn=978-0-387-30303-1 |url=https://www.springer.com/mathematics/book/978-0-387-30303-1 |ref=harv