[论文解读] Computing multiway cut within the given excess over the largest minimum isolating cut

Igor Razgon|arXiv (Cornell University)|Nov 29, 2010

Optimization and Search Problems参考文献 19被引用 5

一句话总结

本文提出了一种 $ O(kn^{k+3}) $ 的算法，用于计算大小至多为 $ m + k $ 的多路割，其中 $ m $ 是最大最小隔离割的大小，或确定不存在此类割。核心贡献是一个组合界，表明大小至多为 $ m + k $ 的重要 $ X $-$ Y $ 分离器的数量至多为 $ \sum_{i=0}^{k} \binom{n}{i} $，从而实现高效枚举，并解决了参数化于保证下界之上的多路割问题。

ABSTRACT

Let $(G,T)$ be an instance of the (vertex) multiway cut problem where $G$ is a graph and $T$ is a set of terminals. For $t \in T$, a set of nonterminal vertices separating $t$ from $T \setminus \{T\}$ is called an \emph{isolating cut} of $t$. The largest among all the smallest isolating cuts is a natural lower bound for a multiway cut of $(G,T)$. Denote this lower bound by $m$ and let $k$ be an integer. In this paper we propose an $O(kn^{k+3})$ algorithm that computes a multiway cut of $(G,T)$ of size at most $m+k$ or reports that there is no such multiway cut. The core of the proposed algorithm is the following combinatorial result. Let $G$ be a graph and let $X,Y$ be two disjoint subsets of vertices of $G$. Let $m$ be the smallest size of a vertex $X-Y$ separator. Then, for the given integer $k$, the number of \emph{important} $X-Y$ separators \cite{MarxTCS} of size at most $m+k$ is at most $\sum_{i=0}^k{n \choose i}$.

研究动机与目标

• 为解决多路割问题中参数化于保证下界 $ m $ 之上的超额 $ k $（即最大最小隔离割的大小）的问题。
• 通过引入一个基于保证值之上的新参数化方式，改进现有参数化方法，尤其适用于最优解较大的情况。
• 建立一个关于大小至多为 $ m + k $ 的重要 $ X $-$ Y $ 分离器数量的新型组合界，该界显著优于以往的指数级界。
• 证明多路割问题在此新参数下属于 XP 类，为未来设计 FPT 算法铺平道路。

提出的方法

• 提出多路割问题的新参数化方式：以最大最小隔离割 $ m $ 为基础，参数化为超出 $ k $，而非以解的大小为参数。
• 引入重要 $ X $-$ Y $ 分离器的概念，并证明当超出值至多为 $ k $ 时，其数量被限制在 $ \sum_{i=0}^{k} \binom{n}{i} $ 以内，利用结构特性及到大小至多为 $ k $ 的顶点子集的单射映射。
• 利用每个最优多路割均包含某个终端的重要隔离割这一事实，实现对有界超额的重要隔离割的递归搜索。
• 借助重要分离器的界，设计一种类似动态规划的算法，枚举候选割并递归检查剩余实例。
• 对剩余实例应用已知算法，确保总时间复杂度保持在 $ O(kn^{k+3} + |T|n^3) $ 以内。
• 使用归一化和见证分解来简化分离器的结构，实现高效枚举并保证唯一性。

实验结果

研究问题

• RQ1 当最优解较大时，是否可以通过参数化于保证下界而非解的大小，高效求解多路割问题？
• RQ2 大小至多为 $ m + k $ 的重要 $ X $-$ Y $ 分离器的最大数量是多少，其中 $ m $ 是最小分离器的大小？
• RQ3 是否存在重要分离器的结构特性，使得其数量可被子指数或多项式界控制，且与分离器大小无关，仅依赖于 $ k $？
• RQ4 该界是否可用于设计多路割问题的固定参数可满足（FPT）或高效可解的算法，其超额为 $ k $ 超过 $ m $？
• RQ5 超额为 $ k $ 的重要分离器数量是否以一种可高效枚举的方式依赖于 $ n $ 和 $ k $？

主要发现

• 大小至多为 $ m + k $ 的重要 $ X $-$ Y $ 分离器的数量被限制在 $ \sum_{i=0}^{k} \binom{n}{i} $ 以内，远小于先前的 $ 4^{m+k} $ 界。
• 该界源于从重要分离器到大小至多为 $ k $ 的小顶点子集的单射映射，利用了复合见证和重要分离器的结构特性。
• 该算法的时间复杂度为 $ O(kn^{k+3} + |T|n^3) $，对固定的 $ k $ 为多项式时间，因此该问题属于 XP 类。
• 该方法首次实现了多路割问题在保证值之上的参数化，具体而言是以上限 $ m $（即最大最小隔离割）为基准。
• 该算法通过递归探索有界超额的重要隔离割，正确检查了是否存在大小至多为 $ m + k $ 的多路割。
• 该结果为多路割问题在保证下界之上的参数化研究奠定了基础，特别是针对 FPT 算法的进一步探索。