Matthias Miltenberger

Gurobiに対して、初期実行可能解(MIPスタート)を与えることで、全体の求解時間が削減されることがあります(ただし、必ず改善するとは保証されません)。MIPスタートは変数オブジェクトの Start 属性を使うか、.mstファイル、.solファイルを読み込むことで利用可能です。バイナリ変数と整数変数の（一部の）値のみを設定し、残りの変数の値の計算をGurobiにさせることも可能です。これは...

Gurobiのフルモジュールをインストールすることはできないが、ライセンスツール(grbgetkeyとgrbprobe)、およびトークンサーバモジュール(grb_ts)が必要なユーザー向けに、これらのツールのみを提供しています。 Windows: licensetools13.0.2_win64.zip macOS: licensetools13.0.2_macos_universal2....

Gurobiバージョン9.1以降、Global Interpreter Lock (GIL)は、低レベルでの最適化処理中に解放されます。これにより、Gurobiの最適化が動作している間、ユーザープログラムは別のPythonスレッドで他のPythonコードを実行することができます。ただし、Gurobi Environmentの作成および削除はスレッドセーフではないことに注意してください。複数の...

配備されたライセンスファイルが有効かどうかを簡易的に確認するには、コマンドラインから次を実行します。gurobi_clライセンスが正しくない場合、このコマンドはエラーとなります。この際はGurobiライセンスをテストするにはを参照ください。ライセンスファイルの有効性をプログラム上からテストしたい場合には、モデルの生成を実施します。(例えばPython環境上でModelオブジェクトを作成してみ...

バージョン12.xから13.xのようなメジャーバージョンへのバージョンアップの場合、下位互換性の無い更新が行われる場合があります。すべての追加機能、変更、機能削除はリリースノートに記載されています。フルインストールによるアップデート(pipやcondaを利用しない場合)すでにコンピューター上にインストールされたGurobiをアップデートするには、該当の新バージョンのインストール手順に従ってく...

MIPモデルからLP緩和モデル(連続変数のみを含み、SOS制約やGeneralConstraintを含まない)を作成するには、Model.relax()が利用可能です。relax = model.relax()上記のように呼び出すことでオリジナルのモデルに変更を加えることなく、新しいModelオブジェクトが生成されます。もう一つの緩和方法としては変数のtype属性を変更することです。for ...

最適化の際に何度もoptimize() を呼び出すことを避けるためにコールバック関数内で終了判定をカスタマイズすることができます。下記の例ではPython API用いて”十分に良い”解が見つかった場合など、特定の条件下でのみ有効となる”ソフトな”時間制限を設定しています。TimeLimit パラメータは最適化を100秒後に終了させます。また、コールバック関数では５秒以上最適化を実行した後にM...

エラーERROR 10009: Token validation errorは、WLSトークンの期限が切れ、新しいトークンを取得できなかったことを示しています。エラーの主な原因は、トークンのリクエストが頻繁すぎることです。アプリケーションを確認し、数理モデルの求解の度にGurobi Environment（Envクラスのインスタンス）を再作成していないかを確認してください。ひとつのGurob...

同一のモデルを扱っていても、異なるマシン上で解くと解の探索経路が異なることがあります。これは”Performance Variability”としてよく知られた現象です。例えばハードウェアの違いは分枝限定木内の探索経路に対して大きな影響を与えることがあります。さらに変数や制約の順序を変えたり、ランダムなシードを使用すると、数理モデルが同一であっても、性能に劇的な影響を与える可能性があります。...

一般に、MIPを解くのにかかる時間を見積もるのは非常に難しいといえます。NP困難問題の性質上、解くのに非常に長い時間がかかったり、実用的な時間では解けないことさえあります。Gurobiは、非常に高度な解法テクニックやトリックを数多く備えているため、大規模なモデルであっても、しばしば迅速に解を見つけることが可能です。また、一見簡単そうに見える問題でも、解くのが非常に難しいものもあります。Gur...