constraints - Jacop，约束求解器

Question

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

matrix[matrix[i][j]][k] == x

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

Answer 1

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