问prolog:如何用global_cardinality判断列表中至少有N个元素等于M (M，N是整数)
EN

Stack Overflow用户

提问于 2014-03-02 21:49:18

回答 1查看 346关注 0票数 2

例如:我有一些变量: A，B，C，D，和一个条件:在A，B，C，D列表中，必须有至少是数字2的两倍，我只能使用基数/2组合约束。

发布于 2014-03-02 23:05:13

好吧，这是个相当愚蠢的问题。解是: global_cardinality( VarList，1-_,2-M)，M- >= 2，所以对于VarList有多少个1没有任何限制，但是我们给出了2的个数，即M，设M大于2。

票数 2

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

原文链接：

https://stackoverflow.com/questions/22133996

复制

相似问题

问prolog:如何用global_cardinality判断列表中至少有N个元素等于M (M，N是整数)EN