CP-SAT求解器同模型求解结果不稳定问题求助

问题背景 #

CP模型未做任何修改，但求解结果时而可行、时而不可行；已尝试缩小问题规模，仍无法定位根因；通过BCCompare对比可行/不可行求解日志，疑似问题出在presolve（预求解）阶段。

翻译后的相关日志与对比结果 #

不可行解搜索日志 #

[翻译后的不可行解搜索日志内容]

最优解搜索日志 #

[翻译后的最优解搜索日志内容]

BC Compare对比结果 #

[翻译后的BC Compare结果内容]

具体排查步骤 #

• 关闭预求解模块验证：添加求解器参数（如Presolve=0，具体参数需匹配所用CP求解器），对比关闭前后的求解稳定性，确认是否为预求解环节导致的问题
• 检查预求解启发式的随机性：部分求解器预求解会启用随机化启发式规则，不同运行可能触发不同的模型简化逻辑，进而导致求解结果差异；可尝试固定随机种子（如设置RandomSeed=123），观察结果是否一致
• 验证模型隐含的非确定性：排查模型中是否存在依赖外部动态数据、未初始化变量或系统时间的逻辑，这类因素可能在不同运行时产生细微差异，影响预求解过程
• 对比预求解后的模型：若求解器支持导出预求解后的模型文件，分别导出可行与不可行运行对应的模型，对比两者的约束、变量设置差异，定位具体修改点
• 确认环境一致性：检查每次运行的求解器版本、操作系统、CPU核心数、内存分配等环境参数是否完全一致，排除环境波动引发的问题

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