約束規划中的全局約束是什么？

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 。