最適化オンライン・ソルバー 2010

最適化オンライン・ソルバーの科研プロジェクトも最終年度（３年目）なので、プロジェクトとしてのオンライン・ソルバー最終形を模索している。

当初の予定では半正定値計画問題の他に

1: 制約充足問題
2: 切出し、詰込み問題
3: 一般化割当て問題

などの登録を予定していたが、最終的には以下の最適化ソフトウェアを登録する予定である。



1: 半正定値計画問題(SDPA, SDPARA, SDPARA-C)
2: 最短路問題
3: 制約整数計画問題(Constraint Integer Programs : CIP)

1 では最新バージョンのソフトウェアへの更新と計算機環境の強化を行う。2 については特にインターフェイス部分が改良される。新規に登録される 3 では、SCIP あるいは並列化 SCIP がインストールされることになるので、特に前者は単に混合整数計画問題だけでなく様々な制約を持った最適化問題に対応できる。当初は最適化ソフトウェアが多い方が良いと思っていたが、管理の手間等を考慮して需要がほとんど見込めない問題は省略あるいは SCIP 等に統合する。上記のソフトウェアに関しては原則的にオープンソースで性能が非常に高いことが作成者あるいは第三者によって確認されている。