added algorithm for computing strongly connected components in graphs