topological order
strongly connected component