[论文解读] First-Order Transductions of Graphs (Invited Talk)

Ossona de Mendez, Patrice|arXiv (Cornell University)|Jan 1, 2021

Advanced Graph Theory Research参考文献 23被引用 57

一句话总结

本文引入了孪生宽度（twin-width）这一新的图宽度参数，该参数推广了cographs，并涵盖了主要的稀疏与稠密图类。证明了当提供d-收缩序列时，一阶（FO）模型检查在|φ|上是固定参数可满足的（FPT），时间复杂度为f(d, |φ|) · |D|，并表明有界孪生宽度在FO解释和转换下保持不变，统一并扩展了此前针对非单调类的FPT结果。

ABSTRACT

This paper is an extended abstract of my STACS 2021 talk "First-order transductions of graphs".

研究动机与目标

• 定义一种新的宽度参数——孪生宽度，其推广cographs，并涵盖包括极小封闭类、有界秩宽以及网格类在内的多种图类。
• 证明当给出d-收缩序列时，有界孪生宽度图类上的一阶模型检查在|φ|上是FPT的。
• 建立有界孪生宽度在FO解释与转换下的闭包性质，统一此前针对非单调类的FPT结果。
• 为特定类（如布尔宽度有界的图与d维网格）提供多项式时间算法，用于计算d-收缩序列。
• 探讨孪生宽度的算法与结构影响，包括其与小类、扩展图以及群论的联系。

提出的方法

• 通过顶点收缩序列定义孪生宽度，其中每对顶点为近似孪生点——即其邻接关系仅在至多d个顶点上不同，通过红色边追踪。
• 引入d-收缩：即任意顶点的红色边数（与之相连的红色边数）不超过d的收缩序列，孪生宽度即为满足此性质的最小d值。
• 利用Marcus-Tardos定理对禁止0,1-矩阵的分析，限制邻接矩阵中“角点”数量，从而为结构化图类构造收缩序列。
• 设计基于顶点混合自由排序的框架，将计算收缩序列的问题转化为分析矩阵的简洁性与角点结构。
• 利用FO解释与转换的闭包性质，证明孪生宽度在逻辑操作下保持不变，从而可将FPT结果推广至更广泛的图类。
• 将该方法应用于具体图类：为布尔宽度≤k的图提供(2k+1−1)-收缩序列，为d维网格提供3d-收缩序列，并扩展至单位球图。

实验结果

研究问题

• RQ1 能否定义一种推广cographs的图参数，使其既能涵盖稀疏图类又能涵盖稠密图类，同时支持高效的FO模型检查？
• RQ2 当提供d-收缩序列时，有界孪生宽度图类上的一阶模型检查是否在|φ|上是FPT的？
• RQ3 有界孪生宽度类在FO解释与转换下是否封闭？这一性质能否用于统一现有的FPT算法？
• RQ4 能否为自然图类（如网格、单位球图、布尔宽度有界的图）在多项式时间内计算d-收缩序列？
• RQ5 孪生宽度与其他复杂度度量（如扩展性、小类、多项式扩展）之间存在何种关系？

主要发现

• 对恰当的极小封闭类、有界秩宽图、地图图、Kt-自由的单位d维球图，以及具有有界反链的偏序集，孪生宽度是有界的。
• 对于布尔宽度≤k的图，可在多项式时间内计算出d-收缩序列，得到(2k+1−1)-收缩序列。
• 对于边长为n的d维网格，可在O(n)时间内计算出3d-收缩序列。
• 在[n]上具有孪生宽度至多d的图的数量被限制为n!f(d)n，其中f为某函数，表明有界孪生宽度类是小类。
• 有界孪生宽度在FO解释与转换下保持不变，使得FPT结果可推广至更广泛的图类。
• 对于孪生宽度至多为d的图，最大独立集问题存在多项式时间常数近似算法，最小支配集在类似条件下亦然。