题目大意:
问一个图是不是强连通的。
Tarjan模板+详细解释:
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdio>
using namespace std;
const int maxn = 10010;
const int maxm = 100010;
int n, m;
int cnt, tol, scnt, top;
int head[maxn], st[maxn], dfn[maxn], low[maxn], Belong[maxn];
//DFN[]为深搜次序数组
//Low[u]为u结点或者u的子树结点所能追溯到的最早栈中结点的次序号
//Belong[]为每个结点所对应的强连通分量标号数组
bool instack[maxn];
struct Edge
{
int v, nxt;
}edge[maxm];
void init()
{
tol = 0;//边的标号
scnt = cnt = top = 0;//scnt为强连通分量标号,cnt为时间戳,top为栈顶指针
memset(head, -1, sizeof(head));
memset(dfn, 0, sizeof(dfn));
}
void build_graph(int u, int v)//构建邻接表
{
edge[tol].v = v;
edge[tol].nxt = head[u];
head[u] = tol++;
}
void Tarjan(int u)//Tarjan算法求有向图的强连通分量
{
dfn[u] = low[u] = ++cnt;
instack[u] = 1;//标记在栈中
st[top++] = u;
for(int i = head[u]; i != -1; i = edge[i].nxt)
{ //枚举u的每一条边
int v = edge[i].v;//u所邻接的边
if(!dfn[v])//未被访问过
{
Tarjan(v);//继续向下找
if(low[u] > low[v])
low[u] = low[v];//更新结点u所能到达的最小次数层
}
else if(instack[v]&&dfn[v] < low[u])//如果v结点在栈内
low[u] = dfn[v];
}
if(dfn[u] == low[u])
{ //如果节点v是强连通分量的根
scnt++;//连通分量标号加1
int t;
do
{
t = st[--top]; //退栈
instack[t] = 0; //标记不在栈中
Belong[t] = scnt;//出栈结点t属于scnt标号的强连通分量
}while(t != u);//直到将v从栈中退出
}
}
void solve()
{
for(int i = 1; i <= n; i++) //枚举每个结点,搜索连通分量
if(!dfn[i])//未被访问
Tarjan(i);//则找i结点的连通分量
}
int main()
{
while(scanf("%d%d", &n, &m) && (n || m))
{
init();
while(m--)
{
int u, v;
scanf("%d%d", &u, &v);
build_graph(u, v);
}
solve();
if(scnt == 1)
puts("Yes");
else
puts("No");
}
return 0;
}