SCC's O(n + m) alg correct and fast