描述

给定$n$个结点，$q$次询问，每次询问分为三类：

1. 1 x y ：可以选择将$x,y$两个点连通，如果已经连通则不操作。
2. 2 ：撤销上一次的操作（若全部撤销完了则不操作）。
3. 3 x y：询问$x,y$是否连通，如果是则输出"YES"，反之输出"NO"，请注意都是大写字母，不包含引号。

输入描述

第一行两个整数$n(1\le n\le 10^6),q(1\le q\le 10^5)$，分别表示结点的个数和询问的次数。

接下来$q$行，每行一个询问op x y (1 \leq op \leq 3, 1 \leq x, y \leq n)，当op=2时，没有$x,y$。

输出描述

对于每一个3询问，一行一个字符串（“YES” 或 “NO”）表示结果。

输入样例1

4 5
1 1 2
1 1 3
3 2 3
2
3 2 3

输出样例1

YES
NO

---

思路

在初始化函数init中，遍历每个元素，将其父节点设置为自己，表示每个元素都是独立的集合，同时集合的大小设置为1。

函数root负责查找元素的根节点。通过不断向上查找父节点，直到找到一个元素的父节点是其自身，即找到了该元素所在集合的根节点。

函数merge负责合并两个集合。首先查找两个元素的根节点，如果根节点相同，表示两个元素已经在同一集合中，无需合并。否则，将较小的集合并入较大的集合，为了保证并查集的平衡性，这里使用了按秩合并的策略。在合并的同时，将合并的信息（较小集合的根节点和较大集合的根节点）压入栈s1，以便后续进行撤销操作。

函数check负责检查两个元素是否在同一集合中。通过查找两个元素的根节点，如果根节点相同，表示两个元素在同一集合中，输出"YES"；否则，表示两个元素不在同一集合中，输出"NO"。

函数undo负责撤销最近的合并操作。从栈s1中弹出最近的合并信息，将被合并的集合的根节点的父节点设置为其自身，同时更新其父节点（即原集合）的大小，恢复原来的集合状态。

在主函数中，首先读取元素个数和操作次数，然后进行初始化。然后根据操作类型进行相应的操作，如果操作类型为2，则进行撤销操作；如果操作类型为1，则进行合并操作；如果操作类型为3，则进行检查操作。

---

AC代码

#include <algorithm>
#include <iostream>
#include <stack>
#define AUTHOR "HEX9CF"
using namespace std;const int N = 1e5 + 7;int pre[N], sz[N];
stack<pair<int, int>> s1;void init(int x) {for (int i = 1; i <= x; i++) {pre[i] = i;sz[i] = 1;}
}int root(int x) {int i = x;while (pre[i] ^ i) {i = pre[i];}return i;
}void merge(int x, int y) {int rx = root(x);int ry = root(y);if (rx == ry) {return;}if (sz[rx] > sz[ry]) {swap(rx, ry);}s1.push({rx, ry});pre[rx] = ry;sz[ry] += sz[rx];
}void check(int x, int y) {int rx = root(x);int ry = root(y);if (rx == ry) {printf("YES\n");} else {printf("NO\n");}
}void undo() {if (s1.empty()) {return;}auto t = s1.top();s1.pop();int rx = t.first;int ry = t.second;pre[rx] = rx;sz[ry] -= sz[rx];
}int main() {int n, m;scanf("%d %d", &n, &m);init(n);while (m--) {int opt;scanf("%d", &opt);if (opt == 2) {undo();} else {int a, b;scanf("%d %d", &a, &b);if (opt == 1) {merge(a, b);} else {check(a, b);}}}return 0;
}