CSU - 1258 维护序列 [线段树]

Description
现在有一个N个整数组成的序列，这N个整数的标号分别为1, 2, …, N，对这个序列一共进行两类操作：

① 1 x y：表示将第x个和第y个（包括x、y）整数之间的所有整数的二进制的最低位的1变为0，如果某个整数的值为0，则不对这个整数做任何改变。
② 2 x y ：表示你需要回答第x个和第y个（包括x、y）整数之间的所有整数异或的结果。

Input
输入包含多组测试数据。
对于每组测试数据，第一行包含两个正整数N(2<=N<=10^4)、M(1<=M<=10^5)，表示这个序列一共有N个不超过2^30的整数，你需要处理M次操作。接下来一共有M行，每行均描述了一种操作。
Output
对于每个第②类操作，用一行输出一个整数表示回答的结果。

Sample Input
3 4
3 6 0
2 2 2
2 1 2
1 1 3
2 1 3
Sample Output
6
5
6

题解

MAX_N 写成题中的上限1e5，而10005 会RE，不知道为什么

由于对区间去除尾数零，区间是会取向规整化的，都有变为 0 的趋势。
于是我们记录区间的或，如果为零，怎么操作都是零，change和query时直接return 即可
//这是一个非常关键的剪枝，否则就变成单纯的暴力题了

#include<cstdio>
#include<cstring>
#include<cmath>
#include<queue>
#include<stack>
#include<vector>
#include<algorithm>
#define INF 0x3f3f3f3f
#define MAX_N 20005
using namespace std;
typedef long long LL;

struct node{
    int ans,ans0;//ans->区间异或  ans0->区间或
}dat[MAX_N*3];

int res[MAX_N];

void build(int k,int l,int r){
    if(l==r){
        dat[k].ans0=dat[k].ans=res[l];
        return ;
    }
    build(k<<1,l,(l+r)/2);
    build(k<<1|1,(l+r)/2+1,r);
    dat[k].ans=dat[k<<1].ans^dat[k<<1|1].ans;
    dat[k].ans0=dat[k<<1].ans0|dat[k<<1|1].ans0;
}

void change(int k,int l,int r,int ql,int qr){
    if(r<ql||l>qr||dat[k].ans0==0) return ;
    if(l==r){
        if(dat[k].ans) dat[k].ans0=dat[k].ans-=dat[k].ans&-dat[k].ans;
        return ;
    }
    change(k<<1,l,(l+r)/2,ql,qr);
    change(k<<1|1,(l+r)/2+1,r,ql,qr);
    dat[k].ans=dat[k<<1].ans^dat[k<<1|1].ans;
    dat[k].ans0=dat[k<<1].ans0|dat[k<<1|1].ans0;
}

int query(int k,int l,int r,int ql,int qr){
    if(r<ql||l>qr||dat[k].ans0==0) return 0;
    if(l>=ql&&r<=qr){
        return dat[k].ans;
    }
    int t1=query(k<<1,l,(l+r)/2,ql,qr);
    int t2=query(k<<1|1,(l+r)/2+1,r,ql,qr);
    return t1^t2;
}

int main()
{
    int n,m,x,y,op;
    while(scanf("%d%d",&n,&m)!=EOF){
        for(int i=1;i<=n;i++)
            scanf("%d",&res[i]);
        build(1,1,n);
        while(m--){
            scanf("%d%d%d",&op,&x,&y);
            if(op==1) change(1,1,n,x,y);
            else printf("%d\n",query(1,1,n,x,y));
        }
    }
    return 0;
}