OR-Tools 9.6/9.7迭代求解交通调度问题时卡死且超时失效

针对疑问1：超时限制不生效的原因及正确设置方式 #

可能原因 #

• 参数设置方式错误：9.6+版本对超时参数的配置逻辑有调整，若仍使用旧版Solver.SetTimeLimit()方法，可能导致超时限制不生效；需通过SearchParameters对象配置才会被求解器正确识别。
• 迭代时参数未重置：复用旧的SearchParameters实例，或未在每次迭代求解时重新设置超时参数，会导致新的求解过程未应用超时规则。
• 版本固有bug：如你反馈的，9.6/9.7版本存在初始解与超时逻辑冲突的潜在问题，这也是该问题仅在新版本出现、9.5版本正常的核心原因。

正确设置方式 #

在pywrapcp中，必须通过SearchParameters对象配置超时，示例代码如下：

import ortools.sat.python.pywrapcp as pywrapcp

# 每次迭代求解时，重新创建参数对象（避免复用旧参数）
search_params = pywrapcp.DefaultSearchParameters()
# 设置超时为30秒，也可用ms单位：search_params.time_limit.ms = 30000
search_params.time_limit.seconds = 30

# 传入初始解和参数执行求解
status = solver.Solve(initial_assignment, search_params)

针对疑问2：带初始解时求解速度变慢的原因 #

• 初始解与新问题不兼容：新增请求或参数变化后，原有初始解可能与新约束存在隐性冲突，求解器会花费大量时间回溯调整初始解，而非直接探索新的可行解空间。
• 搜索策略引导偏差：OR-Tools默认的分支定界搜索策略，在有初始解时会优先基于初始解做改进搜索。如果初始解与新问题的最优解路径偏差较大，求解器会陷入低效的局部搜索，反而不如无初始解时的全局搜索高效。
• 版本逻辑改动：9.6/9.7版本对初始解的加载、处理逻辑有调整，可能引入了性能瓶颈，这也是该问题仅在新版本出现的直接原因。

临时解决方案 #

• 若必须使用9.6/9.7版本，可尝试切换搜索策略（例如指定SAT_COMBINED_SEARCH），减少初始解对搜索路径的束缚；
• 临时降级至OR-Tools 9.5版本，可直接规避该版本bug；
• 关注相关GitHub Issue的官方修复进展，等待补丁版本发布。

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