最適化の終了判定を複数設定するには？

複数の終了パラメータを設定した場合、Gurobi Optimizerは最初のパラメータが満たされた時点で最適化を停止します。例えば、MIPGAPが10%に達するか60秒が経過したときに停止したい場合はそれぞれのパラメータを、MIPGap=0.1,  TimeLimit=60とします。

より複雑な設定が必要な場合はウォームスタートを利用することもできます。例として、

• ケース１：1%以下のMIPGAPが望ましいが、300秒未満で得られるのであればより小さいGAPが望ましいという状況を考えます。これを実現するには、まずTimeLimit=300として最適化を始めます。時間制限に到達したときに得られたGAPが0.01よりも大きかったらTimeLimitをより大きな値にして、MIPGap=0.01を設定し求解を続けます。
• ケース2：最初の実行可能解が見つかるまでは時間無制限で探索、実行可能解が見つかった後にTimeLimitを設定したい場合、次のようにします:

timeLimit = 20
try:
    m = read('b1c1s1.mps.gz')
    oldSolutionLimit = m.Params.SolutionLimit
    m.Params.SolutionLimit = 1
    m.optimize()
    m.Params.TimeLimit = max(0, timeLimit - m.getAttr(GRB.Attr.Runtime))
    m.Params.SolutionLimit = oldSolutionLimit - m.Params.SolutionLimit
    m.optimize()
except (GurobiError, AttributeError, Exception) as e:
    print('Caught: ' + e.message)

より複雑な条件を設定したい場合には、コールバック関数の利用を検討することをお勧めします。

コールバック関数による最適化の停止方法は？ を参照してください。

その他の資料：

• How to set termination criteria (e.g. time limits) in multi-objective environments