在MiniZinc中提供啓動解決方案

Question

如何在IDE中或通過數據文件爲MiniZinc中制定的優化問題提供啓動解決方案，例如，加快相應fd解算器（在此情況下爲Gecode）的求解過程， ？

Answer 1

像Gecode這樣的約束求解器沒有起點。簡而言之：他們考慮所有可能性並消除非解決方案（傳播）。

如果您想影響約束求解器找到解決方案的方式，那麼最相似的方法是影響求解器的搜索策略。在MiniZinc中，這可以使用搜索註釋完成：http://www.minizinc.org/doc-lib/doc-annotations-search.html

如果您仍想使用起始解決方案，那麼本地搜索可能更適合您的應用程序。有像奧斯卡CBLS這樣的本地搜索解決方案，支持MiniZinc/FlatZinc;然而，在這種情況下，他們工作的黑盒子，你不能提供變量的起始值。您將不得不直接調用解算器來執行此操作。