使用 OR-Tools 表达多变量约束

Question

我正在探索 Google 的 Cp-SAT 来对特定类型的约束进行建模，如下所示：

约束：

变量 X 可以取值 1、2 和 3
变量 Y 可以取值 2、3 和 4
变量 Z 可以采用值 5、6 和 7
当变量 X 的值为 1 时，Y 只能假设为 3 或 4
当变量 Y 值为 3 时，Z 只能假设为 7

给定变量 Y 值为 3 而 Z 值不是 7，求 X 和 Z 的可能值。

我无法使用 Google 的 CP-SAT Java 接口对此进行建模。有人可以帮忙吗？

我探索了以下示例，但仍然无法弄清楚： https://github.com/google/or-tools/blob/stable/ortools/linear_solver/samples/LinearProgrammingExample.java

https://github.com/google/or-tools/blob/stable/ortools/linear_solver/samples/SimpleMipProgram.java

Answer 1

您正在混合求解器（CP-SAT 接口和线性求解器接口）。

你应该看看 CP-SAT 求解器，特别是这个约束：

http://google.github.io/or-tools/java/classcom_1_1google_1_1ortools_1_1sat_1_1CpModel.html#a07c24a31bdfe0db93e53fbf38655f200

请先阅读介绍性文档：

https://developers.google.com/optimization/cp

还有一份简单的食谱

https://github.com/google/or-tools/blob/stable/ortools/sat/doc/README.md