[论文解读] Tight Lower Bounds for Problems Parameterized by Rank-Width

Benjamin Bergougnoux, Tuukka Korhonen+1 more|arXiv (Cornell University)|Oct 5, 2022

Complexity and Algorithms in Graphs被引用 1

一句话总结

本文首次建立了以秩宽为参数的若干基础图问题的ETH紧下界，证明除非指数时间假设（ETH）不成立，否则不存在2^o(k²)n^O(1)时间的算法。作者通过将3-SAT归约到有界线性秩宽图上的独立集问题，证明了目前已知的2^O(k²)n^O(1)时间算法在独立集、加权支配集、最大诱导匹配以及反馈顶点集问题上是紧优的。

ABSTRACT

We show that there is no $2^{o(k^2)} n^{O(1)}$ time algorithm for Independent Set on $n$-vertex graphs with rank-width $k$, unless the Exponential Time Hypothesis (ETH) fails. Our lower bound matches the $2^{O(k^2)} n^{O(1)}$ time algorithm given by Bui-Xuan, Telle, and Vatshelle [Discret. Appl. Math., 2010] and it answers the open question of Bergougnoux and Kanté [SIAM J. Discret. Math., 2021]. We also show that the known $2^{O(k^2)} n^{O(1)}$ time algorithms for Weighted Dominating Set, Maximum Induced Matching and Feedback Vertex Set parameterized by rank-width $k$ are optimal assuming ETH. Our results are the first tight ETH lower bounds parameterized by rank-width that do not follow directly from lower bounds for $n$-vertex graphs.

研究动机与目标

• 填补以秩宽为参数的图问题的已知上界与下界之间的差距。
• 解决关于2^O(k²)n^O(1)时间算法在独立集及相关问题上最优性的开放问题。
• 证明这些算法在指数时间假设（ETH）下是最优的，而非仅是推测最优。
• 提供一种新的框架，用于在秩宽参数化下证明ETH紧下界，该框架与n-顶点图归约方法不同。

提出的方法

• 通过在结构化的顶点集上使用团和独立集，构造具有受控秩宽和线性秩宽的图族。
• 使用从3-SAT到独立集的归约，将变量和子句的构件嵌入图结构中，以模拟可满足性。
• 证明任何2^o(lrw²)n^O(1)时间的独立集算法若存在，将违反ETH，因为此类算法可在线性时间内解决3-SAT。
• 通过平衡割引理建立布尔宽的下界，表明某些割必须将关键顶点集的较大子集分割开。
• 通过构造确保有界秩宽的线性排列，证明秩宽的上界，利用团和独立集结构。
• 通过保持秩宽和时间复杂度的归约，将下界构造扩展至其他问题（加权支配集、最大诱导匹配、反馈顶点集）。

实验结果

研究问题

• RQ1 在指数时间假设（ETH）下，以秩宽为参数的独立集问题的2^O(k²)n^O(1)时间算法是否是最优的？
• RQ2 能否在不依赖n-顶点图归约的情况下，为以秩宽为参数的问题建立紧的ETH下界？
• RQ3 已知的2^O(k²)n^O(1)时间算法在加权支配集、最大诱导匹配和反馈顶点集问题上是否在ETH下是最优的？
• RQ4 这些技术能否扩展至证明其他以秩宽为参数的问题的算法最优性，例如（无权）支配集或q-染色问题？
• RQ5 在指数时间假设（ETH）下，以秩宽为参数的染色数问题的n^2^O(k)时间算法是否是最优的？

主要发现

• 除非ETH不成立，否则在线性秩宽为lrw的图上不存在2^o(lrw²)n^O(1)时间的独立集算法。
• Bui-Xuan、Telle和Vatshelle提出的以秩宽为参数的独立集2^O(k²)n^O(1)时间算法在ETH下是最优的。
• 加权支配集、最大诱导匹配和反馈顶点集问题的相同2^O(k²)n^O(1)时间算法在ETH下也是最优的。
• 所构造图族的布尔宽至少为k(k−3)/6，该结果被用于推导下界。
• 所构造图的秩宽至多为2k+1，确保参数化有意义且有界。
• 这些结果是首个不依赖n-顶点图归约的秩宽参数化下的ETH紧下界。