BFS and Coloring-Based Parallel Algorithms for Strongly Connected Components and Related Problems.