迷你锌阵列声明

Question

如何在 MiniZinc 中声明一个数组，类似于下面的 Java 代码，其中 2D 数组的二维大小对所有数组都不相同？

int numV=5
int[] numActs=new int[numV];
double[][] min=new double[numV][];
for(int i=0;i<numV;i++){
for(int j=0;j<numActs[i];j++){
min[i][j]=<some value>;
}
}

Answer 1

简短回答：MiniZinc不支持"交错"数组，即长度不相等的行(并且没有长度不等的列(。所有行必须具有相同的长度(与列相同(，并且必须使用平展时间中的长度进行声明。

您可以做的是定义最大行长 * 最大列长的数据矩阵(此处称为"m"(，并用一些虚拟值填充较短的行，例如 0：

示例：长度不等的行：

[1,2,3,4]
[5,6],
[7,8,9],
[10]
[11,12,13]

相应的MiniZinc声明将是：

int: rows = 5;
int: cols = 4;
array[1..rows,1..cols] of int: m =
array2d(1..rows,1..cols,
[
1,2,3,4,
5,6,0,0,
7,8,9,0,
10,0,0,0,
11,12,13,0,
]);

您必须通过忽略模型中的虚拟值来处理这些虚拟值，或者使用包含每行长度的长度数组，例如

array[1..rows] of int: lengths = [4,2,3,1,3];