MiniZinc：语法错误：语法错误，意外的 if，期望文件结尾

Question

我不知道为什么我的代码在 Minizinc 中不起作用...你能帮助我吗？ 这是错误，但我认为还有另一个错误： MiniZinc：语法错误：语法错误，意外的 if，期望文件结尾

array [1..n, 1..2] of 1..n: cards;

var int: M1;
var int: M2;
var int: m1;

include "globals.mzn";


constraint(M1 < m1);

constraint(M2 > m1);

constraint(M2 - M1 > d); 

constraint alldifferent ( [cards[v,1] | v in 1..n]);

constraint forall(v in 1..M1) if v!=0 then (cards[v,2] > cards[v-1,2]) endif;
constraint forall(v in M1+1..m1)(cards[v,2] < cards[v-1,2]);
constraint forall(v in m1+1..M2)(cards[v,2] > cards[v-1,2]);
constraint forall(v in m1+1..n) if v!=n then (cards[v,2] < cards[v-1,2]) endif;

solve satisfy;

output
["Cards (" ++ show(cards[v1,v2]) ++ ")" ++ "/n" | v1 in 1..n, v2 in 1..2];

Answer 1

第一个问题是 forall 正在从 Minizinc 文档 "("")" "("")"，将整个 if 括在括号中，就像这样 constraint forall(v in m1+1..n)(if v!=n then (cards[v,2] < cards[v-1,2]) endif);

修复后你会发现模型仍然失败， MiniZinc：评估错误：理解迭代无限集，因为变量 M1、m1、M2 没有其定义给出的界限，并且它们的约束不限制域，所以 M2 > m1＞ M1 和 M2 - M1 d，没有给出 M2 的上限或 M1 的下限，并让 Minizinc 尝试 int 域中的所有值对于其中一个变量，并使用 d 间隙内的值测试另一个变量（检查 变量边界），尝试根据变量的定义来限制变量，例如 var 1..x，其中 x 可能是任意最大值这些变量可以采用仍然有意义的解决方案，从 forall 定义来看，您似乎认为 m1+1 <= n，所以也许使用 >n 作为上限。

从 constraint forall(v in 1..M1) if v!=0 then (cards[v,2] > cards[v-1,2]) endif; 你可以消除 if v!=0 if M1 > 0，因为 v 永远不会取该值，这是正确的，因为如果 M1 M1 0 模型将访问数组的边界之外（如果模型能够编译的话），因为 cards 的所有索引都是正数 [1..n, 1 ..2]。如果所有这些都适用，那么当 v=1 位于 cards[v- 时，(v in 1..M1) 也会使另一个数组访问越界1,2]，也许您的模型对您使用 constraint forall(v in 2..M1)(cards[v,2] > cards[v-1,2]); 仍然有意义

最后，你有cards 位于 all different 约束中，但卡片未声明为变量，如果卡片确实是决策变量，请使用array [1..n, 1.. 2] of var 1..n: cards;

我测试了模型的修改版本并得到了可行的解决方案。

int: n = 5;
int: d = 3;
array [1..n, 1..2] of var 1..n: cards;

var 1..n: M1;
var 1..n: M2;
var 1..n: m1;

include "globals.mzn";


constraint(M1 < m1);

constraint(M2 > m1);

constraint(M2 - M1 > d); 

constraint alldifferent ( [cards[v,1] | v in 1..n]);

constraint forall(v in 2..M1)(cards[v,2] > cards[v-1,2]);
constraint forall(v in M1+1..m1)(cards[v,2] < cards[v-1,2]);
constraint forall(v in m1+1..M2)(cards[v,2] > cards[v-1,2]);
constraint forall(v in m1+1..n)(if v!=n then (cards[v,2] < cards[v-1,2]) endif);

solve satisfy;

output
["Cards (" ++ show(cards[v1,v2]) ++ ")" ++ if v2 != 2 then ", " else "\n" endif | v1 in 1..n, v2 in 1..2];

Cards (5), Cards (4)
Cards (4), Cards (3)
Cards (3), Cards (2)
Cards (2), Cards (1)
Cards (1), Cards (2)