strongly connected graph