ACM学习：并查集学习总结

本周学习了并查集和拓扑排序的一些知识，因此主要在这方面看了些资料。也看了一些题，对做题思路和需要找寻的关键因素有了印象。因为上课时有的知识点没听懂，因此主要工作就偏向于理清概念和总结规律了。

一.并查集的自我理解

个人对并查集的理解就是，并查集主要依靠对结点之间的关联，即边的连接与删除（反向连接即为删除）进行操作，其作用与搜索有重合部分，经常会使用到递归，数组（队列）等知识，常用于对图进行处理，其涉及到连通块，01背包问题等多种类型题，可以认为是解决问题的常用处理方法之一，其主要特点为处理结点间的连接与子树的形成（涉及最小生成树）等，一般是在结点合并或者边的权值等方面做文章，它可以理解为一种特别的树，功能就是“并”，“查”，“集”。即：

并：合并两个结点（集合），使其父结点同一。

查：搜索当前结点的祖宗结点，常用于两节点合并前的条件判断

集：建立一个新集合。

它储存图有邻接矩阵，邻接表两种方法，其中邻接矩阵适用于边数较多的图（如网图之类的），比较浪费空间，故对于简单的图来说，常用邻接表的形式储存。

不过相对于邻接矩阵而言，邻接表的代码更复杂，用到了指针去指向下一个结点位置，当时上课时没听懂，不明白一个结点怎么指向下一个结点，明明有好几个下来查了查资料发现其实就是用一个结构体表示边，储存了当前边的数据（比如权值），也储存了下一个结点的位置。注意这里是边的数组，不是储存结点的数组（不像我上课以为是结点数组要用指针储存下一个结点，导致一直没理解关系）。而结点数组（或者说头数组）主要用来储存其能够连接的尾结点的数量，用来统计点的边数或许有用，不过还没遇到过。

并查集中唯一一个比较绕的我个人觉得就是路径压缩了，先上代码：

int find(int x){
if(gen[x]!=x)gen[x]=find(gen[x]);
return gen[x];}

路径压缩坦白而言就是对查的功能增加了一些操作，即更改父亲结点，道理很简单，但当时我因为gen[x]与x都涉及x，导致思路很混乱，只知道其作用与代码，没搞清原理，之后经过自己反复的盘才理清思路。这里为了方便表示用画图来说明：

这副图中，0是祖宗结点，其它的结点都有各自的父亲结点，如果要判断5和6是否为同一集合，就需要用find（）函数去一层一层找寻找他们各自的祖宗结点，在这幅图里，他们找的顺序是：

6-3-1-0

5-2-0

因为最后找到的祖宗结点相同，所以为同一集合，（若祖宗结点不同时，可以进行合并操作），但最后找见了也不方便下一次再找，因此，利用路径压缩，在每一次find时，都把子节点向上提一个层次，达到这样的效果:

 这样下一次判断直接一次解决，提升了代码的效率。其中因为4在find过程中没有遍历，所以不改变其层次。

用文字讲述的话，就是因为gen[5]=2;gen[6]=3,（=的意思是父节点）因此一层层递归搜索，

将gen[5]=gen[2]=0,gen[6]=gen[3]=gen[1]=0;途中，将遍历到的结点不断变更，直接归到祖宗结点处，这便是路径压缩。

二.例题解析

这周看的几个模板题，让我明白了解决问题的思路，并查集的基本思路很简单，根据题目给出的各个结点和边的数据，构建有向图或者无向图，再根据题目要求的权值判断或者等等要求，进行解决输出。这周例题中看了两道，就借AC的一道出吧。

题目描述

给出A地区的村庄数NN，和公路数MM，公路是双向的。并告诉你每条公路的连着哪两个村庄，并告诉你什么时候能修完这条公路。问最早什么时候任意两个村庄能够通车，即最早什么时候任意两条村庄都存在至少一条修复完成的道路（可以由多条公路连成一条道路）

来源：P1111 修复公路 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

思路：由题目描述可得，我们要根据题给数据，建立无向图（因为公路双向），然后每一个边有权值时间，因此在建立边的结构体数组时要增加变量t，然后要判断最短各个结点连接的时间，可以用ans储存，为了避免第一次直接存入最大的时间，导致无法找到最小时间的结果，可以先用sort函数对其进行排序，其中，这里有一点要注意，因为我们是根据时间排序，为了让sort函数正常运行，要重载小于号，以达成比较时间排序的目的。然后进行依次连接判断，如果最后连接成功，结点的集合只剩1，则输出ans,否则输出-1.（这里要强调一下，数组的范围一定要大，我第一次就是因为范围原因有缺漏）

代码：

#include<bits/stdc++.h>
using namespace std;

const int MAX=100001;
struct lujing{
    int x,y,t;
}load[MAX];
int gen[MAX];
int n,m,ans,n1;
int find(int x){if(gen[x]!=x)gen[x]=find(gen[x]);return gen[x];}
bool operator <(lujing a,lujing b){
    return a.t<b.t;
}
int main()
{
    cin>>n>>m;
    n1=n;
    for(int i=1;i<=n;i++)
        gen[i]=i;
    for(int i=1;i<=m;i++)
        cin>>load[i].x>>load[i].y>>load[i].t;
    sort(load+1,load+1+m);
    for(int i=1;i<=m;i++)
    {
        int a=find(load[i].x),b=find(load[i].y);
        if(a==b)continue;
        gen[a]=b;
        n1--;
        ans=max(ans,load[i].t);
    }
    if(n1!=1)
        cout<<-1<<endl;
    else
        cout<<ans<<endl;
    return 0;
}

还有一道口袋的天空（P1195 口袋的天空 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)），与这道题的思路大同小异，不过这个要求是求最后形成集合所需的最小代价，虽然也是权值的要求，不过它给的集合个数不太一样，所以注意一下ans的取值范围就好。这道题完成了口胡，还没AC，就先不打代码了。

至于剩下的例题都是在资料里看的，因为资料里有思路有题解，就不赘述了。

三.比赛感受

本周比赛只出了一道A题，确实战绩不佳，其实B题也是有思路的，但最后没打出来。但这个并非我要重点提及的问题，本来我出A题的时间并不慢，但是由于test 2始终没通过，我犟着性子微调了一下，提交了6遍，导致罚时太多，一下子成绩就下去了，但其实只要更改一下条件范围，加几个continue,就能通过，但白白被罚时，确实是一个以后需要注意的问题，要认真反思自己的代码，不要瞎提交，确实会影响成绩。。。

还有一个注意点是在赛后看别人代码注意到的，其实也是一个简单问题，就是每个循环直接输出答案即可，不需要专门建立一个数组储存答案最后输出。感觉心好累。。。当时还专门为建立数组废了点时间，以后注意吧。

最后一句话总结，本周比较循规蹈矩，一方面为了避免遗忘和巩固成果，上周周末把bfs和dfs的一些资料看了看，另一方面，这一周是在第一次上课后才有详细学习的，而且看的都是概念和简单的模板题，虽然没有太多的额外东西能用语言描述出来，不过对我自己而言，能够熟练的掌握基础知识，把自己上课的疑惑解决也是一种学习和进步，坦白说，这周确实学习ACM的时间没上周多，下周准备改变一下学习方法，听一下同学的建议，调整自己的学习节奏，每晚的学习计划做适当调整，争取下周学的更多，把并查集例题解决。