[論文レビュー] Long cycles through prescribed vertices have the Erd\H{o}s-P\'osa property

Henning Bruhn, Felix Joos+1 more|arXiv (Cornell University)|Dec 9, 2014

Limits and Structures in Graph Theory参考文献 10被引用数 9

ひとこと要約

本稿は、指定された頂点集合 S を通る長さが ℓ 以上のサイクル（S-サイクル）について、Erdös-Pósa 性質を確立する。すなわち、k 個の頂点素性 S-サイクル（各サイクルの長さが ℓ 以上）が存在するか、それともすべてのこのようなサイクルと交わるサイズ O(ℓ·k log k) のヒット集合が存在する。証明は Simonovits のサイクル成長法とフレームに基づく分解を組み合わせ、ℓ をパrameterとするFPTアルゴリズムを導出し、その実行時間は O(k log k · s² · (2²¹(2ℓ)! · n + m)) である。ここで s = |S| である。

ABSTRACT

We prove that for every graph, any vertex subset $S$, and given integers $k,\ell$: there are $k$ disjoint cycles of length at least $\ell$ that each contain at least one vertex from $S$, or a vertex set of size $O(\ell \cdot k \log k)$ that meets all such cycles. This generalises previous results of Fiorini and Hendrickx and of Pontecorvi and Wollan. In addition, we describe an algorithm for our main result that runs in $O(k \log k \cdot s^2 \cdot (f(\ell) \cdot n+m))$ time, where $s$ denotes the cardinality of $S$.

研究の動機と目的

• 長サイクルに関する Erdös-Pósa 定理と S-サイクル（頂点集合 S を通るサイクル）に関する定理の2つの古典的結果を統合すること。
• 長さが ℓ 以上で、S の少なくとも1つの頂点を含むサイクル（長さ ℓ 以上の S-サイクル）が Erdös-Pósa 性質を満たすことを確立すること。
• k 個のこのようなサイクルが存在しない場合に、サイズ O(ℓ·k log k) のヒット集合を構成的に得られるアルゴリズム的証明を提供すること。
• 頂点の重みが ℓ 以下に制限される重み付きバージョンにこの結果を拡張し、ヒット集合の境界を保ったままにすること。

提案手法

• Simonovits のサイクル成長戦略を変形し、候補となるサイクルと潜在的なヒット集合を同時にサポートする部分グラフ H を構築する。
• 分岐頂点と垂れ下がりサイクルからなる立方多重量グラフをフレーム構造として用い、長さ ℓ 以上の S-サイクルの可能性をモデル化する。
• Bodlaender のサイクル検出アルゴリズムを用い、深さ優先探索に基づくサブルーチンで G − X に長さ ℓ 以上の S-サイクルが存在するかを検出する。
• 反復的改善プロセスを実装：長さ ℓ 以上の S-サイクルが発見されたら、フレームと候補ヒット集合を更新する。そうでなければ、現在のヒット集合を返す。
• 距離基準に代えて、分岐頂点からの総重さが ℓ 以下の頂点を含む重み付きヒット集合構築法を採用し、重みの到達可能性に基づく修正を施す。
• 反復回数（O(k log k)）と1反復あたりのコスト（O(s² · (2²¹(2ℓ)! · n + m))）を評価することで、実行時間を解析する。

実験結果

リサーチクエスチョン

• RQ1 長さが ℓ 以上の S-サイクルの族は、ℓ と k のみに依存するヒット集合サイズを有する Erdös-Pósa 性質を満たすか？
• RQ2 長さ ℓ 以上の S-サイクルに対して、ヒット集合サイズが O(ℓ·k log k) で抑えられ、長サイクルと S-サイクルのそれぞれについて既知の最良境界と一致するか？
• RQ3 ℓ をパrameterとする FPT アルゴリズムが、k 個の頂点素性の長さ ℓ 以上の S-サイクル、または小さなヒット集合を計算できるか？
• RQ4 頂点の重みが ℓ 以下に制限される重み付き設定にこの結果を拡張でき、ヒット集合の境界を保ったままにできるか？
• RQ5 ヒット集合サイズ O(ℓ·k log k) は漸近的にタイトか、それとも O(k(ℓ + log k)) に改善可能か？

主な発見

• 本稿は、任意のグラフ G、頂点部分集合 S、および整数 k, ℓ に対して、k 個の頂点素性 S-サイクル（各サイクルの長さが ℓ 以上）が存在するか、それともすべてのこのようなサイクルと交わるサイズ O(ℓ·k log k) のヒット集合 X が存在することを証明する。
• このヒット集合の境界は、Fiorini と Herinckx が長サイクルに対して得た最良の境界と、Pontecorvi と Wollan が S-サイクルに対して得た境界を統合しており、両者を統一する。
• k 個の頂点素性の長さ ℓ 以上の S-サイクルが存在しない場合、または小さなヒット集合が存在する場合のいずれかを O(k log k · s² · (2²¹(2ℓ)! · n + m)) 時間で計算するアルゴリズムを提示する。ここで s = |S| であり、これは ℓ をパrameterとする FPT アルゴリズムである。
• アルゴリズムは構成的かつ反復的であり、フレームに基づく分解と Bodlaender の手法によるサイクル検出を用いている。
• 頂点の重みが [0, ℓ] の範囲にある重み付きバージョンを提案し、ヒット集合サイズが O(ℓ·k log k) のまま保たれ、重みの到達可能性に基づく修正された構築法を用いる。
• 著者らは、ヒット集合サイズを O(k(ℓ + log k)) に改善可能であると予想しており、現在の境界が最適でない可能性を示唆している。