[论文解读] Structural Parameterizations for Two Bounded Degree Problems Revisited

Michael Lampis, Manolis Vasilakis|arXiv (Cornell University)|Jan 1, 2023

Advanced Graph Theory Research被引用 4

一句话总结

本文针对树宽、路径宽、树深度和顶点覆盖等关键结构参数，对有界度顶点删除和缺陷着色问题进行了全面的复杂度分析。通过基于 SETH 和 ETH 的归约，建立了紧致的下界，表明标准动态规划算法在表大小为 $(\Delta+2)^{tw}$ 和 $(\chi_d(\Delta+1))^{tw}$ 时在树宽和路径宽下本质上是最优的，且即使在更严格的参数（如树深度或顶点覆盖）下，也不存在显著更快的算法，从而为这些问题的复杂度差距画上句号。

ABSTRACT

We revisit two well-studied problems, Bounded Degree Vertex Deletion and Defective Coloring, where the input is a graph $G$ and a target degree $Δ$ and we are asked either to edit or partition the graph so that the maximum degree becomes bounded by $Δ$. Both are known to be parameterized intractable for treewidth. We revisit the parameterization by treewidth, as well as several related parameters and present a more fine-grained picture of the complexity of both problems. Both admit straightforward DP algorithms with table sizes $(Δ+2)^\mathrm{tw}$ and $(χ_\mathrm{d}(Δ+1))^{\mathrm{tw}}$ respectively, where tw is the input graph's treewidth and $χ_\mathrm{d}$ the number of available colors. We show that both algorithms are optimal under SETH, even if we replace treewidth by pathwidth. Along the way, we also obtain an algorithm for Defective Coloring with complexity quasi-linear in the table size, thus settling the complexity of both problems for these parameters. We then consider the more restricted parameter tree-depth, and bridge the gap left by known lower bounds, by showing that neither problem can be solved in time $n^{o(\mathrm{td})}$ under ETH. In order to do so, we employ a recursive low tree-depth construction that may be of independent interest. Finally, we show that for both problems, an $\mathrm{vc}^{o(\mathrm{vc})}$ algorithm would violate ETH, thus already known algorithms are optimal. Our proof relies on a new application of the technique of $d$-detecting families introduced by Bonamy et al. Our results, although mostly negative in nature, paint a clear picture regarding the complexity of both problems in the landscape of parameterized complexity, since in all cases we provide essentially matching upper and lower bounds.

研究动机与目标

• 确定有界度顶点删除和缺陷着色问题在树宽、路径宽、树深度和顶点覆盖等广泛使用的结构参数下的精确参数化复杂度。
• 通过建立紧致的复杂度结果，弥合这些问题已知上界（来自标准动态规划）与下界之间的差距。
• 探究是否存在优于标准 DP 方法的更好算法，尤其是在使用更严格参数时。
• 解决关于现有算法最优性的开放问题，特别是关于对 $\Delta$、$\chi_d$ 和顶点覆盖大小等参数的依赖性。

提出的方法

• 设计基于 SETH 的归约，证明即使在固定 $\Delta$ 和 $\chi_d$ 的情况下，也无法在树宽和路径宽下改进标准 DP 表大小。
• 引入递归低树深构造，建立基于 ETH 的下界，证明不存在 $n^{o(td)}$ 算法。
• 应用 d-检测族，证明若顶点覆盖算法对 $vc^{o(vc)}$ 有依赖关系，则会违反 ETH，从而证明现有 $vc^{O(vc)}$ 算法的最优性。
• 利用 FFT 技术开发一种相对于表大小的准线性时间算法，解决了长期存在的关于复杂度依赖性的问题。
• 提出一种新型归约框架，推广先前关于顶点覆盖和着色的工作，涵盖所有非平凡的 $\Delta$ 和 $\chi_d$ 值，包括 $\Delta=1$。
• 通过精心构造的图构件，建立 $(\chi_d, \Delta)$-着色的存在性与 (3,4)-XSAT 实例中满足赋值之间等价性。

实验结果

研究问题

• RQ1 在 SETH 下，即使参数化为路径宽，有界度顶点删除的标准动态规划算法是否最优，即使对固定的 $\Delta$ 也是如此？
• RQ2 在 SETH 下，是否存在时间复杂度为 $(\chi_d(\Delta+1))^{tw - \varepsilon} n^{O(1)}$ 的算法，对任意 $\varepsilon > 0$，解决缺陷着色问题？
• RQ3 尽管已知下界较弱，当参数化为树深度时，是否存在有界度顶点删除或缺陷着色的定性更快算法？
• RQ4 能否将这些问题中基于顶点覆盖的算法的 $vc^{O(vc)}$ 依赖关系改进为 $vc^{o(vc)}$ 而不违反 ETH？
• RQ5 是否存在相对于表大小 $(\chi_d(\Delta+1))^{tw}$ 的缺陷着色问题的准线性时间算法？

主要发现

• 在 SETH 下，对于任意 $\varepsilon > 0$，不存在时间复杂度为 $(\Delta+2 - \varepsilon)^{pw} n^{O(1)}$ 的算法来解决有界度顶点删除问题，即使在固定 $\Delta$ 的情况下，当参数化为路径宽时亦然。
• 在 SETH 下，对于任意 $\varepsilon > 0$，不存在时间复杂度为 $(\chi_d(\Delta+1) - \varepsilon)^{pw} n^{O(1)}$ 的算法来解决缺陷着色问题，即使在固定 $\chi_d$ 和 $\Delta$ 的情况下，当参数化为路径宽时亦然。
• 标准 DP 算法在表大小为 $(\chi_d(\Delta+1))^{tw}$ 时对缺陷着色问题是最优的，因为通过 FFT 技术构造了一个相对于该表大小的准线性时间算法。
• 在 ETH 下，不存在时间复杂度为 $n^{o(td)}$ 的算法来解决有界度顶点删除问题，当参数化为树深度时，尽管先前的归约仅能推出 $n^{o(\sqrt[4]{td})}$。
• 在 ETH 下，不存在时间复杂度为 $n^{o(\sqrt{td})}$ 的算法来解决缺陷着色问题，当参数化为树深度时，且通过新的线性放大归约，该界被收紧为 $n^{o(td)}$。
• 若缺陷着色问题存在 $vc^{o(vc)}$ 依赖关系的算法，则会违反 ETH，从而证明在该假设下，目前已知的 $vc^{O(vc)}$ 算法是最优的。