强连通分支

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