[論文レビュー] Kernelization and approximation of distance-$r$ independent sets on nowhere dense graphs

Michał Pilipczuk, Sebastian Siebertz|arXiv (Cornell University)|Sep 15, 2018

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

ひとこと要約

この論文は、構造的スパarsityと分解技術を活用することで、どこでもありえないグラフクラスにおける距離-$r$独立集合問題がほぼ線形カーネルを有することを確立している。主な貢献は、任意の$ackslashvarepsilon > 0$に対してサイズ$O(k^{1+\varepsilon})$の多項式時間カーネライゼーションアルゴリズムを提示したことであり、この設定ではほぼ線形カーネライゼーションが可能であることを証明している。一方で、どこでもありえるクラスでは$ extsc{W}[1]$-困難であることも示している。

ABSTRACT

For a positive integer $r$, a distance-$r$ independent set in an undirected graph $G$ is a set $I\subseteq V(G)$ of vertices pairwise at distance greater than $r$, while a distance-$r$ dominating set is a set $D\subseteq V(G)$ such that every vertex of the graph is within distance at most $r$ from a vertex from $D$. We study the duality between the maximum size of a distance-$2r$ independent set and the minimum size of a distance-$r$ dominating set in nowhere dense graph classes, as well as the kernelization complexity of the distance-$r$ independent set problem on these graph classes. Specifically, we prove that the distance-$r$ independent set problem admits an almost linear kernel on every nowhere dense graph class.

研究の動機と目的

• どこでもありえないグラフクラスにおける距離-$r$独立集合問題のカーネライゼーション複雑度を調査すること。
• スパースなグラフクラスにおいて、距離-$r$支配集合と距離-$2r$独立集合の間に双対性が成り立つことを確立すること。
• どこでもありえないグラフにおける距離-$r$独立集合問題に対して、ほぼ線形カーネルが存在するかどうかを特定すること。
• どこでもありえないグラフクラスにおいて、問題が$\textsc{W}[1]$-困難であることを証明し、カーネライゼーション結果のタイトさを確立すること。

提案手法

• どこでもありえないグラフクラスを特徴付けるために、深さ-$r$マイナーの概念を用い、その構造的スパarsityを活用する。
• 投影的、ページ単位、および幅が無制限の階層的グラフ分解を適用し、解の構造を保ちながら問題のサイズを縮小する。
• 段階的な還元を実施する：元のグラフから有界拡張部分グラフへ、次にマイナー閉部分グラフへ、最後に有界拡張を持つコアグラフへと移行する。
• 反復的な投影と彩色技術の適用によりカーネルを構築し、カーネル内の各頂点が元の頂点の有界数にのみ対応することを保証する。
• どこでもありえないクラスでは$K_{t(r)}$が深さ-$r$マイナーとして出現しないことを利用して、部分グラフにおける有界拡張を可能にする。
• 構築されたグラフ$H = J^{(r)}$上で、独立集合から距離-$r$独立集合への還元を適用し、どこでもありえるクラスにおける$\textsc{W}[1]$-困難性を示す。

実験結果

リサーチクエスチョン

• RQ1 どこでもありえないグラフクラスにおいて、距離-$r$独立集合問題はほぼ線形サイズにカーネライズ可能か？
• RQ2 どこでもありえないグラフにおいて、距離-$2r$独立集合のサイズと距離-$r$支配集合の最小サイズの間にはどのような関係があるか？
• RQ3 どこでもありえないグラフクラスにおいて、距離-$r$独立集合問題は$\textsc{W}[1]$-困難か？
• RQ4 どこでもありえないクラスにおいて、任意の$\varepsilon > 0$に対してカーネルサイズが$O(k^{1+\varepsilon})$で抑えられるか？
• RQ5 どこでもありえないグラフのどのような構造的性質が、このような効率的なカーネライゼーションを可能にするか？

主な発見

• 距離-$r$独立集合問題は、すべてのどこでもありえないグラフクラスにおいてほぼ線形カーネルを有し、カーネルサイズは任意の$\varepsilon > 0$に対して$O(k^{1+\varepsilon})$である。
• カーネライゼーションは、どこでもありえないグラフに大きな深さ-$r$マイナーが存在しないことを利用した、グラフ分解と還元の段階的シーケンスによって達成される。
• 双対性不等式$\alpha_{2r}(G,A) \leq \gamma_r(G,A)$が成り立ち、どこでもありえないクラスでは、定数因子の範囲内でこの双対性がタイトである。
• すべての部分グラフについて閉じたどこでもありえるグラフクラスにおいて、古典的独立集合からの還元により、問題は$\textsc{W}[1]$-困難である。
• グラフ$J$から$H = J^{(r)}$を構築することで、$\alpha_{6r-1}(H) = \alpha_1(G) + 1$が成り立ち、元の独立集合問題と距離-$r$変種を結びつける。
• カーネルサイズの上限はタイトであり、どこでもありえるクラスでは$\textsc{W}[1] = \textsc{FPT}$でない限り、多項式カーネルが存在しない。