[论文解读] Optimal dynamic program for r-domination problems over tree decompositions

Glencora Borradaile, Hung Le|arXiv (Cornell University)|Feb 3, 2015

Advanced Graph Theory Research参考文献 16被引用 5

一句话总结

本文提出了在有界 treewidth 图上 r-支配问题的最优动态规划算法，r-支配集的时间复杂度为 O((2r+1)^tw n)，连通 r-支配集的时间复杂度为 O((2r+2)^tw n^O(1))。在强指数时间假设（SETH）下，证明了这些界是紧致的，扩展了连通性使指数因子的底数增加一这一模式，如经典支配集问题中所见。

ABSTRACT

There has been recent progress in showing that the exponential dependence on treewidth in dynamic programming algorithms for solving NP-hard problems are optimal under the Strong Exponential Time Hypothesis (SETH). We extend this work to $r$-domination problems. In $r$-dominating set, one wished to find a minimum subset $S$ of vertices such that every vertex of $G$ is within $r$ hops of some vertex in $S$. In connected $r$-dominating set, one additionally requires that the set induces a connected subgraph of $G$. We give a $O((2r+1)^{\mathrm{tw}} n)$ time algorithm for $r$-dominating set and a $O((2r+2)^{\mathrm{tw}} n^{O(1)})$ time algorithm for connected $r$-dominating set in $n$-vertex graphs of treewidth $\mathrm{tw}$. We show that the running time dependence on $r$ and $\mathrm{tw}$ is the best possible under SETH. This adds to earlier observations that a "+1" in the denominator is required for connectivity constraints.

研究动机与目标

• 填补有界 treewidth 图上 r-支配问题的上下界之间的差距。
• 将基于 SETH 的最优性框架从标准支配集扩展到 r-支配集和连通 r-支配集。
• 正式证明在 SETH 下，r-支配集的指数因子 (2r+1) 和连通 r-支配集的指数因子 (2r+2) 是最优的。
• 将先前观察到的连通性约束使指数项底数增加一的规律推广，如顶点覆盖和支配集问题中所见。

提出的方法

• 设计一种基于树分解的动态规划算法，通过编码每个袋中顶点到解集中最近选中顶点的距离状态，来追踪顶点的 r-覆盖状态。
• 对于连通 r-支配集，采用一种随机化的蒙特卡洛方法，通过状态追踪组件结构和路径强制模式来维持连通性。
• 通过从 SAT 到 r-支配问题的高阶归约来证明下界，推广了先前基于 SETH 的下界构造中的构件。
• 引入路径强制模式 P_r(m)，并在归约中用于模拟逻辑依赖，确保仅正确解满足 r-支配和连通性约束。
• 利用 treewidth 与 pathwidth 之间的关系，通过不等式 bw ≤ tw + 1，将 pathwidth 上的界转移到 treewidth 上。
• 在下界构造中采用混合搜索策略，以模拟动态规划状态的行为，使用搜索者来表示状态配置。

实验结果

研究问题

• RQ1 在强指数时间假设（SETH）下，r-支配集算法中对 treewidth 的指数依赖是否是最优的？
• RQ2 在 r-支配集问题中增加连通性约束，是否如经典问题（如连通支配集）中所见，导致指数因子的底数一致增加？
• RQ3 在 SETH 下，r-支配集的上界 O((2r+1)^tw n) 是否能与下界 Ω^*((2r+1 - ε)^tw) 匹配？
• RQ4 连通 r-支配集的底数 (2r+2) 是否是最优的，还是可以进一步优化？
• RQ5 对于较大的 r（例如 r = n^c），当前算法是否仍是最优的，或者对 r 的依赖是否可以改进？

主要发现

• 为 r-支配集提出了一种 O((2r+1)^tw n) 时间复杂度的算法，与已知最佳上界一致，并在 SETH 下被证明是最优的。
• 为连通 r-支配集给出了一种 O^*((2r+2)^tw) 时间复杂度的随机化蒙特卡洛算法，其下界为 Ω^*((2r+2 - ε)^tw)，在 SETH 下成立。
• 本文证明，从 r-支配集到连通 r-支配集，指数项的底数增加一，确认了在早期问题（如顶点覆盖和支配集）中观察到的规律。
• 通过一种新颖的构件构造建立了下界，推广了先前基于 SETH 的归约，表明任何算法都无法在 ((2r+1 - ε)^tw) 时间内解决 r-支配集问题，其中 ε > 0。
• 对于连通 r-支配集，同样确认了指数底数的增加，且下界在 r = n^o(1) 时成立，表明当前算法在此参数范围内是最优的。
• 本研究将 Lokshtanov 等人和 Cygan 等人的最优性框架扩展至 r-支配问题，完整刻画了该类问题的最优性图景。