Graph strongly connected component problem solver implementation