Jacop，约束求解器

Question

我是Jacop约束求解器的初学者。我查看了它的文档，但无法找到如何解决我的以下问题。我有matrix[n][n] nxn个IntVar个域变量matrix[matrix[i][j]][k] == x。现在，我需要对它应用以下约束：

x

这里matrix[i][j]是一个常规整数，我的意思是不是域变量。 我面临的问题是matrix[index][k]是一个域变量，我无法再将它作为{{1}}中的第一个索引。 我将非常感谢你的帮助。

Answer 1

基本上你需要使用元素约束来做到这一点。首先，创建表示矩阵列k的向量matrix_k。然后，您可以使用元素形式的元素约束（matrix [i] [j]，matrix_k，x）。