如何设置SCIP约束处理器仅在找到可行解后生效？

首先得澄清一下你对CONSHDLR_CHECKPRIORITY=-1的理解：这个参数确实会让约束处理器只在节点LP解为整数时触发检查，但它并不关心这个整数解是否满足其他模型约束——只要是整数解，处理器就会运行。这就是为什么你会看到它在找到可行解前就添加约束，甚至导致后续整数解不满足的原因。

针对你的需求，这里有几个可行的技巧来限制约束处理器的触发时机：

1. 在check方法中手动判断解的可行性 #

你可以在约束处理器的check函数里，先检查当前整数解是否满足所有其他模型约束，只有完全可行的情况下，再执行你的约束检查和裁剪添加逻辑。

具体可以用SCIPgetSolfeasibility()函数来判断解的可行性，同时结合SCIPisInPreprocessing()确保预处理阶段不运行处理器：

static
SCIP_RETCODE myConshdlrCheck(SCIP* scip, SCIP_CONSHDLR* conshdlr, SCIP_SOL* sol, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool printreason, SCIP_Bool completely, SCIP_RESULT* result)
{
    // 跳过预处理阶段
    if (SCIPisInPreprocessing(scip))
    {
        *result = SCIP_FEASIBLE;
        return SCIP_OKAY;
    }

    // 检查当前解是否满足所有模型约束（除了本处理器的约束）
    SCIP_Bool isSolFeasible;
    SCIP_CALL(SCIPgetSolfeasibility(scip, sol, &isSolFeasible));

    if (!isSolFeasible)
    {
        // 解不可行，直接返回FEASIBLE，不执行本处理器的检查
        *result = SCIP_FEASIBLE;
        return SCIP_OKAY;
    }

    // 到这里，解是完全可行的整数解，执行你的约束检查逻辑
    // 示例：检查是否违反自定义约束，添加裁剪
    // ... 你的业务代码 ...

    *result = SCIP_FEASIBLE;
    return SCIP_OKAY;
}

同时记得保持CONSHDLR_CHECKPRIORITY=-1，确保只在整数解时触发。

2. 动态启用/禁用约束处理器 #

如果你的需求是只有在找到第一个可行解后才启用约束处理器，可以通过事件处理器来实现：初始时禁用约束处理器，当SCIP找到第一个可行解时，再激活它。

代码示例如下：

// 事件处理器回调：当找到第一个可行解时激活约束处理器
static
SCIP_DECL_EVENTEXEC(eventExecActivateConshdlr)
{
    SCIP_EVENTTYPE eventType = SCIPeventGetType(event);

    if (eventType == SCIP_EVENTTYPE_FIRSTSOLFOUND)
    {
        // 激活你的约束处理器
        SCIP_CALL(SCIPactivateConshdlr(scip, myCustomConshdlr));
        // 注销事件处理器，避免重复触发
        SCIP_CALL(SCIPdropEvent(scip, SCIP_EVENTTYPE_FIRSTSOLFOUND, eventhdlr, NULL, NULL));
    }

    return SCIP_OKAY;
}

// 在主程序中注册并配置
int main()
{
    SCIP* scip;
    SCIP_CONSHDLR* myCustomConshdlr;
    SCIP_EVENTHDLR* eventhdlr;

    // 初始化SCIP等操作...

    // 注册约束处理器，并初始禁用
    SCIP_CALL(SCIPincludeConshdlrMyCustom(scip, &myCustomConshdlr));
    SCIP_CALL(SCIPdeactivateConshdlr(scip, myCustomConshdlr));

    // 注册事件处理器，监听第一个可行解事件
    SCIP_CALL(SCIPincludeEventhdlr(scip, &eventhdlr, "ActivateConshdlrEvent", "Activates custom conshdlr when first feasible solution is found", eventExecActivateConshdlr, NULL));
    SCIP_CALL(SCIPcatchEvent(scip, SCIP_EVENTTYPE_FIRSTSOLFOUND, eventhdlr, NULL, NULL));

    // 求解...
}

这种方法适合你希望约束处理器完全不参与预处理和早期节点搜索，只在有可行解后才工作的场景。

3. 延迟约束传播到预处理之后 #

如果只是想让约束处理器在预处理完成后才运行，可以设置CONSHDLR_DELAYPROP=TRUE，这个参数会让SCIP延迟约束处理器的传播操作到预处理阶段结束后。结合CHECKPRIORITY=-1，就能确保处理器只在预处理后的整数解节点上触发。

在注册约束处理器时添加：

SCIPconshdlrSetDelayprop(scip, conshdlr, TRUE);

总结 #

• 如果需要每次整数解满足所有约束时才检查：用方法1，手动判断解的可行性；
• 如果需要第一个可行解出现后才启用处理器：用方法2，事件处理器动态激活；
• 如果只是跳过预处理阶段：用方法3，设置DELAYPROP=TRUE。

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