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

问题描述

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

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

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

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

如何在 Java 中完成此操作？

解决方法

繁琐的java方式:-)

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

这在兔子 + 野鸡 sample 中显示。