多维的At操作符
At 操作符还提供了访问数组的数组的方法(在数组的每个索引处保存另一个数组的数据结构)。对于避免创建二次表达式非常方便。
假设我们模拟 TSP旅行商问题,其中访问过的第i个城市存储在表达式city[i] 中,并且每对城市之间的距离由距离矩阵(名为distance)决定。第i个城市到下一个城市的行驶距离可以简单地由距离矩阵上的At运算符定义,索引值分布为city[i]和city[i+1]::
city = {exprCity0, exprCity1, ..., exprCityn};
distance = {{d00, d01, ..., d0n}, {d10, d11, ...,d1n}, ..., {dn0, dn1, ..., dnn}};
// In LSP, even the multi-index at operator is naturally written
// with the [][] notation on a map;在LSP中,即使是多索引的At操作符也自然地用[][]符号写在映射上:
distanceTraveled <- distance[city[i]][city[i+1]];
与一维At操作符的情况一样,上述代码的API等价物也需要创建一个O_Array数组表达式,但这次它将是一个数组的数组。
std::vector<LSExpression> city {exprCity0, exprCity1, ..., exprCityn};
std::vector<std::vector<int> > distance =
{{d00, d01, ..., d0n}, {d10, d11, ...,d1n}, ..., {dn0, dn1, ..., dnn}};
LSExpression distanceArray = model.array();
for(int k = 0; k < n; k++)
distanceArray.addOperand(model.array(distance[k].begin(), distance[k].end()));
LSExpression distanceTraveled = model.at(distanceArray, city[i], city[i+1]);
多重数组(jagged arrays)
数组的数组不必表示为方阵。它们可以完美地存储多重数组:
a = { 1, 2, 3 };
b = { 4, 5 };
c = { 6 };
myArray <- {a, b, c};