强连通分量

强连通分量

什么是强连通图？
如果一个有向图中，存在一条回路，所有的结点至少被经过一次，这样的图为强连通图。

什么是强连通分量？
在强连通图的基础上加入一些点和路径，使得当前的图不再强连通，称原来的强连通的部分为强连通分量。

求强连通分量有何作用？
在进行对其他图论问题求解前，利用强连通分量的知识可以把图中强连通的点缩为一个点，减少接下来其他图论操作的计算。
在某些特定的环境下，求强连通分量变相地得出了图中的环以及环的长度。

利用Tarjan算法求强连通分量

Tarjan算法的基本思路

首先考虑强连通分量的性质，即存在一条回路能从初始点又回到初始点。在这个查找的过程中，可以对经过的节点标记，当发现某一个节点连向的点正好以及被标记过，则说明找到了一条回路，而这个回路上的所有点构成了一个强连通分量。为了保存这个强连通分量，我们需要知道这条路上有哪些点，而此时，栈就是一种适合该算法的数据结构。对于每次搜索的点，我们都加入栈中，遇到回路时，在把栈中的元素逐个弹出，记录他们的起始节点，直到栈中弹出的元素正好是起始节点时，结束弹栈，继续搜索其他连通分量。在这个过程中，所有点和边都被遍历一次，所以最终的时间复杂度是O（N+E）

Tarjan算法的实现

为了实现这个过程，Tarjan算法需要装备如下几样东西：
记录搜索顺序的数组dfn
记录所属强连通分量的数组low
表示某个结点是否在栈中的数组instack
一个栈存搜索路径
从上面对Tarjan算法的描述中，很容易看出这个算法是基于深度先搜索实现的。接下来，对Tarjan算法进行逐步的推演。

模板：

#include<bits/stdc++.h>
using namespace std;
int n,m,cnt,cntb;
vector<int>edge[101];   
vector<int>belong[101];
bool instack[101];
int dfn[101],low[101];
stack<int>s;
void Tarjan(int u)
{
    ++cnt;
    dfn[u]=low[u]=cnt;
    s.push(u);
    instack[u]=true;
    for(int i=0;i<edge[i].size();i++)
    {
        int v=edge[u][i];
        if(!dfn[v])
        {
            Tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instack[v])
            low[u]=min(low[u],low[v]);
    }
    if(dfn[u]==low[u])
    {
        ++cntb;
        int node;
        do
        {
            node=s.top();
            s.pop();
            instack[node]=false;
            belong[cntb].push_back(node);
        }while(node!=u);
    }
}
int main()
{
    cin>>n>>m;
    for(int i=1;i<=m;i++)
    {
        int u,v;
        scanf("%d%d",&u,&v);
        edge[u].push_back(v);
    }
    Tarjan(1);
    system("pause");
    return 0;
}