[论文解读] Twin-width VIII: delineation and win-wins

Édouard Bonnet, Dibyayan Chakraborty+4 more|arXiv (Cornell University)|Apr 1, 2022

semigroups and automata theory被引用 5

一句话总结

本文引入了“界定”（delineation）的概念，用于刻画一类图类，其一阶（FO）模型检测在孪生宽度（twin-width）有界时恰好是固定参数可追踪（FPT）的。研究证明区间图和有根有向路径图是界定的，而线段图、多根有向路径图以及简单多边形的可视图则不是。该工作基于孪生宽度和FO可定义参数，建立了针对可视图等图类的新FPT赢赢（win-win）算法。

ABSTRACT

We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$ is monadically dependent. An effective strengthening of delineation for a class $\mathcal C$ implies that tractable FO model checking on $\mathcal C$ is perfectly understood: On hereditary closures $\mathcal D$ of subclasses of $\mathcal C$, FO model checking is fixed-parameter tractable (FPT) exactly when $\mathcal D$ has bounded twin-width. Ordered graphs [BGOdMSTT, STOC '22] and permutation graphs [BKTW, JACM '22] are effectively delineated, while subcubic graphs are not. On the one hand, we prove that interval graphs, and even, rooted directed path graphs are delineated. On the other hand, we show that segment graphs, directed path graphs, and visibility graphs of simple polygons are not delineated. In an effort to draw the delineation frontier between interval graphs (that are delineated) and axis-parallel two-lengthed segment graphs (that are not), we investigate the twin-width of restricted segment intersection classes. It was known that (triangle-free) pure axis-parallel unit segment graphs have unbounded twin-width [BGKTW, SODA '21]. We show that $K_{t,t}$-free segment graphs, and axis-parallel $H_t$-free unit segment graphs have bounded twin-width, where $H_t$ is the half-graph or ladder of height $t$. In contrast, axis-parallel $H_4$-free two-lengthed segment graphs have unbounded twin-width. Our new results, combined with the known FPT algorithm for FO model checking on graphs given with $O(1)$-sequences, lead to win-win arguments. For instance, we derive FPT algorithms for $k$-Ladder on visibility graphs of 1.5D terrains, and $k$-Independent Set on visibility graphs of simple polygons.

研究动机与目标

• 基于孪生宽度和一元依赖性，定义并形式化图类的‘界定’（delineation）概念。
• 确定若干著名图类（如区间图、可视图、线段图）是否属于界定类。
• 利用孪生宽度和FO可定义参数，开发FO可定义问题的算法赢赢框架。
• 研究大二分图、半图以及独立集在交集图与可视图中导致孪生宽度无界的机制。

提出的方法

• 将‘界定’定义为：图类C的遗传子类D的孪生宽度有界，当且仅当D是单峰依赖的。
• 利用邻接矩阵中不存在rank-k划分的刻画，证明孪生宽度有界等价于该性质的缺失。
• 应用拉姆齐理论论证，以在简单多边形的可视图和1.5D地形中界定孪生宽度。
• 通过与子立方图的可转换等价性作为方法，证伪界定性。
• 利用在O(1)-序列图上FO模型检测的FPT算法，推导出新的赢赢算法。
• 利用几何图的结构特性（如凸位置、可视约束），在假设存在大半图或诱导匹配时导出矛盾。

实验结果

研究问题

• RQ1 哪些图类是界定的？其界定性的结构特性是什么？
• RQ2 能否通过几何与序理论约束，界定简单多边形可视图和1.5D地形的孪生宽度？
• RQ3 单位线段图是否是界定的？Ht-free或Kt,t-free约束在孪生宽度有界性中起什么作用？
• RQ4 与子立方图的可转换等价性是否是遗传类失败界定性的唯一方式？
• RQ5 FO可定义参数能否函数式地对孪生宽度进行上界估计，从而导出新的FPT赢赢算法？

主要发现

• 区间图和有根有向路径图是界定的，这意味着在遗传子类上，FO模型检测是FPT的，当且仅当孪生宽度有界。
• 线段图、多根有向路径图以及简单多边形的可视图不是界定的，因为它们与子立方图可转换等价。
• Kt,t-free线段图和轴对齐Ht-free单位线段图具有有界孪生宽度，而轴对齐H4-free双长度线段图则具有无界孪生宽度。
• 简单多边形可视图的孪生宽度有界，从而为该类图上的k-独立集问题提供了FPT算法。
• 建立了新的FPT赢赢框架：若一个FO可定义参数p能对孪生宽度进行上界估计，则p(G) ≥ k可在FPT时间f(k) · |V(G)|^O(1)内判定。
• 本文提供了强有力的证据，表明在一阶界定的语境下，单峰依赖性与单峰稳定性是等价的，支持了关于子立方图可转换作为界定障碍的完备性猜想。