文章/答案/技术大牛

发布

社区首页 >问答首页 >Minizinc:可变阶数

问Minizinc:可变阶数
EN

Stack Overflow用户

提问于 2014-04-03 07:26:45

回答 2查看 973关注 0票数 3

通过定义变量的求解顺序，约束模型可能具有约束或向约束求解者提供提示，从而更有效地解决问题。是否有一种机制来指定在MiniZinc或FlatZinc中需要解决变量的顺序？

constraint-programming

minizinc

回答 2

Stack Overflow用户

回答已采纳

发布于 2014-04-03 07:34:37

int_ search /4用于搜索注释，即用于说明涉及的变量和变量/值策略。

示例：

solve :: int_search(q, first_fail, indomain_min, complete) satisfy;

请参阅MiniZinc教程(第5.2节)中有关这一点的更多信息：http://www.minizinc.org/downloads/doc-latest/minizinc-tute.pdf -- FlatZinc规范包含不同策略的详细列表：http://www.minizinc.org/downloads/doc-1.6/flatzinc-spec.pdf (第5.6.1节)。

票数 9

Stack Overflow用户

发布于 2014-09-03 10:17:13

搜索组合器提供了对搜索过程的更灵活的控制，在下面的出版物中将对此进行描述。

Schrijvers，Tom，等人。“搜索组合器”约束编程的原则和实践-CP 2011。斯普林格柏林，海德堡，2011年。774-788在线在http://arxiv.org/pdf/1203.1095.pdf

Gecode存在一些实现，请参见Gecode的FlatZinc页面的底部

票数 4

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/22830637

复制

相似问题

问Minizinc:可变阶数
EN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Minizinc:可变阶数EN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Minizinc:可变阶数
EN