G 是 单向连通图,也是一个 子图,如果再增加一个点和边就不再保持单向连通性质,则这个是单向连通分支