求有向图强联通分量--Tarjan算法

本文思想来自byvoid

根据大神思路改的代码模板
改下输出的模板题：HDUoj1269

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;
const int N=10,M=50;

struct Edge
{
    int v,next;
} edge[M];
int n,m;
int edgehead[N];
bool instack[N];
int dfn[N],low[N],Stack[N];
int k, index, sp;

void init()
{
    k=1;
    index=0;
    sp=0;
    memset(Stack, 0, sizeof(Stack));
    memset(dfn, 0, sizeof(dfn));
    memset(low, 0, sizeof(low));
    memset(instack, 0, sizeof(instack));
    memset(edgehead, 0, sizeof(edgehead));
}
void addedge(int u,int v)  //单向建边
{
    edge[k].v = v;
    edge[k].next = edgehead[u];
    edgehead[u] = k++;
}
void tarjan(int i)
{
    dfn[i] = low[i] = index++;//这里的index是搜索每个顶点的时间点
    instack[i] = true;
    Stack[sp++] = i;//进栈
    for(int j=edgehead[i]; j; j=edge[j].next) //遍历
    {
        int v = edge[j].v;
        if(!dfn[v])//如果还未访问
        {
            tarjan(v);
            low[i] = min(low[i],low[v]);//因为v是i的树枝子节点。如果low[v]<low[i]则说明low[v]可以追溯到i的树上层节点。否则low[i]值不变。
        }
        else if(instack[v])//如果已经在栈中
        {
            low[i] = min(low[i],dfn[v]);
        }
    }
    if(dfn[i] == low[i])//如果最小访问时间和访问到的时间相等，则自己就是自己这棵树的根节点。所以就可以开始输出了。
    {
        while(1)
        {
            sp--;  //此时 sp指在后一位
            printf("%d ",Stack[sp]);
            instack[Stack[sp]] = false;
            if(Stack[sp] == i)
                break;

        }
        printf("\n");
    }
}
void solve()
{
    memset(dfn,0,sizeof(dfn));
    for(int i=1; i<=n; i++)
    {
        if(!dfn[i])
            tarjan(i);
    }
}
int main()
{
    while(scanf("%d%d",&n,&m) != EOF)
    {
        init();
        for(int i=1; i<=m; i++)
        {
            int from,to;
            scanf("%d%d",&from,&to);
            addedge(from,to);
        }
        solve();
    }
    return 0;
}