On Identifying Strongly Connected Components in Parallel
Depth-First Search is Inherently Sequential