CP-Sat 中的 NumConflicts 的确切含义是什么？

Question

我想知道

solver.Response.NumConflicts

信息到底意味着什么。 在文档中，我发现了类似

的陈述

返回自创建求解器以来的冲突数量。 （https://developers.google.com/optimization/reference/python/sat/python/cp_model#numconflicts）

这并不能真正满足我的疑问。它是否说明了约束受到伤害的次数？或者它是解决方案精确程度的某种指标？尽管最优解不为零。

还有一个相关问题： 关于解决方案质量最决定性的信息是什么？

谢谢你

Answer 1

参见：https://github.com/google/or-tools/issues/1398#issuecomment-508396143

冲突数量返回搜索过程中产生的冲突数量。 粗略地说，冲突等于搜索树中的死胡同。