Tarjan模版（链式向前星表示方法）

这道模版用到了链式向前星表示法：

 struct node
 {
     int v,next;
 }edge[];  

void add(int x,int y)
{
     edge[++cnt].next=heads[x];
     edge[cnt].v = y;
     heads[x]=cnt;
    return ;
 }  

有地方写错了，应该是i=edge[i].next

输入：
一个图有向图。
输出：
它每个强连通分量。

input:

6 8

1 3

1 2

2 4

3 4

3 5

4 6

4 1

5 6

output:

6

5

3 4 2 1

 #include<cstdio>
 #include<algorithm>
 #include<string.h>
 using namespace std;
 struct node
 {
     int v,next;
 }edge[];  

 int DFN[],LOW[];
 int stack[],heads[],visit[],cnt,tot,index; 

void add(int x,int y)
{
     edge[++cnt].next=heads[x];
     edge[cnt].v = y;
     heads[x]=cnt;
    return ;
 }  

 void tarjan(int x)//代表第几个点在处理。递归的是点。
 {
     DFN[x]=LOW[x]=++tot;// 新进点的初始化。
     stack[++index]=x;//进站
     visit[x]=;//表示在栈里
    for(int i=heads[x];i!=-;i=edge[i].next)
     {
         if(!DFN[edge[i].v])
         {//如果没访问过
            tarjan(edge[i].v);//往下进行延伸，开始递归
             LOW[x]=min(LOW[x],LOW[edge[i].v]);//递归出来，比较谁是谁的儿子／父亲，就是树的对应关系，涉及到强连通分量子树最小根的事情。
        }
        else if(visit[edge[i].v ])
        {  //如果访问过，并且还在栈里。
             LOW[x]=min(LOW[x],DFN[edge[i].v]);//比较谁是谁的儿子／父亲。就是链接对应关系
         }
     }
     if(LOW[x]==DFN[x]) //发现是整个强连通分量子树里的最小根。
    {
         do
         {
            printf("%d ",stack[index]);
             visit[stack[index]]=;
             index--;
         }
         while(x!=stack[index+]);//出栈，并且输出。
         printf("\n");
     }
     return ;
 }
 int main()
 {
     memset(heads,-,sizeof(heads));
     int n,m;
     scanf("%d%d",&n,&m);
    int x,y;
     for(int i=;i<=m;i++)
     {
         scanf("%d%d",&x,&y);
        add(x,y);
     }
    for(int i=;i<=n;i++)
         if(!DFN[i])  tarjan(i);//当这个点没有访问过，就从此点开始。防止图没走完
    return ;
 }