ファルカスの補題、弱双対定理、強双対定理
線形計画法による最適化で特に重要な概念が、ファルカスの補題、弱双対定理、強双対定理である。これらにより、主問題とその双対問題を解くことの関係性が示される。
以下、これらの定理をまとめる。
・ファルカスの補題(Farkas' lemma)
行列とベクトルが与えられる。この時、次のいずれか一方の条件のみが成り立つ。
(1) を満たす解が存在する。
(2) を満たす解が存在する。
このように二律背反な関係にある形の定理を、一般に二者択一定理と呼ぶ。なお、上記を必要十分条件の形式の主張に言い換えると、下記のようになる。
(1') を満たす解が存在する。
と、
(2') ならば、が成り立つ。
は等価である。
ファルカスの補題には色々証明方法があり、後述する弱双対定理を用いて示すこともできる(おいおい記載する)。
・主問題と双対問題
弱双対定理をステートする前に、線形計画問題における主問題と双対問題をまとめておく。以下、とし、かつの全ての行ベクトルが一次独立であるとする。
主問題は、
双対問題は、
とする。
・弱双対定理
がそれぞれ主問題と双対問題の実行可能解ならば、下記が成り立つ。
これより、以下の系も成り立つ。
弱双対定理の証明は、各制約条件を組み合わせれば容易に示すことができる。
・強双対定理
主問題に最適解が存在すれば、双対問題にも最適解が存在し、
とが成り立つ。
つまり、主問題に最適解が存在すれば、主問題と双対問題が実質的に等価になることを示している。強双対定理には複数のステートメントが存在し、例えば「主問題と双対問題に実行可能解が存在する」場合にもこの同値な関係が成り立つ。
強双対定理により、主問題の次元が制約条件数よりも十分小さい場合には、双対問題の方が次元が小さく解きやすくなるためこちらを解く方が楽になる。
この定理はファルカスの補題を用いて証明することができる(おいおい記載)。
以上の記述は下記の参考書を参考にした。