当 dvar B 依赖于 A 时，如何更改 dvar B 的值，因为 dvar A 会发生变化

Question

现在我面临着一个关于"当 dvar B 依赖于 A 时 dvar A 发生变化时，dvar B 的值会发生变化"的问题。

我写了一个代码，很简单。

int a = 3;
int e = 4;
int t = 6;
int h = 2;
range aRange = 1..a;
range eRange = 1..e;
range tRange = 1..t;
range hRange = 1..h;
int C[aRange][eRange] = [[2,5,8,7]
[3,6,8,1]
[8,7,1,0]];
int N[eRange][hRange] = [[8,6]
[4,1]
[9,7]
[5,4]];

dvar boolean A[aRange][eRange][tRange]; 
dvar int B[eRange][hRange][tRange] in 0..100;
maximize
sum(a in aRange, e in eRange, t in tRange, h in hRange) C[a][e] * A[a][e][t] * B[e][h][t];
subject to {
cons01 :
forall(e in eRange, h in hRange, t in tRange) { 
B[e][h][t] <= N[e][h]; }
}

在这种情况下，我想实现一个条件

'如果 x[a][e][t] = 0，则 B[e][h][t] = B[e][h][t-1] + B[e][h][

t-1]/N[e][h]。 否则 x[a][e][t] = 1， B[e][h][t] = 0。

如何将上述条件实现到我的代码中(约束或主题函数或使用数据脚本..？

Answer 1

您可以使用逻辑约束。 例如，您可以编写：

forall(a in aRange,e in eRange,h in hRange,t in tRange:t!=1) 
(x[a][e][t] == 0) => (B[e][h][t] == B[e][h][t-1] + B[e][h][t-1]/N[e][h]);

在"受制于"块中