或工具最大化/最小化or/XOR

Question

简单示例：

days = range(1,10)
for d in days:
model.AddBoolXOr(a,b,c,d,e,f,g)

以上我可以确保每天只有一个…g是真的。但并非每天都能做到这一点，所以我希望能够最大限度地增加实现的次数。类似。。。

array_bools = []
days = range(1,10)
for d in days:
day_bool = NewBoolVar('name')
model.Add(day_bool = XOr(a,b,c,d,e,f,g))
array_bools.append(day_bool)
model.Maximize(sum(array_bool[i] for i in range(len(array_bool))))

Answer 1

array_bools = []
days = range(1,10)
for d in days:
day_bool = NewBoolVar('name')
model.Add(sum([a,b,c,d,e,f,g]) == 1).OnlyEnforceIf(day_bool)
model.Add(sum([a,b,c,d,e,f,g]) != 1).OnlyEnforceIf(day_bool.Not())
array_bools.append(day_bool)
model.Maximize(sum(array_bool))

请参阅文档的本页