关于简单归约对最大独立集问题的效力
数据结构与算法
2016-08-03 v1
摘要
归约（即在保持计算最优解能力的同时减小输入规模的规则）对于在理论和实践中开发高效的最大独立集算法至关重要。虽然此前已有几种简单归约被证明能使特定领域的小规模实例在实际中变得可解，但直到最近才表明，高级归约（在测度与征服方法中）可用于求解拥有数百万顶点的现实世界网络 [Akiba and Iwata, TCS 2016]。在本文中，我们将这些最先进的归约与一组简单的归约进行了比较，并得出两个结论：仅两个简单归约（顶点折叠和孤立顶点移除）就足以处理许多现实世界实例；此外，高级规则的效力主要来自于它们的初始应用（即核化），而非在分支定界过程中的重复应用。作为比较的一部分，我们首次对基于最大临界独立集的归约进行了实验评估，并表明其在中等规模网络的实际应用中非常有效。
引用
@article{arxiv.1608.00724,
title = {On the Power of Simple Reductions for the Maximum Independent Set Problem},
author = {Darren Strash},
journal= {arXiv preprint arXiv:1608.00724},
year = {2016}
}
备注
13 pages; 1 figure; 3 tables; Appeared at the 22nd International Conference on Computing and Combinatorics (COCOON 2016)