Strongly Connected Component Decomposition