[论文解读] Problems in NP Can Admit Double-Exponential Lower Bounds When Parameterized by Treewidth or Vertex Cover

Florent Foucaud, Esther Galby+5 more|arXiv (Cornell University)|Jul 16, 2023

Graph Labeling and Dimension Problems参考文献 81被引用 1

一句话总结

本文在指数时间假设（ETH）下，首次为自然的、NP-完全的图论问题——度量维数（Metric Dimension）、强度量维数（Strong Metric Dimension）和测地集（Geodetic Set）——建立了在树宽（tw）和点覆盖数（vc）上的双指数下界。该研究提出了一种基于Sperner集族的新约简技术，证明除非ETH不成立，否则不存在能在 2²ᴼ⁽ᵗʷ⁾·nᴼ⁽¹⁾ 时间内解决这些问题的算法，从而表明尽管这些问题属于NP，仍表现出极端的计算困难性。

ABSTRACT

Treewidth (tw) is an important parameter that, when bounded, yields tractability for many problems. For example, graph problems expressible in Monadic Second Order (MSO) logic and QUANTIFIED SAT or, more generally, QUANTIFIED CSP, are FPT parameterized by the tw of the input's (primal) graph plus the length of the MSO-formula [Courcelle, Information & Computation 1990] and the quantifier rank [Chen, ECAI 2004], resp. The algorithms from these (meta-)results have running times whose dependence on tw is a tower of exponents. A conditional lower bound by Fichte et al. [LICS 2020] shows that, for QUANTIFIED SAT, the height of this tower is equal to the number of quantifier alternations. Lower bounds showing that at least double-exponential factors in the running time are necessary are rare: there are very few (for tw and vertex cover vc parameterizations) and they are for problems that are complete for #NP, $Σ_2^p$, $Π_2^p$, or higher levels of the polynomial hierarchy. We show, for the first time, that it is not necessary to go higher up in the polynomial hierarchy to obtain such lower bounds. We design a novel, yet simple versatile technique based on Sperner families to obtain such lower bounds and apply it to 3 problems: METRIC DIMENSION, STRONG METRIC DIMENSION, and GEODETIC SET. We prove that they do not admit $2^{2^{o(tw)}} \cdot n^{O(1)}$-time algorithms, even on bounded diameter graphs, unless the ETH fails. For STRONG METRIC DIMENSION, the lower bound holds even for vc. We complement our lower bounds with matching upper bounds.

研究动机与目标

• 为以树宽和点覆盖数为参数的NP-完全图问题建立紧致的双指数下界。
• 证明此类极端计算困难性——此前仅在NP之上的问题中观察到——也可出现在自然的NP-完全问题中。
• 开发一种可推广的技巧，用于在参数复杂性中推导双指数下界。
• 提供匹配的上界，表明对度量维数、测地集和强度量维数而言，下界是紧致的。
• 将基于ETH的下界适用范围从计数问题和高多项式层次问题，扩展到基础的NP-完全问题。

提出的方法

• 设计一种基于集合Sperner族的新型约简框架，以在图构造中编码逻辑约束。
• 构建专用构件——集合识别器、顶点选择器和位表示构件——以模拟参数化约简中的逻辑依赖。
• 将量化可满足性问题（Quantified SAT）约简至目标问题（度量维数、测地集、强强度量维数），同时保持参数界限不变。
• 利用指数时间假设（ETH）条件性排除更快的算法，表明 2²ᴼ⁽ᵗʷ⁾·nᴼ⁽¹⁾ 时间是必需的。
• 采用动态规划和核化技术，为每个问题推导出匹配的上界。
• 利用树宽和点覆盖数的结构特性，将复杂逻辑公式嵌入参数规模可控的图实例中。

实验结果

研究问题

• RQ1 是否能为NP-完全问题（而不仅是多项式层次更高水平的问题）在树宽或点覆盖数上建立双指数下界？
• RQ2 是否存在一种通用技术，可为一大类NP-完全问题推导此类下界？
• RQ3 像度量维数和测地集这样的基础度量图问题，是否表现出对树宽或点覆盖数的双指数依赖？
• RQ4 下界是否可被高效算法匹配，从而表明参数复杂性的紧致性？
• RQ5 所提出的基于Sperner族的约简技术是否可推广至其他NP-完全问题？

主要发现

• 本文证明，除非ETH不成立，度量维数和测地集问题在以树宽加直径为参数时，不存在 2²ᴼ⁽ᵗʷ⁾·nᴼ⁽¹⁾ 时间的算法。
• 对于强强度量维数问题，即使仅以点覆盖数为参数，双指数下界依然成立，而不仅限于树宽。
• 作者提出一种基于Sperner族的新颖且可推广的技术，用于在参数复杂性中推导双指数下界。
• 提供了紧致的上界：度量维数和测地集问题存在 2²ᴼ⁽ᵗʷ⁾·nᴼ⁽¹⁾ 时间算法，强强度量维数问题存在大小为 2ᴼ⁽ᵛᶜ⁾ 的核。
• 该技术已成功应用于机器学习和识别领域的其他NP-完全问题，证实了其通用性。
• 本工作表明，NP-完全问题也可能表现出对结构参数的双指数依赖，挑战了此类行为仅限于NP之上的问题的假设。