[论文解读] The Cover Time of a Biased Random Walk on a Random Cubic Graph

Colin Cooper, Alan Frieze+1 more|arXiv (Cornell University)|Jan 1, 2018

Stochastic processes and statistical mechanics被引用 4

一句话总结

本文分析了一类在随机3-正则图上进行的偏向性随机游走，该游走优先 traverses 未访问的（红色）边，并在 traverses 后将其重涂为蓝色。利用配置模型和随机递推关系，证明了顶点覆盖时间的期望值渐近为 $ n \log n $，边覆盖时间的期望值渐近为 $ \frac{3}{2}n \log n $，且高概率成立。这些结果与非回溯游走的结果一致，凸显了在稀疏随机图中探索的高效性。

ABSTRACT

We study a random walk that prefers tou se unvisited edges in the context of random cubic graphs. We establish asymptotically correct estimates for the vertex and edge cover times, these being $\approx n\log n$ and $\approx \frac32n\log n$ respectively.

研究动机与目标

• 分析在随机3-正则图上优先选择未访问边的偏向性随机游走的覆盖时间。
• 为该模型中的顶点覆盖时间和边覆盖时间建立渐近紧致的估计。
• 将此未访问边优先游走的性能与非回溯游走和简单随机游走等其他变体进行比较。
• 证明尽管机制不同，覆盖时间仍与非回溯游走的结果一致。
• 将先前关于偶数度正则图的结果扩展至奇数度情形（d=3），该问题此前尚属开放。

提出的方法

• 使用配置模型以均匀随机方式生成随机3-正则多重图。
• 将游走建模为在配置点上的过程，追踪红色（未访问）边和蓝色（已访问）边。
• 定义部分覆盖时间：$ C(t) $ 表示边覆盖时间，$ CV(s) $ 表示顶点覆盖时间，基于已访问的边/顶点数。
• 推导 $ X_i(t) $ 的随机递推关系，即在时间 $ t $ 时与 $ i $ 条未遍历边相连的顶点数。
• 应用浓度不等式和鞅论证，以控制未访问连接数（绿色边数）并调控游走的进展。
• 基于 $ \delta(t) = 1 - 2t/(3n) $ 进行阶段分解，将过程划分为不同行为占主导的区间。

实验结果

研究问题

• RQ1 在随机3-正则图上，优先选择未访问边的偏向性随机游走的渐近期望顶点覆盖时间是多少？
• RQ2 同一游走模型的渐近期望边覆盖时间是多少？
• RQ3 该覆盖时间与非回溯游走或简单随机游走在相同图上的覆盖时间相比如何？
• RQ4 每个顶点处未访问边的数量在决定游走进展中起什么作用？
• RQ5 小环或结构瓶颈的存在如何影响该模型中的覆盖时间？

主要发现

• 对于 $ s \in [n - n/\log n, n] $，期望顶点覆盖时间 $ \mathbb{E}_G[CV(s)] $ 渐近为 $ (1 \pm \varepsilon)n \log\left(\frac{n}{n-s+1}\right) $，高概率成立。
• 对于 $ t \in [(1 - \log^{-2}n)\cdot 3n/2, 3n/2] $，期望边覆盖时间 $ \mathbb{E}_G[CE(t)] $ 渐近为 $ \left(\frac{3}{2} \pm \varepsilon\right)n \log\left(\frac{3n}{3n-2t+1}\right) $，高概率成立。
• 顶点覆盖时间渐近为 $ n \log n $，边覆盖时间渐近为 $ \frac{3}{2}n \log n $，与非回溯游走的结果一致。
• 证明了在 $ \delta \in [\delta_3, \delta_1] $ 时，绿色边数（未访问连接数）为 $ \gg n\delta^{1/2} $，从而确保了充分的进展。
• 游走的进展由一个递推关系控制，其中大约需要 $ \frac{3n}{3n - 2t} $ 步才能使边数增加1，从而导致对数时间的覆盖时间。
• 分析确认，小环的存在并未显著减慢覆盖时间，因为游走能有效避免陷入其中。