mirror of
https://git.sb/baoshuo/OI-codes.git
synced 2024-12-18 04:32:00 +00:00
210 lines
3.8 KiB
C++
210 lines
3.8 KiB
C++
|
#include <iostream>
|
||
|
#include <stack>
|
||
|
|
||
|
using std::cin;
|
||
|
using std::cout;
|
||
|
const char endl = '\n';
|
||
|
|
||
|
const int N = 3e5 + 5;
|
||
|
|
||
|
class LinkCutTree {
|
||
|
private:
|
||
|
struct node {
|
||
|
size_t l, r, f;
|
||
|
unsigned v, s;
|
||
|
bool rev;
|
||
|
|
||
|
node()
|
||
|
: l(0), r(0), f(0), s(0), v(0), rev(false) {}
|
||
|
|
||
|
node(unsigned _v, size_t _f)
|
||
|
: l(0), r(0), f(_f), s(_v), v(_v), rev(false) {}
|
||
|
|
||
|
size_t &child(unsigned x) {
|
||
|
return !x ? l : r;
|
||
|
}
|
||
|
} tr[N];
|
||
|
|
||
|
inline void pushup(size_t u) {
|
||
|
tr[u].s = tr[tr[u].l].s ^ tr[u].v ^ tr[tr[u].r].s;
|
||
|
}
|
||
|
|
||
|
inline void pushdown(const size_t &u) {
|
||
|
if (!tr[u].rev) return;
|
||
|
|
||
|
std::swap(tr[u].l, tr[u].r);
|
||
|
tr[tr[u].l].rev = !tr[tr[u].l].rev;
|
||
|
tr[tr[u].r].rev = !tr[tr[u].r].rev;
|
||
|
tr[u].rev = false;
|
||
|
}
|
||
|
|
||
|
unsigned relation(const size_t &u) {
|
||
|
return u == tr[tr[u].f].l ? 0 : 1;
|
||
|
}
|
||
|
|
||
|
bool isRoot(const size_t &u) {
|
||
|
return tr[tr[u].f].l != u && tr[tr[u].f].r != u;
|
||
|
}
|
||
|
|
||
|
void rotate(size_t u) {
|
||
|
size_t p = tr[u].f;
|
||
|
unsigned x = relation(u);
|
||
|
|
||
|
if (!isRoot(p)) {
|
||
|
tr[tr[p].f].child(relation(p)) = u;
|
||
|
}
|
||
|
tr[u].f = tr[p].f;
|
||
|
|
||
|
if (tr[u].child(x ^ 1)) {
|
||
|
tr[tr[u].child(x ^ 1)].f = p;
|
||
|
}
|
||
|
tr[p].child(x) = tr[u].child(x ^ 1);
|
||
|
|
||
|
tr[u].child(x ^ 1) = p;
|
||
|
tr[p].f = u;
|
||
|
|
||
|
pushup(p);
|
||
|
pushup(u);
|
||
|
}
|
||
|
|
||
|
void splay(size_t u) {
|
||
|
std::stack<size_t> st;
|
||
|
|
||
|
size_t cur = u;
|
||
|
st.push(cur);
|
||
|
while (!isRoot(cur)) {
|
||
|
st.push(tr[cur].f);
|
||
|
cur = tr[cur].f;
|
||
|
}
|
||
|
|
||
|
while (!st.empty()) {
|
||
|
pushdown(st.top());
|
||
|
st.pop();
|
||
|
}
|
||
|
|
||
|
while (!isRoot(u)) {
|
||
|
if (isRoot(tr[u].f)) {
|
||
|
rotate(u);
|
||
|
} else if (relation(u) == relation(tr[u].f)) {
|
||
|
rotate(tr[u].f);
|
||
|
rotate(u);
|
||
|
} else {
|
||
|
rotate(u);
|
||
|
rotate(u);
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
void access(size_t u) {
|
||
|
for (size_t f = 0; u; u = tr[f = u].f) {
|
||
|
splay(u);
|
||
|
tr[u].r = f;
|
||
|
pushup(u);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
void makeRoot(const size_t &u) {
|
||
|
access(u);
|
||
|
splay(u);
|
||
|
tr[u].rev = !tr[u].rev;
|
||
|
}
|
||
|
|
||
|
size_t findRoot(size_t u) {
|
||
|
access(u);
|
||
|
splay(u);
|
||
|
|
||
|
while (tr[u].l) {
|
||
|
u = tr[u].l;
|
||
|
}
|
||
|
|
||
|
return u;
|
||
|
}
|
||
|
|
||
|
void split(const size_t &x, const size_t &y) {
|
||
|
makeRoot(x);
|
||
|
access(y);
|
||
|
splay(y);
|
||
|
}
|
||
|
|
||
|
public:
|
||
|
void set(int p, int v) {
|
||
|
tr[p].s = tr[p].v = v;
|
||
|
}
|
||
|
|
||
|
unsigned query(int x, int y) {
|
||
|
split(x, y);
|
||
|
|
||
|
return tr[y].s;
|
||
|
}
|
||
|
|
||
|
void link(const int &x, const int &y) {
|
||
|
makeRoot(x);
|
||
|
|
||
|
if (findRoot(y) != x) {
|
||
|
tr[x].f = y;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
void cut(int x, int y) {
|
||
|
split(x, y);
|
||
|
|
||
|
if (tr[y].l == x) {
|
||
|
tr[y].l = 0;
|
||
|
tr[x].f = 0;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
void change(int p, int v) {
|
||
|
access(p);
|
||
|
splay(p);
|
||
|
tr[p].v = v;
|
||
|
pushup(p);
|
||
|
}
|
||
|
} lct;
|
||
|
|
||
|
int n, m;
|
||
|
|
||
|
int main() {
|
||
|
std::ios::sync_with_stdio(false);
|
||
|
cin.tie(nullptr);
|
||
|
|
||
|
cin >> n >> m;
|
||
|
|
||
|
for (int i = 1, x; i <= n; i++) {
|
||
|
cin >> x;
|
||
|
|
||
|
lct.set(i, x);
|
||
|
}
|
||
|
|
||
|
while (m--) {
|
||
|
int op, x, y;
|
||
|
|
||
|
cin >> op >> x >> y;
|
||
|
|
||
|
switch (op) {
|
||
|
case 0: {
|
||
|
cout << lct.query(x, y) << endl;
|
||
|
|
||
|
break;
|
||
|
}
|
||
|
case 1: {
|
||
|
lct.link(x, y);
|
||
|
|
||
|
break;
|
||
|
}
|
||
|
case 2: {
|
||
|
lct.cut(x, y);
|
||
|
|
||
|
break;
|
||
|
}
|
||
|
case 3: {
|
||
|
lct.change(x, y);
|
||
|
|
||
|
break;
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
return 0;
|
||
|
}
|