在MiniZinc中提供启动解决方案

Question

如何为IDE中的MiniZinc或通过数据文件制定的优化问题提供启动解决方案，例如，加快相应fd求解器（在本例中为Gecode）的求解过程？

Answer 1

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

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

如果您仍想使用初始解决方案，则本地搜索可能更适合您的应用程序。有支持MiniZinc / FlatZinc的本地搜索解算器，如Oscar CBLS;但是，在这种情况下，它们使用黑盒子，您无法提供变量的起始值。您必须使用对解算器的直接调用才能执行此操作。