arrays - Minizinc：创建一个整数对数组

Question

创建 n 个 int 对数组的 Minizinc 语法是什么，如下所示：

{(x1,y1), (x2,y2),....(xn,yn)}

以及如何访问特定元素 j 以获取例如它的 y 值？

Answer 1

在 MiniZinc 中，您当前会为此使用多维数组。例如，如果您想创建n成对的整数变量，您可以使用：

array [1..n, 1..2] of var int: pairs;

然后，您可以访问每一对，也可以访问每个元素。例如，如果您想访问 pair j，那么您可以使用语句pairs[j]。这是一个维度数组1..2；您可以使用 访问第二个元素 ( y) pairs[j][y]。

这种方法允许您直接使用变量，但您也可以将对用于调用数组的谓词。