SCIP约束处理器回调逻辑及misc/allowstrongdualreds参数咨询

负检查优先级约束处理器的回调触发规则 #

首先明确核心逻辑：consenfolp是仅针对LP松弛连续解的约束强制执行回调，和整数解校验场景完全无关，不会在负优先级约束处理器的conscheck返回约束违反后被调用。

• 无论是根节点还是分支节点，只要触发负优先级约束处理器的conscheck，说明当前拿到的已经是整数可行解（要么是LP松弛解本身所有变量取整数值，要么是启发式方法生成的整数解）。此时如果检出约束违反，SCIP不会调用consenfolp，而是走整数解违反的处理路径：调用约束处理器的整数强制执行回调consenfo，要么生成割/有效约束把当前违反的整数解剔除后重新求解当前节点，要么直接判定当前节点不可行执行剪枝。
• 补充：负检查优先级的设计初衷就是给只需要校验整数解合法性的约束处理器用的，这类约束不需要参与LP松弛连续解的可行性校验，自然不会触发面向LP连续解的consenfolp逻辑。如果你的约束需要在LP松弛阶段就拦截违反情况，不要把检查优先级设为负值。

misc/allowstrongdualreds参数说明 #

这个参数控制预求解、域传播阶段的约简规则选择：

• 设为TRUE（默认值）时，允许SCIP执行强对偶约简：这类约简只会保证原MIP问题的整数最优解集合不变，可能修改LP松弛的对偶可行域，比如固定部分变量、收紧变量界、删除不会影响整数最优解的冗余约束，约简力度更强，能有效缩小问题规模、加快求解速度，但约简后得到的LP对偶界和原问题LP松弛的对偶界可能存在差异。
• 设为FALSE时，SCIP仅使用弱对偶约简：这类约简不仅保留原问题所有整数最优解，还会完整保留原LP松弛的对偶可行域，约简前后的LP对偶界完全一致，但约简力度更弱，一般仅在需要做严格对偶分析、复现原始问题LP求解结果的场景下才会关闭。

注意：如果你的求解流程依赖原始LP的对偶解、对偶界做后续分析（比如自定义分支规则依赖精确对偶值），建议关闭该参数，避免预求解/传播阶段的约简导致对偶值和预期不符。

内容的提问来源于stack exchange，提问作者optimal-br