além disso, também é conveniente utilizar uma floresta de busca profunda, sendo o vértice inicial da busca a raiz, e enquanto vai visitando novos nós, vai adicionando como filho do antecessor, a aresta que faz a ligação desses nós é chamada de aresta da árvore, pois esses vértices acabam por formar uma árvore. Existem arestas que ligam a antepassados não diretos, e tal aresta e chamada de aresta de volta ou back edge
Big O notation para as implementações de grafos
Para a travessia em matriz de adjacência é O(|V^2|) enquanto para a lista é O(|V|+|E|) sendo V e E o número de vértices e arestas, respectivamente.
O DFS é bom para verificar a conectividade e ciclismo do grafo. para verificar a existência de ciclos, podemos utilizar da vantagem da representação em forma de árvore