IntVar 的域是否影响 CP-SAT 求解器的性能

Does the domain of an IntVar affect the performance of a CP-SAT solver

亲爱的， 我通常指定 big IntVar，即使不需要它们：

model.NewIntVar(-93372036854775808, 9123372036854775807, 'test')

它会影响求解器的性能还是无关紧要？我的意思是将变量的域限制在一个合理的范围内更好，还是不影响求解器逻辑？

谢谢

一般情况下，最好限制变量的域。

  1. 尽可能远离溢出值
  2. 完全紧域不是强制性的，因为预求解会收紧它们。但是一些预求解规则可能会扫描所有值。所以还是给小域名比较好