是否可以在解决问题后保留信息并重复使用相同的信息来解决相同的问题但设置不同？

Question

我的问题是大SAT问题。在SCIP7.0.0中，有很多分支规则可以选择。如果我向 SCIP 发送一个问题并且 SCIP 解决了这个问题，是否可以在整个解决过程中使用学到的信息，比如切割平面、冲突约束和可变分支历史来用不同的方法解决相同的问题？

例如，我发送了一个包含 7500 个变量和 450,000 个约束的 SAT 实例，并使用默认设置进行了优化。是否可以使用存储在 SCIP 中的信息（如上所述）来处理使用全强分支的相同问题？

Answer 1

我知道这个答案来晚了，但你为什么要这样做？如果您想比较不同的分支规则，那么使用您在之前的求解中学到的信息将显着影响具有不同分支规则的求解的求解行为。