[Daimayuan] 排队（C++，并查集）

请判断有没有一种方法可以将编号从 $1$ 到 $N$ 的 $N$ 个人排成一排，并且满足给定的 $M$ 个要求。

对于每个要求会给出两个整数 $A_i$ 和 $B_i$，表示编号 $A_i$ 和 $B_i$ 的人是相邻的。

保证每个要求都不同，比如已经给出了 $1,5$，就不会再给出 $1,5$ 或 $5,1$。

输入格式

第一行两个整数 $N$ 和 $M$，表示 $N$ 个人和 $M$ 个要求。

输出格式

如果有一种能把这些人拍成一排并满足所有条件的方法，就输出 Yes，否则，输出 No。

样例输入1

4 2
1 3
2 3

样例输出1

Yes

样例输入2

4 3
1 4
2 4
3 4

样例输出2

No

样例输入3

3 3
1 2
1 3
2 3

样例输出3

No

数据规模

对于全部数据保证 $2\le N\le 10^5$，$0\le M\le 10^5$，$1\le A_i<B_i\le N$。

解题思路

本题是一道逻辑推理题。

我们推理的基础就是：一个人最多与两个人相邻。

根据这个定理，我们可以得出以下规律：

（1）在$M$个要求中，一个人最多出现两次；

（2）因为是队列不是环，队首和队尾不可能相邻。

条件$1$很容易就能用数组维护；

条件$2$采用并查集维护（常用于强连通分量），思路是任意两个元素只会被合并一次，所以当尝试合并在同一个集合中的元素时，判断不合理。

最后，AC代码如下：

#include <iostream>
#include <vector>
using namespace std;
const int max_len = 1e5;

int fa[max_len + 1], sum[max_len + 1];

int find(int x) {
	return x == fa[x] ? x : (fa[x] = find(fa[x]));
}

bool is_insame(int x, int y) {
	x = find(x); y = find(y);
	return x == y;
}

void merge(int x, int y) {
	x = find(x); y = find(y);
	fa[x] = y;
}

int main() {
	int n, m, x, y, flag = 0;
	cin >> n >> m;
	for (int i = 1; i <= n; i++) fa[i] = i;//并查集初始化


	for (int i = 0; i < m; i++) {
		cin >> x >> y;
		if (!flag) {
			if (sum[x] < 2 && sum[y] < 2) {//一个人最多与两个人相邻
				if (is_insame(x, y)) {//成环
					flag = 1;
				}
				else {
					merge(x, y);
					sum[x]++; sum[y]++;
				}
			}
			else flag = 1;
		}
	}
	if (flag) cout << "No" << endl;
	else cout << "Yes" << endl;
	return 0;
}