minizinc - Provide start solution in MiniZinc

Question

How can one provide a start solution for an optimization problem formulated in MiniZinc in the IDE or via a data file to, e.g., speed up the solution process of the corresponding fd solver (in this case Gecode)?

Answer 1

约束求解器，如 Gecode，没有起点。简而言之：他们考虑所有可能性并消除那些非解决方案（传播）。

如果您想影响约束求解器找到解决方案的方式，那么最相似的方式就是影响求解器的搜索策略。在 MiniZinc 中，这可以使用搜索注释来完成：http: //www.minizinc.org/doc-lib/doc-annotations-search.html

如果您仍想使用初始解决方案，那么本地搜索可能更适合您的应用程序。有支持 MiniZinc/FlatZinc 的本地搜索求解器，例如 Oscar CBLS；但是，在这种情况下，它们是黑匣子，您不能为变量提供起始值。您必须使用直接调用求解器来执行此操作。