OR-Tools：一个 IntVar 是一个 IntVar 减去 Java 中的另一个 IntVar？答案

【问题标题】：OR-Tools: An IntVar that is one IntVar minus another IntVar in Java?OR-Tools：一个 IntVar 是一个 IntVar 减去 Java 中的另一个 IntVar？
【发布时间】：2021-05-31 15:10:22
【问题描述】：

我在 Java 中使用 CP-SAT Solver，我的目标是最小化 IntVars 数组的最大值和最小值的范围。

在 Java 中为数组中的最大值和最小值创建 IntVar 是没有问题的。挑战是在 Java 中创建范围 IntVar。在 Python 中很简单：

range = model.NewIntVar(1, 1000, "range")
model.Add(range == max - min)
model.Minimize(range)

我知道在 Java 中使用 OR-Tools 我需要使用 model.addEquality，而不是 ==。但是如何完成减法以获得“范围”IntVar？我想在包含 max 和 min 的负数的 IntVar[] 上使用 LinearExpr.sum，其中 min 的负数来自：LinearExpr.term(min, -1)。但是 LinearExpr.term 返回一个 LinearExpr，而 LinearExpr.sum 只接受 IntVars 的数组。

如何在 Java 中做到这一点？

【问题讨论】：

标签： or-tools

【解决方案1】：

繁琐的java方式:-)

model.AddEquality(LinearExpr.Sum(new IntVar[] {x, y}), 1);

这是兔子+野鸡sample.

【讨论】：

谢谢 Laurent，但我认为是 x + y。如何在 Java 中获得 x - y？
查看示例，使用 LinearExpr.scalProd()
是的，做到了。 "LinearExpr.scalProd(new IntVar[] { max, min }, new int[] { 1, -1 })" 是 Python "max - min" 的 Java 等价物。谢谢洛朗！