[論文レビュー] Turing Kernelization for Finding Long Paths in Graphs Excluding a Topological Minor

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

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

本稿は、固定されたグラフ H をトポロジカルマイナーとして含まないグラフにおける k-Path 問題の多項式 Turing カーネル化を、サイズが小さい部分問題のオラクルを用いて提示する。従来の結果を拡張し、より広いグラフクラス、さらには H-トポロジカルマイナー自由グラフへの小さな頂点モジュレータを持つグラフに対しても対応可能であり、構造的グラフ分解とオラクル支援還元を活用することで、poly(k) 回のオラクルクエリで多項式時間に効率的なカーネル化を実現する。

ABSTRACT

The notion of Turing kernelization investigates whether a polynomial-time algorithm can solve an NP-hard problem, when it is aided by an oracle that can be queried for the answers to bounded-size subproblems. One of the main open problems in this direction is whether k-PATH admits a polynomial Turing kernel: can a polynomial-time algorithm determine whether an undirected graph has a simple path of length k, using an oracle that answers queries of size k^{O(1)}? We show this can be done when the input graph avoids a fixed graph H as a topological minor, thereby significantly generalizing an earlier result for bounded-degree and K_{3,t}-minor-free graphs. Moreover, we show that k-PATH even admits a polynomial Turing kernel when the input graph is not H-topological-minor-free itself, but contains a known vertex modulator of size bounded polynomially in the parameter, whose deletion makes it so. To obtain our results, we build on the graph minors decomposition to show that any H-topological-minor-free graph that does not contain a k-path has a separation that can safely be reduced after communication with the oracle.

研究の動機と目的

• k-Path が、有効度制限付きおよび K3,t-マイナー自由グラフを越えてより広いグラフクラスにおいて多項式 Turing カーネルを有するかどうかという未解決問題を解明すること。
• H-トポロジカルマイナー自由でないが、その削除によってこのようなグラフが得られる小さな頂点モジュレータを有するグラフに対しても Turing カーネル化を拡張すること。
• グラフマイナー分解とトポロジカルマイナー分解に基づく win/win 策略を用いて、カーネル化のための還元可能な分離を同定すること。
• k-Path が、k および M（H-トポロジカルマイナー自由グラフへのモジュレータ）をパrameter化したもとで多項式 Turing カーネルを有することを確立すること。

提案手法

• Robertson と Seymour のグラフマイナー分解と Grohe と Marx のトポロジカルマイナー分解を活用し、H-トポロジカルマイナー自由グラフにおいて、有界な接着性と poly(k) の幅を持つ木分解を同定する。
• win/win 論法を用いる：k-パスが存在するか、|A| = poly(k) で、Z という小さな集合によって守られる還元可能な分離 (A,B) が存在する。
• 還元規則を適用し、N[A] における Auxiliary Linkage オラクルを用いて A 内の未マーク頂点を削除する。これにより、A を通るすべての可能な k-パスの到達をマークする。
• 分解における成分数が poly(k, w, s) で有界であることを保証し、還元が適用されない場合、インスタンスサイズが k, w, s に関して多項式に抑えられることを確認する。
• 固定された曲面に埋め込めるグラフは K3,t-マイナー自由であることに着目し、このようなグラフにおけるパス長の既知の下界を用いて k-パスの存在を推論する。
• k-サイクルへの適応のため、まず長さ k² のパスが存在するかをテストし、そのようなパスが存在する場合、Dirac の定理を用いて長いサイクルの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 固定されたグラフ H をトポロジカルマイナーとして含まないグラフにおいて、k-Path は多項式 Turing カーネルを有するか？
• RQ2 H-トポロジカルマイナー自由でないが、その削除によってこのようなクラスが得られる小さな頂点モジュレータを有するグラフにおいても、k-Path に対して多項式 Turing カーネル化が達成可能か？
• RQ3 グラフマイナー分解に基づく win/win 策略を、H-トポロジカルマイナー自由グラフにおける還元可能な分離を同定するために適応可能か？
• RQ4 H-トポロジカルマイナー自由グラフのどのような構造的性質が、k-Path の効率的オラクル支援カーネル化を可能にするか？
• RQ5 これらの技術は、k-サイクルや Induced k-Path などの他の問題へも拡張可能か？

主な発見

• H-トポロジカルマイナー自由グラフにおいて、k-Path は多項式 Turing カーネルを有し、実行時間は k^O(H)(n²m) で、k^O(H) · n 回のオラクル呼び出しを要する。
• G−M が H-トポロジカルマイナー自由であるような既知の頂点モジュレータ M（|M| が k に関して多項式に有界）を有するグラフに対してもカーネル化が拡張可能であり、パrameter化は k および |M| である。
• H-トポロジカルマイナー自由グラフにおいて、k-パスの存在は win/win の枠組みで決定可能である：k-パスが存在するか、|A| = poly(k) で、サイズ O(1) のガード集合 Z を持つ還元可能な分離 (A,B) が存在する。
• 還元規則は、G[N[A]] における Auxiliary Linkage オラクルへのクエリ回数に応じて、A から少なくとも1つの頂点を削除し、k-パス性を保持する。
• 還元が適用されない場合、インスタンスサイズは poly(k, w, s) で抑えられ、1回のオラクル呼び出しで問題を解ける。
• k-サイクルへの適応のため、まず長さ k² のパスが存在するかをテストし、そのようなパスが存在する場合、Dirac の定理を用いて長いサイクルの存在を推論できる。