graph search of strongly connected components