- Published 1995 in Journal of Graph Theory

The Depth First Search (DFS) algorithm is one of the basic techniques which is used in a very large variety of graph algorithms. Most applications of the DFS involve the construction of a depth-first spanning tree (DFS tree). In this paper, we give a complete characterization of all the graphs in which every spanning tree is a DFS tree. These graphs are called Total −DFS −Graphs. We prove that Total −DFS −Graphs are closed under minors. It follows by the work of Robertson and Seymour on graph minors, that there is a finite set of forbidden minors of these graphs and that there is a polynomial algorithm for their recognition. We also provide explicit characterizations of these graphs in terms of forbidden minors and forbidden topological minors. The complete characterization implies explicit linear algorithm for their recognition. In some problems the degree of some vertices in the DFS tree obtained in a certain run are crucial and therefore we also consider the following problem: Let G =(V, E) be a connected undirected graph where | V | =n and let d i ∈N n be a degree sequence upper bound vector. Is there any DFS tree T with degree sequence d iT that violates d i (i.e. d iT ≤| d i which means: ∃ j such that d iT( j) > d i( j)) ? We show that this problem is NP −Complete even for the case where we restrict the degree of only one specific vertex to be less than or equal to k for a fixed k ≥ 2 (i.e. d i =(n −1,..., n −1, k, n −1,..., n −1)).

@article{Korach1995OnTE,
title={On the existence of special depth first search trees},
author={Ephraim Korach and Zvi Ostfeld},
journal={Journal of Graph Theory},
year={1995},
volume={19},
pages={535-547}
}