基于 SCIP 的伪布尔求解最新方法
最优化与控制
2025-01-09 v2
摘要
伪布尔问题处理布尔变量上具有整数系数的线性或多项式约束。其目标在于优化线性目标函数，或寻找可行解，或寻找尽可能满足多约束的解。在 2024 年伪布尔竞赛中，集成 SCIP 框架的求解器赢得了其参赛的六个类别中的五个。在总共 1,207 个实例中，SCIP 成功求解了 759 个，而其并行版本 FiberSCIP 求解了 776 个。基于竞赛结果，我们进一步增强了 SCIP 的伪布尔求解能力。本文讨论了这些结果并介绍了获胜的算法思想。
引用
@article{arxiv.2501.03390,
title = {State-of-the-art Methods for Pseudo-Boolean Solving with SCIP},
author = {Gioni Mexi and Dominik Kamp and Yuji Shinano and Shanwen Pu and Alexander Hoen and Ksenia Bestuzheva and Christopher Hojny and Matthias Walter and Marc E. Pfetsch and Sebastian Pokutta and Thorsten Koch},
journal= {arXiv preprint arXiv:2501.03390},
year = {2025}
}