最適化ソルバーは、大規模な線形計画法 (LP)、混合整数線形計画法 (MILP)、凸二次計画法 (QP)、半正定値計画法 (SDP) の問題を処理します。Windows、macOS、Linux 上で、コマンドラインまたは C、C++、Python、Java の API から呼び出すことができます。リリース済みのすべてのバージョンは無料でご利用いただけます。
機能
最適化ソルバーがサポートしている問題タイプ
最適化ソルバーは、LP、MILP、QP、SDP をサポートしています。LP と SDP のパフォーマンスは世界的に競争力があります。LP の求解には、単体法、内点法 (IPM)、同時最適化手法、大規模ネットワークフローが含まれます。
混合整数計画法 (MIP) の求解は v0.20.x 以降で利用可能です。最適化ソルバーは現在、招待制プレビュー段階にあり、パフォーマンスは引き続き最適化中です。
ブラックボックス最適化またはオンライン最適化のサポート
はい。ただし、どちらもオンサイトサポートを通じてのみ利用可能です。アクセスをご希望の場合は、お問い合わせください。
数理計画法求解の更新は、「最新の最適化ソルバー SDK のダウンロードとインストール」のトピックで定期的に公開しています。
システム互換性
SDK がサポートしているオペレーティングシステムとプログラミング言語
オペレーティングシステム
| オペレーティングシステム | 備考 |
|---|---|
| Linux | サポート対象 |
| Windows | サポート対象 |
| macOS | サポート対象 |
| 中国製 OS (例：LINX SOFTWARE) | サポート対象 |
| ARM アーキテクチャ | サポート対象外 (近日対応予定) |
プログラミング言語
| 言語 | 備考 |
|---|---|
| C | デフォルトでインストールされます |
| C++ | デフォルトでインストールされます |
| Python | SDK インストール後に別途インストールが必要です |
| Java | Maven リポジトリの依存関係の追加が必要です |
互換性の問題が発生した場合は、お問い合わせください。
パフォーマンス
求解精度
LP ソルバーは、デフォルトで誤差 1e-10 以下を実現します。1e-6 や 1e-8 など、ビジネス要件に合わせてカスタムの精度しきい値を設定することも可能です。
サポートされる問題数と変数
最適化ソルバーは数千万規模の問題を処理でき、数百万を超える変数をサポートしています。
学習リソース
チュートリアルとサンプルコードの入手先
2 つのプラットフォームで実践的なリソースを提供しています。
-
[Alibaba Cloud Tianchi](https://tianchi.aliyun.com/mindopt) — 2021 年元日に開始され、無料のクラウドベース Linux マシン、ケースチュートリアル、ソースコードを提供しています。チュートリアルに沿って段階的に学習することで、問題のモデリングと最適化ソルバーの呼び出し方法を理解できます。
-
[MindOpt Platform](https://opt.alibabacloud.com) — 2022 年に開始され、ブラウザベースのノートブック環境を提供しています。代数モデリング言語を使用して、ローカル環境の設定なしで問題を定義し、求解できます。アプリケーションケースは opt.alibabacloud.com/#/platform/case でご覧いただけます。
初心者向け学習教材への提案
はい。ご提案をお送りください。エンジニアがより早く利用を開始できるよう、皆様からのフィードバックをお待ちしております。
インストール
最適化ソルバーのインストール方法
「最新の最適化ソルバー SDK のダウンロードとインストール」の手順に従って、SDK をダウンロード、インストールし、ライセンスファイル (fl_client.ini) を設定します。
-
C と C++ の API は、デフォルトでインストールパッケージに含まれています。
-
Python API の場合は、基本インストール後に Python 固有のインストール手順を実行してください。
-
Java API の場合は、プロジェクトに Maven リポジトリの依存関係を追加してください。
または、ブラウザベースの MindOpt Platform (現在招待制プレビュー中。プラットフォームリンク：https://opt.alibabacloud.com) も利用できます。ローカルインストールは不要です。ノートブック環境を開き、Python またはターミナルコマンドを通じて最適化ソルバーを直接実行できます。
インストールと主要な概念の詳細については、「最適化ソルバーの概念」をご参照ください。
Windows 環境変数の目的
インストーラーは、MINDOPT_HOME と Path を最適化ソルバーのインストールディレクトリに自動的に設定します。ライセンスファイル (fl_client.ini) が含まれるディレクトリを指すように、MINDOPT_LICENSE_PATH を手動で追加する必要があります。
インストーラーでアプリケーションを実行できない場合
次の手順を順番に実行してください。
-
オペレーティングシステムが 64 ビット x86 であることを確認してください。
-
Windows によってソフトウェアが不明としてフラグ付けされた場合は、OS のセキュリティ設定で必要な実行権限を付与してください。
-
インストール後にダイナミックリンクライブラリ (DLL) が見つからない場合は、最適化ソルバーを再インストールしてください。Python には追加のインストール手順が必要であることに注意してください。
-
再インストール後も問題が解決しない場合は、最適化ソルバーとマシン上の他のソフトウェアとの間にライブラリのバージョン競合が存在する可能性があります。Windows の環境変数リストで、最適化ソルバーの
Path環境変数を上位に移動して優先させてください。 -
上記のいずれでも問題が解決しない場合は、お問い合わせください。
求解
使用すべき求解手法
最適化ソルバーは、単体法、内点法 (IPM)、同時最適化手法の 3 つの手法を提供しており、それぞれメモリ使用量と速度の点でトレードオフが異なります。コンピューティングリソースが限られている場合は、デフォルトに頼るのではなく、手法を明示的に指定してください。各手法の使い分けについては、「問題を求解するためのパラメーター設定」のセクションをご参照ください。
エラーとトラブルシューティング
求解タスクが失敗した場合の理由の確認方法
ソルバーが返すエラーコードを確認してください。各コードの説明と解決手順については、「一般的なエラーコード」をご参照ください。
求解中にソフトウェアがクラッシュした場合の対処法
これは通常、メモリ不足が原因です。大規模な問題は大量の RAM を消費します。メモリを解放するか、より多くの RAM を搭載したマシンにワークロードを移動してから、再試行してください。それでもクラッシュが続く場合は、お問い合わせください。
本ドキュメントライブラリと MindOpt User Manual の使い分け
ダウンロード、インストール、利用開始方法については、本ドキュメントライブラリをご利用ください。完全な API リファレンスと高度な機能については、「MindOpt User Manual」をご参照ください。このマニュアルは、新しい API が利用可能になると更新されます。
課金
最適化ソルバーの料金
リリース済みのすべてのソフトウェアバージョンは無料でご利用いただけます。Alibaba Cloud アカウントを使用して、最適化ソルバーコンソールでソフトウェアサービスを購入できます。
カスタム最適化は有料サービスです。カスタムバージョンに関するご相談は、お問い合わせください。オンサイトの営業担当者をご紹介いたします。