Just Another Game of Stones(线段树 + 博弈) icpc2020 南京

题目链接: Just Another Game of Stones

大致题意

有n堆石子, 有两种操作:

​ ①把[l, r]区间的所有石子和x取一个max, 即: 原先石子不足x的, 补足到x, 反之不变.
​ ②将[l, r]区间的所有石子和x放在一起, 凑成r - l + 2堆石子进行尼姆游戏, 问先手第一次取石子有多少种不同的必胜取法. 只要取的石子数目不同, 或者数目相同堆不同, 都算不同的取法.

解题思路

首先这道题的操作①是很明显的吉老师线段树的修改操作. 重点是在于操作②.

对于操作②而言, 假设所有**[l, r]区间石子和x的异或和为sum**, 若sum为0, 此时先手必输, 输出0即可.
反之若此时的sum不为0, 那么我们就要采取一种取法, 使得取完后所有石子的异或和sum’为0.

假设要取的石子堆中的石子数目为c, 则应有 c > (sum ^ c), 因为如果不算当前堆, 所有石子的异或和就是(sum ^ c), 而我们要把这些位上的1都拿走, 因此有如上等式. 而考虑到如果sum最高位1所处的位置在c上也是1, 则上式一定成立, 反之上式一定不成立.

因此我们可以得出结论: 我们需要找到sum最高位1所在的位置index, 所有index位置处也是1的石子堆都是存在一种解的.

AC代码

#include <bits/stdc++.h>
#define rep(i, n) for (int i = 1; i <= (n); ++i)
using namespace std;
typedef long long ll;
const int N = 2E5 + 10, INF = INT_MAX; //特别注意本题INF不可以设置为 0x3f3f3f3f, 因为 2^30 - 1比这个数字大.
int w[N];
struct node {
    int l, r;
    int val, fmin, num, smin;
    int lazy;
    int a[30];
}t[N << 2];
void change(node& op, int x, int y) {
    for (int i = 0; i < 30; ++i) {
        op.a[i] += ((y >> i & 1) - (x >> i & 1)) * op.num;
    }
}

void pushdown(node& op, int lazy) {
    if (op.fmin >= lazy) return;
    change(op, op.fmin, lazy);
    if (op.num & 1) op.val ^= op.fmin ^ lazy;
    op.fmin = op.lazy = lazy;
}
void pushdown(int x) {
    if (t[x].lazy == -1) return;
    pushdown(t[x << 1], t[x].lazy), pushdown(t[x << 1 | 1], t[x].lazy);
    t[x].lazy = -1;
}

void pushup(int x) {
    t[x].val = t[x << 1].val ^ t[x << 1 | 1].val;
    for (int i = 0; i < 30; ++i) t[x].a[i] = t[x << 1].a[i] + t[x << 1 | 1].a[i];
    
    if (t[x << 1].fmin == t[x << 1 | 1].fmin) {
        t[x].fmin = t[x << 1].fmin;
        t[x].num = t[x << 1].num + t[x << 1 | 1].num;
        t[x].smin = min(t[x << 1].smin, t[x << 1 | 1].smin);
    }
    else {
        bool k = t[x << 1 | 1].fmin < t[x << 1].fmin;
        t[x].fmin = t[x << 1 | k].fmin;
        t[x].num = t[x << 1 | k].num;
        t[x].smin = min(t[x << 1 | k].smin, t[x << 1 | (k ^ 1)].fmin);
    }
}

void build(int l, int r, int x = 1) {
    t[x] = { l, r, w[l], w[l], 1, INF, -1 };
    if (l == r) {
        change(t[x], 0, w[l]);
        return;
    }
    int mid = l + r >> 1;
    build(l, mid, x << 1), build(mid + 1, r, x << 1 | 1);
    pushup(x);
}

void modify(int l, int r, int c, int x = 1) {
    if (t[x].fmin >= c) return;
    if (l <= t[x].l && r >= t[x].r) {
        if (c <= t[x].smin) {
            pushdown(t[x], c);
            return;
        }
    }
    pushdown(x);
    int mid = t[x].l + t[x].r >> 1;
    if (l <= mid) modify(l, r, c, x << 1);
    if (r > mid) modify(l, r, c, x << 1 | 1);
    pushup(x);
}

int a[30];
int ask(int l, int r, int x = 1) {
    if (l <= t[x].l && r >= t[x].r) {
        for (int i = 0; i < 30; ++i) a[i] += t[x].a[i];
        return t[x].val;
    }
    pushdown(x);
    int res = 0;
    int mid = t[x].l + t[x].r >> 1;
    if (l <= mid) res ^= ask(l, r, x << 1);
    if (r > mid) res ^= ask(l, r, x << 1 | 1);
    return res;
}
int main()
{
    int n, m; cin >> n >> m;
    rep(i, n) scanf("%d", &w[i]);
    build(1, n);
   
    while (m--) {
        int tp, l, r, c; scanf("%d %d %d %d", &tp, &l, &r, &c);
        if (tp == 1) modify(l, r, c);
        else {
            memset(a, 0, sizeof a);
            int sum = ask(l, r) ^ c;
            if (!sum) { printf("%d\n", 0); continue; }
            
            int index = log2(sum); //学到了, 用log2取最高位1的位置

            printf("%d\n", a[index] + ((c >> index) & 1));
        }
    }
    return 0;
}

END