Or-tools CP-Sat求解器：如何用BoolVar实现可选任务跳过

核心思路是：不能在模型构建阶段判断active变量的状态（因为求解前变量值未确定），必须通过约束绑定active变量与任务的执行状态，让求解器自动处理任务是否"生效"。以下是具体实现步骤：

1. 绑定时长变量与active状态 #

对于可选任务，需要让时长在active=false时强制为0，active=true时使用设定的区间范围：

// 定义时长变量，初始范围包含0（非活跃时时长为0）
IntVar durationVar = model.newIntVar(0, task.duration[1], task.name + "_duration");

// 当active为true时，时长必须落在设定的区间内
model.addGreaterOrEqual(durationVar, task.duration[0]).onlyEnforceIf(taskType.active);
model.addLessOrEqual(durationVar, task.duration[1]).onlyEnforceIf(taskType.active);

// 当active为false时，时长强制为0
model.addEquality(durationVar, 0).onlyEnforceIf(taskType.active.not());

2. 使用可选区间变量处理任务活跃性 #

CP-Sat提供了newOptionalIntervalVar方法，可直接将区间变量与active绑定，非活跃时区间会被求解器视为"不存在"，不占用资源也不参与调度：

// 创建绑定active的可选区间变量
taskType.interval = model.newOptionalIntervalVar(
    taskType.start,
    durationVar,
    taskType.end,
    taskType.active,
    "interval" + suffix
);

3. 调整任务依赖约束（若有） #

如果可选任务和其他任务存在依赖关系，需要将依赖约束也绑定到active变量。比如任务B需在活跃的任务A之后执行：

// 仅当A活跃时，B的开始时间必须晚于A的结束时间
model.addGreaterOrEqual(taskB.start, taskA.end).onlyEnforceIf(taskA.active);

4. 输出结果时过滤非活跃任务 #

求解完成后，遍历任务列表，仅输出active为true的任务：

for (TaskType taskType : allTaskTypes) {
    if (taskType.active != null && solver.booleanValue(taskType.active)) {
        System.out.println(taskType.name + ": start=" + solver.value(taskType.start) + ", end=" + solver.value(taskType.end));
    } else if (taskType.active == null) {
        // 必选任务直接输出
        System.out.println(taskType.name + ": start=" + solver.value(taskType.start) + ", end=" + solver.value(taskType.end));
    }
}

关键注意事项 #

• 所有逻辑必须通过约束交给求解器处理，禁止在模型构建阶段判断active变量值。
• 可选任务的时长变量必须包含0作为有效值，否则无法实现"失效"效果。
• 使用newOptionalIntervalVar是最简洁的实现方式，无需额外编写区间活跃性的约束。

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