Tarjan算法应用：统计无向图中的连通分量

        连通分量是指在无向图中，任意两个顶点能互相到达的极大连通子图，再填任一结点就不能互相连通。   

Tarjan算法步骤：

        1、构建一个无向图；一个时间戳数组dfn[]，表示遍历的次序；一个回溯点数组low[]，表示能通过非父子边回溯到的最早结点遍历序号；

        2、将一个根节点和其父结点（根节点的父结点设为他自己）传入函数，初始时：dfn = low = 次序；

        3、遍历邻接点，若邻接点时它父亲，什么都不做；若邻接点未被访问，递归，递归后更新low值；若邻接点已经访问，说明之间有非父子边相连，更新low值。
 

连通分量判定：

        父结点的low不等于子节点的low，说明两个结点不在同一个连通分量中；或者说桥两端的连通分量号不一样。同一个连通分量中的结点low值相等 = 该连通分量上最早的dfn。

连通分量缩点度的计算：

        以low值作为下标建立数组，每出现原点与邻接点不同的情况，数组中low值对应的元素+1；

代码实现：

#include <iostream>
using namespace std;
#include <stack>
#define maxn 100

int m, n;   //边数、结点数
int head[maxn], cnt;
int dfn[maxn], low[maxn], num;  //时间戳数组、回溯点数组
int degree[maxn];   //缩点的度

class Edge
{
public:
    int to;
    int next;
};
Edge edge[maxn << 1];

void InsertEdge(const int& u, const int& v)
{
    edge[++cnt].to = v;
    edge[cnt].next = head[u];
    head[u] = cnt;
}

void CreateGraph()
{
    int u, v;
    cout << "请输入结点数：" << endl;
    cin >> n;
    cout << "请输入边数：" << endl;
    cin >> m;
    cout << "请依次输入每个边的两个顶点：" << endl;
    for (int i = 1; i <= m; i++)
    {
        cin >> u >> v;
        InsertEdge(u, v);
        InsertEdge(v, u);
    }
}

void Tarjan(int u, int fa)
{
    dfn[u] = low[u] = ++num;
    for (int i = head[u]; i; i = edge[i].next)
    {
        int v = edge[i].to;
        if (v == fa)
        {
            continue;
        }
        if (!dfn[v])
        {
            Tarjan(v, u);
            low[u] = min(low[u], low[v]);
        }
        else
        {
            low[u] = min(low[u], dfn[v]);
        }
    }
}

int main()
{
    CreateGraph();
    for (int i = 1; i <= n; i++)
    {
        if (!dfn[i])
        {
            Tarjan(i, i);
        }
    }
    int v = 0;
    for (int u = 1; u <= n; u++)
    {
        for (int i = head[u]; i; i = edge[i].next)
        {
            v = edge[i].to;
            if (low[u] != low[v])
            {
                degree[low[u]]++;
            }
        }
    }
    int gross = 0;
    for (int i = 1; i <= n; i++)
    {
        if (degree[i])
        {
            gross++;
            cout << "第" << gross << "个缩点的度为：" << degree[i] << endl;
        }
    }
    return 0;
}