《算法导论》笔记 第22章 22.5 强连通分支

【笔记】

图G的一个强连通分支就是一个最大的顶点集合C，对于C中的每一对顶点u和v，有u→v和v→u；即顶点u和v是互相可达的。

在G中，u和v互相可达，当且仅当在G_T中它们互相可达。

vector<int>G[maxn],G2[maxn];  
vector<int>S;  
int vis[maxn],sccno[maxn],scc_cnt;  
  
void dfs1(int u)  
{  
    if (vis[u]) return;  
    vis[u]=1;  
    for (int i=0;i<G[u].size();i++) dfs1(G[u][i]);  
    S.push_back(u);  
}  
  
void dfs2(int u)  
{  
    if (sccno[u]) return;  
    sccno[u]=scc_cnt;  
    for (int i=0;i<G2[u].size();i++) dfs2(G2[u][i]);  
}  
  
void find_scc(int n)  
{  
    scc_cnt=0;  
    S.clear();  
    memset(sccno,0,sizeof(sccno));  
    memset(vis,0,sizeof(vis));  
    for (int i=0;i<n;i++) dfs1(i);  
    for (int i=n-1;i>=0;i--)  
    {  
        if (!sccno[S[i]])  
        {  
            scc_cnt++;  
            dfs2(S[i]);  
        }  
    }  
}  

【练习】

22.5-1 当在一个图中加入一条新的边后，其强连通分支的数目会如何变化？

减少1或不变。

22.5-2 说明工作过程。

略

22.5-3 不能在原图上扫描吗？

22.5-4 证明：对于任何有向图G，都有((G^T)^SCC)^T=G^SCC。亦即，G^T的分支图的转置与G的分支图是一样的。

22.5-5 给出一个O(V+E)时间的算法，以计算一个有向图G的分支图。

22.5-6 给定一个图G，如何生成另一个图G'，使得(a)G'有着与G相同的强连通分支；(b)G'有着与G相同的分支图；(c)E'应尽可能地小。

22.5-7 确定一个图G是否半连通。