小编rec*_*ces的帖子

我一直在 MiniZinc 中使用一个简单的 n-queens 模型：

include "globals.mzn";
int: n_queens = 8;
array[1..n_queens] of var 1..n_queens: queens;

constraint alldifferent(queens);
constraint alldifferent(i in 1..n_queens) (queens[i] + i);
constraint alldifferent(i in 1..n_queens) (queens[i] - i);
solve satisfy;

该MiniZinc手册中提到failures的“这是故障的叶节点的数目”。以下是运行模型后的统计数据：

%%%mzn-stat: initTime=0.000576
%%%mzn-stat: solveTime=0.000822
%%%mzn-stat: solutions=1
%%%mzn-stat: variables=24
%%%mzn-stat: propagators=19
%%%mzn-stat: propagations=1415
%%%mzn-stat: nodes=47
%%%mzn-stat: failures=22
%%%mzn-stat: restarts=0
%%%mzn-stat: peakDepth=5
%%%mzn-stat-end

有 22 次失败。作为约束编程的初学者，我的理解是范式的整个目的是尽可能地修剪和避免叶节点。我特别困惑，因为搜索树的峰值深度报告为 5（不是 8）。

我对这些统计数据的解释正确吗？如果是，为什么模型中存在叶节点故障？我会通过尝试减少这些失败来创建更好的模型吗？