[论文解读] A deterministic polynomial kernel for Odd Cycle Transversal and Vertex Multiway Cut in planar graphs

Bart M. P. Jansen, Marcin Pilipczuk+1 more|arXiv (Cornell University)|Oct 2, 2018

VLSI and FPGA Design Techniques被引用 4

一句话总结

本文首次为平面图中的奇圈剔除问题（Odd Cycle Transversal）和顶点多路切割问题（Vertex Multiway Cut）提出了确定性多项式核，参数为解的大小。该研究提出了一种新颖的稀疏化技术，能够保留平面图中关键的低成本子结构，从而实现无需随机性的高效核化，并建立了与顶点平面化问题（Vertex Planarization）的联系，可能有助于解决其长期悬而未决的核化状态问题。

ABSTRACT

We show that Odd Cycle Transversal and Vertex Multiway Cut admit deterministic polynomial kernels when restricted to planar graphs and parameterized by the solution size. This answers a question of Saurabh. On the way to these results, we provide an efficient sparsification routine in the flavor of the sparsification routine used for the Steiner Tree problem in planar graphs (FOCS 2014). It differs from the previous work because it preserves the existence of low-cost subgraphs that are not necessarily Steiner trees in the original plane graph, but structures that turn into (supergraphs of) Steiner trees after adding all edges between pairs of vertices that lie on a common face. We also show connections between Vertex Multiway Cut and the Vertex Planarization problem, where the existence of a polynomial kernel remains an important open problem.

研究动机与目标

• 解决 Saurabh 提出的关于平面图中奇圈剔除问题是否存在确定性多项式核的开放问题。
• 将该结果扩展至平面图中的顶点多路切割问题。
• 设计一种新的稀疏化方法，以保留平面图中与切割问题相关的非斯坦纳树子结构。
• 建立顶点多路切割与顶点平面化之间的联系，可能有助于解决长期悬而未决的顶点平面化问题的多项式核化问题。
• 提供一种避免依赖伽马模中代表性集合的随机算法的平面图顶点删减问题核化框架。

提出的方法

• 为平面图设计一种新颖的稀疏化方法，以保留添加面邻接边后会成为斯坦纳树超图的低代价子图的存在性。
• 通过基于终端度数和邻居顺序将原图的各组件嵌入到一种类似网格的辅助结构（H）的面中，构建约简图的平面嵌入。
• 使用大小为 O(k² × D) 的基于网格的构造（H），其中 D 为终端度数之和，以模拟终端连通性并强制满足平面性约束。
• 通过将组件嵌入 H 的面中并利用结构约束避免边交叉，证明平面顶点多路切割与顶点平面化问题解之间的等价性。
• 利用 Robertson-Seymour 定理和极小闭包性质，将顶点多路切割与更广泛的顶点平面化问题联系起来。
• 在 H 中应用四行四列的选择论证，以证明在任何未能分离终端的解中，不可避免地会出现某些极小图（如 H₀），从而证明约简的正确性。

实验结果

研究问题

• RQ1 能否在平面图中为奇圈剔除问题实现确定性多项式核，从而克服先前工作中对随机代表性集合的依赖？
• RQ2 平面图中的顶点多路切割问题是否具有确定性多项式核，特别是当解大小参数与终端数量无关时？
• RQ3 能否为平面图设计一种稀疏化技术，以保留对切割问题至关重要的非斯坦纳树子结构，而不仅仅是斯坦纳树？
• RQ4 顶点多路切割与顶点平面化之间存在何种结构联系，可能有助于实现后者的多项式核？
• RQ5 能否在当前高次多项式核大小界限的基础上进一步改进，特别是通过降低稀疏化过程的复杂度？

主要发现

• 本文为平面图中的奇圈剔除问题构造了确定性多项式核，解决了 Saurabh 的开放问题。
• 为平面图中的顶点多路切割问题提供了确定性多项式核，核大小以解大小 k 的多项式为界，且与终端数量无关。
• 作者提出了一种新的稀疏化技术，能够保留添加面邻接边后会成为斯坦纳树超图的子图，从而实现确定性核化。
• 该构造建立了平面顶点多路切割与顶点平面化问题解之间的紧密等价关系，表明一个问题的解可推出另一个问题的解。
• 该方法通过使用基于几何与平面嵌入的结构化网格 H，避免了随机算法，替代了代表性集合技术。
• 核大小以 k 的高次多项式为界，尽管具体次数未被最小化，但仍为未来改进留下了空间。