Tag Info

Using Kosaraju's algorithm, you can compute the strongly connected components (SCC) of $G$ in linear time. The metagraph (or graph of the SCC) is well known to be a DAG. You can then compute the ...