------------------------------------------概念部分----------------------------------------------------------------

強連通是在有向圖當中提出的概念，代表點點之間都可以互相達到

下面說幾個具體的概念：

頂點強連通：在有向圖G中，如果兩個頂點間至少存在一條路徑，稱兩個頂點強連通（strongly connected）。

強連通圖：如果有向圖G的每兩個頂點都強連通，則稱G是一個強連通圖。

強連通分量：非強連通圖有向圖的極大強連通子圖，成為強連通分量（strongly connected components）。

---------------------------------------演算法部分-------------------------------------------------------------------- 

利用tarjan演算法求解強連通分量。

定義兩個陣列dfn[]和low[]，dfn[]代表某個點的深搜序的時間戳，low[]代表當前點及其子樹中的點能夠直接連線到點的最小的時間戳。我們還需要一個棧去儲存每個被訪問到的點。low和dfn陣列的維護方法就是標準的tarjan演算法的維護方法。

那麼我們如何得到強連通分量呢？

當low[u] == dfn[u]的時候，證明u的子樹當中的點（包括它本身），不存在連向子樹以外的點，那麼也就是這個子樹當中的點是一個強連通分量。如果能夠連向子樹以外的點，那麼當前點能夠在深搜的路徑中到達，也可以通關過反向的這條邊返回這條邊，依舊保證了強連通的性質，當這種性質不存在的時候，那麼當前的連通子圖是最大的，也就是強連通分量。此時位置在棧的上面的點均是在當前子樹中的，那麼我們利用棧的性質，我們就能夠得到這個強連通分量當中所有的點

--------------------------------------程式碼模板部分------------------------------------------------------------------

這個模板是測過的，我保證..........

void tarjan ( int u )  
{  
    dfn[u] = low[u] = ++times;  
    mark[u] = 1;  
    s.push ( u );  
    int len = e[u].size();  
    for ( int i = 0 ; i < len ; i++ )  
    {  
        int v = e[u][i];  
        if ( !mark[v] )  
        {  
            tarjan ( v );  
            low[u] = min ( low[u] , low[v] );  
        }  
        if ( mark[v] == 1 )  
            low[u] = min ( low[u] , dfn[v] );  
    }  
    if ( dfn[u] == low[u] )  
    {  
        int temp;  
        do  
        {  
            temp = s.top();  
            b[temp] = cnt;  
            sum[cnt]++;  
            mark[temp] = 2;  
            s.pop();  
        }while ( temp != u );  
        cnt++;  
    }  
}  
 

對於一個有向圖，我們可以通過強連通分量得到一個DAG(有向無環圖)，這種有很優良的性質，能夠進行拓撲排序，進行動態規劃等等。一般在演算法中作為預處理用到。