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;