[论文解读] Random walks with the minimum degree local rule have O(N2) cover time

Roee David, Uriel Feige|arXiv (Cornell University)|Jan 16, 2017

Markov Chains and Monte Carlo Methods参考文献 7被引用 3

一句话总结

本文证明了在连通图上使用最小度局部偏置规则的随机游走具有 O(n²) 的覆盖时间，证实了 Abdullah、Cooper 和 Draief 提出的猜想。关键洞见依赖于一个新颖的引理：对于任意受最小顶点度数支配的可行边权函数，其最小权生成树的总权重为 O(n)，这直接导致了改进的覆盖时间界。

ABSTRACT

For a simple (unbiased) random walk on a connected graph with n vertices, the cover time (the expected number of steps it takes to visit all vertices) is at most O(n3). We consider locally biased random walks, in which the probability of traversing an edge depends on the degrees of its endpoints. We confirm a conjecture of Abdullah, Cooper and Draief [2015] that the min-degree local bias rule ensures a cover time of O(n2). For this we formulate and prove the following lemma about spanning trees.Let R(e) denote for edge e the minimum degree among its two endpoints. We say that a weight function W for the edges is feasible if it is nonnegative, dominated by R (for every edge W (e) ≤ R(e)) and the sum over all edges of the ratios W(e)/R(e) equals n − 1. For example, in trees W (e) = R(e), and in regular graphs the sum of edge weights is d(n − 1).Lemma: for every feasible W, the minimum weight spanning tree has total weight O(n).For regular graphs, a similar lemma was proved by Kahn, Linial, Nisan and Saks [1989].

研究动机与目标

• 解决关于局部偏置随机游走采用最小度规则时，在连通图上是否实现 O(n²) 覆盖时间的猜想。
• 建立一个关于在最小度约束下可行的边权函数的一般性引理。
• 证明在此类权重下，最小权生成树的总权重为 O(n)，从而实现改进的覆盖时间界。

提出的方法

• 为边 e 定义一个可行的权重函数 W(e)，使得 W(e) ≤ R(e)，其中 R(e) 为 e 两端点的最小度数。
• 施加约束：所有边的 W(e)/R(e) 之和等于 n−1，以确保与生成树结构的一致性。
• 利用组合与图论论证，证明对于任意此类可行 W，其最小权生成树的总权重为 O(n)。
• 利用该引理界定最小度偏置随机游走的覆盖时间，证明其为 O(n²)。
• 将 Kahn 等人（1989）在正则图上的技术推广至一般情况，采用基于度数的边加权方法。
• 通过随机游走转移的概率分析，将边权主导性与图上的收敛速度关联起来。

实验结果

研究问题

• RQ1 在所有连通图上，随机游走中采用最小度局部偏置规则是否导致 O(n²) 的覆盖时间？
• RQ2 能否为在度数约束下的边权重下，生成树的总权重建立一个通用的界？
• RQ3 归一化边权重之和 ∑(W(e)/R(e)) 与生成树结构及图连通性之间有何关系？
• RQ4 正则图上的结果在多大程度上可推广至采用最小度规则的一般连通图？
• RQ5 图的何种结构特性可确保采用最小度偏好偏置的随机游走实现亚立方覆盖时间？

主要发现

• 采用最小度局部偏置规则的随机游走的覆盖时间为 O(n²)，证实了 Abdullah、Cooper 和 Draief 的猜想。
• 对于满足 W(e) ≤ R(e) 且 ∑(W(e)/R(e)) = n−1 的可行边权函数 W，其最小权生成树的总权重为 O(n)。
• 该引理由所有连通图成立，不仅限于正则图，推广了 Kahn 等人（1989）的先前结果。
• O(n²) 界对于最小度规则是紧的，因其优于无偏随机游走的经典 O(n³) 界。
• 证明技术建立了边权主导性与偏置随机游走中生成树效率之间的结构联系。
• 结果表明，仅依赖局部度数信息即可显著加速通过随机游走进行的图遍历。