OR-tools CP-SAT 求解器是否支持 x.Min() 和 x.Max() 等“反射”方法？

问题描述

我正在将旧的（从 2010 年开始）OR-tools CP 求解器模型移植到 CP-SAT 求解器（在 python3 中）。这些系统之间存在不少差异，但大多数都很容易移植到 CP-SAT 求解器。

但是，我在 CP-SAT 求解器文档中没有找到的一件事是旧 CP 求解器支持的“反射”方法，例如获取决策变量的下限/上限。例如

  # Old CP solver code
  solver = pywrapcp.solver("Name")
  x = solver.Intvar(0,10,"x") 

  # ....
  x_lb = x.Min()  # lower bound
  x_ub = x.Max()  # upper bound
  # ... 
 

然后可以使用变量的这些下限/上限来实现其他约束。 （这是一个使用 cumulative 和 Min 方法实现 Max 约束的 CP 求解器：http://hakank.org/or_tools/furniture_moving.py ）

CP-SAT 求解器是否支持这种反射方法？

解决方法

您可以通过基础变量 Proto 访问域。

x.Proto().domain

第一个值是 min，最后一个值是 max。

x_lb = x.Proto().domain[0]
x_ub = x.Proto().domain[-1]

PS：也许您可以在这里使用 AddCumulative 约束。