MPSolver インターフェース

Google の最適化用オープンソース ソフトウェア スイートである OR-Tools には、線形計画法と混合整数計画の問題を解決する MPSolver ラッパーが用意されています。

純粋な整数計画の問題を解決する場合は、CP-SAT ソルバーも使用できます。

例

次のページでは、MPSolver の使用例を紹介します。

• Glop を使ってスティグラーの食事の問題を解決
• Glop を使ってLP の問題を解決する
• SCIP を使用した MIP 問題の解決
• SCIP を使用したビンパッキングの問題の解決
• CP-SAT を使用した割り当て問題の解決
• 配列を使用してモデルを定義する

一般的なタスク

次のセクションでは、LP と MIP の解決に関連する一般的なタスクについて説明します。

時間の上限

次の例は、Glop を使用して検索時間の上限を 15 ミリ秒に設定する方法を示しています。

Python

solver.set_time_limit(15)

C++

solver->set_time_limit(15);

Java

solver.setTimeLimit(15)

C#

solver.SetTimeLimit(15);