最終更新: 2016/12/25
その他の機能
柏木 雅英
1. Durand Kerner Aberth法
構成ファイル: dka.hpp, test-dka.cc
複素係数のn次多項式について、Durand Kerner Aberth法で全ての近似解を求める
関数dkaと、dkaで近似解を求めた後Smithの方法で誤差範囲を計算し精度保証された
解を返す関数vdkaがある。
2. 固有値
構成ファイル: eig.hpp, test-eig.cc
非対称実行列の固有値と固有ベクトルを(近似的に)計算するeig関数と、
非対称実行列の固有値を精度保証付きで計算するveig関数がある。
高安 亮紀氏の提供による。
3. 大域最適化
n変数関数の与えられた超直方体領域(区間ベクトル)での最大化、最小化、
最大値、最小値を求める。
詳細はこちら。
4. KKT方程式
kkt.hppは、
目的関数、不等式制約、等式制約からなるいわゆる非線形最適化問題に対して、
それをKKT方程式と呼ばれる非線形方程式に直す。
詳細は KKT方程式(2015/11/6版) を見て欲しい。
test-kkt.ccでは、上の資料で扱っている例題を、
- KKT方程式を手動で作成
- KKT方程式を目的関数、不等式制約、等式制約から自動生成
の2通りで解いている。