什么是约束编程中的全局约束？

Question

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

AllDifferent约束的示例：

1）x1 != x2, x2 != x3, x1 != x3

和

2）AllDifferent(x1, x2, x3)

???

Answer 1

无。我们重建了所有不同的集团。但是，如果使用AllDifferent公式，则进行预求解的速度会更快。

现在，CP-SAT是基于SAT解算器的，并且更喜欢布尔变量。根据您的情况，您可以尝试删除整数变量，并使用带sum (boolvars) <= 1的布尔变量数组。