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

Question

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

AllDifferent 约束的示例：

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

和

2)AllDifferent(x1, x2, x3)

？？？

score 1 · Accepted Answer

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

现在，CP-SAT 是基于 SAT 求解器的，并且更喜欢布尔变量。在您的情况下，您可以尝试删除整数变量，并将布尔变量数组与sum (boolvars) <= 1.

1 回答 1