CP-Sat 中 NumConflicts 的确切含义是什么?
What is the exact meaning of NumConflicts in CP-Sat?
我想知道 solver.Response.NumConflicts
信息的确切含义。
在文档中,我发现了像
这样的语句
Returns 自求解器创建以来的冲突数。
(https://developers.google.com/optimization/reference/python/sat/python/cp_model#numconflicts)
这并不能真正满足我的质疑。它能说明约束受到伤害的次数吗?或者它是解决方案精确程度的某种指标?尽管最优解不为零。
还有一个相关的问题:
关于解决方案质量的最决定性信息是什么?
谢谢
参见:https://github.com/google/or-tools/issues/1398#issuecomment-508396143
Num conflicts returns the number of conflicts generated during search.
Roughly, a conflict equals to a dead end in the search tree.
我想知道 solver.Response.NumConflicts
信息的确切含义。
在文档中,我发现了像
Returns 自求解器创建以来的冲突数。 (https://developers.google.com/optimization/reference/python/sat/python/cp_model#numconflicts)
这并不能真正满足我的质疑。它能说明约束受到伤害的次数吗?或者它是解决方案精确程度的某种指标?尽管最优解不为零。
还有一个相关的问题: 关于解决方案质量的最决定性信息是什么?
谢谢
参见:https://github.com/google/or-tools/issues/1398#issuecomment-508396143
Num conflicts returns the number of conflicts generated during search. Roughly, a conflict equals to a dead end in the search tree.