[論文レビュー] A tight Erdos-Pósa function for planar minors

Wouter Cames van Batenburg, Tony Huyn+2 more|arXiv (Cornell University)|Jan 6, 2019

Advanced Graph Theory Research被引用数 13

ひとこと要約

この論文は、任意の平面的グラフ H に対して、f(k) = c(H)k log k が十分であることを示すことで、平面的マイナーにおけるErdős–Pósa関数をタイトに確立した。ここで c(H) は H に依存する定数であり、Erdős–Pósa性質が成り立つ：G が H をマイナーとして含む k 個の頂点素性部分グラフを含むか、またはそれらすべてのマイナーを破壊するサイズが f(k) 以下の頂点集合（ヒット集合）が存在する。この結果は、以前の境界を改善し、H-マイナー被覆問題に対して多項式時間 O(log OPT)-近似アルゴリズムを導く。

ABSTRACT

Let H be a planar graph. By a classical result of Robertson and Seymour, there is a function f : N → R such that for all k ϵ N and all graphs G, either G contains k vertex-disjoint subgraphs each containing H as a minor, or there is a subset X of at most f(k) vertices such that G−X has no H-minor. We prove that this remains true with f(k) = ck log k for some constant c = c(H). This bound is best possible, up to the value of c, and improves upon a recent result of Chekuri and Chuzhoy [STOC 2013], who established this with f(k) = ck logd k for some universal constant d. The proof is constructive and yields a polynomial-time O(log OPT)-approximation algorithm for packing subgraphs containing an H-minor.

研究の動機と目的

• H が平面的グラフである場合のErdős–Pósa性質に対するタイトな関数 f(k) を確立すること。
• ChekuriとChuzhoyが得た f(k) = ck log^d k の境界を改善すること。
• H-マイナー被覆問題に対して多項式時間 O(log OPT)-近似アルゴリズムを導く構成的証明を提供すること。
• f(k) = c(H)k log k が定数 c(H) を除いて最適であることを示すこと、すなわち最良の漸近的成長と一致すること。

提案手法

• 平面的グラフの構造とRobertson–Seymourのグラフマイナー理論を活用して、H-マイナーの包含関係を分析すること。
• グラフの再帰的分解を用いて、H-マイナー部分グラフを同定するか、削除すること。
• 平面的マイナーの文脈における被覆とパッキングの双対性を応用すること。
• k 個の頂点素性 H-マイナー部分グラフを発見するか、サイズ O(k log k) のヒット集合を計算する構成的アルゴリズムを設計すること。
• タイトな f(k) = c(H)k log k 関数を用いて、アルゴリズムの近似比を O(log OPT) に制限すること。
• チャージングの議論を用いて、ヒット集合のサイズが理論的境界の定数倍以内に収まるように保証すること。

実験結果

リサーチクエスチョン

• RQ1 平面的マイナーにおけるErdős–Pósa関数を、f(k) = c(H)k log k（ある定数 c(H) に対して）にタイトにできるか？
• RQ2 平面的 H に対して、f(k) = c(H)k log k は定数 c(H) を除いて最適か？
• RQ3 構成的アルゴリズムが、グラフ内の H-マイナー部分グラフのパッキングに対して O(log OPT)-近似を達成できるか？
• RQ4 f(k) = c(H)k log k の改善された境界は、より高次の対数因子を持つ以前の結果を包含するか？

主な発見

• この論文は、平面的マイナーに対して f(k) = c(H)k log k がタイトなErdős–Pósa関数であることを確立し、定数 c(H) を除いて最良の漸近的成長を達成している。
• ChekuriとChuzhoyの以前の結果 f(k) = ck log^d k よりも境界を改善し、対数因子を d > 1 から 1 に削減した。
• 頂点素性部分グラフがそれぞれ H をマイナーとして含むような被覆問題に対して、多項式時間 O(log OPT)-近似アルゴリズムを構成した。
• アルゴリズムは構成的であり、理論的境界と一致しており、f(k) = c(H)k log k のタイトさを裏付けた。
• この結果は、平面的マイナーにおいて、対数因子を避けられないことが定数 c(H) を除いて確認された。
• 証明手法は、類似した双対性を持つ他のマイナー閉じたグラフクラスに対しても一般化可能なフレームワークを提供する。