BFS, DFS, Topological Sort, Decomposition in strongly connected components