Tarjan算法应用：无向图找桥

        无向图中的桥是指去掉一条无向边后，分裂成两个互不相通的子图，这条无向边称为桥。

Tarjan算法步骤：

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

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

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

桥（割边）判定：

         若孩子low > 父亲dfn，则这条边是桥（孩子到父亲没有第二条路径）

代码实现：

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

int m, n;
int head[maxn], cnt;
int dfn[maxn], low[maxn], num;

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

void InsertEdge(int u, 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 = 0; 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[v], low[u]);
            if (low[v] > dfn[u])
            {
                cout << u << "——" << v << "是桥" << endl;
            }
        }
        else
        {
            low[u] = min(dfn[v], low[u]);
        }
    }
}

int main()
{
    CreateGraph();
    Tarjan(1, 0);

    return 0;
}