[论文解读] Computing Twin-Width Parameterized by the Feedback Edge Number

Jakub Balabán, Robert Ganian+1 more|arXiv (Cornell University)|Oct 12, 2023

Advanced Graph Theory Research被引用 1

一句话总结

本论文首次提出了以反馈边数 k 为参数的固定参数算法，用于计算图中近似最优的收缩序列。该方法实现了 2-收缩序列的线性双核，并提出了一种近似的固定参数算法，可在时间 2⇈O(k) · nO(1) 内计算出宽度至多为 tww(G) + 1 的收缩序列，其核心在于对最优序列的结构特性进行深入分析，并结合 (H,P)-图上的约简规则。

ABSTRACT

The problem of whether and how one can compute the twin-width of a graph - along with an accompanying contraction sequence - lies at the forefront of the area of algorithmic model theory. While significant effort has been aimed at obtaining a fixed-parameter approximation for the problem when parameterized by twin-width, here we approach the question from a different perspective and consider whether one can obtain (near-)optimal contraction sequences under a larger parameterization, notably the feedback edge number k. As our main contributions, under this parameterization we obtain (1) a linear bikernel for the problem of either computing a 2-contraction sequence or determining that none exists and (2) an approximate fixed-parameter algorithm which computes an 𝓁-contraction sequence (for an arbitrary specified 𝓁) or determines that the twin-width of the input graph is at least 𝓁. These algorithmic results rely on newly obtained insights into the structure of optimal contraction sequences, and as a byproduct of these we also slightly tighten the bound on the twin-width of graphs with small feedback edge number.

研究动机与目标

• 解决在以更大结构参数为参数化时，计算孪生宽度的 (近似) 最优收缩序列这一开放问题。
• 探究更强的结构限制（特别是反馈边数 k）是否能在孪生宽度参数化失效时，仍能支持固定参数可解算法。
• 设计可证明安全、时间复杂度为多项式时间的约简规则，使孪生宽度最多产生微小的加法误差。
• 提供首个在非孪生宽度本身作为参数化参数下的非平凡固定参数算法，用于孪生宽度计算。

提出的方法

• 引入一种变换，将图转化为大小受 k 限制的 (H,P)-图表示形式，且孪生宽度最多产生微小误差。
• 应用贪心路径缩短过程，确保所有剩余路径长度足够长，以支持结构分析，使用函数 fH′(ℓ) = (3t + 4t²)ℓ，其中 t = |V(H′)|。
• 通过将所有路径缩短为依赖于 fH*(2|V(H*)|²) 长度的方式，构建简化后的 (H*,P*)-图 G*，从而保证孪生宽度有界。
• 使用 Knuth 的上箭头记号，将 G* 的大小限制为高度为 O(k) 的指数塔，从而实现最优序列计算的 2⇈O(k) 时间复杂度。
• 通过多项式时间的提升操作，将 G* 上的收缩序列还原回原图，且宽度误差最多为 1。
• 对 2-收缩序列问题采用线性双核，其基础在于输出为一个三元图，且约简规则安全且高效。

实验结果

研究问题

• RQ1 当以反馈边数而非孪生宽度为参数时，能否获得计算收缩序列的固定参数算法？
• RQ2 当以 k 为参数时，是否可能在固定参数时间内计算出宽度至多为 tww(G) + 1 的收缩序列？
• RQ3 在反馈边数参数化下，最优收缩序列的哪些结构特性可被利用以设计安全的约简规则？
• RQ4 在此参数化下，近似解中的加法误差 1 是否可被消除？

主要发现

• 当以反馈边数 k 为参数时，判断图的孪生宽度是否至多为 2 的问题，可获得线性双核，时间复杂度为 2O(k·log k) + nO(1)。
• 提出了一种算法，可在时间 2⇈O(k) · nO(1) 内计算出宽度至多为 tww(G) + 1 的收缩序列，其中指数部分的指数塔高度为 O(k)。
• 简化后的 (H*,P*)-图 G* 的大小受限于高度为 4k + 3 的指数塔，且最顶层的指数为 O(log k)。
• 作为结构分析的副产品，图的孪生宽度在反馈边数为 k 时被略微收紧。
• 所使用的约简规则可证明安全、高效，且运行时间复杂度为多项式，因此可能适用于启发式实现。
• 近似解中的加法误差 1 很可能可被避免，尽管作者认为此方向优先级低于以树深度或树宽为参数化。