如何解决或工具最大化/最小化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))
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。