 |
| アンティゴネ | |
|---|---|
| 開発者 | ルース・ミゼナー |
| 安定版リリース | 1.0 |
| タイプ | 技術計算 |
| ライセンス | 独自の |
| Webサイト | www |
ANTIGONE（非線形方程式の連続/整数大域的最適化アルゴリズム）は、一般的な混合整数非線形計画法（MINLP）のための決定論的大域的最適化ソルバーです。 [ 1 ]
歴史
ANTIGONEは、ルース・ミセナーによって書かれたグローバル混合整数二次計画ソルバーであるGloMIQO [ 2 ]の進化形です。ANTIGONEはGloMIQOの機能を一般的なMINLP問題に拡張します。
特徴
他の決定論的大域最適化ソフトウェアと同様に、ANTIGONEは非線形構造の様々な特殊ケースに対処するための多くの手法を集約したツールボックスです。とはいえ、主に分岐限定法ソルバーです。主なアルゴリズム手順は4つの主要なステップに分かれています。[ 3 ]
- ユーザー入力の書き換え
- 特殊構造の検出
- 検出された構造に最適なアルゴリズムの選択
- 選択したアルゴリズムを使用した問題の解決
分岐限定アルゴリズムのルートノードで解ける最適化問題の特殊なケース（例えば凸NLP）を除き、ANTIGONEは分岐限定法の手順を開始します。この手順は以下のステップで構成されます。
- 凸緩和の生成/更新（下限問題）
- ドメイン縮小
- 実行可能な解決策（上限）の検索
- 凸下限問題を解くことによって厳密な下限を計算します。
ANTIGONEは、マコーミック緩和法などの古典的な因数分解計画法に加え、再定式化線形化法（RLT）、エッジ凸凹緩和法、アルファBBカットなどの現代的なアルゴリズムを用いて緩和法を生成します。また、ANTIGONEは動的カットジェネレーターも備えており、局所的および大域的に有効なカットを生成・処理します。
制限事項
他の決定論的グローバル最適化ソフトウェアと同様に、ANTIGONE では、問題で使用されるすべての関数の明示的な数式と、すべての変数の初期境界値をユーザーが指定する必要があります。初期境界値が指定されていない場合、ANTIGONE は境界値の推定を試みますが、グローバル最適化は保証されません。ANTIGONE は微分可能関数を含む問題のみを解くことができ、三角関数を含む問題は解くことができません。
インターフェース
ANTIGONE はGAMSモデリング プラットフォームの一部です。
ライセンス
GAMS/ANTIGONE を使用するには、ANTIGONE ライセンス、CPLEXライセンス、および CONOPT またはSNOPTライセンスが必要です。
参照
参考文献
- ^ Misener, Ruth ; Floudas, Christodoulos A. (2014). 「ANTIGONE: 非線形方程式の連続／整数大域的最適化アルゴリズム」. Journal of Global Optimization . 59 ( 2–3 ): 503–526 . doi : 10.1007/s10898-014-0166-2 . hdl : 10044/1/15506 . S2CID 254650780 .
- ^ Misener, Ruth; Floudas, Christodoulos A. (2013). 「GloMIQO: グローバル混合整数二次最適化装置」. Journal of Global Optimization . 57 : 3–50 . doi : 10.1007/s10898-012-9874-7 . hdl : 10044/1/19682 . S2CID 254647188 .
- ^ ANTIGONEのGAMS文書、2013年4月16日、 2019年7月27日閲覧。
