constraints - Jacop，约束求解器

Question

我是 Jacop 约束求解器的初学者。我查看了它的文档，但找不到解决以下问题的方法。我有一个 matrix[n][n] 的 nxn 域变量 IntVar。现在，我需要对其应用以下约束:

矩阵[矩阵[i][j]][k] == x

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

Answer 1

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