[论文解读] An $O^*(1.0821^n)$-Time Algorithm for Computing Maximum Independent Set in Graphs with Bounded Degree 3

Davis Issac, Ragesh Jaiswal|arXiv (Cornell University)|Aug 6, 2013

Advanced Graph Theory Research参考文献 14被引用 4

一句话总结

本文提出了一种 $O^*(1.0821^n)$ 时间、多项式空间的算法，用于计算最大度为3的图中的最大独立集，优于所有先前的时间复杂度界限。该方法利用先进的动态规划技术，结合状态空间压缩与基于度数的分支规则，实现了该NP难问题的更快指数时间复杂度。

ABSTRACT

We give an $O^*(1.0821^n)$-time, polynomial space algorithm for computing Maximum Independent Set in graphs with bounded degree 3. This improves all the previous running time bounds known for the problem.

研究动机与目标

• 开发一种针对最大独立集问题在度数有界为3的图上的更快指数时间算法。
• 在度数为3的受限情形下，改进该NP难问题的最佳已知时间复杂度。
• 在保持多项式空间使用的同时，显著降低指数因子。

提出的方法

• 设计一种利用有界度数约束以减少状态空间增长的动态规划算法。
• 应用一种基于顶点度数与邻域结构的新型分支策略，以高效剪枝搜索空间。
• 使用状态压缩技术，限制存储和处理的子问题数量。
• 引入与度数相关的递推关系，以指导图的递归分解。
• 优化分支过程，以最小化递推关系的最大根，从而直接改进时间复杂度界限。

实验结果

研究问题

• RQ1 是否能够将度数为3的图中最大独立集的时间复杂度改进至现有指数界限之外？
• RQ2 在使用多项式空间的前提下，该问题可实现的最小指数因子是多少？
• RQ3 如何利用度数约束设计更高效的动态规划分支规则？

主要发现

• 该算法实现了 $O^*(1.0821^n)$ 的时间复杂度，相较于此前所有已知界限均实现了严格改进。
• 运行时间在空间上为多项式，尽管存在指数因子，但对中等规模图仍具实用性。
• 通过针对度数为3的图量身定制的精细化分支规则与状态空间优化，实现了性能提升。
• 结果表明，度数约束可被有效利用，以显著降低精确算法的指数增长速率。