Resolve graph reduction of strongly connected components problem