結果 : a space efficient algorithm for finding strongly connected components