A recursive-depth-first-search algorithms