[论文解读] Large Isolating Cuts Shrink the Multiway Cut

Igor Razgon|arXiv (Cornell University)|Apr 28, 2011

Complexity and Algorithms in Graphs被引用 8

一句话总结

本文提出了一种预处理算法，当参数 $k$ 超出最小隔离割大小 $r$ 的幅度不超过 $O(\log k)$ 时，可减小多路割实例的规模，从而实现该子类的多项式核化。该方法利用重要隔离割的并集与终端约简，其运行时间依赖于 $2^{k-r}$，标志着在多路割问题无条件多项式核化方面取得的首次进展。

ABSTRACT

We propose a preprocessing algorithm for the multiway cut problem that establishes its polynomial kernelizability when the difference between the parameter $k$ and the size of the smallest isolating cut is at most $log(k)$. To the best of our knowledge, this is the first progress towards kernelization of the multiway cut problem. We pose two open questions that, if answered affirmatively, would imply, combined with the proposed result, unconditional polynomial kernelizability of the multiway cut problem.

研究动机与目标

• 解决多路割问题是否具有多项式核化这一长期悬而未决的开放问题。
• 开发一种预处理算法，用于压缩参数 $k$ 接近最小隔离割大小 $r$ 的实例，特别是当 $k - r \leq \log k$ 时。
• 为重要分离器与隔离割提供结构洞见，可能为未来的核化提供支持。
• 识别并提出两个开放问题，若能解决，将意味着多路割问题的无条件多项式核化。

提出的方法

• 利用比率-2近似算法和基于高阶连接至终端连通分量的顶点移除，将终端数量减少至最多 $2k(k+1)$。
• 对每个终端，计算所有大小不超过 $k$ 的重要隔离割的并集，利用关于 $X$-$Y$ 分离器的组合定理。
• 应用一个定理：所有大小不超过 $r + x$ 的重要 $X$-$Y$ 分离器的并集大小至多为 $2^{x+1}r$，运行时间为 $O(n^3 2^x r^2 (r+x)^2)$。
• 通过图收缩保留解的等价性，确保最优解大小保持不变。
• 利用主重要分离器的概念限制枚举成本，尽管其数量尚未能多项式有界。
• 提出两步核化流水线：首先通过终端约简和割并集计算压缩实例，然后筛选主割以实现进一步压缩。

实验结果

研究问题

• RQ1 主重要隔离割的数量能否在 $n$ 上有界于一个多项式？
• RQ2 预处理算法的输出能否在多项式时间内进一步压缩，以得到大小为 $k$ 的多项式核？
• RQ3 多路割问题中的结构依赖关系是否允许高效过滤非必要隔离割？
• RQ4 当 $k - r \leq c\log k$ 对某个固定常数 $c$ 成立时，多路割问题是否可多项式核化？

主要发现

• 该算法生成的等价实例大小为 $O(2^{k-r} r k^2)$，运行时间为 $O(A(n) + 2^{k-r} n^3 r^2 k^4)$，其中 $A(n)$ 为文献[6]中近似算法的运行时间。
• 对任意固定常数 $c$，当 $k - r \leq c \log k$ 时，问题可多项式核化，因为实例大小变为 $k$ 的多项式。
• 约简图中的顶点数至多为 $|T|(2^{k-r}r + 1)$，且通过预处理 $|T|$ 被减少至最多 $2k(k+1)$。
• 所有大小不超过 $k$ 的重要隔离割的并集若存在解则包含该解，从而证明了预处理方法的合理性。
• 该方法为重要分离器提供了新的结构洞见，表明其在有界大小下的并集在超出量 $k - r$ 上呈指数级缩小。
• 所提出的算法为无条件多项式核化提供了潜在的第一步，前提是上述两个开放问题能被肯定地解决。