Properties of depth-first search