[论文解读] Faster Parameterized Algorithms using Linear Programming

Daniel Lokshtanov, N. S. Narayanaswamy+3 more|arXiv (Cornell University)|Mar 5, 2012

Advanced Graph Theory Research参考文献 16被引用 19

一句话总结

本文通过利用顶点覆盖最优解大小与线性规划（LP）松弛值之间的差异，提出了更快的参数化算法，用于解决顶点覆盖及其相关问题。通过分析分支过程中LP值的变化，作者为Above Guarantee Vertex Cover及其相关问题设计了$O^{*}(2.3146^k)$的算法，显著优于先前的$O^{*}(3^k)$上界，并为标准顶点覆盖问题提供了大小为$2k - O(\log k)$的核。

ABSTRACT

We investigate the parameterized complexity of Vertex Cover parameterized by the difference between the size of the optimal solution and the value of the linear programming (LP) relaxation of the problem. By carefully analyzing the change in the LP value in the branching steps, we argue that combining previously known preprocessing rules with the most straightforward branching algorithm yields an $O^*((2.618)^k)$ algorithm for the problem. Here $k$ is the excess of the vertex cover size over the LP optimum, and we write $O^*(f(k))$ for a time complexity of the form $O(f(k)n^{O(1)})$, where $f (k)$ grows exponentially with $k$. We proceed to show that a more sophisticated branching algorithm achieves a runtime of $O^*(2.3146^k)$. Following this, using known and new reductions, we give $O^*(2.3146^k)$ algorithms for the parameterized versions of Above Guarantee Vertex Cover, Odd Cycle Transversal, Split Vertex Deletion and Almost 2-SAT, and an $O^*(1.5214^k)$ algorithm for Konig Vertex Deletion, Vertex Cover Param by OCT and Vertex Cover Param by KVD. These algorithms significantly improve the best known bounds for these problems. The most notable improvement is the new bound for Odd Cycle Transversal - this is the first algorithm which beats the dependence on $k$ of the seminal $O^*(3^k)$ algorithm of Reed, Smith and Vetta. Finally, using our algorithm, we obtain a kernel for the standard parameterization of Vertex Cover with at most $2k - c \log k$ vertices. Our kernel is simpler than previously known kernels achieving the same size bound.

研究动机与目标

• 通过将LP松弛差距作为参数，设计更快的参数化算法，用于解决顶点覆盖及其相关问题。
• 改进奇圈剔除问题及其相关问题长期存在的$O^{*}(3^k)$上界。
• 设计一种更简单的标准顶点覆盖核，其大小为$2k - O(\log k)$，优于以往的界限。
• 证明基于LP的参数化能够实现更紧的渐近时间复杂度分析，并改进算法设计。

提出的方法

• 作者采用差值$k = \text{OPT}_{\text{VC}} - \text{OPT}_{\text{LP}}$作为参数，其中$\text{OPT}_{\text{LP}}$是顶点覆盖问题LP松弛的值。
• 通过分析分支步骤中LP值的变化来限制递归调用次数，从而改进分支因子。
• 设计了一种优化的分支算法，其递推关系基于方程$x^3 = x^2 + 1$的根，实现$O^{*}(2.3146^k)$的时间复杂度。
• 该方法结合了标准的预处理规则与基于LP的分支策略，避免了复杂的结构化约简。
• 通过从Above Guarantee Vertex Cover到Odd Cycle Transversal和Kon"{i}g Vertex Deletion等问題的参数化约简，将该方法扩展至更多问题。
• 开发了一种核化过程，先应用预处理规则直至$k - \text{OPT}_{\text{LP}} \leq \log k$，然后直接求解。

实验结果

研究问题

• RQ1 顶点覆盖最优解大小与LP松弛值之间的差异能否用于设计更快的参数化算法，以解决顶点覆盖及其相关问题？
• RQ2 通过精确分析LP值变化的基于LP的分支策略，能否实现更优的渐近时间复杂度上界？
• RQ3 该方法能否获得比以往已知更小的标准化顶点覆盖核？
• RQ4 该方法能否打破奇圈剔除问题等类似问题的$O^{*}(3^k)$上界？

主要发现

• 作者为Above Guarantee Vertex Cover问题实现了$O^{*}(2.3146^k)$的算法，优于先前的$O^{*}(4^k)$上界。
• 对于Odd Cycle Transversal及其相关问题，新算法打破了$O^{*}(3^k)$的上界，实现$O^{*}(2.3146^k)$的时间复杂度。
• 标准顶点覆盖问题的核大小最多为$2k - O(\log k)$，其构造比以往具有相同界限的方法更简单。
• Kon"{i}g Vertex Deletion问题的算法运行时间为$O^{*}(1.5214^k)$，优于先前的上界。
• 该方法可通过参数化约简推广至其他问题，包括Split Vertex Deletion和Almost 2-SAT。
• 结果表明，Above Guarantee Vertex Cover的任何核大小上界均可传递至其约简链中的所有问题。