WeGotYouCovered：PACE 2019 实现挑战顶点覆盖赛道的获胜求解器
数据结构与算法
2019-08-21 v2
摘要
我们展示了 PACE 2019 实现挑战顶点覆盖赛道的获胜求解器。最小顶点覆盖问题是少数几个已知核化——通过数据归约规则反复缩减输入规模——在实践中极为有效的问题之一。我们的算法使用了一套技术组合，包括激进的核化策略、局部搜索、分支归约以及最先进的分支定界求解器。特别值得注意的是，我们的若干技术并非来自顶点覆盖问题的文献：它们最初是为解决（互补的）最大独立集与最大团问题而发表的。除了展示我们的求解器在 PACE 2019 实现挑战中的性能外，我们的实验提供了文献中此前未见的数个关键见解。首先，核化能够提升分支定界团求解器的性能，足以超越分支归约求解器。其次，局部搜索能显著增强分支归约求解器的性能。最后，有些令人意外的是，核化有时会使分支定界算法的表现不如单独运行分支定界。
引用
@article{arxiv.1908.06795,
title = {WeGotYouCovered: The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track},
author = {Demian Hespe and Sebastian Lamm and Christian Schulz and Darren Strash},
journal= {arXiv preprint arXiv:1908.06795},
year = {2019}
}