5.2.2 有向图的连通性