CCF 高速公路 tarjan求强连通分量

问题描述

　　某国有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个便利城市对，它们分别是(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。

去年做这个题的时候，傻傻的用最短路，0分，数据太大。今天学了一下tarjan求强连通分量，试一下。

附100分代码：

#include <stdio.h>
#include <string.h>
#include <iostream>
#define maxn 200010
using namespace std;

struct Node {
    int to;
    int nxt;
}edge[maxn];

int head[maxn];
int tot;

void addEdge(int u, int v) { // 邻接表形式存储图
    edge[tot].to = v;
    edge[tot].nxt = head[u];
    head[u] = tot++; // head[i] 里存储的是最后一条以i为顶点的边的序号
}

int dfn[maxn], low[maxn]; // tarjan 算法的两个数组
int ord, top; // 当前元素是被访问的序号，模拟栈的首部
bool instack[maxn]; // 判断该点是否在栈内
int stac[maxn]; // 栈
int ans;

void tarjan(int rt) {
    dfn[rt] = low[rt] = ord++; // 初始化该元素的dfn和low数组
    instack[rt] = true; // 入栈
    stac[++top] = rt;

    for (int i=head[rt]; i!=-1; i=edge[i].nxt) { // 遍历所有以该点为顶点的边
        int v = edge[i].to;
        if (!dfn[v]) { // 如果这个点没有被访问过
            tarjan(v); // 继续向下搜索
            low[rt] = min(low[rt], low[v]); // 更新当前点能回溯到的最远点
        }
        else if (instack[v] && low[rt] > dfn[v]) { //如果已经被访问过 没有被删除 说明这个点是某个强连通分量的一点 当前根的low值和当前点的dfn值比较并更新
            low[rt] = dfn[v]; // 疑问是，这里更新的是low值还是dfn值呢?测试好像谁都可以...
        }
    }

    if (low[rt] == dfn[rt]) { // 找到根 取出当前强连通分量
        int temp = 0;
        int k;
        do {
             k = stac[top--];
             instack[k] = false;
             temp++;
        }while(k!=rt);

        if (temp > 1) {
            ans += (temp*(temp-1))/2;
        }
    }
}

int main() {
    int n, m;
    while(cin >> n >> m) {
        memset(head, -1, sizeof(head));
        memset(dfn, 0, sizeof(dfn));
        memset(low, 0, sizeof(low));
        memset(instack, 0, sizeof(instack));
        ord = 0;
        tot = 0;
        top = -1;
        ans = 0;
        for (int i=0; i<m; ++i) {
            int u, v;
            cin >> u >> v;
            addEdge(u, v);
        }

        for (int i=1; i<=n; ++i) { // 依次以所有没被遍历过的点为根尝试搜索强连通分量
            if (!dfn[i])
                tarjan(i);
        }

        cout << ans << endl;
    }
    return 0;
}