[论文解读] On Multiway Cut parameterized above lower bounds

Marek Cygan, Marcin Pilipczuk+2 more|arXiv (Cornell University)|Jul 8, 2011

Advanced Graph Theory Research参考文献 12被引用 9

一句话总结

本论文在参数化于两个自然下界之上时，建立了节点多路切割问题的固定参数可满足性：即最大隔离割的大小与一个自然线性规划松弛的最优值。通过利用线性规划松弛的半整数解以及先进的分隔符技术，作者为顶点覆盖问题在最大匹配之上的问题和几乎2-SAT问题设计了 $O^{*}(4^k)$ 算法，为节点多路切割问题设计了 $O^{*}(2^k)$ 算法，优于以往的界。

ABSTRACT

In this paper we consider two above lower bound parameterizations of the Node Multiway Cut problem - above the maximum separating cut and above a natural LP-relaxation - and prove them to be fixed-parameter tractable. Our results imply O*(4^k) algorithms for Vertex Cover above Maximum Matching and Almost 2-SAT as well as an O*(2^k) algorithm for Node Multiway Cut with a standard parameterization by the solution size, improving previous bounds for these problems.

研究动机与目标

• 研究节点多路切割问题在下界之上的参数化复杂性，特别是基于最大隔离割和线性规划松弛成本的下界。
• 通过引入新的参数化方式，改进顶点覆盖在最大匹配之上和几乎2-SAT问题的现有算法。
• 探究基于线性规划的参数化是否能比标准解大小参数化获得更好的固定参数可满足性算法。
• 探索线性规划解与半整数结构在设计图分离问题高效固定参数可满足性算法中的潜力。

提出的方法

• 将节点多路切割问题参数化于最大隔离割的大小之上，利用最大流技术在多项式时间内计算下界。
• 使用一个可在多项式时间内求解的线性规划松弛的最优值作为下界，利用其2-近似性质。
• 应用线性规划松弛的半整数解概念，以指导固定参数可满足性算法的设计。
• 引入并利用一种改进版的重要分隔符，结合基于线性规划的结构洞察。
• 通过从多色独立集问题的约化，证明当参数为零时，该问题在参数化于线性规划下界之上的问题为NP难。
• 使用核化与迭代压缩技术，将解的大小相对于下界进行有界控制。

实验结果

研究问题

• RQ1 当参数化于最大隔离割大小之上时，节点多路切割问题是否为固定参数可满足的？
• RQ2 当参数化于其线性规划松弛的最优值之上时，该问题是否能被高效求解？
• RQ3 使用线性规划松弛的半整数解是否能带来相比标准参数化的更好固定参数可满足性算法？
• RQ4 在分离问题中，参数化于线性规划下界之上是否有助于获得更紧的复杂度界？
• RQ5 基于线性规划的参数化是否可推广至其他固定参数可满足性问题，如有向反馈顶点集问题？

主要发现

• 当参数化于最大隔离割之上时，节点多路切割问题是固定参数可满足的，从而得到一个 $O^{*}(4^k)$ 算法。
• 当参数化于线性规划松弛成本之上时，该问题同样为固定参数可满足的，从而为相关问题带来了改进的算法。
• 当参数为零时，参数化于线性规划下界之上的问题为NP难，表明该参数化方式是非平凡且有意义的。
• 利用半整数线性规划解能够实现比仅使用传统分隔符方法更强的算法设计。
• 结果意味着顶点覆盖在最大匹配之上和几乎2-SAT问题存在一个 $O^{*}(4^k)$ 算法，优于先前的界。
• 在参数化于线性规划松弛之上的边删除版本多路切割问题可能为NP难，表明该方法在推广至所有割问题时存在局限性。