如何为Python中Gurobi求解的数学模型设置执行时间限制？

问题描述 #

我使用Python编写代码，借助Gurobi进行优化求解，但所构建的数学模型返回解的耗时过长。请问是否可以设置一个参数，使模型在达到指定时间后停止执行，并返回一个虽非最优但可用的结果？

解决方案 #

当然可以，Gurobi提供了TimeLimit参数直接控制最大求解时长，达到设定时间后会自动停止并返回当前找到的最优可行解（若存在）。

1. 核心参数设置

通过model.setParam('TimeLimit', 时长)设置最大求解时间，单位为秒。示例代码如下：

import gurobipy as gp
from gurobipy import GRB

# 初始化模型
model = gp.Model("optimization_model")

# 设置10秒的求解时间限制
model.setParam('TimeLimit', 10.0)

# 此处添加变量、约束、目标函数的定义...

# 执行求解
model.optimize()

# 获取并输出结果
if model.SolCount > 0:
    print(f"当前可行解的目标值: {model.ObjVal}")
    # 遍历所有变量输出取值
    for var in model.getVars():
        print(f"{var.VarName}: {var.X:.4f}")
else:
    print("未找到可行解")

2. 补充说明

• model.SolCount用于判断是否找到可用解：值大于0表示存在可行解，可直接调用model.ObjVal（目标值）和变量的.X属性（变量取值）获取结果。
• 若需要结合最优性差距控制，可同时设置MIPGap参数（例如model.setParam('MIPGap', 0.05)表示当解的最优性差距小于5%时停止），此时求解会在时间限制或差距达标任一条件满足时终止。

内容的提问来源于stack exchange，提问作者cocca13