Strongly Connected Components

A subgraph is strongly connected if every vertex in the subgraph is reachable from every other vertex (the trivial SCC is a single vertex.) This problem aims to form a partition of an arbitrary directed graph into subgraphs that are themselves strongly connected.