Decision Optimization エクスペリメント でのソリューションの探索

実行が正常に完了すると、 「解の探索」 ビューに、解が 1 つ以上のテーブルに表示されるか、CPLEX および CPO モデルのファイルとして表示されます。

国会サンプルの結果が表示されている「ソリューションの探索」ウィンドウ

「結果」 セクションには、いくつかのタブがあります。 最初のタブには、 「目的」 KPIが表示されます。 「解の表」 タブには、決定変数の結果の (最良の) 値が表示されます。 これらのソリューション・テーブルは、アルファベット順に自動的に表示されます。 ソリューション・テーブルは編集できませんが、フィルターに掛けることができます。 詳しくは、 Decision Optimization エクスペリメントでの表の検索とフィルタリングを参照してください。 目標とソリューション・テーブルの両方をダウンロードできます。

CPLEX および CPO モデルの場合、解はテーブルではなく、ダウンロード可能なファイルで提供されます。

Python DOcplex または OPL モデルのこの ビュー に表示する出力表を定義できます。 詳しくは、 インポートされたデータの参照とモデルでの解の出力の定義を参照してください。

「緩和」 タブと 「競合」 タブには、モデル内に競合する制約または境界があるかどうかが表示されます。 また、これらのオプションが選択されている場合、これらのタブには、モデルを求解するために緩和された制約または境界が表示されます。

「エンジン統計」 タブには、実行状況 (処理済み、停止済み、または失敗)、解に関するグラフィカル情報、およびモデル統計に関する情報が表示されます。 水平ズーム・バーの終点を移動するか、グラフ内の領域を選択することで、グラフをズームインできます。 ズームイン後に元のグラフを復元するには、ズーム・バーを完全に展開するか、ページを最新表示します。

栄養モデルの解を示す「エンジン統計」タブ。

結果タブエンジン統計タブでは、さまざまなシナリオのテーブルを比較することもできます。 表の横にある3つの点をクリックし、「 Compare with 」を選択してシナリオを選択する。 詳しくは、 Decision Optimization 実験におけるシナリオ表の比較を参照。

「ログ」 タブには、ダウンロード可能なログ・ファイルが表示されます。 ログ・ファイルは、最適化ソルバー・エンジンからの最適目的関数値、変数値、制約、およびその他の情報を提供します。

栄養モデルのログを示す「エンジン・ログ」タブ

Modeling Assistantを使用して定式化された多目的モデルの場合、解の表には、モデルに設定されているスライダー、重み、およびスケール係数も表示されます。 結合された目的は、すべての目的値 (最小化目標の場合は正の加算、最大化目標の場合は負の加算) にスケール係数 (デフォルトでは 1) と重み係数を乗算した合計です。 重み係数は、スライダーの重みから 1 を引いた値の 2 乗です。 例えば、スライダーの重みが 5 の場合、重み係数は 25-1= 24= 16 になります。 したがって、 スケール重み付けされた値 は、目的関数値にこの重み付け係数を乗算した値になります。

また、ソリューションの表およびグラフを作成することもできます。 詳しくは、 Decision Optimization 実験の可視化ビューを参照。