線形計画法における弱双対性定理の証明
📂最適化理論線形計画法における弱双対性定理の証明
定理
Maximizesubject toj=1∑ncjxjj=1∑naijxj≤bixj≥0(Primal)i=1,⋯,mj=1,⋯,n
Minimizesubject toi=1∑mbiyii=1∑myiaij≥cjyi≥0(Dual)j=1,⋯,ni=1,⋯,m
与えられた線形計画問題のプライマル問題とデュアル問題が上のように表されるとしよう。もし(x1,⋯,xn)がプライマル問題の実行可能解で、(y1,⋯,ym)がデュアル問題の実行可能解ならば、以下の不等式が成立する。
j=1∑ncjxj≤i=1∑mbiyi
説明
弱い双対性定理は、簡単に言えば、上の図のようにプライマル問題とデュアル問題の目的関数値が逆転しないことを保証するものである。
証明
j∑cjxj≤===≤j∑(i∑yiaij)xji,j∑yiaijxji,j∑xjaijyii∑(j∑aijxj)yii∑biyi∵Dual Constraint∵Primal Constraint
■
参照
最適化を専門にするのではなく、一科目として学ぶなら、シンプレックス法と双対性のこの二つを学べば、線形計画法の全てを学んだことになる。もちろん、その二つだけと言っても、そのコースが簡単だというわけではない。
シンプレックス法が具体的なその方法について論じるのに対して、双対性はプライマル問題に対してデュアル問題が存在し、その最適解が互いに等しいという、かなり理論的な―純粋数学的な議論である。これは、次の双対性定理で保証される。
j=1∑ncjxj∗≤i=1∑mbiyi∗
j=1∑ncjxj∗=i=1∑mbiyi∗