Transcript Finding Strongly Connected Components and Topological O(log² n) reachability queries