实践中的分支 - 归约指数/FPT 算法：顶点覆盖案例研究
数据结构与算法
2014-11-12 v1
摘要
我们研究了精确分支算法在理论与实践中存在的差距。在理论上，分支 - 归约（branch-and-reduce）算法目前对许多重要问题具有最佳的时间复杂度。另一方面，在实践中，最先进的方法基于不同的途径，且此类理论算法的经验效率鲜有研究，这可能是因为它们看似因大量复杂的归约规则而效率低下。在本文中，我们利用为理论算法开发的技术设计了一种用于顶点覆盖问题的分支 - 归约算法，并将其实际性能与其他最先进的经验方法进行了比较。结果表明，分支 - 归约算法实际上非常实用，并且在多种实例上与其他最先进的方法具有竞争力，从而展示了分支算法理论研究对实际应用的影响。
引用
@article{arxiv.1411.2680,
title = {Branch-and-Reduce Exponential/FPT Algorithms in Practice: A Case Study of Vertex Cover},
author = {Takuya Akiba and Yoichi Iwata},
journal= {arXiv preprint arXiv:1411.2680},
year = {2014}
}
备注
To appear in ALENEX 2015