我在C ++上使用Gecode 我有两个长度为n的IntVarArgs变量，域名从0到k
我需要一个约束表达式来计算这两个数组之间的唯一对
我希望约束计数（a，b，{1,2}，3）在相同索引上有3对值1,2时保持，我现在所做的是引入一个名为classes的新变量< / p>
for (int i = 0; i < n; i++)
{
classes[i] = expr(*this, a[i] * k + b[i]);
}
其中classes变量对于不同的对是不同的，并且在我对它应用计数约束之后，但我觉得应该有更好的解决方案