一种基于动态MaxSAT的有向反馈顶点集方法
数据结构与算法
2022-11-14 v1
摘要
我们提出一种求解有向反馈顶点集问题（DFVSP）的新方法，其输入为有向图，解为使其无环的最小顶点集。我们的方法在求解器DAGer中实现，基于两项新颖贡献：首先，我们加入了受顶点覆盖问题约简启发的一系列数据约简。为此，我们给出了将约简从顶点覆盖提升 to DFVSP的理论基础，同时也将新思路纳入严格更通用且新颖的DFVSP约简中。其次，我们提出使用圈传播动态将DFVSP编码为命题逻辑以提升性能。圈传播基于如下思想：命题编码中仅有限数量的约束通常便足以找到最优解。因此，我们的算法从少量约束开始，圈传播在必要时添加额外约束。我们提出将圈传播高效集成到MaxSAT求解器的工作流中，进一步提升了算法性能。我们广泛的实验评估表明，DAGer显著优于最先进求解器，且仅我们的数据约简便可直接求解许多实例。
引用
@article{arxiv.2211.06109,
title = {A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets},
author = {Rafael Kiesel and André Schidler},
journal= {arXiv preprint arXiv:2211.06109},
year = {2022}
}
备注
17 pages + 5 pages of appendix