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