Graph Game

发表于 | 分类于

题意

给出一张无向图，定义S[x]表示与点x直接相连的点集，有两个操作
1 x y表示将第x到第y条边状态变化(若存在则删除，不存在则建立)
2 x y询问S[x]与S[y]是否相等

题解

有一个技巧可以压缩的表示点集：给每个点随机一个key，S[x]就可以表示为
与x相连的点的key亦或起来。
考虑如何维护S[x], 因为修改操作是对输入的顺序的区间修改，我们就按边输入的
顺序进行分块，用sum[i][j]记录第i块对点j的贡献值，也就是如果第i块有一条边u-v
那么$sum[i][u] \bigoplus= key[v], sum[i][v] \bigoplus= key[u]$
查询一个点的点集就变成求$sum[1][x] \bigoplus sum[2][x] \bigoplus sum[3][x] \cdots \bigoplus sum[num][x]$
修改的时候如果修改区间落在不同的块上，对夹在中间的块打个lazy标记，表示查询的时候
不用亦或上这个块的贡献，对与两边块内的修改操作可以再用一个数组S记录暴力修改的状态，
比如要修改区间$[l,r]$是块内的,那么就修改$S[u[i]] \bigoplus= key[v[i]], S[v[i]] \bigoplus= key[u[i]] (i\in[l,r])$
查询x的点集时再xor上S[x]就行，总的来说就是块间修改只需要对sum打标记，块内修改就
暴力更改S,最后复杂度$O(q\sqrt m)$，分块的时候块数要开成$1.5\sqrt m$

代码

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
#include <bits/stdc++.h>

using namespace std;
const int mx = 2e5+10;
typedef long long ll;

int belong[mx], block, num, l[mx], r[mx], id[mx];
int n, m, q, u[mx], v[mx];
int lazy[mx];
ll  sum[450][mx], S[mx];

void build() {
    block = 1.5*sqrt(m);
    num = m / block;
    if (m % block) num++;
    for (int i = 1; i <= num; i++) {
        l[i] = (i-1) * block + 1;
        r[i] = i * block;
        lazy[i] = 1;
        for (int j = 1; j <= n; j++)
            sum[i][j] = 0;
    }
    r[num] = m;
    for (int i = 1; i <= m; i++)
        belong[i] = (i-1) / block + 1;
    for (int i = 1; i <= n; i++) S[i] = 0;
         
}

void update(int x, int y) {
    if (belong[x] == belong[y]) {
        for (int i = x; i <= y; i++) {
            S[u[i]] ^= id[v[i]];
            S[v[i]] ^= id[u[i]];
        }
        return;
    }
    int L = belong[x], R = belong[y];
    for (register int i = x; i <= r[L]; i++) {
        S[u[i]] ^= id[v[i]];
        S[v[i]] ^= id[u[i]];
    }
    for (register int i = L+1; i < R; i++) lazy[i] ^= 1;
    for (register int i = l[R]; i <= y; i++) {
        S[u[i]] ^= id[v[i]];
        S[v[i]] ^= id[u[i]];
    }
}


int main() {
    srand(time(NULL));
    for (int i = 1; i < 100005; i++) id[i] = rand() + 1;
    int T;
    scanf("%d", &T);

    while (T--) {
        scanf("%d%d", &n, &m);
        build();
        for (int i = 1; i <= m; i++) {
            scanf("%d%d", &u[i], &v[i]);
            sum[belong[i]][u[i]] ^= id[v[i]];
            sum[belong[i]][v[i]] ^= id[u[i]];
        }
        scanf("%d", &q);
        while (q--) {
            int op, x, y;
            scanf("%d%d%d", &op, &x, &y);
            if (op == 1) {
                update(x, y);
            } else {
                ll ansx = S[x], ansy = S[y];
                for (int i = 1; i <= num; i++) {
                    if (lazy[i]) {
                        ansx ^= sum[i][x];
                        ansy ^= sum[i][y];
                    }
                }
                putchar(ansx==ansy?'1':'0');
            }
        }
        putchar('\n');
    }
    return 0;
}