variables - 过滤 dvar 并在约束中使用

Question

如何按特定标准过滤 dvar 数组并将此结果存储在 dexpr 数组中，以便稍后在约束中使用？我必须这样做，因为我必须评估比较索引 n 和 nk 的某些条件，其中 dvar [n] 和 dvar [nk] 不为零。

我正在使用 Ilog Cplex 社区版的第 12 版。

Answer 1

让我分享一个小例子：

int n=4;
range R=1..4;

dvar int x[R];
dexpr int y[i in R]=(x[i]!=0)*i;

subject to
{
y[1]==0;
y[2]==2;
y[3]==3;
y[4]==0;
}