[论文解读] Ordered graphs of bounded twin-width

Pierre Simon, Szymon Toruńczyk|arXiv (Cornell University)|Feb 13, 2021

Advanced Graph Theory Research参考文献 16被引用 5

一句话总结

本文建立了有界孪生宽度的有序图的遗传类的多种等价刻画，表明它们恰好是避免了称为半网格的某些大型网格状结构的类。证明了在一阶逻辑上的模型检测在这些类上是固定参数可追踪的，并将有界孪生宽度与模型论中的NIP和组合学中的小性联系起来。

ABSTRACT

We consider hereditary classes of graphs equipped with a total order. We provide multiple equivalent characterisations of those classes which have bounded twin-width. In particular, we prove a grid theorem for classes of ordered graphs which have unbounded twin-width. From this we derive that the model-checking problem for first-order logic is fixed-parameter tractable over a hereditary class of ordered graphs if, and -- under common complexity-theoretic assumptions -- only if the class has bounded twin-width. For hereditary classes of ordered graphs, we show that bounded twin-width is equivalent to the NIP property from model theory, as well as the smallness condition from enumerative combinatorics. We prove the existence of a gap in the growth of hereditary classes of ordered graphs. Furthermore, we provide a grid theorem which applies to all monadically NIP classes of structures (ordered or unordered), or equivalently, classes which do not transduce the class of all finite graphs.

研究动机与目标

• 通过结构、逻辑和组合性质，刻画有界孪生宽度的有序图的遗传类。
• 解决有序设定下有界孪生宽度类的算法和逻辑行为方面的开放问题。
• 建立有界孪生宽度、模型论中的NIP性质以及枚举组合学中的小性条件之间的联系。
• 在标准复杂性理论假设下，证明一阶逻辑的模型检测在这些类上是固定参数可追踪的。
• 展示有界孪生宽度的遗传类的有序图的生长率存在一个间隙，表明小生长与大生长之间存在二分性。

提出的方法

• 引入半网格的概念——一种类似于网格的有序子结构，其关系由顺序类型（≤, ≥, =, ≠）定义——作为刻画有界孪生宽度的禁止模式。
• 使用拉姆齐理论论证，表明在足够大的半网格中可以找到大型规则半网格作为诱导子结构。
• 应用模型论工具，包括类型、莫雷序列和不可区分性，以分析独立性并揭示大型网格的存在。
• 利用解释和可转导性，将孪生宽度与NIP和小性等逻辑性质联系起来。
• 利用有界孪生宽度类中有序图的孪生宽度证书可在多项式时间内计算的事实。
• 证明了关于结构的单子式NIP类的网格定理（有序或无序），表明此类类不能转导所有有限图的类。

实验结果

研究问题

• RQ1 什么结构性质刻画了有界孪生宽度的有序图的遗传类？
• RQ2 在有序图的语境下，有界孪生宽度、NIP和枚举组合学中的小性之间有何关系？
• RQ3 在一阶逻辑上的模型检测在有界孪生宽度的遗传类上是固定参数可追踪的，当且仅当这些类具有有界孪生宽度吗？
• RQ4 是否可以在避免小半网格的足够大的有序图中强制出现大型半网格作为诱导子结构？
• RQ5 有界孪生宽度的遗传类的有序图的生长率行为如何？是否存在小生长与大生长之间的间隙？

主要发现

• 一个有序图的遗传类具有有界孪生宽度，当且仅当它排除了任意类型（≤, ≥, =, ≠）的大型半网格。
• 在一阶逻辑上的模型检测在有界孪生宽度的遗传类上是固定参数可追踪的，当且仅当该类具有有界孪生宽度，且在标准复杂性假设下成立。
• 在有序图中，有界孪生宽度等价于模型论中的NIP性质以及枚举组合学中的小性条件。
• 对于有界孪生宽度类中的每个有序图，其有界孪生宽度证书可在多项式时间内计算。
• 有界孪生宽度的遗传类的有序图的生长率存在一个间隙：具有有界孪生宽度的类最多以 $n! imes 2^{O(n)}$ 的速率增长，而其他类则增长更快。
• 为单子式NIP类建立了网格定理：此类类不能转导所有有限图的类，且这等价于作为诱导子结构排除大型半网格。