我想知道在 google or-tools 中是否有solver.AllDifferent(x) 的概括，它允许指定我允许多少个不同的元素。
所以如果 len(x) = 4，那么 AllDifferent(x) 意味着 len(set(x)) = 4。但是如果我只想强制执行“至少 2 个不同”，那么：len(set(x)) >=2 ?
是否存在将 AllDifferent 概括为能够设置解变量的基数的约束？
我想知道在 google or-tools 中是否有solver.AllDifferent(x) 的概括，它允许指定我允许多少个不同的元素。
所以如果 len(x) = 4，那么 AllDifferent(x) 意味着 len(set(x)) = 4。但是如果我只想强制执行“至少 2 个不同”，那么：len(set(x)) >=2 ?
是否存在将 AllDifferent 概括为能够设置解变量的基数的约束？