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

再帰方程式が初期化されていない間隔に入るため、インデックスが例外外になります。微調整することでこのバグを回避できます: 不要な評価を初期化し、それらをゼロに割り当てます。

これによりオーバーヘッドが発生しますが、ロジックが簡素化され、これを行うためのより簡単な方法は考えられません。