strongly connected digraph