判断冗余边（并查集）图

 C++实现代码

#include <iostream>
using namespace std;
const int maxn = 10001;
int pre[maxn]; //保存每个节点的前驱
int height[maxn]; //保存每个节点所在树的高度

void init(int n)
{
    //初始化操作
    for (int i = 0; i < n; i++)
    {
        pre[i] = i;
        height[i] = 1;
    }
}

int find(int x) //查找节点x所在树的根节点
{
    if (pre[x] == x)
        //约定根节点的前驱还是自己，所以x的父节点和自己相同时即可返回
        return x;
    return find(pre[x]); //小递归
}

int findpro(int x)
{
    //利用路径压缩进行优化
    if (pre[x] == x)
        return x;
    return pre[x] = findpro(pre[x]); //赋值语句的返回值为右值
}

void join(int x, int y)
{
    //查找x和y的根节点
    int fx = findpro(x), fy = findpro(y);
    //如果根节点不同，即处于不同的树，将fx的父节点设为fy，即将x所在子树加到y所在树的根节点下
    if (fx != fy)
        pre[fx] = fy;
}

void joinpro(int x, int y)//加权标记法
{
    x = find(x); //寻找 x的代表元
    y = find(y); //寻找 y的代表元
    if (x == y)  //如果 x和 y的代表元一致，说明他们共属同一集合，则不需要合并，直接返回；否则，执行下面的逻辑
        return;
    if (height[x] > height[y]) //如果 x的高度大于 y，则令 y的上级为 x
        pre[y] = x;
    else
    {
        if (height[x] == height[y]) //如果 x的高度和 y的高度相同，则令 y的高度加1
            height[y]++;
        pre[x] = y; //让 x的上级为 y
    }
}

int main()
{
    int n, m;
    cout<<"请输入元素总数和操作次数："<<endl;
    cin >> n >> m;
    init(n);
    cout<<"请按如下格式输入：（Z,X,Y）"<<endl;
    cout<<"Z=1为并，Z=2为查，X,Y为操作的边链接的两点"<<endl;
    while (m--)
    {    
        int z, x, y;
        cin >> z >> x >> y;
        if (z == 1)
            join(x, y);
        else
        {
            if (findpro(x) == findpro(y))
                cout <<x<<"与"<<y<<"所在边为冗余边"<< endl;
            else
                cout << x<<"与"<<y<<"所在边必要" << endl;        
        }
    }
    return 0;
}

设计思路： 

1、首当其冲的思路是DFS深度搜索，在原来搜完的基础上少搜一次，实现找到冗余边，但有一定的局限性：

（1）算法时间复杂度高，在O(n^2)以上

（2）DFS一次只能找到一条冗余边
2、基于以上对算法进行换汤也换药的改进：了解了并查集的知识后，利用并查集的结构思想建立模型。

3、在上述代码中，先查再并（若非冗余边，即必要的边，则并）。

并Z=1，查Z=2。

到最后发现深度优先搜索是存在一定问题的：有可能存在最后一个边不是冗余边，但是被DFS剩余了，误认为最后一边。