标签： constraint-programming gecode
我需要为2个相同大小的整数数组表达约束
x_i = x_j => y_i = y_j
换句话说，有一个整数函数，如
x = f(y)
有没有解决方案？