将多臂老虎机与局部搜索结合用于最大可满足性问题
人工智能
2022-11-30 v1
摘要
部分最大可满足性（PMS）和加权PMS（WPMS）是MaxSAT问题的两种实用推广。本文针对这些问题提出一种局部搜索算法，称为BandHS，其在逃离局部最优时应用两个多臂老虎机来引导搜索方向。其中一个老虎机与所有软子句结合，帮助算法选择满足适当的软子句；另一个老虎机与硬子句中的所有文字结合，帮助算法选择适当的文字以满足硬子句。这两个老虎机可提升算法在可行与不可行解空间中的搜索能力。我们进一步提出一种针对（W）PMS的初始化方法，在生成初始解时优先处理单元子句与二元子句。大量实验表明，我们所提方法具有优异的性能与泛化能力，大幅提升了最先进的局部搜索算法SATLike3.0以及最先进的基于SAT的不完备求解器NuWLS-c。
引用
@article{arxiv.2211.16011,
title = {Incorporating Multi-armed Bandit with Local Search for MaxSAT},
author = {Jiongzhi Zheng and Kun He and Jianrong Zhou and Yan Jin and Chu-Min Li and Felip Manyà},
journal= {arXiv preprint arXiv:2211.16011},
year = {2022}
}
备注
arXiv admin note: substantial text overlap with arXiv:2201.05544