使用 OR 工具在 python 中进行约束优化：如何实施多级约束？

Question

我有一个优化问题，我有一个“BoolVar”对象列表列表。所以像这样：

[[BoolVar1,BoolVar2],[BoolVar3, BoolVar4],[BoolVar5,BoolVar6]]

我需要评估以下内容：

(BoolVar1 && BoolVar2) || (BoolVar3 && BoolVar4) || (BoolVar5 && BoolVar6)

我是否必须按以下方式执行此操作：

and12 = model.NewBoolVar("and12")
model.Add(and12 == True).OnlyEnforceIf([BoolVar1,BoolVar2])
and34 = model.NewBoolVar("and34")
model.Add(and34 == True).OnlyEnforceIf([BoolVar3,BoolVar4])
and56 = model.NewBoolVar("and56")
model.Add(and56 == True).OnlyEnforceIf([BoolVar5,BoolVar6])
model.AddBoolOr([and12,and34,and56])

我试过这段代码，它似乎能正常工作，但我对“OnlyEnforceIf”函数存疑。如果不强制执行会怎样？ and12 然后设置为 False 或者它可以是 False 或 True，从那时起这个等式就不会被强制执行？我根据 this post.

来到这段代码

Answer 1

OnlyEnforceIf只是一个暗示。您需要添加反向。
你应该留在布尔世界：

from ortools.sat.python import cp_model

model = cp_model.CpModel()

and12 = model.NewBoolVar("and12")
BoolVar1 = model.NewBoolVar("b1")
BoolVar2 = model.NewBoolVar("b2")
model.AddBoolAnd([BoolVar1, BoolVar2]).OnlyEnforceIf(and12)
model.AddBoolOr([and12]).OnlyEnforceIf([BoolVar1, BoolVar2])

solver = cp_model.CpSolver()
solver.parameters.enumerate_all_solutions = True
solver.Solve(model, cp_model.VarArraySolutionPrinter([BoolVar1, BoolVar2, and12]))

产出

Solution 0, time = 0.00 s
  b1 = 0   b2 = 0   and12 = 0 
Solution 1, time = 0.00 s
  b1 = 1   b2 = 0   and12 = 0 
Solution 2, time = 0.00 s
  b1 = 0   b2 = 1   and12 = 0 
Solution 3, time = 0.00 s
  b1 = 1   b2 = 1   and12 = 1

使用 OR 工具在 python 中进行约束优化：如何实施多级约束？

Constraint optimization in python with OR Tools: How to enforce a multi level constraint?

python

or-tools

cp-sat-solver