[论文解读] The Cover Time of Deterministic Random Walks

Tobias Friedrich, Thomas Sauerwald|arXiv (Cornell University)|Jun 17, 2010

Optimization and Search Problems参考文献 43被引用 4

一句话总结

本文分析了在各类图上，粒子按固定转子序列而非随机选择移动的确定性随机游走的覆盖时间。通过利用局部发散性和扩展性等图的性质，建立了通用的上界，并针对特定图类给出了紧致的上下界，表明确定性游走的覆盖时间在不同拓扑结构下可能比经典随机游走快、慢或相当。

ABSTRACT

The rotor router model is a popular deterministic analogue of a random walk on a graph. Instead of moving to a random neighbor, the neighbors are served in a fixed order. We examine how fast this "deterministic random walk" covers all vertices (or all edges). We present general techniques to derive upper bounds for the vertex and edge cover time and derive matching lower bounds for several important graph classes. Depending on the topology, the deterministic random walk can be asymptotically faster, slower or equally fast as the classic random walk. We also examine the short term behavior of deterministic random walks, that is, the time to visit a fixed small number of vertices or edges.

研究动机与目标

• 理解每个顶点按固定循环顺序调度粒子的确定性随机游走的覆盖时间。
• 比较确定性游走在覆盖图的所有顶点或边方面的效率与经典随机游走的差异。
• 利用局部发散性和扩展性等图的性质，推导确定性游走的顶点和边覆盖时间的通用上界。
• 为树、环、扩展图和环面等关键图族建立紧致的下界和上界。
• 研究短期行为，包括访问固定少量顶点或边所需的时间。

提出的方法

• 使用转子路由器模型：每个顶点维护一个邻居的循环序列，并依次将粒子导向下一个邻居。
• 应用基于流和基于发散性的技术，限制边或顶点被遍历的次数。
• 采用概率和组合论证，将确定性游走的行为与随机游走的期望进行关联。
• 通过分析局部扩展性和全局图结构（包括谱性质和几何性质）推导上界。
• 使用反证法和边访问计数，证明任意边不会被过度频繁地遍历。
• 利用文献中已知的结果，将确定性游走的性能与已知的经典随机游走覆盖时间上界进行比较。

实验结果

研究问题

• RQ1 在不同图类中，确定性随机游走的顶点覆盖时间与经典随机游走相比如何？
• RQ2 能否利用图的局部性质（如局部发散性）推导出确定性游走顶点和边覆盖时间的通用上界？
• RQ3 在哪些图族中，确定性游走相比随机游走是渐近更快、更慢或效率相当？
• RQ4 确定性游走的短期行为如何——它多快能访问一小部分固定数量的顶点或边？
• RQ5 确定性游走是否能在不标记已访问节点或不使用额外状态的情况下实现接近最优的覆盖时间？

主要发现

• 在 $k$-叉树（$k = O(1)$）上，确定性游走的顶点覆盖时间为 $\Theta(n\log n)$，而随机游走需要 $\Theta(n\log^2 n)$。
• 在星形图上，确定性游走以 $\Theta(n)$ 步完成所有顶点的覆盖，显著快于随机游走的 $\Theta(n\log n)$。
• 在二维环面上，确定性游走的顶点覆盖时间为 $\Theta(n^{1.5})$，优于随机游走的 $\Theta(n\log^2 n)$。
• 在 $d$-维环面（$d \geq 3$）上，确定性游走的顶点覆盖时间为 $\mathcal{O}(n^{1+1/d})$，渐近快于随机游走的 $\Theta(n\log n)$。
• 在超立方体上，确定性游走的顶点覆盖时间为 $\Theta(n\log^2 n)$，与随机游走的渐近行为一致。
• 在完全图上，确定性游走的顶点覆盖时间为 $\Theta(n^2)$，而随机游走为 $\Theta(n\log n)$，因此此时确定性游走更慢。