OR-工具 CP SAT 条件约束

Question

在我试图解决的问题中，我有一个长度为 n 的布尔变量列表，称为 x。给定一个整数 m 其中 m < n，我需要定义这两个约束：

• 如果

  LinearExpr.Sum(x[m:]) > 0

  那么

  LinearExpr.Sum(x[:m]) == 0

• 如果

  LinearExpr.Sum(x[:m]) > 0

  那么

  LinearExpr.Sum(x[m:]) == 0

根据我所读到的内容，我应该使用以下一项或多项：

• 添加或布尔
• 仅强制执行如果
• 添加暗示

然而，经过几个小时的尝试，我还是无法弄清楚。非常感谢任何解决此问题的帮助！

Answer 1

  model.add_at_most_one(x)

如果我没记错的话，这是唯一可行的情况。