strongly connected directed graph