[論文レビュー] 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

ひとこと要約

本稿は、解のサイズをパラメータとする平面グラフにおける奇サイクル除去問題および頂点マルチウェイカット問題に対する、初めての決定的多項式カーネルを提示する。新たなスパarsification技術を導入し、平面グラフ内の重要な低コスト部分構造を保持することで、確率的要素を排除した効率的なカーネライゼーションを可能にした。また、頂点平面化問題との関連を確立し、長年の未解決問題であるそのカーネライゼーションの状態解明に寄与する可能性を示している。

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が提起した決定的多項式カーネルの存在に関する未解決問題を解消すること。
• この結果を平面グラフにおける頂点マルチウェイカット問題へ拡張すること。
• 平面グラフにおけるカット問題に重要な非ステーナー木部分構造を保持する、新たなスパース化ルーチンの開発。
• 頂点マルチウェイカット問題と頂点平面化問題との間の構造的関係を確立し、長年の未解決問題である頂点平面化問題に対する多項式カーネルの存在を支援すること。
• gammoidsにおける確率的代表集合に依存しない、平面グラフにおける頂点削除問題のカーネライゼーションフレームワークの提供。

提案手法

• 面に隣接する辺を追加することで、ステーナー木のスーパーグラフとなる低コスト部分グラフの存在を保つような、平面グラフ向けの新規スパース化ルーチンの設計。
• 端子の次数と隣接順序に基づき、元のグラフの部品をグリッド構造の補助的構造（H）の面に埋め込むことで、簡略化されたグラフの平面埋め込みを構築する。
• 端子の次数の合計をDとすると、サイズO(k² × D)のグリッド構造（H）を用いて、端子の接続性をシミュレートし、平面性制約を強制する。
• Hの面に部品を埋め込むことで、平面頂点マルチウェイカットと頂点平面化の解の間の同値性を証明し、構造的制約により辺の交差を回避することを保証する。
• Robertson-Seymour定理とマイナー閉じ性の性質を活用し、頂点マルチウェイカット問題をより広範な頂点平面化問題と関連付ける。
• Hにおける4行4列の選択論法を用い、端子を分離できない任意の解に避けられないマイナー（例：H₀）が存在することを示し、還元の正しさを証明する。

実験結果

リサーチクエスチョン

• RQ1 確率的代表集合に依存する既存の研究とは異なり、平面グラフにおける奇サイクル除去問題に対して決定的多項式カーネルを達成できるか。
• RQ2 解のサイズパラメータが端子数に依存しない場合に、平面グラフにおける頂点マルチウェイカット問題が決定的多項式カーネルを有するか。
• RQ3 ステーナー木のみを保持するのではなく、カット問題に重要な非ステーナー木部分構造を保持する、平面グラフ向けのスパース化技術を設計できるか。
• RQ4 頂点マルチウェイカット問題と頂点平面化問題との間にどのような構造的関係が存在し、後者の多項式カーネルの存在に寄与するか。
• RQ5 特に、スパース化ルーチンの複雑さを低減することで、現在の高次多項式のカーネルサイズ境界を改善できるか。

主な発見

• 本稿は、平面グラフにおける奇サイクル除去問題に対して、決定的多項式カーネルを構築し、Saurabhの未解決問題を解決した。
• 解のサイズkの多項式関数で抑えられる、平面グラフにおける頂点マルチウェイカット問題の決定的多項式カーネルを提供した。このカーネルサイズは端子数に依存しない。
• 著者らは、面に隣接する辺を追加することでステーナー木のスーパーグラフとなる部分グラフを保持する、新たなスパース化技術を導入し、決定的カーネライゼーションを可能にした。
• 構造的制約により、平面頂点マルチウェイカットと頂点平面化の解の間でタイトな同値性を確立し、片方の解がもう片方の解を示すことを示した。
• 代表集合技術の代わりに、幾何的で平面埋め込みに基づく還元を用いることで、確率的アルゴリズムを排除した。
• カーネルサイズはkの高次多項式で抑えられるが、正確な次数は最小化されておらず、将来的な改善の余地が残っている。