Estimating graph parameters via random walks with restarts

Autor(es)

Ben-Hamou, Anna ; Oliveira, Roberto I. ; Peres, Yuval ; Assoc Comp Machinery

• Tipo de documento: Artigo Científico
• Fonte: SODA'18: PROCEEDINGS OF THE TWENTY-NINTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS; v. N/A, p. 13-pg., 2018-01-01.

Resumo

In this paper we discuss the problem of estimating graph parameters from a random walk with restarts. In this setting, an algorithm observes the trajectory of a random walk over an unknown graph G, starting from a vertex x. The algorithm also sees the degrees along the trajectory. The only other power that the algorithm has is to request that the random walk be reset to its initial state at any given time, based on what it has seen so far. Our main results are as follows. For regular graphs G, one can estimate the number of vertices n(G) and the l(2) mixing time of G from x in (O) over tilde(root nG (t(unif)(G))(3/4)) steps, where t(unif)(G) is the uniform mixing time of the random walk on G. The algorithm is based on the number of intersections of random walk paths X, Y, ie. the number of times (t, s) such that X-t = Y-s. Our method improves on previous methods by various authors which only consider collisions (ie. times t with X-t - Y-t). We also show that the time complexity of our algorithm is optimal (up to log factors) for 3-regular graphs with prescribed mixing times. For general graphs, we adapt the intersections algorithm to compute the number of edges m(G) and the l(2) mixing time from the starting vertex x in (O) over tilde(root mG (t(unif)(G))(3/4)) steps. Under mild additional assumptions (which hold e.g. for sparse graphs) the number of vertices can also be estimated by this time. Finally, we show that these algorithms, which may take sublinear time, have a fundamental limitation: it is not possible to devise a sublinear stopping time at which one can be reasonably sure that our parameters are well estimated. On the other hand, we show that, given either m(G) or the mixing time of G, we can compute the "other parameter" with a self-stopping algorithm. (AU)

• Processo FAPESP: 13/07699-0 - Centro de Pesquisa, Inovação e Difusão em Neuromatemática - NeuroMat
• Beneficiário: Oswaldo Baffa Filho
• Modalidade de apoio: Auxílio à Pesquisa - Centros de Pesquisa, Inovação e Difusão - CEPIDs