weixin_45552088的博客

有向图的强连通分量（SCC）算法强联通分量定义给定有向图G(V,E)G(V,E)G(V,E)；若u,v∈Vu,v\in Vu,v∈V,我们定义函数J[u][v]J[u][v]J[u][v],若uuu可以到达vvv，则有J[u][v]=1J[u][v]=1J[u][v]=1，否则J[u][v]=0J[u][v]=0J[u][v]=0；对于非空点集Ci⊂VC_i\subset VCi​⊂V,且∀u,v∈Ci,J[u][v]=J[v][u]=1\forall u,v\in C_i,J[u][v]=J[v]