FICOエクスプレス

FICO Xpressオプティマイザ は、線形計画法（LP）、混合整数線形計画法（MILP）、凸二次計画法（QP）、凸二次制約二次計画法（QCQP）、二次円錐計画法（SOCP）、およびそれらの混合整数版のための商用最適化ソルバーです。^[2] Xpressには、汎用非線形ソルバーであるXpress NonLinear（逐次線形計画法アルゴリズム（SLP、一次法）を含む）とArtelys Knitro（二次法）が含まれています。

Xpress はもともと Dash Optimization によって開発され、2008 年にFICOに買収されました。 ^[3] 最初の作者は Bob Daniel と Robert Ashford でした。Xpress の最初のバージョンでは LP しか解けませんでしたが、1986 年に MIP のサポートが追加されました。1983 年にリリースされた Xpress は、PCで動作する最初の商用 LP および MIP ソルバーでした。^[4] 1992 年には、並列コンピューティング用の Xpress バージョンが公開され、5 年後には分散コンピューティングに拡張されました。^[5] Xpress は、2010 年に 64 ビット インデックスを導入することで、10 億の非ゼロ行列しきい値を超えた最初の MIP ソルバーでした。^{[6] 2014 年以降、Xpress は並列デュアル}シンプレックス法 の最初の商用実装を備えています。^[2]

線形計画法と二次計画法は、主単体法、双対単体法、またはバリア内点法で解くことができます。混合整数計画法のすべての変種は、分岐限定法と切断面法の組み合わせで解くことができます。実行不可能な問題は、IIS（既約実行不可能サブセット）法で分析できます。Xpressには、制御設定の自動調整用の組み込みチューナーが用意されています。 ^[1] Xpressにはモデリング言語Xpress Mosel ^[7]と統合開発環境Xpress Workbench ^{[8]が含まれています。Moselには、最適化問題の複数のシナリオを並列に解決するための}分散コンピューティング機能 が含まれています。入力データの不確実性は、堅牢な最適化手法によって処理できます。 ^[9]

Xpressには、 C、C++、Javaプログラミング言語、および.NET FrameworkとインターフェースするBCL（Builder Component Library）と呼ばれるモデリングモジュールがあります。^{[10] BCLとは別に、} PythonとMATLABのインターフェースがあります。Moselの他に、XpressはAIMMS、AMPL、GAMSなどの他の標準モデリング言語に接続します。

FICO Xpress Executor ^[11]は、 SOAPまたはRESTインターフェースを使用してMoselモデルを実行および展開します。外部アプリケーションまたはFICO Decision Management Platformから使用できます。