prolog - 序言：如何用 global_cardinality 判断一个列表至少有 N 个等于 M 的元素（M，N 是整数）

Question

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

Answer 1

好吧，这是一个相当愚蠢的问题。解决方案例如：global_cardinality(VarList, [1-_,2-M]), M >= 2。所以我们对 VarList 有多少个 1 没有任何限制，但我们给出了数字的个数2，即M，令M大于2。