[论文解读] Deciding first-order properties of nowhere dense graphs

Martin Grohe, Stephan Kreutzer+1 more|arXiv (Cornell University)|Nov 15, 2013

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

一句话总结

本文通过新颖的游戏理论表征和基于递归局部性的算法，证明了在无处处稠密图类上，一阶逻辑性质是固定参数可追踪的。关键贡献在于提出了一种O(n^{1+ε})时间复杂度的算法来判定一阶逻辑性质，该算法在满足遗传图类条件下为最优，并推广了先前针对稀疏图的元定理。

ABSTRACT

Nowhere dense graph classes, introduced by Nesetril and Ossona de Mendez, form a large variety of classes of "sparse graphs" including the class of planar graphs, actually all classes with excluded minors, and also bounded degree graphs and graph classes of bounded expansion. We show that deciding properties of graphs definable in first-order logic is fixed-parameter tractable on nowhere dense graph classes. At least for graph classes closed under taking subgraphs, this result is optimal: it was known before that for all classes C of graphs closed under taking subgraphs, if deciding first-order properties of graphs in C is fixed-parameter tractable, then C must be nowhere dense (under a reasonable complexity theoretic assumption). As a by-product, we give an algorithmic construction of sparse neighbourhood covers for nowhere dense graphs. This extends and improves previous constructions of neighbourhood covers for graph classes with excluded minors. At the same time, our construction is considerably simpler than those. Our proofs are based on a new game-theoretic characterisation of nowhere dense graphs that allows for a recursive version of locality-based algorithms on these classes. On the logical side, we prove a "rank-preserving" version of Gaifman's locality theorem.

研究动机与目标

• 建立无处处稠密图类上一阶逻辑性质的固定参数可追踪性，该类图包含平面图和有界扩张图等广泛稀疏图类。
• 通过证明在标准复杂性假设下，固定参数可追踪性蕴含遗传图类的无处处稠密性，提供一个最优的算法元定理。
• 为无处处稠密图开发一种构造性稀疏邻域覆盖算法，其性能优于先前对排除子式类的构造方法。
• 引入Gaifman局部性定理的保秩版本，以支持在这些图类上使用基于递归局部性的算法。
• 通过结合结构图论与游戏理论表征，统一并扩展了现有的一阶逻辑算法元定理。

提出的方法

• 提出无处处稠密图的游戏理论表征，以支持基于局部邻域的逻辑查询递归分解。
• 采用递归算法，利用局部性游戏中获胜策略将图划分为稀疏邻域覆盖，且递归深度有界。
• 在每个子图中存储广度优先搜索树，以在递归过程中高效计算局部邻域，仅引入常数因子开销。
• 应用Gaifman局部性定理的保秩变体，确保逻辑公式可在不损失表达力的前提下进行局部评估。
• 推导出运行时间T(j, n)的递推关系，将总代价限制在c^j * n^{1+2jδ}以内，最终得出O(n^{1+ε})的时间复杂度。
• 利用邻域覆盖的稀疏性与有界递归深度ℓ，确保对任意ε > 0，运行时间为亚二次时间。

实验结果

研究问题

• RQ1 能否在一阶逻辑性质上，在无处处稠密图类上以固定参数可追踪时间进行判定？
• RQ2 在一阶逻辑判定中，无处处稠密图上的固定参数可追踪性是否在遗传图类下达到最优？
• RQ3 能否为无处处稠密图算法性地构造出具有优良参数的稀疏邻域覆盖？
• RQ4 如何利用游戏理论原则在无处处稠密图上递归应用基于局部性的算法？
• RQ5 保秩Gaifman局部性定理在支持稀疏结构上高效逻辑评估中起到何种作用？

主要发现

• 对于任意ε > 0，所有无处处稠密图类上的一阶逻辑性质均可在O(n^{1+ε})时间内判定，从而证明了固定参数可追踪性。
• 该算法对任意ε > 0实现了亚二次运行时间O(n^{1+ε})，在标准复杂性假设下，对遗传图类而言为最优。
• 开发出一种构造性稀疏邻域覆盖算法，其半径与度数参数显著简化且更高效，优于先前构造方法。
• 无处处稠密图的游戏理论表征使得基于局部结构的逻辑查询可递归分解，构成该算法的核心。
• Gaifman局部性定理的保秩版本确保逻辑公式可无量化秩增加地进行局部评估，从而支持高效递归评估。
• 运行时间分析表明，总代价被限制在c^ℓ * n^{1+ε}以内，其中ℓ为递归深度，c为依赖于公式与图类的常数，从而证明了亚二次界。