半正定値計画問題

半正定値計画問題 (semidefinite programming) とは半正定値行列全体によって作られる凸錐体上での凸最適化問題 (convex optimization) の一つである．
半正定値計画問題は近年いくつかの理由で成長している最適化の一分野である．その理由として多くの実用例が考えられることがあげられるが，特にオペレーションズ・リサーチや組み合わせ最適化などの分野で広く研究が行われている．自動制御理論の分野では半正定値計画問題が線形不等式制約のもとで行われることが多い．半正定値計画問題は，凸錐体上の凸最適化問題の一種であり，内点法などにより効率よく解を与えることが可能であることも，応用が期待される一要因となっている．また半正定値計画問題の階層化により多項式最適化問題が近似的に解けるほか，複雑系の最適化にも応用が可能である．
定義.
線形計画問題はある空間上で多面体に含まれるような実数の組に対して，線形の目的関数を最小化・最大化する問題である．ここで，多面体というのは，より厳密には凸集合であるということを指す．一方で，半正定値計画問題においては，ベクトルの内積を最適化する．特に，一般的な半正定値最適化問題は，数理計画問題の形式として，以下のように定義される (ただし，formula_1は内積を表す)．
さらに，この問題は半正定値行列の作る凸錐体上の問題として書き直すことができる．大きさがformula_3の行列formula_4がformula_5本のベクトルformula_6を用いてformula_7で表されるとき，行列formula_4をグラム行列といい，この行列は半正定値となることが知られている．
ここで，formula_9を実対称行列全体の空間とする．この空間では内積を
formula_10
(ただし，trは行列の跡を表す) と定義することができて，これを用いると，前述のベクトルを用いた半正定値計画問題が次の形で書き直せる．
ただし，formula_12とは行列formula_13が半正定値行列であることを表す．この式においてformula_14はformula_15を，formula_16はformula_3の行列でformula_18を成分に持つ．
双対性.
双対問題の定義.
線型計画問題と同様，半正定値計画問題も双対問題を考えることが可能で，
という半正定値計画問題の双対問題は
という形で与えられる．なお大きさが等しい2つの正方行列formula_21に対して，formula_22とは，formula_23と同義である．
弱双対性.
弱双対定理とは，半正定値計画問題の主問題と双対問題の許容解の関係を表す定理であり，主問題の許容解が双対問題の上界となり，双対問題の許容解が主問題の下界となるというものである．
これは，次の式により示される．
最後の不等式が成立するのは，行列の内積を取っている2つの行列が，どちらも半正定値行列であるためである．
強双対性.
スレーター条件と呼ばれる条件の下では，主問題と双対問題の最適解が一致することが知られている．これを強双対性という．線形計画問題と違い，半正定値問題は，すべての問題が強双対性を満たすわけではなく，一般には双対問題の最適解は主問題の最適解よりも小さい．強双対性は次の2つの性質により言い表される．
この2つの性質から，主問題と双対問題の両方が最適解を持ち，それらが一致することが言える．