[論文レビュー] Neighborhood complexity and kernelization for nowhere dense classes of graphs

Kord Eickmeyer, Archontia C. Giannopoulou+5 more|arXiv (Cornell University)|Dec 24, 2016

Advanced Graph Theory Research参考文献 20被引用数 6

ひとこと要約

本稿は、どこでも稠密でないグラフクラスが有界な近傍複雑性を示すことを確立し、このようなクラスに属するグラフ G の任意の頂点部分集合 A に対して、A との r-近傍の交差の異なる組み合わせの数が f(r,ε)·|A|^{1+ε} 未満であることを証明している。この特徴づけにより、どこでも稠密でないクラスにおける距離 r 支配集合問題に対する最初のほぼ線形カーネルが可能となり、ある予想を解決し、どこでも稠密でないクラスとどこか稠密なクラスの境界におけるパラメータ化可能性の鋭い二分岐を確立した。

ABSTRACT

We prove that whenever $G$ is a graph from a nowhere dense graph class $\mathcal{C}$, and $A$ is a subset of vertices of $G$, then the number of subsets of $A$ that are realized as intersections of $A$ with $r$-neighborhoods of vertices of $G$ is at most $f(r,ε)\cdot |A|^{1+ε}$, where $r$ is any positive integer, $ε$ is any positive real, and $f$ is a function that depends only on the class $\mathcal{C}$. This yields a characterization of nowhere dense classes of graphs in terms of neighborhood complexity, which answers a question posed by Reidl et al. As an algorithmic application of the above result, we show that for every fixed $r$, the parameterized Distance-$r$ Dominating Set problem admits an almost linear kernel on any nowhere dense graph class. This proves a conjecture posed by Drange et al., and shows that the limit of parameterized tractability of Distance-$r$ Dominating Set on subgraph-closed graph classes lies exactly on the boundary between nowhere denseness and somewhere denseness.

研究の動機と目的

• どこでも稠密でないグラフクラスを近傍複雑性によって特徴づけること。Reidl ら [29] が提起した問いに応える。
• どこでも稠密でないグラフクラスにおける距離 r 支配集合問題に対するほぼ線形カーネルの存在を確立すること。
• 距離 r 支配集合問題のパラメータ化可能性における鋭い二分岐を、どこでも稠密でないクラスとどこか稠密なクラスの境界で示すこと。
• 特に VC次元と Sauer-Shelah の補題を活用することで、スパースグラフクラスにおけるモデル理論的安定性の概念とアルゴリズム的組合せ論を結びつけること。

提案手法

• 頂点部分集合 A と G の頂点の r-近傍との間の異なる交差の数として近傍複雑性を定義する。
• どこでも稠密でないクラスの安定性を用いて、r-近傍のハイパーグラフの VC次元を有界化し、Sauer-Shelah の補題の適用を可能にする。
• 集合 Z の外側の頂点を、Z への r-射影に基づいて分類し、Z との r-近傍の交差が同一である頂点を同値類として形成する。
• 距離を r まで保つようにパスを保持する技術を用いて、Z のスパースな上位集合 A' 及びその射影を構築する。
• 距離 r 支配集合の解を保存するように、グラフを f_fin(r,ε)·|Z|^{1+ε} のサイズにカーネル化する手順を適用する。
• 近傍複雑性と VC次元の有界性を活用して、ε を再スケーリングし、最終的なほぼ線形カーネルの上限を達成する。

実験結果

リサーチクエスチョン

• RQ1 どこでも稠密でないグラフクラスは、任意の頂点部分集合に対して、近傍複雑性の均一な上限によって特徴づけられるか？
• RQ2 距離 r 支配集合問題は、どこでも稠密でないグラフクラスのすべてにおいてほぼ線形カーネルを有するか？
• RQ3 距離 r 支配集合問題のパラメータ化可能性には、どこでも稠密でないクラスとどこか稠密なクラスの境界で鋭い閾値があるか？
• RQ4 VC次元や Sauer-Shelah の補題といったモデル理論的道具を用いて、有界拡張からどこでも稠密でないクラスへの結果の拡張は可能か？
• RQ5 スパースグラフクラスにおいて、安定性と VC次元を用いて、r-近傍などの密な補助ハイパーグラフを組合せ論的に解析できるか？

主な発見

• 任意のどこでも稠密でないグラフクラス C に対して、任意の部分集合 A に対する r-近傍の交差の異なる組み合わせの数は、f(r,ε)·|A|^{1+ε} 未満であり、ここで f は C と ε > 0 のみに依存する。
• この近傍複雑性の上限は、どこでも稠密でないクラスを特徴づけるものであり、クラスの新しい組合せ的特徴づけを提供する。
• 距離 r 支配集合問題は、どこでも稠密でないグラフクラスのすべてにおいてほぼ線形カーネルを有する。カーネルサイズは任意の ε > 0 に対して f_fin(r,ε)·|Z|^{1+ε} で有界である。
• このカーネル化結果により、Drange ら [9] の予想が解決され、どこでも稠密でない性質が、距離 r 支配集合問題のほぼ線形カーネル化の正確な閾値であることが証明された。
• 証明手法は、安定性による r-近傍ハイパーグラフの VC次元の有界化に依存し、その後 Sauer-Shelah の補題を適用して同値類の数を制御する。
• この手法により、VC次元の制御を介して指数的爆発を多項式的バインドに変換することで、有界拡張からどこでも稠密でないクラスへの組合せ的推論の拡張が可能になった。