CP-SAT中AddReservoirConstraintWithActive返回MODEL INVALID的原因

报错原因 #

你遇到的Invalid model: expression must be constant错误，核心原因是AddReservoirConstraintWithActive约束要求listtime和listdemand中的所有元素必须是常量（固定数值），不能包含决策变量（比如你用到的model.NewIntVar类型变量）。

该约束的设计逻辑是基于固定时间点与固定需求/供应量，结合布尔变量listactive控制每个时间点是否触发对应需求/供应。若时间或需求为变量，会直接违反参数类型要求，导致模型验证失败。

解决思路 #

针对涉及变量的动态需求/时间场景，需要手动拆解蓄水池约束逻辑，用CP-SAT支持的线性约束替代：

• 若listtime为变量：将时间序列的依赖关系转化为顺序约束，搭配库存变化的线性不等式。例如，对每个时间点i，确保库存变化符合stock[i] = stock[i-1] - demand[i] * active[i]，同时满足库存上下限要求。
• 若listdemand为变量：用布尔变量active[i]控制需求生效状态，可通过大M法建模，示例代码如下：

# 示例：用大M法建模带变量需求的蓄水池约束
M = 10000  # 根据实际业务设置足够大的常量
max_stock = 你的最大库存值
max_demand = 你的最大单时段需求量

# 定义库存变量
stock = [model.NewIntVar(0, max_stock, f"stock_{i}") for i in range(190)]
# 初始库存约束
model.Add(stock[0] == volstock)

for i in range(1, 190):
    # 计算实际生效的需求量（active为1时取demand，为0时取0）
    actual_demand = model.NewIntVar(0, max_demand, f"actual_demand_{i}")
    model.AddMultiplicationEquality(actual_demand, listactive[i], demand[i])
    # 库存变化约束
    model.Add(stock[i] == stock[i-1] - actual_demand)
    # 库存下限约束（保证库存充足）
    model.Add(stock[i] >= 0)

注意事项 #

CP-SAT原生的蓄水池约束仅适用于固定时间、固定需求的场景，涉及变量的动态场景必须手动构建等价的线性约束组。

内容的提问来源于stack exchange，提问作者Vincente