optimization - CPLEX 中的这个 forall 语句有什么问题？

Question

我试图在这里回答但错误：

   forall(t in 0..4){
    a[t]<=z[t];
    -a[t]<=z[t];
    x[t+1]==x[t]+v[t];
    v[t+1]==v[t]+a[t];
   }           

Answer 1

递归方程进入未初始化区间，因此索引异常。你可以通过调整来避免这个错误：初始化不需要的估值并将它们分配为零。

这会产生一些开销，但会简化逻辑，无法想到任何更简单的方法来做到这一点。