反馈顶点集最高度分支算法的改进分析

近期针对反馈顶点集精确算法的实证评估表明了带有基于度的剪枝启发式的最高度分支算法的效率。在本文中，我们证明这一经验上快速的算法运行时间为 $O(3.460^k n)$，其中 $k$ 为解的大小。这改进了 Kociumaka 与 Pilipczuk 所得的先前最佳 $O(3.619^k n)$ 时间确定性算法。