or-tools Maximize/Minimize 或/异或

Question

简单示例：

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

以上我可以保证每天只有一个a...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))

见this page of documentation

or-tools Maximize/Minimize 或/异或

or-tools Maximize/Minimize OR / XOR

optimization

or-tools