我有一个带有二进制决策变量的2d数组，我的目标是添加的约束，特定列数的总和等于0。
int N=5;
range r=1..N;
{int} zeroColumns={1,3};
dvar boolean x[r][r];
maximize sum(i,j in r) x[i][j];
subject to
{
forall(i in zeroColumns) 0==sum(j in r) x[j][i];
}
给出
0 1 0 1 1
0 1 0 1 1
0 1 0 1 1
0 1 0 1 1
0 1 0 1 1