Loading article…
| 開発者 | オクタラクト |
|---|---|
| 安定リリース | 4.7.1
|
| タイプ | 技術計算 |
| ライセンス | サブスクリプション |
| Webサイト | octeract.gg |
Octeract Engine は、一般的な混合整数非線形プログラム (MINLP) 用の 独自の超並列 決定論的グローバル最適化ソルバーです。
このソルバーは、分散環境で並列に動作するように設計されており、合成ベンチマークセットで成功するように最適化されています。[1]最新の世界記録は、2023年4月に樹立されました。このとき、このソルバーはベンチマークのすべての問題を解いた初の最適化ソルバーとなり、スケールなしシフト幾何平均が36.8という世界記録を樹立しました。[2]
歴史
Octeract Engineは、Nikos KazazakisとGabriel Lauによって開発されました。[3] Octeract Engineの最初のパブリックベータ版は2019年8月にリリースされ、2020年8月にベータ版が終了しました。
パフォーマンス
2022年7月23日には、シングルスレッドのMittelmann MINLPLIBベンチマークで1位にランクされました。[4]このリードは、それ以来Octeract Engineのすべてのリリースで維持されています。
2022年8月現在、業界標準のMINLPLIB [1]ライブラリにおける最大のオープン伝送スイッチング問題、すなわちtransswitch2736spp [5] とtransswitch2736spr [6]を解く最初で唯一のソルバーです。
世界記録
Octeract Engineは現在、MINLPベンチマークで2つの世界記録を保持しています。[2]最初の世界記録は、2023年4月20日に記録されたもので、解決された問題の数（100％）です。 2番目の世界記録は、2023年4月20日に記録されたもので、このテストセットでこれまでに達成された最小のスケールなしシフト幾何平均[7]で、36.8でした。次点は、平均138.2（BARON）と380.5（SCIP）を達成し、Couenneは平均3304.4で最下位でした。
世界記録の歴史
2022 年 10 月 27 日、Octeract Engine はベンチマークで問題の 91% 以上を解決し、初の世界記録を樹立しました。これは、その時点でどのソルバーも解決できた問題を上回りました。この記録は、2023 年 4 月 21 日現在、他のソルバーによって破られていません。
2023年1月には、このベンチマークにおける問題の99%を解決した最初のソルバーとなりました。
2023年4月には、このベンチマークにおける問題を100%解決した最初のソルバーとなりました。
-
MINLPLIB ベンチマーク結果 2022 年 7 月 -
MINLPLIB ベンチマーク結果 2022 年 10 月 -
MINLPLIB ベンチマーク結果 2023 年 1 月 -
MINLPLIB ベンチマーク結果 2023 年 4 月
特徴
Octeract Engineは、自動的に、またはユーザーの判断で呼び出される多数のソルバーとテクニックのスイートです。並列分岐限定ソルバー、グローバル最適化とは独立して呼び出すことができる多数のローカルヒューリスティック、およびSherali-Smith再定式化などの特殊な構造を利用するための多数の特殊なテクニックを備えています。[8] [9] [10]
その他の注目すべき特徴としては以下が挙げられる: [10]
- MPIによる分散コンピューティング
- 100以上のオプションによる高度な構成可能性
- 不連続な基本関数（例：minとmax）をサポートします。
- 三角関数をサポート
- 全体的な最適性を保証できる
- ユーザー入力の書き換え
- 特殊構造の検出
- 自動問題分類
- 区間演算と任意精度演算による計算の保証
- LOCAL_SEARCH [11]モードによる強力なローカルソルバー機能
ファイル形式
Octeract エンジンは、、.nlおよび.lpファイルの読み取りと書き込みが可能です.mps。
インターフェース
Octeractエンジンは直接実行することも、C++ライブラリとして呼び出すこともできます。以下のモデリング言語をサポートしています: [10]
このエンジンは、次のソルバーともインターフェースします。
参照
参考文献
- ^ ab 「混合整数および連続非線形計画インスタンスのライブラリ」。Minlplib。2022年10月14日。 2023年1月27日閲覧。
- ^ ab 「ミッテルマン ベンチマークの視覚化」. mattmilten.github.io。マティアス・ミルテンバーガー2023 年4 月 20 日に取得。
- ^ “Octeract Credits”. octeract.gg . Octeract . 2023年1月27日閲覧。
- ^ “ミッテルマン ベンチマークの視覚化”. mattmilten.github.io。マティアス・ミルテンバーガー2023 年4 月 20 日に取得。
- ^ 「Transswitch2736spp ソリューション」. minlplib.org . MINLPLIB . 2023年1月27日閲覧。
- ^ 「Transswitch2736spr ソリューション」. minlplib.org . MINLPLIB . 2023年1月27日閲覧。
- ^ 「Shifted Geometric Mean」. plato.asu.edu.Hans Mittelmann . 2023年4月21日閲覧。
- ^ 「BQP再定式化手順」。octeract.gg。Octeract。2023年1月27日閲覧。
- ^ Sherali, Hanif D.; Smith, J. Cole (2006). 「ゼロ-1二次計画問題に対する改良線形化戦略」.最適化レター. 1 (1): 33–47. doi :10.1007/s11590-006-0019-0.
- ^ abc 「Octeract Engine ドキュメント」。octeract.gg。Octeract 。 2023年1月27日閲覧。
- ^ 「Local Search」. octeract.gg . Octeract . 2023年4月21日閲覧。
- 「ミッテルマンベンチマークの視覚化」。mattmilten.github.io。マティアス・ミルテンバーガー。 2022-10-27 。2023 年4 月 20 日に取得。
- 「ミッテルマンベンチマークの視覚化」。mattmilten.github.io。マティアス・ミルテンバーガー。 2023-01-24 。2023 年4 月 20 日に取得。