optimization - 如何计算要在 MiniZinc 的下游约束中使用的数组元素子集的中间总和？

Question

我有一个长度为 l 的 int [0,0,0,0,0] 类型的数组

我想计算在下游约束中使用的具有奇数索引的所有元素的总和，这里有一些“伪”MiniZinc 代码：

s = sum(i in 1..l | i mod 2 == 0) (a[i]);

解决最大化；

如何才能做到这一点？

Answer 1

我不知道什么是“下游约束”，但您可以使用“where”在循环中添加条件：

 constraint
     s = sum(i in 1..l where i mod 2 == 0) (a[i])
 ;