[论文解读] Deterministic approximation for the cover time of trees

Uriel Feige, Ofer Zeitouni|ArXiv.org|Sep 10, 2009

Markov Chains and Monte Carlo Methods参考文献 11被引用 6

一句话总结

该论文提出了一种确定性多项式时间算法，可在乘法误差 $1\pm\epsilon$ 范围内近似计算树上简单随机游走的覆盖时间和返回时间。通过利用电网络理论并递归计算二叉表示树上的 hitting 概率，该算法实现了高精度估计，运行时间在 $n/\epsilon$ 上为多项式，从而解决了树结构下该问题的开放性疑问。

ABSTRACT

We present a deterministic algorithm that given a tree T with n vertices, a starting vertex v and a slackness parameter epsilon > 0, estimates within an additive error of epsilon the cover and return time, namely, the expected time it takes a simple random walk that starts at v to visit all vertices of T and return to v. The running time of our algorithm is polynomial in n/epsilon, and hence remains polynomial in n also for epsilon = 1/n^{O(1)}. We also show how the algorithm can be extended to estimate the expected cover (without return) time on trees.

研究动机与目标

• 开发一种用于近似树上随机游走的覆盖时间和返回时间的确定性多项式时间算法。
• 解决在图上高效近似覆盖时间时随机性是否本质必要这一开放问题，特别针对树结构。
• 通过结合覆盖时间与返回时间及最后访问概率，将该方法扩展以估计不包含返回的覆盖时间。
• 确保即使当 $\epsilon$ 为 $n$ 的反多项式时（如 $\epsilon = 1/n^{O(1)}$），算法的运行时间仍保持多项式。

提出的方法

• 通过递归分解将树表示为二叉树，以支持高效的动态规划。
• 利用电网络类比：覆盖时间和返回时间与有效电阻及根节点的期望访问次数成正比。
• 通过在边遍历次数上的递归求和，计算根节点的期望访问次数，使用在遍历父边 $t$ 次之前访问子树的概率 $P_i(t)$。
• 定义并计算辅助概率 $A_i(t)$：表示某顶点是子树中最后一个被访问的顶点，使用涉及 $R_i(t_l,t_r;t)$（联合遍历概率）的递归关系。
• 通过利用树的结构特性和概率的衰减性，对遍历次数的无穷级数进行截断。
• 以足够精度估计最后访问概率 $P_{\text{last}}[u]$，从而通过 $C_v(T) = C_v^+(T) - \sum_u P_{\text{last}}[u] H[u,v]$ 实现覆盖时间的准确估计。

实验结果

研究问题

• RQ1 能否设计一种确定性多项式时间算法，在乘法误差 $1\pm\epsilon$ 范围内近似树上随机游走的覆盖时间和返回时间？
• RQ2 在一般图上近似覆盖时间时，随机性是否提供显著优势？如果是，这种优势在树结构上是否为必要？
• RQ3 能否通过结合覆盖时间与返回时间及最后访问概率，实现对不包含返回的覆盖时间的确定性近似？
• RQ4 是否可能在 $\epsilon$ 为 $n$ 的反多项式时（如 $\epsilon = 1/n^{O(1)}$）仍实现 $n/\epsilon$ 的多项式运行时间？

主要发现

• 该算法在 $n/\epsilon$ 的多项式时间内，将覆盖时间和返回时间 $C_v^+(T)$ 的近似误差控制在乘法因子 $1\pm\epsilon$ 范围内。
• 即使 $\epsilon = 1/n^{O(1)}$，运行时间仍保持多项式，使其适用于高精度近似。
• 通过结合覆盖与返回时间及最后访问顶点的期望 hitting 时间，实现对覆盖时间 $C_v(T)$ 的估计，其中仅叶子顶点有非零概率成为最后访问的顶点。
• 该方法依赖于对概率 $A_i(t)$ 和 $P_i(t)$ 的递归计算，这些概率通过在二叉表示树结构上的动态规划实现。
• 通过有效电阻和根节点访问次数的期望，将覆盖与返回时间与树的结构关联，从而实现确定性计算。
• 该算法可扩展用于估计在指定子树 $T'$ 上的覆盖时间，通过计算 $C_v^+(T';T) = 2(n-1)E_{T'}(1)$，其中 $E_{T'}(1)$ 表示在 $T'$ 中根节点的期望访问次数。