问题 E: 小A盗墓

问题 E: 小A盗墓

一开始想动态主席树，但是太麻烦了，所以就线段树。
询问时区间查询sum和以及xor异或和，然后利用规律通过sum和找这段区间应该开始的be和应该结束的en，然后利用函数xor_n求be到en的前缀异或和，然后将其与线段树查询的异或和相比较即可。

学到了一个小知识点，求1到n的异或和。
注意有时候可能要开unsigned long long。
模板：

long long xor_n(long long n){
    long long t=n&3;
    if(t&1)
        return t/2^1;
    return t/2^n;
}

#include<iostream>
#include<cstdio>
using namespace std;
const int MAX_N=501000;
struct node{
  int l,r;
  long long sum,xxor;
}a[MAX_N*4];
long long b[MAX_N];
void update(int k){
  a[k].sum=a[k<<1].sum+a[k<<1|1].sum;
  a[k].xxor=a[k<<1].xxor^a[k<<1|1].xxor;
}
void build(int k,int l,int r){
  a[k].l=l;a[k].r=r;
  if(l==r){
    a[k].sum=b[l];
    a[k].xxor=b[l];
    return;
  }
  int mid=(l+r)>>1;
  build(k<<1,l,mid);
  build(k<<1|1,mid+1,r);
  update(k);
}
void change(int k,int x,int y){
  if(a[k].l==a[k].r){
    a[k].sum=y;
    a[k].xxor=y;
    return;
  }
  int mid=(a[k].l+a[k].r)/2;
  if(x<=mid)
  change(k<<1,x,y);
  else
  change(k<<1|1,x,y);
  update(k);
}
long long query_sum(int k,int l,int r){
  if(a[k].l>=l&&a[k].r<=r)
  return a[k].sum;
  int mid=(a[k].l+a[k].r)>>1;
  long long x=0;
  if(r>mid)
  x+=query_sum(k<<1|1,l,r);
  if(l<=mid)
  x+=query_sum(k<<1,l,r);
  return x;
}
long long query_xor(int k,int l,int r){
  if(a[k].l>=l&&a[k].r<=r)
  return a[k].xxor;
  int mid=(a[k].l+a[k].r)>>1;
  long long x=0;
  if(r>mid)
  x^=query_xor(k<<1|1,l,r);
  if(l<=mid)
  x^=query_xor(k<<1,l,r);
  return x;
}
long long xor_n(long long n){
    long long t=n&3;
    if(t&1)
        return t/2^1;
    return t/2^n;
}
int main(void){
    int n,m,i,op,x,y;
    scanf("%d%d",&n,&m);
    for(i=1;i<=n;i++){
        scanf("%lld",&b[i]);
    }
    build(1,1,n);
    for(i=0;i<m;i++){
        scanf("%d%d%d",&op,&x,&y);
        if(op==1){
            change(1,x,y);
        }
        else{
            //cout<<"hi\n";
            long long a=query_sum(1,x,y);
            long long b=query_xor(1,x,y);
            long long len=y-x+1;
            long long be,en;
            if(len%2!=0){
                if(a%len!=0){
                    printf("No\n");
                    continue;
                }
                else{
                    be=a/len-len/2;
                    en=be+len-1;
                }
                //cout<<"hi\n";
                long long xxor=xor_n(en)^xor_n(be-1);
                //cout<<"hi\n";
                if(b==xxor)
                    printf("Yes\n");
                else
                    printf("No\n");
            }
            else{
                be=a/len-len/2+1;
                en=be+len-1;
                if((be+en)*(len/2)!=a){
                    printf("No\n");
                    continue;
                }
                else{
                    long long xxor=xor_n(en)^xor_n(be-1);
                    if(b==xxor)
                        printf("Yes\n");
                    else
                        printf("No\n");
                }
            }
        }
    }
    return 0;
}