简体繁体 English

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

[英]What is the exact meaning of NumConflicts in CP-Sat?

原文 2020-02-21 13:46:12 8 1 optimization/ constraint-programming/ or-tools/ sat

I wonder what the solver.Response.NumConflicts information means exactly.我想知道solver.Response.NumConflicts信息究竟意味着什么。 In the documentation(s) I found statements like在文档中，我发现了类似的陈述

Returns the number of conflicts since the creation of the solver.返回自求解器创建以来的冲突数。 ( https://developers.google.com/optimization/reference/python/sat/python/cp_model#numconflicts ) （ https://developers.google.com/optimization/reference/python/sat/python/cp_model#numconflicts ）

That does not really satisfies my questioning.这并不能真正满足我的质疑。 Does it tell something about the number of times a constraint has been hurt?它是否说明了约束受到伤害的次数？ Or is it some kind of indicator of how exact the solution is?或者它是某种解决方案精确度的指标？ Eventhough it is not zero for optimal solutions.尽管对于最佳解决方案它不是零。

And a connected question: What could be the most conclusive info about the solution quality?还有一个相关的问题：关于解决方案质量的最确凿的信息是什么？

Thank you谢谢

1 个解决方案

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

Num conflicts returns the number of conflicts generated during search. Num冲突返回搜索期间产生的冲突数量。 Roughly, a conflict equals to a dead end in the search tree.粗略地说，冲突等于搜索树中的死胡同。

计算变量和约束 PuLP 和 CP-Sat - Count variables and constraints PuLP and CP-Sat

addDivisionEquality with Java google or-tools CP-SAT - addDivisionEquality with Java google or-tools CP-SAT

Pyomo 可以使用 Google 的 GLOP 或 CP-SAT 求解器吗？ - Can Pyomo use Google's GLOP or CP-SAT solvers?

ORTools CP-Sat Solver Channeling Constraint 依赖于 x - ORTools CP-Sat Solver Channeling Constraint dependant of x

在 Google CP-Sat Solver Or-Tools 中添加条件 - Add Condition in Google CP-Sat Solver Or-Tools

Google ORTools CP-SAT | 从 ortools-variables 列表中获取 1 的索引列表 - Google ORTools CP-SAT | Get list of index of 1's from a list of ortools-variables

使用 Google OR Tools CP-SAT Solver Log 来改进优化运行时 (Python) - Using Google OR Tools CP-SAT Solver Log To Improve Optimization Runtime (Python)

如何使用 Google 的 CP-SAT 求解器计算“AddAbsEquality”或“AddMultiplicationEqualit”以进行非线性优化？ - How to calculate the “AddAbsEquality” or “AddMultiplicationEqualit” using Google's CP-SAT solver for non-linear optimization?

如何将 CP-SAT 公式（在 python 中）中的目标指定为所有决策变量值的最大值的最小化？ - How can I specify the objective in a CP-SAT formulation (in python) to be the minimization of the max of all decision variable values?

对于非线性凸模型，SCIP求解器中“第一个LP值”的确切含义是什么 - what is the exact meaning of “First LP value” in SCIP solver, for a nonlinear convex model

暂无

暂无

声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

相关问题 计算变量和约束 PuLP 和 CP-Sat - Count variables and constraints PuLP and CP-Sat addDivisionEquality with Java google or-tools CP-SAT - addDivisionEquality with Java google or-tools CP-SAT Pyomo 可以使用 Google 的 GLOP 或 CP-SAT 求解器吗？ - Can Pyomo use Google's GLOP or CP-SAT solvers? ORTools CP-Sat Solver Channeling Constraint 依赖于 x - ORTools CP-Sat Solver Channeling Constraint dependant of x 在 Google CP-Sat Solver Or-Tools 中添加条件 - Add Condition in Google CP-Sat Solver Or-Tools Google ORTools CP-SAT | 从 ortools-variables 列表中获取 1 的索引列表 - Google ORTools CP-SAT | Get list of index of 1's from a list of ortools-variables 使用 Google OR Tools CP-SAT Solver Log 来改进优化运行时 (Python) - Using Google OR Tools CP-SAT Solver Log To Improve Optimization Runtime (Python) 如何使用 Google 的 CP-SAT 求解器计算“AddAbsEquality”或“AddMultiplicationEqualit”以进行非线性优化？ - How to calculate the “AddAbsEquality” or “AddMultiplicationEqualit” using Google's CP-SAT solver for non-linear optimization? 如何将 CP-SAT 公式（在 python 中）中的目标指定为所有决策变量值的最大值的最小化？ - How can I specify the objective in a CP-SAT formulation (in python) to be the minimization of the max of all decision variable values? 对于非线性凸模型，SCIP求解器中“第一个LP值”的确切含义是什么 - what is the exact meaning of “First LP value” in SCIP solver, for a nonlinear convex model

相关标签

粤ICP备18138465号 © 2020-2024 STACKOOM.COM