[论文解读] 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，其与 r-邻域的交集种类数至多为 f(r,ε)·|A|^{1+ε}。该刻画使得首次在无处稠密类上实现了 Distance-r Dominating Set 问题的近乎线性核，解决了长期存在的一个猜想，并在无处稠密与某处稠密的边界处确立了参数可解性的精确分界。

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] 提出的问题。
• 在无处稠密图类上建立 Distance-r Dominating Set 问题的近乎线性核的存在性。
• 在无处稠密与某处稠密类的边界处，展示 Distance-r Dominating Set 参数可解性的精确分界。
• 将模型论中的稳定性概念与稀疏图类中的算法组合学相连接，特别是利用 VC-维数与 Sauer-Shelah 引理。

提出的方法

• 将邻域复杂度定义为图 G 中顶点子集 A 与各顶点的 r-邻域之间不同交集的数量。
• 利用无处稠密类的稳定性性质，限制 r-邻域超图的 VC-维数，从而可应用 Sauer-Shelah 引理。
• 根据其在 Z 上的 r-投影对 Z 外部的顶点进行分类，基于与 Z 的 r-邻域交集完全相同形成等价类。
• 使用路径保持技术构建 Z 的稀疏超集 A' 及其投影，以保持距离至多为 r。
• 应用核化过程，将图缩减至大小 f_fin(r,ε)·|Z|^{1+ε}，同时保持 Distance-r Dominating Set 解的正确性。
• 通过调整 ε 得到最终的近乎线性核界，利用邻域复杂度与 VC-维数的有界性。

实验结果

研究问题

• RQ1 无处稠密图类能否通过任意顶点子集的邻域复杂度的统一有界性来刻画？
• RQ2 Distance-r Dominating Set 问题在每个无处稠密图类上是否具有近乎线性核？
• RQ3 在无处稠密与某处稠密类的边界处，Distance-r Dominating Set 的参数可解性是否存在精确阈值？
• RQ4 能否利用模型论工具（如 VC-维数与 Sauer-Shelah 引理）将结果从有界扩张类推广至无处稠密类？
• RQ5 能否通过稳定性与 VC-维数，对稀疏图类中的稠密辅助超图（如 r-邻域）进行组合分析？

主要发现

• 对于任意无处稠密图类 C，任意子集 A 与 r-邻域的交集种类数至多为 f(r,ε)·|A|^{1+ε}，其中 f 仅依赖于 C 与 ε > 0。
• 该邻域复杂度界刻画了无处稠密类，提供了该类的一个全新、组合学意义上的刻画。
• Distance-r Dominating Set 问题在每个无处稠密图类上均具有近乎线性核，核大小被 f_fin(r,ε)·|Z|^{1+ε} 控制，其中 ε > 0 任意。
• 该核化结果解决了 Drange 等人 [9] 的一个猜想，证明无处稠密性正是 Distance-r Dominating Set 实现近乎线性核化的精确阈值。
• 证明技术依赖于通过稳定性限制 r-邻域超图的 VC-维数，随后应用 Sauer-Shelah 引理以控制等价类的数量。
• 该方法通过控制 VC-维数，将组合推理从有界扩张类推广至无处稠密类，将指数爆炸转化为多项式有界性。