Finding paths in sparse random graphs requires many queries

We discuss a new algorithmic type of problem in random graphs studying the minimum number of queries one has to ask about adjacency between pairs of vertices of a random graph $G\sim {\mathcal G}(n,p)$ in order to find a subgraph which possesses some target property with high probability. In this paper we focus on finding long paths in $G\sim \mathcal G(n,p)$ when $p=\frac{1+\varepsilon}{n}$ for some fixed constant $\varepsilon>0$. This random graph is known to have typically linearly long paths. To have $\ell$ edges with high probability in $G\sim \mathcal G(n,p)$ one clearly needs to query at least $\Omega\left(\frac{\ell}{p}\right)$ pairs of vertices. Can we find a path of length $\ell$ economically, i.e., by querying roughly that many pairs? We argue that this is not possible and one needs to query significantly more pairs. We prove that any randomised algorithm which finds a path of length $\ell=\Omega\left(\frac{\log\left(\frac{1}{\varepsilon}\right)}{\varepsilon}\right)$ with at least constant probability in $G\sim \mathcal G(n,p)$ with $p=\frac{1+\varepsilon}{n}$ must query at least $\Omega\left(\frac{\ell}{p\varepsilon \log\left(\frac{1}{\varepsilon}\right)}\right)$ pairs of vertices. This is tight up to the $\log\left(\frac{1}{\varepsilon}\right)$ factor.

[1]  Alan M. Frieze,et al.  Algorithmic theory of random graphs , 1997, Random Struct. Algorithms.

[2]  Luc Devroye,et al.  Branching Processes and Their Applications in the Analysis of Tree Structures and Tree Algorithms , 1998 .

[3]  Alan M. Frieze,et al.  Random graphs , 2006, SODA '06.

[4]  Benny Sudakov,et al.  The phase transition in random graphs: A simple proof , 2012, Random Struct. Algorithms.

[5]  Omer Angel,et al.  Routing complexity of faulty networks , 2005, PODC '05.

[6]  Martin Aigner,et al.  Proofs from THE BOOK , 1998 .

[7]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[8]  Svante Janson,et al.  Random graphs , 2000, Wiley-Interscience series in discrete mathematics and optimization.

[9]  János Komlós,et al.  The longest path in a random graph , 1981, Comb..

[10]  Boris G. Pittel,et al.  On Tree Census and the Giant Component in Sparse Random Graphs , 1990, Random Struct. Algorithms.

[11]  A. Joyal Une théorie combinatoire des séries formelles , 1981 .

[12]  Yuval Peres,et al.  Anatomy of the giant component: The strictly supercritical regime , 2012, Eur. J. Comb..

[13]  Svante Janson,et al.  Sub-Gaussian tail bounds for the width and height of conditioned Galton--Watson trees , 2010, 1011.4121.

[14]  Béla Bollobás,et al.  Random Graphs: Notation , 2001 .

[15]  N. Alon,et al.  The Probabilistic Method: Alon/Probabilistic , 2008 .

[16]  Benny Sudakov,et al.  Finding Hamilton cycles in random graphs with few queries , 2015, Random Struct. Algorithms.

[17]  D. P. Kennedy,et al.  The Galton-Watson process conditioned on the total progeny , 1975, Journal of Applied Probability.