Finding strongly connected components in distributed graphs
Depth-First Search is Inherently Sequential