java - Choco 错误：初始传播：矛盾由于

Question

我使用Choco，当我尝试求解模型时，我收到消息：

- Initial Propagation: Contradiction due to [48.89604359598426,4.0]

这意味着什么？我在文档中找不到它。

Answer 1

正如Sarge Borsch在评论中所建议的那样，当一个或多个约束与解决方案空间之间存在矛盾时，就会发生这种情况。第一个数字是为决策变量找到的唯一解。第二个数字表示用户将变量强加为该数字。

因此，例如， 是 的三个解决方案x，6但如果存在约束，则9与找到的解决方案相矛盾，并且求解器会一直回溯。10x < 0

这意味着，该模型没有解决方案。