Distributed cycle detection in large-scale sparse graphs
Depth-First Search is Inherently Sequential