[论文解读] A Tractable Variant of Cover Time

Agelos Georgakopoulos|arXiv (Cornell University)|Jun 28, 2012

Advanced Graph Theory Research参考文献 8被引用 9

一句话总结

本文引入了覆盖成本（cover cost），作为图上随机游走中覆盖时间（cover time）的一个可计算变体，其中每一步的成本取决于未覆盖顶点的数量。该文提出了一个 O(n⁴) 的精确计算算法，并推导出显式公式，表明覆盖成本与命中时间密切相关，且作为覆盖时间的有用代理，具有更好的计算可 tractability（可计算性）。

ABSTRACT

We introduce a variant of the cover time of a graph, called cover cost, in which the cost of a step is proportional to the number of yet uncovered vertices. It turns out that cover cost is more tractable than cover time; we provide an $O(n^4)$ algorithm for its computation, as well as some explicit formulae. The two values are not very far from each other, and so cover cost might be a useful tool in the study of cover time.

研究动机与目标

• 解决图上随机游走中精确覆盖时间计算的不可计算性问题。
• 提出一种新的图参数——覆盖成本，用于建模覆盖巡游期间承载的总期望负载。
• 开发一种高效算法，精确计算覆盖成本，利用线性代数和命中时间的性质。
• 建立覆盖成本与已知图参数（如命中时间、Wiener 指数）之间的理论联系。
• 探讨覆盖成本与覆盖时间的关系，特别是在极值图类中的表现。

提出的方法

• 将覆盖成本定义为步骤成本之和的期望值，其中每一步的成本与未覆盖顶点的比例成正比。
• 推导出关键恒等式：$ CC_r(G) = \sum_{x \in V} H_r(x) $，将覆盖成本与从根 $ r $ 出发的命中时间直接关联。
• 利用线性方程组计算命中时间 $ H_r(x) $，每个顶点的求解时间复杂度为 $ O(n^3) $。
• 将 $ n $ 个此类方程组组合，实现 $ O(n^4) $ 时间内计算 $ CC_r(G) $，从而支持精确计算。
• 证明了一般公式：$ CC_r(G) = \sum_{x,y \in V} \frac{p_r(x<y)}{p_{xy}} $，其中 $ p_{xy} $ 是从 $ x $ 到 $ y $ 的逃逸概率。
• 对于树图，利用图论量推导出闭式表达式：$ CC_r(T) = \sum_{x,y} d(x\wedge_r y, y) \cdot d(x) $。

实验结果

研究问题

• RQ1 覆盖成本能否作为图上随机游走中覆盖时间的计算可处理代理？
• RQ2 覆盖成本与命中时间之间存在何种关系？该关系能否用于高效计算？
• RQ3 在路径、星形图或树等极值图上，覆盖成本的行为如何？与覆盖时间相比有何差异？
• RQ4 是否存在某些图族，使得覆盖成本与覆盖时间具有相似的缩放行为？其比值的上下界是什么？
• RQ5 对于给定顶点数，使覆盖成本最小化或最大化的是哪些极值图？

主要发现

• 覆盖成本 $ cc_r(G) $ 可通过命中时间之和 $ \sum_x H_r(x) $ 在 $ O(n^4) $ 时间内计算，提供精确算法。
• 对于星形图 $ S_n $，覆盖成本约为 $ 2n $，而覆盖时间为 $ \approx 2n \ln n $，表明其增长速率存在显著差异。
• 在路径 $ P_n $ 上，覆盖成本 $ cc_r(P_n) $ 在端点处最小，在中点处最大，二者之差恰好为 $ n/4 $。
• 推导出路径上覆盖成本的精确公式：$ cc_r(P_n) = \frac{(n+1)(2n+1)}{6} + \frac{r(n-r)}{n} $。
• 对于树图，覆盖成本可基于图论量表示为闭式表达式：$ CC_r(T) = \sum_{x,y} d(x\wedge_r y, y) \cdot d(x) $。
• 覆盖成本介于覆盖时间与 $ n \times $ 覆盖时间之间，满足 $ cc_r(G) < CT_r(G) < CC_r(G) $，且在某些情况下，比值 $ cc_r(G)/CT_r(G) $ 有正的下界。