Tarjan算法

用途：
求一个图的强连通分量。

算法介绍：
在一个图中，如果两个顶点相互可以到达，则称这两个点强连通。若一个图的每两个顶点都强连通，称此图为一个强连通图。一个图的最大强连通子图，称为强连通分量。
Tarjan算法以深度优先搜索为基础。定义dfn[], low[]，其中，dfn[i]表示节点i在第几层被搜到(通常被称为时间戳)，low[i]表示节点 i 所在的强连通子图的根节点的dfn值。
算法过程如下：

1. 初始化数组dfn，low为当前结点u的深度。
2. 将当前结点u节点压入栈S中。
3. 遍历以u为起点的每一条边，假设此边上另一点为v。
   若v没有被访问过，则low[u] = min(low[u], low[v]);
   若v被访问过且v还在栈中，则low[u] = min(low[u]，dfn[v]);
4. 若对于节点u，dfn[u] = low[u]，则将u及其以上的节点出栈，出栈的这些节点构成了一个强连通分量。
5. 对还没有访问过的节点继续搜索，直到所有节点均被访问过。

例题：
CCF认证2015年9月第4题
问题描述
　　某国有n个城市，为了使得城市间的交通更便利，该国国王打算在城市之间修一些高速公路，由于经费限制，国王打算第一阶段先在部分城市之间修一些单向的高速公路。
　　现在，大臣们帮国王拟了一个修高速公路的计划。看了计划后，国王发现，有些城市之间可以通过高速公路直接（不经过其他城市）或间接（经过一个或多个其他城市）到达，而有的却不能。如果城市A可以通过高速公路到达城市B，而且城市B也可以通过高速公路到达城市A，则这两个城市被称为便利城市对。
　　国王想知道，在大臣们给他的计划中，有多少个便利城市对。
输入格式
　　输入的第一行包含两个整数n, m，分别表示城市和单向高速公路的数量。
　　接下来m行，每行两个整数a, b，表示城市a有一条单向的高速公路连向城市b。
输出格式
　　输出一行，包含一个整数，表示便利城市对的数量。
样例输入
5 5
1 2
2 3
3 4
4 2
3 5
样例输出
3
样例说明

　　城市间的连接如图所示。有3个便利城市对，它们分别是(2, 3), (2, 4), (3, 4)，请注意(2, 3)和(3, 2)看成同一个便利城市对。
评测用例规模与约定
　　前30%的评测用例满足1 ≤ n ≤ 100, 1 ≤ m ≤ 1000；
　　前60%的评测用例满足1 ≤ n ≤ 1000, 1 ≤ m ≤ 10000；
　　所有评测用例满足1 ≤ n ≤ 10000, 1 ≤ m ≤ 100000。

此题即利用Tarjan算法，将每个强连通子图找出来，然后计算每一个强连通子图的节点相互之间可达，求出节点对数即可。

代码如下：

#include <iostream>
#include <string.h>
#include <stack>

using namespace std;

#define MAXNUM 10001    //最大点数

bool G[MAXNUM][MAXNUM];        //图的邻接矩阵
int dfn[MAXNUM] = {0};         //表示第几个搜索到该点
int low[MAXNUM] = {0};         //该点所在强连通子图的根节点的dfn值
int tot = 0;                   //记录深度优先遍历的深度
bool visit[MAXNUM] = {0};      //记录该点是否被遍历过
bool inStack[MAXNUM] = {0};    //记录该点是否在栈中
int num = 0;                   //记录一个强连通分量点的个数
int ans = 0;                   //有几对可互相到达的点
stack <int> S;

void tarjan(int u,int n);

int main()
{
    int n = 0;    //城市的数量
    int m = 0;    //单向高速公路的数量
    int x = 0;
    int y = 0;

    cin>>n>>m;
    for(int i = 0; i < m; i++)
    {
        cin>>x>>y;
        G[x - 1][y - 1] = true;    //x到y有一条单项高速公路连接
    }

    for(int i = 0; i < n; i++)
    {
        tot = 0;
        if(!visit[i])
        {
            tarjan(i,n);         //以节点0为起点
        }
    }
    cout<<ans<<endl;
    return 0;
}

void tarjan(int u,int n)
{
    dfn[u] = low[u] = tot++;    //首次搜索到该点，其dfn,low值即为该点的深度
    visit[u] = true;               //将u标记为被访问过
    S.push(u);                  //将u入栈
    inStack[u] = true;             //u在栈中

    for(int v = 0; v < n; v++)  //遍历每一条边
    {
        if(G[u][v])        //u到v存在边
        {
            if(!visit[v])       //v没有被访问过
            {
                tarjan(v,n);
                low[u] = min(low[u], low[v]);
            }
            else if(inStack[v]) //v被访问过，并且v还在栈中
            {
                low[u] = min(low[u], dfn[v]);
            }
        }
    }

    if(low[u] == dfn[u])        //u是一个强连通图的根节点,将u及其以上的元素出栈，构成一个强连通分量
    {
        int now = -1;
        num = 0;
        while(now != u)
        {
            now = S.top();
            S.pop();
            inStack[now] = false;
            num++;
        }
        if(num > 1)
        {
            ans = ans + num * (num - 1)/2;
        }
    }
    return;
}