constraints - 等式集和不等式约束可满足性问题

Question

我对 CSP 比较陌生，我试图根据变量之间施加的 ==、>、< 和 != 约束从它们各自的域中找到所有变量的值。我查看了 Choco 和 Jacop，但我找不到更多关于解决这类问题的信息。你能指出我可以找到这个例子的实现的地方吗？我已经使用 Prolog 解决了这个问题，但我想使用 OOP 来完成它。

谢谢你。

Answer 1

您描述的问题类型是对约束规划问题的直接描述，因为变量具有可以映射到整数的有限域。

所有 CP 系统都有在有限域整数上进行操作所需的运算符，因此应该很简单。

如果您尝试求解具有无界域或实域的变量，那么有一些工具可以帮助您，但它们并不常见。