它是 Gecode c++
我有一个长度为 n 的 IntVarArgs 值，我想推动一个约束，即数组中的每个值至少出现 k 次（或 0）fe 数组 [1、2、3、1、2、3、4、4、4]用 k = 2 满足这个约束
我现在做的是
for (int i = 0; i < n; i++)
{
count(*this, a, a[i], IRT_GQ, k);
}
然而，随着 n 的增长，约束的数量也在增长，但我觉得它可以用单个约束来表示。我还认为，数组对自身的封闭对于求解器来说并不是最优的。