More than 3 years have passed since last update.

PuLP で解いたモデルから Gurobi で IIS を出す方法

Last updated at 2021-08-06Posted at 2021-08-06

ソルバーの比較などのために PuLP で実装したが、モデルのデバッグのために Irreducible Inconsistent Subsystem (IIS) を Gurobi で計算させたいことがある。PuLP には IIS を出す手段は（今のところ）ないので、一度 .lp ファイル出力をして、Gurobi のコマンドで IIS 計算するのがお手軽¹。

PuLP でモデルを LP ファイル出力させるには、モデルの構築後に以下の行を実行すればよい。

model.writeLP("model-infeasible.lp")

そして、Gurobi のコマンドを使って最適化を実行する。ResultFile を指定しておけば、Infeasible だった場合は IIS が model.ilp に出力される。

$ gurobi_cl ResultFile=model.ilp model-infeasible.lp

一応過去の公式フォーラムで同様の回答がある。2016 年のものだが、現在の PuLP のドキュメントを見ても IIS 出力をするコマンドは追加されていない。 ↩

You get articles that match your needs
You can efficiently read back useful information
You can use dark theme

What you can do with signing up