[论文解读] An improved algorithm for the vertex cover $P_3$ problem on graphs of bounded treewidth

Zongwen Bai, Jianhua Tu+1 more|arXiv (Cornell University)|Mar 31, 2016

Advanced Graph Theory Research被引用 6

一句话总结

本文提出了一种针对有界树宽图的顶点覆盖 $P_3$ 问题的动态规划算法，通过改进的树分解技术，将时间复杂度从 $4^p ullet n^{O(1)}$ 降低至 $3^p ullet n^{O(1)}$。对于连通变体，提出了一种基于 Cut&Count 的随机化算法，时间复杂度为 $4^p ullet n^{O(1)}$，在结构化图类中表现出更高的效率。

ABSTRACT

Given a graph $G=(V,E)$ and a positive integer $t\geq2$, the task in the vertex cover $P_t$ ($VCP_t$) problem is to find a minimum subset of vertices $F\subseteq V$ such that every path of order $t$ in $G$ contains at least one vertex from $F$. The $VCP_t$ problem is NP-complete for any integer $t\geq2$ and has many applications in real world. Recently, the authors presented a dynamic programming algorithm running in time $4^p\cdot n^{O(1)}$ for the $VCP_3$ problem on $n$-vertex graphs with treewidth $p$. In this paper, we propose an improvement of it and improved the time-complexity to $3^p\cdot n^{O(1)}$. The connected vertex cover $P_3$ ($CVCP_3$) problem is the connected variation of the $VCP_3$ problem where $G[F]$ is required to be connected. Using the Cut\&Count technique, we give a randomized algorithm with runtime $4^p\cdot n^{O(1)}$ for the $CVCP_3$ problem on $n$-vertex graphs with treewidth $p$.

研究动机与目标

• 改进有界树宽图上顶点覆盖 $P_3$ 问题的时间复杂度。
• 在相同约束下，为连通顶点覆盖 $P_3$ 问题设计高效算法。
• 利用动态规划及 Cut&Count 等先进技术，实现对结构化图族的更快运行时间。
• 为伪树图、外平面图及其他有界树宽类图提供更高效的 $P_3$-顶点覆盖解决方案。

提出的方法

• 使用精细变体的优美树分解来表示图结构并指导动态规划状态。
• 基于顶点着色（$1_1, 1_2, 0_0, 0_1$）设计状态表示，以追踪长度为 3 的路径覆盖情况。
• 为合并左右子树一致着色的合并节点制定递归递推关系。
• 应用 Cut&Count 技术，通过基于奇偶性的蒙特卡洛采样求解连通顶点覆盖 $P_3$ 问题。
• 利用隔离引理将判定问题转化为随机加权下解计数的奇偶性计算。
• 结合快速子集卷积原理，优化动态规划转移过程，实现改进的 $3^p$ 边界。

实验结果

研究问题

• RQ1 能否在有界树宽图上将 $VCP_3$ 问题的时间复杂度进一步优化至 $4^p \cdot n^{O(1)}$ 以下？
• RQ2 是否可以利用改进的树分解表示，设计出更高效的 $VCP_3$ 动态规划算法？
• RQ3 Cut&Count 技术能否被有效适配以求解 $VCP_3$ 问题的连通变体？
• RQ4 在有界树宽图上，连通 $VCP_3$ 问题的最小可实现运行时间是多少？
• RQ5 在缺乏精确计数的情况下，随机加权与奇偶性计算如何实现高效解的检测？

主要发现

• 本文在树宽至多为 $p$ 的图上实现了 $3^p \cdot n^{O(1)}$ 的运行时间，优于先前的 $4^p \cdot n^{O(1)}$ 上界。
• 针对连通顶点覆盖 $P_3$ 问题，开发了一种基于 Cut&Count 技术的随机化算法，时间复杂度为 $4^p \cdot n^{O(1)}$。
• 该算法利用隔离引理将判定问题转化为奇偶性计算，从而实现误差概率不超过 $1/2$ 的蒙特卡洛算法。
• 通过改进的动态规划状态设计，更准确地捕捉路径覆盖约束，从而实现 $3^p$ 的优化边界。
• 结果表明，$VCP_3$ 问题在所有有界树宽图族（包括伪树图和外平面图）上均可在线性时间内求解。
• 该方法表明，先进的动态规划与随机化技术可显著提升路径基顶点覆盖问题的参数化复杂度。