Random Walks Which Prefer Unvisited Edges: Exploring High Girth Even Degree Expanders in Linear Time

被引:7
作者
Berenbrink, Petra [1 ]
Cooper, Colin [2 ]
Friedetzky, Tom [3 ]
机构
[1] Simon Fraser Univ, Sch Comp Sci, Burnaby, BC V5A 1S6, Canada
[2] Kings Coll London, Dept Informat, London WC2R 2LS, England
[3] Univ Durham, Sch Engn & Comp Sci, Durham, England
基金
英国工程与自然科学研究理事会;
关键词
random walk; cover time; random graph; rotor-router model; COVER TIME; GRAPHS;
D O I
10.1002/rsa.20504
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Let G=(V,E) be a connected graph with |V|=n vertices. A simple random walk on the vertex set of G is a process, which at each step moves from its current vertex position to a neighbouring vertex chosen uniformly at random. We consider a modified walk which, whenever possible, chooses an unvisited edge for the next transition; and makes a simple random walk otherwise. We call such a walk an edge-process (or E-process). The rule used to choose among unvisited edges at any step has no effect on our analysis. One possible method is to choose an unvisited edge uniformly at random, but we impose no such restriction. For the class of connected even degree graphs of constant maximum degree, we bound the vertex cover time of the E-process in terms of the edge expansion rate of the graph G, as measured by eigenvalue gap 1-max of the transition matrix of a simple random walk on G. A vertex v is -good, if any even degree subgraph containing all edges incident with v contains at least vertices. A graph G is -good, if every vertex has the -good property. Let G be an even degree -good expander of bounded maximum degree. Any E-process on G has vertex cover time This is to be compared with the (nlogn) lower bound on the cover time of any connected graph by a weighted random walk. Our result is independent of the rule used to select the order of the unvisited edges, which could, for example, be chosen on-line by an adversary. As no walk based process can cover an n vertex graph in less than n - 1 steps, the cover time of the E-process is of optimal order when =(logn). With high probability random r-regular graphs, r4 even, have =(logn). Thus the vertex cover time of the E-process on such graphs is (n). (c) 2013 Wiley Periodicals, Inc. Random Struct. Alg., 46, 36-54, 2015
引用
收藏
页码:36 / 54
页数:19
相关论文
共 17 条
  • [1] Aldous D., 2001, REVERSIBLE MARKOV CH
  • [2] ALDOUS D. J., 1989, J. Theoret. Probab., V2, P91, DOI [10.1007/BF01048272, DOI 10.1007/BF01048272]
  • [3] Avin Chen., 2006, P 9 ACM INT S MODELI, P219
  • [4] Berenbrink P., 2012, SPEEDING RANDOM WALK
  • [5] Derandomizing random walks in undirected graphs using locally fair exploration strategies
    Cooper, Colin
    Ilcinkas, David
    Klasing, Ralf
    Kosowski, Adrian
    [J]. DISTRIBUTED COMPUTING, 2011, 24 (02) : 91 - 99
  • [6] Cooper J, 2008, PROCEEDINGS OF THE NINETEENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P766
  • [7] Ding J, 2011, ACM S THEORY COMPUT, P61
  • [8] A TIGHT LOWER-BOUND ON THE COVER TIME FOR RANDOM-WALKS ON GRAPHS
    FEIGE, U
    [J]. RANDOM STRUCTURES & ALGORITHMS, 1995, 6 (04) : 433 - 438
  • [9] Friedman J., 2003, STOC '03
  • [10] Proceedings of the thirty-fifth annual ACM symposium on Theory of computing, P720