CP求解器中储层约束的有效公式

Question

我是限制编程的新手，因此对任何误解表示歉意。

假设以下示例问题：

泵以固定的速度将水从无底湖移动到紧密约束的储层中。每天都有对水库的需求，每个小时的需求都不同。目的是通过打开和关闭泵来确保储层保持在极限之内。

6小时问题的示例数据：

res_bounds = [0, 20]
demand = [0,8,1,13,11,12]

可行的解决方案是：

pump_schedule = [1,1,0,1,1,1]

用MIP建模

[10,12,11,8,7,5]

上述示例时，“标准”公式通过基本的质量平衡模型离散化了1小时步骤。但是，当时间步骤变得太好或问题的大小失控时，这些模型往往会缩放较差。

乍一看，CP提供了一个解决方案，该解决方案具有诸如间隔变量之类的功能，以便以非常精细的分辨率有效地安排泵。但是，跟踪储层水平证明了挑战，因为该模型在泵运​​行间隔中间的水平看不见。

Google的Or-Tools提供

简而言之，在约束编程中是否有办法对没有布尔时间变量的这种储层约束进行建模？我尝试在网上环顾四周，但没有发现到目前为止的帮助。

提前致谢。