题目
维护一颗动态树，并维护一个点对集合 (S) 。
动态查询一条边，是否被集合中所有点对构成的路径包含。
(n le 100000, m le 300000)
题解
orz 前辈 毛爷爷。
一个很有意思的 trick 。
如果一条边，被一条路径包含，那么两个端点分别存在与这条边对应的两个子树内。
我们就可以利用这个巧妙的性质来做了。
我们每次给两个端点异或上一个随机的权值，然后就可以每次查询这条边对应的任意一颗子树内所有点异或和 (res) ，如果 (res) 不等于前面所有操作的异或和，那么就是错的，否则就是正确的。
这利用了异或的自反性，如果两个端点都在子树中那么贡献就会抵消掉，所以就是不合法的。
可以证明这个正确率会非常的高。
至于维护子树信息，只需要 (lct) 多维护一个虚子树信息就行了，也就是对于 (access,link,cut,pushup) 多进行一些操作就行了。
总结
对于有些动态树路径的题，可以考虑只维护两个端点，不用维护整个路径上的信息。
然后可以利用异或的自反性，来保证集合中每个数出现并且仅出现一（奇数）次。
代码
具体实现就在代码里面了。
#include <bits/stdc++.h>
#define For(i, l, r) for(register int i = (l), i##end = (int)(r); i <= i##end; ++i)
#define Fordown(i, r, l) for(register int i = (r), i##end = (int)(l); i >= i##end; --i)
#define Set(a, v) memset(a, v, sizeof(a))
#define Cpy(a, b) memcpy(a, b, sizeof(a))
#define debug(x) cout << #x << ": " << (x) << endl
#define DEBUG(...) fprintf(stderr, __VA_ARGS__)
using namespace std;
typedef unsigned int ui;
template<typename T> inline bool chkmin(T &a, T b) {return b < a ? a = b, 1 : 0;}
template<typename T> inline bool chkmax(T &a, T b) {return b > a ? a = b, 1 : 0;}
inline int read() {
int x(0), sgn(1); char ch(getchar());
for (; !isdigit(ch); ch = getchar()) if (ch == '-') sgn = -1;
for (; isdigit(ch); ch = getchar()) x = (x * 10) + (ch ^ 48);
return x * sgn;
}
void File() {
#ifdef zjp_shadow
freopen ("207.in", "r", stdin);
freopen ("207.out", "w", stdout);
#endif
}
const int N = 1e5 + 1e3;
#define ls(o) ch[o][0]
#define rs(o) ch[o][1]
template<int Maxn>
struct Link_Cut_Tree {
int ch[Maxn][2], fa[Maxn];
inline bool is_root(int o) {
return ls(fa[o]) != o && rs(fa[o]) != o;
}
inline bool get(int o) {
return rs(fa[o]) == o;
}
ui val[Maxn], sub[Maxn], isub[Maxn];
inline void push_up(int o) {
sub[o] = sub[ls(o)] ^ sub[rs(o)] ^ isub[o] ^ val[o];
}
void rotate(int v) {
int u = fa[v], t = fa[u], d = get(v);
fa[ch[u][d] = ch[v][d ^ 1]] = u;
fa[v] = t; if (!is_root(u)) ch[t][rs(t) == u] = v;
fa[ch[v][d ^ 1] = u] = v;
push_up(u); push_up(v);
}
bool rev[Maxn];
inline void Get_Rev(int o) {
rev[o] ^= 1; swap(ls(o), rs(o));
}
inline void push_down(int o) {
if (rev[o])
Get_Rev(ls(o)), Get_Rev(rs(o)), rev[o] = false;
}
void Push_All(int o) {
if (!is_root(o)) Push_All(fa[o]); push_down(o);
}
inline void Splay(int o) {
Push_All(o);
for (; !is_root(o); rotate(o))
if (!is_root(fa[o])) rotate(get(o) != get(fa[o]) ? o : fa[o]);
}
inline void Access(int o) {
for (int t = 0; o; o = fa[t = o])
Splay(o), isub[o] ^= sub[rs(o)], isub[o] ^= sub[rs(o) = t], push_up(o);
}
inline void Make_Root(int o) {
Access(o); Splay(o); Get_Rev(o);
}
inline void Split(int u, int v) {
Make_Root(u); Access(v); Splay(v);
}
inline void Link(int u, int v) {
Split(u, v); fa[u] = v; isub[v] ^= sub[u]; push_up(v);
}
inline void Cut(int u, int v) {
Split(u, v); ls(v) = fa[u] = 0; push_up(v);
}
};
Link_Cut_Tree<N> T;
inline void Update(int o, ui val) {
T.Access(o); T.Splay(o); T.val[o] ^= val; T.push_up(o);
}
random_device Rand;
pair<int, int> Up[N * 3]; ui Val[N * 3], len = 0;
int main () {
File();
read();
int n = read(), m = read();
For (i, 1, n - 1) T.Link(read(), read());
ui cur = 0;
For (i, 1, m) {
int opt = read();
if (opt == 1) {
int x = read(), y = read(), u = read(), v = read();
T.Cut(x, y); T.Link(u, v);
}
if (opt == 2) {
int x = read(), y = read(); Val[++ len] = Rand();
cur ^= Val[len]; Update(x, Val[len]); Update(y, Val[len]);
Up[len] = make_pair(x, y);
}
if (opt == 3) {
int id = read(), x = Up[id].first, y = Up[id].second;
cur ^= Val[id]; Update(x, Val[id]); Update(y, Val[id]);
}
if (opt == 4) {
int x = read(), y = read();
T.Split(x, y);
puts(T.sub[x] == cur ? "YES" : "NO");
}
}
return 0;
}