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

问题描述

简单的例子：

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,g))
   array_bools.append(day_bool)

model.Maximize(sum(array_bool[i] for i in range(len(array_bool))))

解决方法

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,g]) != 1).OnlyEnforceIf(day_bool.Not())
    array_bools.append(day_bool)

model.Maximize(sum(array_bool))

请参见this page of documentation