三色完美匹配问题的精确2.9416^n算法
摘要：三个domatic号问题是询问一个给定的无向图是否可以被分割成至少三个支配集，即闭邻域等于图的顶点集的集合。由于这个问题是NP完全的，目前尚未找到任何多项式时间的算法。对于这个问题，朴素的确定性算法的时间复杂度是3^n，忽略了多项式因子。在本文中，我们设计了一个确切的确定性算法，其时间复杂度为2.9416^n。因此，我们的算法可以处理比朴素算法更大规模的问题实例，在相同的时间内完成计算。我们还提出了另一个确定性算法和一个随机算法，针对最大度数较小的图，它们的性能都更好。
作者：Tobias Riege, J"org Rothe
论文ID：cs/0506090
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23