首先给大家一个网址讲的比较细:http://www.cnblogs.com/en-heng/p/4002658.html
如果还有不懂的话,可以回来再看看我的文章;
概念明确:
low[u]记录节点u或u的子树通过非父子边追溯到最早的祖先节点
用那个网址的例子,我给大家推演一下tarjan的dfn和low;
A的dfn和low均为1;
B:low = 1(通过B->A的回边)
C: low = 1(通过C->A的回边)
D:low = (B的dfn)5,(通过D->B的回边)
E:low = 5,(通过E->B的回边)
F:low = 1(通过F->A的回边)
G:low = 5(通过G->B的回边)
H:low = 5(通过H->B的回边)
例题可以参考cojs921
http://cojs.tk/cogs/problem/problem.php?pid=921
代码如下
#include<cstdio> const int maxn = 5010 ; using namespace std; inline void read(int &x){ x=0;char ch; while(ch=getchar(),ch<'!'); while(x=10*x+ch-'0',ch=getchar(),ch>'!'); } inline int cat_max(const int &a,const int &b){return a>b ? a:b;} inline int cat_min(const int &a,const int &b){return a<b ? a:b;} struct Edge{ int to,next; }G[100100]; int tot,head[maxn],scc_cnt,dfs_cnt; int dfn[maxn],low[maxn],sccno[maxn]; int sta[maxn],top,num[maxn]; void add(int u,int v){ G[++tot].to=v; G[tot].next=head[u]; head[u]=tot; } void tarjan(int u){ low[u]=dfn[u]=++dfs_cnt; sta[++top]=u; for(int i=head[u];i;i=G[i].next){ int to=G[i].to; if(!dfn[to]){ tarjan(to); low[u]=cat_min(low[u],low[to]); } else if(!sccno[to]) low[u]=cat_min(low[u],dfn[to]); } if(low[u]==dfn[u]){ scc_cnt++; while(1){ int x=sta[top--]; sccno[x]=scc_cnt; num[scc_cnt]++; if(x==u) break; } } } int main(){ freopen("classroom.in","r",stdin); freopen("classroom.out","w",stdout); int n;read(n); int m;read(m); int x,y,op; for(int i=1;i<=m;i++){ read(x),read(y),read(op); add(x,y); if(op==2) add(y,x); } for(int i=1;i<=n;i++) if(!dfn[i]) tarjan(i); int max1=0,pos=0; for(int i=1;i<=scc_cnt;i++){ if(num[i]>max1){ max1=num[i]; pos=i; } } printf("%d ",max1); for(int i=1;i<=n;i++){ if(sccno[i]==pos){ printf("%d ",i); } } fclose(stdin);fclose(stdout); return 0; }