约束规划中的全局约束是什么？

Question

我看到 ORTools 和 CpOptimizer 都使用全局约束。 我知道它可以大大加快搜索速度，但它实际上有什么作用？ 就像我使用下面的（1）或（2）有什么区别；

AllDifferent 约束的示例：

1) x1,= x2, x2 != x3, x1 != x3

和

2） AllDifferent(x1, x2, x3)

？？？

Answer 1

没有任何。 我们重建了所有不同的派系。 不过，如果您使用 AllDifferent 公式，预求解会更快。

现在，CP-SAT 是基于 SAT 求解器，并且更喜欢 Boolean 变量。 在您的情况下，您可以尝试删除 integer 变量，并使用 Boolean 变量的 arrays sum (boolvars) <= 1 。