MZOJ #83 位运算

分析

关于位运算

位运算,不同位之间互不影响,于是有同学是一位一位来的

其实一般遇到了位运算的题都可以考虑一位一位操作

然鹅有大佬炸空间了

不过也有大佬过了

我倒是没有一位一位存,不过思想是一样的,

关于 & 操作

关于&操作的结果,是把原来的1变成了0,其余位不改变

也就是说,这个&操作,相当于0的or操作

关于change值

对于&的change值,如果change的这一位是1,那么这一位的答案不影响,如果这一位是0,那么区间所有数的这一位都变成了0

而 | 操作恰恰相反,

对于|的change值,如果change的这一位是0,那么这一位的答案不影响,如果这一位是1,那么区间所有数的这一位都变成了1

区间奇偶讨论

因为&操作是赋零,0的异或值一定是0所以不分奇偶讨论

因为|操作是赋一,1的异或值与奇偶有关,所以区间的异或值与区间长度的奇偶性有关

关于lazytag

某一位是0或1与区间长度的奇偶性有关,与父亲区间长无关,所以从父亲继承lazytag的时候保留原来的的值

又因为lazytag之间操作会相互影响,所以也要互相标记

关于题解

代码

  1 /********************
  2 User:Mandy
  3 Language:c++
  4 Problem:
  5 ********************/
  6 //关于&操作的结果,是把原来的1变成了0,其余位不改变
  7 //也就是说,这个&操作,相当于0的or操作,
  8 //对于change,如果change的这一位是1,那么这一位的答案不影响,如果这一位是0,那么区间所有数的这一位都变成了0 
  9 //|操作恰恰相反,
 10 // 对于change,如果change的这一位是0,那么这一位的答案不影响,如果这一位是1,那么区间所有数的这一位都变成了1
 11 //接下来就是奇偶讨论了
 12 //about lazytag:与区间长度的奇偶性有关,与父亲区间长无关,所以从父亲继承的时候保留原来的的值 
 13 //&操作因为是赋零,0的异或值一定是0所以不分奇偶讨论 
 14 #include<bits/stdc++.h>
 15 #define lson l,mid,k<<1
 16 #define rson mid + 1,r,k<<1|1
 17 
 18 using namespace std;
 19 
 20 const int maxn = 2e5 + 5;
 21 
 22 int n,m,change;
 23 bool K[20]; 
 24 int tree[maxn << 2];
 25 int  lazy[maxn << 2][3];
 26 //lazy[k][0] -> & 
 27 //lazy[k][1] -> | 
 28 char *TT,*mo,but[(1 << 15) + 2];
 29 #define getchar() ((TT == mo && (mo = ((TT = but) + fread(but,1,1 << 15,stdin)),TT == mo)) ? -1 : *TT++) 
 30 template<class T>inline void read(T &x){
 31     x = 0;bool flag = 0;char ch = getchar();
 32     while(!isdigit(ch)) flag |= ch == '-',ch = getchar();
 33     while(isdigit(ch)) x = (x << 1) + (x << 3) + (ch ^ 48),ch = getchar();
 34     if(flag) x = -x;
 35 }
 36 
 37 template<class T>void putch(const T x){
 38     if(x > 9) putch(x / 10);
 39     putchar(x % 10 | 48);
 40 }
 41 
 42 template<class T>void put(const T x){
 43     if(x < 0) putchar('-'),putch(-x);
 44     else putch(x);
 45 }
 46 
 47 void file(){
 48     freopen("bit8.in","r",stdin);
 49     freopen("bit.out","w",stdout);
 50 }
 51 
 52 void pushup(int k){
 53     tree[k] = tree[k<<1]^tree[k<<1|1];
 54 }
 55 
 56 void buildtree(int l,int r,int k){
 57     lazy[k][0] = (1 << 30)-1;//初值!!! 
 58     if(l == r){
 59         read(tree[k]);
 60         return;
 61     }
 62     int mid = (l + r) >> 1;
 63     buildtree(lson);
 64     buildtree(rson);
 65     pushup(k);
 66 }
 67 
 68 void readdata(){
 69     read(n);read(m);
 70     buildtree(1,n,1);
 71 }
 72 
 73 void pushdown(int l,int r,int k){
 74     int mid = (l+r)>>1;
 75     int ls = k<<1;
 76     int rs = k<<1|1;
 77     tree[ls] &= lazy[k][0];
 78     tree[rs] &= lazy[k][0];
 79     
 80     lazy[ls][0] &= lazy[k][0];
 81     lazy[rs][0] &= lazy[k][0];
 82     lazy[ls][1] &= lazy[k][0];
 83     lazy[rs][1] &= lazy[k][0];
 84     lazy[ls][1] |= lazy[k][1];
 85     lazy[ls][0] |= lazy[k][1];
 86     lazy[rs][1] |= lazy[k][1];
 87     lazy[rs][0] |= lazy[k][1];
 88     //about lazytag:与区间长度的奇偶性有关,与父亲区间长无关,所以从父亲继承的时候保留原来的的值
 89     if((mid-l+1)&1) tree[ls] |= lazy[k][1];
 90     else tree[ls] &= (((1 << 30)-1) ^ lazy[k][1]);
 91     
 92     if((r - mid) & 1) tree[rs] |= lazy[k][1];    
 93     else tree[rs] &= (((1 << 30)-1) ^ lazy[k][1]);    
 94     
 95     lazy[k][0] = (1 << 30)-1;
 96     lazy[k][1] = 0;
 97 }
 98 
 99 void And(int l,int r,int k,int x,int y){
100     if(x <= l && r <= y){
101         tree[k] &= change;
102         lazy[k][0] &= change;
103         lazy[k][1] &= change;
104         //&操作因为是赋零,0的异或值一定是0所以不分奇偶讨论 
105         //因为lazytag之间操作会相互影响,所以也要互相标记
106         return;
107     }
108     pushdown(l,r,k);
109     int mid = (l + r) >> 1;
110     if(x <= mid) And(lson,x,y);
111     if(y > mid) And(rson,x,y);
112     pushup(k);
113 }
114 
115 void Or(int l,int r,int k,int x,int y){
116     if(x <= l && r <= y){
117         if((r-l+1)&1) tree[k] |= change;
118         else tree[k] &= (((1 << 30)-1) ^change);
119         
120         lazy[k][1] |= change;
121         lazy[k][0] |= change;
122         return;
123     }
124     pushdown(l,r,k);
125     int mid = (l + r) >> 1;
126     if(x <= mid) Or(lson,x,y);
127     if(y > mid) Or(rson,x,y);
128     pushup(k);
129 }
130 
131 int  query(int l,int r,int k,int x,int y){
132     if(x <= l && r <= y) return tree[k];
133     pushdown(l,r,k);
134     int mid = (l + r) >> 1;
135     int ans = 0;
136     if(x <= mid) ans ^= query(lson,x,y);
137     if(y > mid) ans^= query(rson,x,y);    
138     return ans;
139 }
140 
141 void work(){
142     while(m--){
143         int opt,k,l,r;        
144         read(opt);
145         
146         switch(opt){//opt possible != 1 or 2 or 3
147             case 1:{
148                 read(l);read(r);
149                 read(change);
150                 And(1,n,1,l,r);
151                 break;
152             }
153             case 2:{read(l);read(r);
154                 read(change);
155                 Or(1,n,1,l,r);
156                 break;
157             }
158             case 3:{read(l);read(r);
159                 int ans = query(1,n,1,l,r);
160                 put(ans);
161                 puts("");
162                 break;
163             }
164             default:{
165                 break;
166             }
167         }
168     }
169 }
170 
171 int main(){
172 //    file();
173     readdata();
174     work();
175     return 0;
176 }
不拆位
  1 #include<bits/stdc++.h>
  2 #define re return
  3 #define inc(i,l,r) for(register int i=l;i<=r;++i)
  4 using namespace std;
  5 template<typename T>inline void rd(T&x)
  6 {
  7     char c;bool f=0;
  8     while((c=getchar())<'0'||c>'9')if(c=='-')f=1;
  9     x=c^48;
 10     while((c=getchar())>='0'&&c<='9')x=x*10+(c^48);
 11 }
 12 
 13 const int maxn=1000005;
 14 int n,m,K[20],a,ans[20];
 15 
 16 bool tr[maxn][20];
 17 int lazy[maxn][20];
 18 //tr原数,lazy懒标记 
 19 
 20 #define lson rt<<1
 21 #define rson rt<<1|1
 22 
 23 inline void pushup(int rt)
 24 {
 25     inc(i,0,19)
 26     tr[rt][i]=tr[lson][i]^tr[rson][i];
 27 }
 28 
 29 inline void build(int rt,int l,int r)
 30 {
 31     if(l==r)
 32     {
 33         rd(a);
 34         inc(i,0,19)
 35         tr[rt][i]=(a>>i)&1;
 36         re ;
 37     }
 38     
 39     int mid=(l+r)>>1;
 40     build(lson,l,mid);
 41     build(rson,mid+1,r);
 42     pushup(rt);
 43 }
 44 
 45 inline void pushdown(int rt,int l,int r,int mid)
 46 {
 47     inc(i,0,19)
 48     if(lazy[rt][i])
 49     {
 50         lazy[lson][i]=lazy[rson][i]=lazy[rt][i];
 51         if(lazy[rt][i]==1)
 52             tr[lson][i]=tr[rson][i]=0;
 53         else 
 54         {
 55             tr[lson][i]=(mid-l+1)&1;
 56             tr[rson][i]=(r-mid)&1;
 57         }
 58         lazy[rt][i]=0;
 59     }
 60 
 61 }
 62 
 63 inline void modify_and(int rt,int l,int r,int x,int y)
 64 {
 65     if(x<=l&&r<=y)
 66     {
 67         inc(i,0,19)
 68         if(!K[i])
 69         {
 70             tr[rt][i]=0;
 71             lazy[rt][i]=1;//区间赋0 
 72         }
 73         re ;
 74     }
 75     int mid=(l+r)>>1;
 76     pushdown(rt,l,r,mid);
 77     if(x<=mid)modify_and(lson,l,mid,x,y);
 78     if(y>mid)modify_and(rson,mid+1,r,x,y);
 79     
 80     pushup(rt);
 81 }
 82 
 83 inline void modify_or(int rt,int l,int r,int x,int y)
 84 {
 85     if(x<=l&&r<=y)
 86     {
 87         int f=(r-l+1)&1;
 88         inc(i,0,19)
 89         if(K[i])
 90         {
 91             tr[rt][i]=f;
 92             lazy[rt][i]=2;//区间赋1 
 93         }
 94         re ;
 95     }
 96     int mid=(l+r)>>1;
 97     pushdown(rt,l,r,mid);
 98     if(x<=mid)modify_or(lson,l,mid,x,y);
 99     if(y>mid)modify_or(rson,mid+1,r,x,y);
100     
101     pushup(rt);
102 }
103 
104 inline void ask(int rt,int l,int r,int x,int y)
105 {
106     if(x<=l&&r<=y)
107     {
108         inc(i,0,19)
109         ans[i]^=tr[rt][i];
110         re ;
111     }
112     int mid=(l+r)>>1;
113     pushdown(rt,l,r,mid);
114     if(x<=mid)ask(lson,l,mid,x,y);
115     if(y>mid) ask(rson,mid+1,r,x,y);
116 }
117 
118 int main()
119 {
120     //freopen("in.txt","r",stdin);
121     rd(n),rd(m);
122     build(1,1,n);
123     
124     int opt,k,l,r,ansnow;
125     inc(i,1,m)
126     {
127         rd(opt);
128         if(opt==3)
129         {    
130         rd(l),rd(r);
131             ansnow=0;
132             ask(1,1,n,l,r);
133             inc(j,0,17)
134             if(ans[j])
135             {
136                 ansnow|=(1<<j);
137                 ans[j]=0;
138             }
139             printf("%d\n",ansnow);
140         
141         }
142         else if(opt==1||opt==2)
143         {
144             
145         rd(l),rd(r);
146             rd(k);
147             inc(j,0,17)
148             K[j]=(k>>j)&1;
149             if(opt==1)modify_and(1,1,n,l,r);    
150             else modify_or(1,1,n,l,r);
151         }
152     
153     }
154     re 0;
155 }
拆位 By LSY

 

posted @ 2019-09-07 08:27  Mandy_H_Y  阅读(217)  评论(0编辑  收藏  举报