[论文解读] The cover time, the blanket time, and the Matthews bound

J. Kahn, J. H. Kim+2 more|ArXiv.org|May 12, 2000

Advanced Graph Theory Research参考文献 1被引用 17

一句话总结

本文引入了一个基于通行时间与对数缩放的新参数 $ M $，以紧密界定图上随机游走的覆盖时间 $ C $ 和毯盖时间 $ B $。证明了 $ \frac{1}{2}M \leq C \leq B \leq O(M(\ln\ln n)^2) $，并提出了一种确定性多项式时间算法，将 $ M $ 近似至2倍以内，改进了此前针对覆盖时间的 $ O(\ln n) $ 近似界。

ABSTRACT

The cover time C of a graph G is the expected time for a random walk starting from the worst vertex to cover all vertices in G. Similarly, the blanket time B is the expected time to visit all vertices within a constant factor of number of times suggested by the stationary distribution. (Our definition will be slightly stronger than this.) Obviously, all vertices are covered when the graph is blanketed, and hence C <= B. The blanket time is introduced by Winkler and Zuckerman motivated by applications in Markov estimation and distributed computing. They conjectured B =O(C) and proved B=O(C ln n ). In this paper, we introduce another parameter M motivated by Matthews' theorem and prove M/2 <= C <= B = O(( M ln ln n)^2). In particular, B = O(C (ln ln n)^2). The lower bound is still valid for the cover time C(π) starting from the stationary distribution. We also show that there is a polynomial time algorithm to approximate M within a factor of 2 and so does for C within a factor of O((ln ln n)^2), improving previous bound of O(ln n) of Matthews'.

研究动机与目标

• 为填补图上随机游走覆盖时间近似因子的差距，特别是改进自 Matthews 定理以来长期存在的 $ O(\ln n) $ 界。
• 引入并分析一个新参数 $ M $，其通过子集上的最小通行时间定义，能紧密刻画覆盖时间。
• 设计一种确定性多项式时间算法，将 $ M $ 近似至2倍以内，从而实现对覆盖时间的改进近似。
• 将界限扩展至毯盖时间 $ B $，证明 $ B = O(C(\ln\ln n)^2) $，支持 $ B = O(C) $ 的猜想。

提出的方法

• 定义 $ M = \max_{S \subseteq V} \kappa_S \ln|S| $，其中 $ \kappa_S $ 为子集 $ S $ 中点对的最小通行时间，以创建一个对称且稳健的参数，用于界定覆盖时间。
• 证明 $ M $ 与增强版 Matthews 界 $ M_0 $ 在常数因子内，即 $ \frac{1}{8}M \leq M_0 \leq M $。
• 使用球与瓮的概率模型分析树上随机游走的行为，将边遍历建模为球落入对应邻居的瓮中。
• 应用集中不等式与 FKG 不等式，界定所有大瓮接收大量球的概率，确保以高概率存在某些瓮保持稀疏。
• 通过分析从平稳分布出发的期望覆盖时间，建立下界 $ C(\pi) \geq \frac{1}{2}M $。
• 设计一种确定性算法，通过利用通行时间的结构与子集优化，将 $ M $ 近似至2倍以内。

实验结果

研究问题

• RQ1 能否使用确定性算法，将图上随机游走的覆盖时间近似至 $ \ln\ln n $ 的多对数因子，而非 $ \ln n $？
• RQ2 基于通行时间与子集大小的参数 $ M $，是否为覆盖时间与毯盖时间的紧致代理？
• RQ3 毯盖时间 $ B $ 能否以优于 $ O(\ln n) $ 的因子（如 $ O((\ln\ln n)^2) $）用覆盖时间 $ C $ 表达？
• RQ4 新参数 $ M $ 是否可被常数因子内的确定性多项式时间算法近似？

主要发现

• 覆盖时间 $ C $ 满足 $ \frac{1}{2}M \leq C \leq O(M(\ln\ln n)^2) $，其中 $ M $ 定义为子集 $ S $ 上 $ \kappa_S \ln|S| $ 的最大值，$ \kappa_S $ 为 $ S $ 内的最小通行时间。
• 毯盖时间 $ B $ 满足 $ B \leq O(M(\ln\ln n)^2) $，意味着 $ B = O(C(\ln\ln n)^2) $，改进了先前的 $ O(C\ln n) $ 界。
• 参数 $ M $ 对覆盖时间的近似因子为 $ O((\ln\ln n)^2) $，显著优于 Matthews 定理提供的 $ O(\ln n) $ 因子。
• 一种确定性多项式时间算法可将 $ M $ 近似至2倍以内，从而实现对覆盖时间的 $ O((\ln\ln n)^2) $-近似。
• 当从平稳分布开始时，下界 $ C(\pi) \geq \frac{1}{2}M $ 成立，表明 $ M $ 是一个强有力的下界。
• 界限在常数因子内是紧致的，因为极值图构造中上下界均被证明为紧致。