MiniZinc出现无法动态计算语法错误 代码修正求助

这个动态计算报错的触发逻辑很明确：MiniZinc在编译模型阶段必须能完全确定所有forall/sum等迭代结构的遍历范围、所有数组访问的下标边界，不能存在依赖决策变量才能确定范围的动态逻辑。
你的约束写法触发报错通常是两个原因：

• 定义LINENUMBER/DAYSETNUMBER这类范围边界量时，错误用了var int决策变量类型，导致外层迭代范围变成运行时才能确定的动态值
• 没有提前给rate数组的第三维（滞后期维度）声明固定大小，编译器计算j-k+1下标时无法确认边界，判定为动态计算。

首先把所有和迭代范围、数组维度相关的量全部定义为固定参数（int类型，不能带var前缀），提前声明固定的最大滞后期常量：

% 固定参数定义，全部为编译期可确定的常量
int: LINENUMBER;
int: DAYSETNUMBER;
int: MAX_LAG = DAYSETNUMBER; % 若滞后期最长不超过计划周期，直接设为DAYSETNUMBER即可

% 数组维度全部用固定参数声明
array[1..LINENUMBER, 1..DAYSETNUMBER] of var int: PACKOUTCAP;
array[1..LINENUMBER, 1..DAYSETNUMBER] of var int: INPUTCAP;
array[1..LINENUMBER, 1..DAYSETNUMBER, 1..MAX_LAG] of float: rate;

然后把约束改写为静态可展开的形式，对超过最大滞后期的转化率补0处理，避免下标越界：

constraint 
  forall(i in 1..LINENUMBER, j in 1..DAYSETNUMBER) (
    PACKOUTCAP[i,j] > sum(k in 1..j) (
      let {
        int: lag = j - k + 1;
      } in
      if lag > MAX_LAG then 0 else INPUTCAP[i,k] * rate[i,k,lag] endif
    )
  );

如果你的业务场景里最大滞后期远小于计划周期，还可以进一步缩小sum的遍历范围减少编译后的约束规模，把k in 1..j改成k in max(1, j - MAX_LAG + 1)..j即可，这个范围因为所有值都是固定参数，编译器可以直接静态展开，不会触发动态计算报错。

所有用来做数组下标、迭代边界的变量，只要是在迭代器头部绑定的（比如这里的i/j/k）或者提前声明为固定int参数的，都不会触发动态错误，绝对不要把这类边界量定义为决策变量。

内容的提问来源于stack exchange，提问作者jinzhu