CPLEX中的这个forall -statement有什么问题？

Question

我想回答here，但错误：

   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

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

这会产生一些开销，但会简化逻辑，无法考虑采用任何更简单的方法。