[论文解读] Twin-width of Planar Graphs is at most 9, and at most 6 when Bipartite Planar

Petr Hliněný|arXiv (Cornell University)|May 11, 2022

Advanced Graph Theory Research被引用 6

一句话总结

本文证明了任意简单平面图的孪生宽度至多为9，对于二分平面图则至多为6。作者提出了一种基于BFS分层和竖直路径的新颖递归图分解方法，避免了先前工作中使用的乘积结构工具，并提供了线性时间算法来构建相应的收缩序列，显著优于以往的显式上界。

ABSTRACT

The structural parameter twin-width was introduced by Bonnet et al. in [FOCS 2020], and already this first paper included an asymptotic argument bounding the twin-width of planar graphs by a non-explicit constant. Quite recently, we have seen first small explicit upper bounds of 183 by Jacob and Pilipczuk [arXiv, January 2022], 583 by Bonnet et al. [arXiv, February 2022], and of 37 by Bekos et al. [arXiv, April 2022]. We prove that the twin-width of planar graphs is at most 9. Furthermore, if a planar graph is also bipartite, then its twin-width is at most 6.

研究动机与目标

• 改进平面图孪生宽度的显式上界，此前虽知其有界但未精确量化。
• 为此前孪生宽度研究中未涉及的二分平面图类建立更紧致的显式上界。
• 开发一种构造性线性时间算法，生成实现上述上界的收缩序列，且不依赖于先前工作所用的乘积结构工具。
• 通过BFS分层与竖直路径性质，细化平面图的结构分解，以在收缩过程中控制红色度的增长。

提出的方法

• 该方法以平面图外面对边界上的一个顶点为根进行BFS分层，利用树结构定义竖直路径，并据此确定分层收缩顺序。
• 对由特定顶点集（包括根连通分量和外层）诱导的子图应用递归分解策略，以在收缩过程中保持红色度有界。
• 证明过程采用一系列部分收缩步骤——记为τ₀至τ₆——每步均保持相邻层中红色度的关键不变量。
• 关键不变量（I）’、（II）’和（III）’在收缩步骤间得以维持，确保一般平面图中任意顶点的红色邻居数不超过9，而二分图中不超过6。
• 该算法通过递归处理各层与连通分量，在线性时间内构建收缩序列，无需显式构造中间的三角图。
• 该方法避免使用乘积结构分解，转而依赖嵌入平面图及其BFS树的几何与拓扑性质。

实验结果

研究问题

• RQ1 一般平面图的孪生宽度的最紧可能显式上界是什么？
• RQ2 能否为二分平面图这一特殊情况建立更紧的上界？
• RQ3 是否可能在不依赖先前工作中所用乘积结构工具的前提下实现此类上界？
• RQ4 平面图的何种结构特性使得在收缩序列中能对红色度实现如此紧密的控制？

主要发现

• 任意简单平面图的孪生宽度至多为9，且在某些极值配置（如图3所示的“游戏结束”三角图）中该上界是紧的。
• 对于二分平面图，孪生宽度至多为6，且在当前证明框架下该上界似乎已是紧的，无法进一步改进。
• 存在线性时间算法，可计算出分别实现9和6孪生宽度上界的收缩序列，分别适用于一般平面图与二分平面图。
• 该证明技术独立于乘积结构分解，为孪生宽度上界提供了全新的、基于几何动机的方法。
• 结果显著优于以往的显式上界，例如Bekos等人给出的37和Jacob与Pilipczuk给出的183。
• 作者识别出阻止上界进一步降低的结构配置，表明9和6可能已接近这两类图的真正最大值。