内点法(ないてんほう、英: internal point method)とは、連続最適化問題のアルゴリズムであり、カーマーカー法に触発されて生まれた多くの手法の総称である。実行可能領域の内部を経由して、最適解に収束するのが特徴である。また、大規模問題に対しては計算効率が良い点や非線型問題にも対応できる点で、シンプレックス法よりも優れているといえる。内点法は、点列を生成する方法によって、アフィン変換法、ポテンシャル減少法、パス追跡法などに分類される。また、扱う問題によっては、与えられた問題を直接扱う方法(主内点法、英: primal interior point method)、その双対問題を扱う方法(双対内点法、英: dual interior point method)、主問題と双対問題を同時に解く方法(主双対内点法、英: primal-dual interior point method)に分けられる。
主双対内点法による非線型最適化[編集]
主双対内点法のアイディアは単純で、制約付き非線型最適化問題にも応用が可能である。ここでは単純のために制約式が全て不等式で与えられる非線型最適化問題について考える。
- 最小化:
![{\displaystyle f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/202945cce41ecebb6f643f31d119c514bec7a074)
- 条件:
![{\displaystyle c(x)\geq 0,x\in \mathbb {R} ^{n},c(x)\in \mathbb {R} ^{m}~~~~(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f160ffa38e6647d7ad433bb2f63b50b79389bbda)
この最適化問題の対数バリア関数は次のようになる。
![{\displaystyle B(x,\mu )=f(x)-\mu \sum _{i=1}^{m}\ln(c_{i}(x))~~~~(2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fa31bc4a5f54c44e5fd58e7ea76c9f1ccf6bcb6)
ここで
は正のスカラーで、時に「バリア・パラメータ」とも呼ばれる。この
が0に収束していくと、
が最適解に収束していく。
前述のバリア関数の勾配は
![{\displaystyle g_{b}=g-\mu \sum _{i=1}^{m}{\frac {1}{c_{i}(x)}}\nabla c_{i}(x)~~~~(3)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2caf146e2b580ef0a06a54c6258a2a4fd99bf3c9)
となる。ただし、
は元の関数
の勾配であり、
は
の勾配を表す。
主値
に加えて、双対値
をラグランジュ乗数として導入する。
![{\displaystyle \forall i=1,\ldots ,m,c_{i}(x)\lambda _{i}=\mu ~~~~(4)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cad86e1033b00643fcf6e2e6faea9108c64f473b)
この条件は時に摂動相補性条件とも呼ばれる。式(4)を式(3)に適用することにより以下を得る。
![{\displaystyle g-A^{T}\lambda =0~~~~(5)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/039e25e9f256478ea47bd03f85f908a65735f99d)
ただし、行列
は制約
のヤコビ行列である。
式(5)が表しているのは関数
の勾配が制約式の勾配により張られる部分空間の中に存在するということである。このとき小さな
による摂動相補性条件は、最適解が
の境界付近に存在するか、もしくは制約
の勾配
がほとんど0であるということを表している。
式(4)および式(5)に対してニュートン法を用いて
を更新していくことを考えると、その更新幅
は次の線型方程式の解として与えられる。
![{\displaystyle {\begin{pmatrix}W&-A^{T}\\\Lambda A&C\end{pmatrix}}{\begin{pmatrix}p_{x}\\p_{\lambda }\end{pmatrix}}={\begin{pmatrix}-g+A^{T}\lambda \\\mu 1-C\lambda \end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7c005ccb6897bfc6b4057b601a0c470dbe34416)
ただし行列
は関数
のヘッセ行列であり、対角行列
は
を対角成分に持つ。また、
は
なる対角行列である。
式(1), (4), および
から
![{\displaystyle \lambda \geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c26004859ae51dde7800b3f3a960c73f81cd583)
がそれぞれのステップに課される。この条件を保つために、適切なステップ更新幅
を選び、
![{\displaystyle (x,\lambda )\rightarrow (x+\alpha p_{x},\lambda +\alpha p_{\lambda })}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98e461ba08ff23d5fc9fe2ae1bf454a1ad70277d)
とすることで、最適解に向かって収束していく。
参考文献[編集]