On dynamic DFS tree in directed graphs

Surender Baswana, Keerti Choudhary*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Let G = (V,E) be a directed graph on n vertices and m edges. We address the problem of maintaining a depth first search (DFS) tree efficiently under insertion/deletion of edges in G. 1. We present an efficient randomized decremental algorithm for maintaining a DFS tree for a directed acyclic graph. For processing any arbitrary online sequence of edge deletions, this algorithm takes expected O(mnlog n) time. 2. We present the following lower bound results. (a) Any decremental (or incremental) algorithm for maintaining the ordered DFS tree explicitly requires Ω(mn) total update time in the worst case. (b) Any decremental (or incremental) algorithm for maintaining the ordered DFS tree is at least as hard as computing all-pairs reachability in a directed graph.

Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Proceedings
EditorsGiuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella
PublisherSpringer Verlag
Pages102-114
Number of pages13
ISBN (Print)9783662480533
DOIs
StatePublished - 2015
Externally publishedYes
Event40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015 - Milan, Italy
Duration: 24 Aug 201528 Aug 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9235
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015
Country/TerritoryItaly
CityMilan
Period24/08/1528/08/15

Keywords

  • Decremental
  • Depth first search
  • Directed
  • Dynamic
  • Graph

Fingerprint

Dive into the research topics of 'On dynamic DFS tree in directed graphs'. Together they form a unique fingerprint.

Cite this