有向图的强连通分量
有向图强连通分量在有向图G中,如果两个顶点vi,vj间(vi>vj)有一条从vi到vj的有向路径,同时还有一条从vj到vi的有向路径,则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通,称G是一个强连通图。有向图的极大强连通子图,称为强连通分量(strongly connected components)。
如何求一个有向图的所有强连通分量呢?(可见刘汝佳<<训练指南>>P319)下面给出代码:
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<stack>
using namespace std;
const int maxn=1000+10;
int n,m; //点数,边数
int dfs_clock;//时钟
int scc_cnt;//强连通分量总数
vector<int> G[maxn];//G[i]表示i节点指向的所有点
int pre[maxn]; //时间戳
int low[maxn]; //u以及u的子孙能到达的祖先pre值
int sccno[maxn];//sccno[i]==j表示i节点属于j连通分量
stack<int> S;
void dfs(int u)
{
pre[u]=low[u]=++dfs_clock;
S.push(u);
for(int i=0;i<G[u].size();i++)
{
int v=G[u][i];
if(!pre[v])
{
dfs(v);
low[u]=min(low[u],low[v]);
}
else if(!sccno[v])
{
low[u]=min(low[u],pre[v]);
}
}
if(low[u] == pre[u])//u为当前强连通分量的入口
{
scc_cnt++;
while(true)
{
int x=S.top(); S.pop();
sccno[x]=scc_cnt;
if(x==u) break;
}
}
}
//求出有向图所有连通分量
void find_scc(int n)
{
scc_cnt=dfs_clock=0;
memset(sccno,0,sizeof(sccno));
memset(pre,0,sizeof(pre));
for(int i=0;i<n;i++)
if(!pre[i]) dfs(i);
}
int main()
{
while(scanf("%d%d",&n,&m)==2&&n)
{
for(int i=0;i<n;i++) G[i].clear();
while(m--)
{
int u,v;
scanf("%d%d",&u,&v);
G[u].push_back(v);
}
find_scc(n);
for(int i=0;i<n;i++)
printf("%d号点属于%d分量\n",i,sccno[i]);
}
}
/*
刘汝佳 训练指南P319测试图
输入:
12 17
0 1
1 2
1 3
1 4
4 1
2 5
5 2
4 5
4 6
5 7
6 7
8 6
6 9
9 8
7 10
10 11
11 9
输出:
0号点属于5分量
1号点属于4分量
2号点属于2分量
3号点属于3分量
4号点属于4分量
5号点属于2分量
6号点属于1分量
7号点属于1分量
8号点属于1分量
9号点属于1分量
10号点属于1分量
11号点属于1分量
*/
有向图的强连通分量应用
HDU 2767 Proving Equivalences(强连通分量):一个图最少添加几条边能使得该图强连通?解题报告!
POJ 1236 Network of Schools(强连通分量):类似于前一题。解题报告!
POJ 2762 Going from u to v …(强连通分量+拓扑排序):问你图中任意两点间是否至少有1条路?解题报告!
POJ 2186 Popular Cows(强连通分量+缩点):求出所有其他点都可达的点数目。解题报告!
POJ 2553 The Bottom of a Graph(强连通分量):求强连通分量+缩点DAG+处理。解题报告!
HDU 1269 迷宫城堡(强连通分量):强连通图判定。解题报告!
HDU 3639 Hawk-and-Chicken(强连通分量+缩点):最终需要DAG的逆图进行dfs。解题报告!
HDU 4635 Strongly connected(强连通分量):一个图最多能添加多少条边依然不是强连通的?解题报告!
HDU 3836 Equivalent Sets(强连通分量):最少添加边,使得图变成强连通。解题报告!
HDU 1827 Summer Holiday(强连通分量):求强连通分量+缩点DAG+处理。解题报告!
HDU 3072 Intelligence System(强连通分量):求强连通分量+缩点DAG+处理。解题报告!