Optimization CP Sat中NumConflicts的确切含义是什么?

Optimization CP Sat中NumConflicts的确切含义是什么?,optimization,constraint-programming,or-tools,sat,Optimization,Constraint Programming,Or Tools,Sat,我想知道solver.Response.NumConflicts信息的确切含义是什么。 在文档中,我发现如下语句 返回自创建解算器以来的冲突数。 () 这并不能真正满足我的疑问。它是否说明约束受到伤害的次数?或者它是一种指示解决方案有多精确的指标?即使最优解不是零 还有一个相关问题: 关于解决方案质量的最具决定性的信息是什么 谢谢你参见: Num conflicts返回搜索期间生成的冲突数。 大致上,冲突等于搜索树中的死胡同 干杯,伙计!但是我还是没找到这个帖子。。。你对我的“连接问题”有什么想

我想知道
solver.Response.NumConflicts
信息的确切含义是什么。 在文档中,我发现如下语句

返回自创建解算器以来的冲突数。 ()

这并不能真正满足我的疑问。它是否说明约束受到伤害的次数?或者它是一种指示解决方案有多精确的指标?即使最优解不是零

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

谢谢你参见:

Num conflicts返回搜索期间生成的冲突数。 大致上,冲突等于搜索树中的死胡同


干杯,伙计!但是我还是没找到这个帖子。。。你对我的“连接问题”有什么想法吗?(不知道这样连接问题是否不好!?)你将得到的最好信息是解值和最佳目标界(即最小化时目标值的下限)之间的差距。你有什么不同的想法吗?好的,我明白了。这对我来说很有意义,谢谢。我仍然在想英特尔关于一个系统的调查结果,你可以从NumConflicts值中得到什么。想象一下,有一个电力系统,有供应商和消费者,也有能源储存。如果任务是使用所有周期性生产的能源(如风力涡轮机或类似设备),并满足消费者的持续需求。NumConflicts会告诉我们一些关于系统元素尺寸标注质量的信息吗?(例如,零冲突,因为我认为提供的功率级别匹配良好,不会导致死分支)不,它只是告诉您找到解决方案有多困难。它告诉你模型的质量,而不是解决方案的质量。因此,与所描述的场景相关的是,在确定真实世界组件的尺寸和解决方案之间的过程。非常感谢您在几乎每天的白天和晚上都能做出快速响应!当我更有经验时,我希望进一步改进文档