陈颜的博客

在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。例如，一个问题中的约束条件为：x1=x2，x2=x3，x3=x4，x1≠x4，这些约束条件显然是不可能同时被满足...

这道题说来和我颇有故事，最早是在一个月前的吉首大学同步赛遇到的，可见我博客 传送门。 这是我当时写的博客的截图= =我那天晚上和学长吃饭时也被学长说服了，认为并查集写不了… … 然后今天下午的牛客上拉出了重现赛，我看了一下这道题，突然觉得可以用并查集写。事实证明我的感觉是对的 先上原题： 链接：传送门 武林内纷乱不断，各地都自立门派，门派的人为了识别门内弟子，给了每个人一块令牌，这个令牌有个...

题目连接

今天晚上学长要讲解并查集，其实看我之前的博客可以发现，我早就听说过该算法，多次比赛也是因为不会这个屡次碰壁。于是趁着今天早上有空，先预习一下并查集。下面十一点小总结。 先上参考博客：传送门 在这里，我先给出自创的两个定义（可能有误）——父结点和根结点 当C->B->A时（->表示从属关系） 1.A是B的父结点和根结点。 2.A是C的根结点。 3.B是C的父结点。 首先，并查...