Depth-First Search Performance in Random Digraphs

Authors Philippe Jacquet , Svante Janson



PDF
Thumbnail PDF

File

LIPIcs.AofA.2024.30.pdf
  • Filesize: 0.87 MB
  • 15 pages

Document Identifiers

Author Details

Philippe Jacquet
  • Inria Saclay Ile de France, 1 Rue Honoré d'Estienne d'Orves, 91120 Palaiseau, France
Svante Janson
  • Department of Mathematics, Uppsala University, Sweden

Cite AsGet BibTex

Philippe Jacquet and Svante Janson. Depth-First Search Performance in Random Digraphs. In 35th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 302, pp. 30:1-30:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.AofA.2024.30

Abstract

We present an analysis of the depth-first search algorithm in a random digraph model with independent outdegrees having an arbitrary distribution with finite variance. The results include asymptotics for the distribution of the stack index and depths of the search. The search yields a series of trees of finite size before and after the exploration of a giant tree. Our analysis mainly concerns the giant tree. Most results are first order. This analysis proposed by Donald Knuth in his next to appear volume of The Art of Computer Programming gives interesting insight in one of the most elegant and efficient algorithm for graph analysis due to Tarjan.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Trees
Keywords
  • Depth First Search
  • random digraph
  • Analysis of Algorithms

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Jürgen Bennies and Götz Kersting. A random walk approach to galton-watson trees. J. Theoret. Probab., 3:777-803, 2000. Google Scholar
  2. Sahar Diskin and Michael Krivelevich. On the performance of the depth first search algorithm in supercritical random graphs. Electron. J. Combin., 3, 2022. Google Scholar
  3. Nathanaël Enriquez, Gabriel Faraud, and Laurent Ménard. Limiting shape of the depth first search tree in an erdős-rényi graph. Random Structures Algorithms, 2:501-516, 2020. Google Scholar
  4. Nathanaël Enriquez, Gabriel Faraud, Laurent Ménard, and Nathan Noiry. Depth first exploration of a configuration model. Electron. J. Probab., 53, 2022. Google Scholar
  5. Jean-François Le Gall and Yves Le Jan. Branching processes in lévy processes: the exploration process. Ann. Probab., 1:213-252, 1998. Google Scholar
  6. Philippe Jacquet and Svante Janson. Depth-first search performance in a random digraph with geometric outdegree distribution. La Matematica, 2024. Google Scholar
  7. Donald E. Knuth. The Art of Computer Programming. Preliminary draft, https://cs.stanford.edu/~knuth/fasc12a.ps.gz, 2022.
  8. Michael Krivelevich and Benny Sudakov. The phase transition in random graphs: a simple proof. Random Structures Algorithms, 2:131-138, 2013. Google Scholar
  9. Jayant Madhavan, David Ko, Łucja Kot, Vignesh Ganapathy, Alex Rasmussen, and Alon Halevy. Google’s deep web crawl. Proceedings of the VLDB Endowment, 2:1241-1252, 2208. Google Scholar