非确定性CSP编程工具？

Question

嗨，我需要一个非确定性的约束满足问题工具，因为我需要不同的解决方案和相同的问题输入。有人知道这个特点的工具吗？

我只知道像Gecode（C++），Choco（Java）和Curry（Haskell）这样的工具，我认为它们是以确定性方式工作的。

Answer 1

如果你想要得到一些随机解决方案，大多数CP工具对使用随机启发式方法有一定的支持。例如，标准的Gecode分支可以选择这个选项，例如整型变量INT_VAR_RND和INT_VAL_RND。为了每次都获得不同的搜索结果，请务必设置唯一的种子。

请注意，使用随机启发式不会给你任何分配的保证。例如，您的问题可能只有两种解决方案，但几乎所有随机选择都可能导致其中一种解决方案给出非常不均匀的分布。

Answer 2

您是否想要做Pareto optimization（又名多目标优化），并让用户选择其中一种帕累托最优解决方案？

人们只需更换BestSolutionRecaller类Drools Planner（Java，开源）做到了这一点。见this thread和this thread。 Planner 6.0或6.1将提供开箱即用的pareto支持。

Answer 3

与Zayenz所说的相似，您可以尝试Minion，并将标记-randomiseorder。