[论文解读] Deciding Twin-Width at Most 4 Is NP-Complete

P. Bergé, Édouard Bonnet+1 more|arXiv (Cornell University)|Dec 16, 2021

Advanced Graph Theory Research被引用 10

一句话总结

本文证明了判断一个图的孪生宽度是否至多为4是NP完全问题，从而确立了计算孪生宽度的第一个精确算法下界。作者通过直接构造图构件（变量、导线和子句组件）从3-SAT问题进行归约，表明当且仅当3-SAT实例可满足时，存在一个4-序列。该结果还意味着，除非指数时间假设（Exponential-Time Hypothesis）不成立，否则不存在能在时间 2^o(n/log n) 内判定孪生宽度 ≤4 的算法。

ABSTRACT

We show that determining if an $n$-vertex graph has twin-width at most 4 is NP-complete, and requires time $2^{Ω(n/\log n)}$ unless the Exponential-Time Hypothesis fails. Along the way, we give an elementary proof that $n$-vertex graphs subdivided at least $2 \log n$ times have twin-width at most 4. We also show how to encode trigraphs $H$ (2-edge colored graphs involved in the definition of twin-width) into graphs $G$, in the sense that every $d$-sequence (sequence of vertex contractions witnessing that the twin-width is at most $d$) of $G$ inevitably creates $H$ as an induced subtrigraph, whereas there exists a partial $d$-sequence that actually goes from $G$ to $H$. We believe that these facts and their proofs can be of independent interest.

研究动机与目标

• 确立判断一个图的孪生宽度是否至多为4的计算复杂性。
• 填补在一般图上精确孪生宽度计算的参数化复杂性理解中的空白。
• 提供从3-SAT到孪生宽度判定的直接归约，避免使用诸如弦图补全等结构中间步骤。
• 证明即使在有界度图（包括平面图）中，该问题仍保持NP完全。
• 通过证明k=4时的困难性，排除存在XP算法（时间复杂度为 n^{f(k)}）的可能性，从而证明孪生宽度 ≤k 的判定问题的困难性。

提出的方法

• 从一个具有 O(n log n) 个顶点的3-SAT实例 I 构造图 G，使用变量构件、用于文字的导线构件以及子句构件。
• 设计一个部分4-序列，仅当3-SAT实例可满足时，才能将图收缩为一个有向图 H。
• 使用围栏构件和或门结构来模拟文字与子句之间的逻辑依赖关系。
• 通过红度和收缩序列的不变量，证明仅当存在满足赋值时，4-序列才存在。
• 证明所得有向图 H 是一个 O(n) 个顶点的图的 (≥L)-细分，其中 L = 2⌈log(5n+3m)⌉，并应用已知结果得出 H 的孪生宽度 ≤4。
• 利用指数时间假设（ETH）推导出判定孪生宽度 ≤4 的时间复杂度下界为 2^Ω(n/log n)。

实验结果

研究问题

• RQ1 判断一个图的孪生宽度是否至多为4是否为NP完全问题？
• RQ2 在不违反指数时间假设的前提下，能否在时间 2^o(n/log n) 内解决该问题？
• RQ3 该NP完全性是否对有界度图或平面图也成立？
• RQ4 能否在多项式时间内识别孪生宽度至多为4的图？
• RQ5 鉴于精确计算孪生宽度是NP难的，孪生宽度计算的最佳可能近似比是多少？

主要发现

• 判断一个图的孪生宽度是否至多为4是NP完全问题，解决了参数复杂性领域的一个关键开放问题。
• 除非指数时间假设不成立，否则该问题需要时间 2^Ω(n/log n)，从而建立了强有力的条件性下界。
• 任何 (≥2 log n)-细分的 n-顶点图的孪生宽度至多为4，这为具有有界孪生宽度的图提供了一个新家族。
• 从3-SAT到孪生宽度判定的归约是直接的，不依赖于诸如最小割线性排列等中间问题，因此具有鲁棒性，并可推广至稀疏图类。
• 该构造生成一个具有 O(n log n) 个顶点的图 G，使得 G 的孪生宽度 ≤4 当且仅当输入的3-SAT实例可满足。
• 所构造图的红图是若干路径和孤立顶点的不相交并集，且可通过多项式时间归约转换为一个具有 O(n log n) 个顶点的图 G'，同时保持孪生宽度判定结果不变。