Minizinc中对非连续集合数组使用forall约束报错的解决方法

报错原因 #

• 语法层面：你当前写的constraint forall (i in suc)(end[i] <= start[i]);中，suc是存储集合的数组，直接遍历i in suc时i会拿到集合对象而非单个任务编号，将集合作为下标访问end/start数组就会触发「数组切片必须连续」的报错
• 逻辑层面：先后约束需要两个变量分别对应前驱任务、后继任务，仅用一个下标i无法对应「前驱结束 ≤ 后继开始」的逻辑

正确约束写法 #

直接替换你原来的错误约束为以下代码即可：

constraint forall(i in 1..n_tasks, j in suc[i])(
    end[i] <= start[j]
);

代码说明 #

• 外层遍历1..n_tasks拿到所有前驱任务编号i
• 内层遍历i对应的后继集合suc[i]，拿到每个后继任务编号j
• 自动生成所有你手动写的end[i] <= start[j]规则，即使suc[i]为空集也不会触发报错（MiniZinc默认forall遍历空集合为成立状态）

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