[论文解读] Fixed-parameter tractability of multicut parameterized by the size of the cutset

Dániel Marx, Igor Razgon|BIROn (Birkbeck, University of London)|Oct 18, 2010

Advanced Graph Theory Research参考文献 30被引用 6

一句话总结

本文在参数化为割集大小 $ p $ 的条件下，建立了边多边割和点多边割的固定参数可追踪性，提出了一种运行时间为 $ 2^{O(p^3)} \cdot n^{O(1)} $ 的算法。其主要贡献在于通过仅对 $ p $ 呈指数依赖（而非对终端对数量 $ k $）的首次 FPT 算法，解决了参数复杂性领域长期存在的开放问题。

ABSTRACT

Given an undirected graph $G$, a collection $\{(s_1,t_1),..., (s_k,t_k)\}$ of pairs of vertices, and an integer $p$, the Edge Multicut problem ask if there is a set $S$ of at most $p$ edges such that the removal of $S$ disconnects every $s_i$ from the corresponding $t_i$. Vertex Multicut is the analogous problem where $S$ is a set of at most $p$ vertices. Our main result is that both problems can be solved in time $2^{O(p^3)}... n^{O(1)}$, i.e., fixed-parameter tractable parameterized by the size $p$ of the cutset in the solution. By contrast, it is unlikely that an algorithm with running time of the form $f(p)... n^{O(1)}$ exists for the directed version of the problem, as we show it to be W[1]-hard parameterized by the size of the cutset.

研究动机与目标

• 解决长期存在的开放问题：当参数化为解割集大小 $ p $ 时，边多边割和点多边割是否为固定参数可追踪的？
• 为小割集规模开发高效的精确算法，优于以往对 $ p $ 和 $ k $ 均呈指数依赖的算法。
• 证明当 $ p = O(\sqrt[3]{\log n}) $ 时，多边割可在多项式时间内求解，表明稀疏实例具有实际可追踪性。
• 证明当参数化为 $ p $ 时，多边割的有向版本为 W[1]-难，从而确立了可追踪与不可追踪情况之间的清晰边界。
• 通过归约至边多边割，证明模糊聚类编辑问题在编辑代价参数化下为 FPT。

提出的方法

• 使用迭代压缩，将原始多边割问题约化为其压缩版本，其中给定一个大小为 $ p+1 $ 的解，目标是寻找一个大小为 $ p $ 的解。
• 为每个终端对 $ (s_i, t_i) $ 构建一个有向图，通过加权边和辅助顶点编码可达性约束。
• 引入顶点构件 $ G_{i,j} $ 和 $ G_{j,i} $ 以表示有序对 $ (x,y) $，通过边强制在满足特定可达性条件时包含多边割边。
• 利用终端对 $ (w_{i,j}^{\iota(x,y)+1}, b_{i,j}^{(x,y)}) $ 和 $ (w_{i,j}^{\iota(x+1,0)}, d_i^x) $，强制多边割必须包含特定边，基于对有序对的表示。
• 引入权重为 1 的边 $ \overrightarrow{c_i^x d_i^x} $，并通过 $ w_{i,j}^{\iota(x,0)} $ 连接，确保仅当 $ x = v_i $ 时，边 $ \overrightarrow{c_i^{v_i} d_i^{v_i}} $ 为必需。
• 通过将团的存在性归约为多边割可行性，证明原图中大小为 $ t $ 的团与大小为 $ p $ 的多边割的存在性等价。

实验结果

研究问题

• RQ1 当仅参数化为割集大小 $ p $ 时，边多边割是否为固定参数可追踪的，且与终端对数量 $ k $ 无关？
• RQ2 点多边割能否在时间 $ f(p) \cdot n^{O(1)} $ 内求解，其中 $ f $ 为可计算函数，且仅对 $ p $ 呈指数依赖？
• RQ3 当参数化为 $ p $ 时，多边割的有向版本的参数复杂性如何？
• RQ4 在归约框架下，图中团的存在是否意味着存在大小为 $ p $ 的多边割，反之亦然？
• RQ5 能否通过归约至边多边割，证明模糊聚类编辑问题在编辑代价参数化下为 FPT？

主要发现

• 本文提出了一种算法，可在时间 $ 2^{O(p^3)} \cdot n^{O(1)} $ 内求解边多边割和点多边割，证明了其相对于 $ p $ 的固定参数可追踪性。
• 该算法仅对 $ p $ 呈指数依赖，而非对终端对数量 $ k $，因此优于以往对 $ f(p,k) \cdot n^{O(1)} $ 依赖的算法。
• 当参数化为 $ p $ 时，多边割的有向版本被证明为 W[1]-难，表明该结果不太可能推广至有向情形。
• 从团到多边割的归约证明了：当且仅当原图中存在大小为 $ t $ 的团时，存在大小为 $ p $ 的多边割，从而验证了构造的正确性。
• 该结果意味着模糊聚类编辑问题在编辑代价参数化下为 FPT，解决了该领域的一个开放问题。
• 当 $ p = O(\sqrt[3]{\log n}) $ 时，该算法在多项式时间内运行，表明在大规模图中，对于极小割集，多边割具有可追踪性。