BandMaxSAT：基于多臂老虎机的局部搜索 MaxSAT 求解器
人工智能
2022-06-17 v2
摘要
我们研究 Partial MaxSAT (PMS) 与 Weighted PMS (WPMS) 这两个 MaxSAT 问题的实用推广，并针对这些问题提出一种称为 BandMaxSAT 的局部搜索算法，其应用多臂老虎机模型来引导搜索方向。我们方法中的老虎机与输入 (W)PMS 实例中的所有软子句相关联。每个臂对应一个软子句。老虎机模型可通过在当前步选择一个待满足的软子句（即选择拉动一个臂）来帮助 BandMaxSAT 选取良好方向以逃离局部最优。我们进一步提出一种针对 (W)PMS 的初始化方法，在生成初始解时优先处理单元子句与二元子句。大量实验表明，BandMaxSAT 显著优于当前最优的 (W)PMS 局部搜索算法 SATLike3.0。具体而言，BandMaxSAT 取得更优结果的实例数量约为 SATLike3.0 的两倍。此外，我们将 BandMaxSAT 与完整求解器 TT-Open-WBO-Inc 结合。所得求解器 BandMaxSAT-c 也优于部分当前最优的完整 (W)PMS 求解器，包括 SATLike-c、Loandra 与 TT-Open-WBO-Inc。
引用
@article{arxiv.2201.05544,
title = {BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit},
author = {Jiongzhi Zheng and Kun He and Jianrong Zhou and Yan Jin and Chu-Min Li and Felip Manya},
journal= {arXiv preprint arXiv:2201.05544},
year = {2022}
}
备注
Accepted by IJCAI 2022