Google Or-tools 约束析取答案

【问题标题】：Google Or-tools disjunction of constraintsGoogle Or-tools 约束析取
【发布时间】：2014-03-23 13:20:31
【问题描述】：

我想使用 Google or-tools Java api，但无法分离约束。我尝试这样实现：(A==1 OR B==1) AND ((C==1 OR D==1))... 我该怎么做？

另一个问题是我如何实现 makeSumLessOrEqual(IntVar[] VARS, IntVar limit) 因为只有 makeSumLessOrEqual(IntVar[] VARS, int limit) 函数。

感谢您的帮助！

【问题讨论】：

【解决方案1】：

我想使用 Google or-tools Java api，但无法分离约束。我尝试这样实现：(A==1 OR B==1) AND ((C==1 OR D==1))... 我该怎么做？

使用solver.makeIsEqualCstVar(A, 1) 创建布尔变量

OR 是 solver.makeMax(boolvar_1, boolvar_2) 和 AND 是 solver.makeMin();

另一个问题是我如何实现 makeSumLessOrEqual(IntVar[] VARS, IntVar limit) 因为只有 makeSumLessOrEqual(IntVar[] VARS, int limit) 函数。

您需要将makeScalProd API 与[1, .., 1, -1] 和vars + [limit] 一起使用。

【讨论】：