optimization - zimpl 中意外的 VARSYM

Question

我的 Zimpl 代码中出现意外的 VARSYM。这是我的部分代码:

param T := 0.8;
var S[Sensors] binary;

minimize nb_sensors : sum < i > in Sensors : S[ i ];

subto fd:

     1- prod <k,l>  in Sensors*Pipe : (1-ord(Proba[k,l],1,1) * S[k])  >= T;

似乎错误是因为我有一个变量(S[])在函数(prod)中，你对这个问题有什么想法吗？

Answer 1

T 是什么，是变量还是常量？您是否尝试过将产品写在括号中:

1- (prod <k,l>  in Sensors*Pipe : (1-ord(Proba[k,l],1,1) * S[k]))  >= T;

或者重写为:

prod <k,l>  in Sensors*Pipe : (1-ord(Proba[k,l],1,1) * S[k]) + T <= 1;