题意
现在cf上看题意真nm麻烦,有道网页翻译和谷歌翻译鬼畜的一匹
两个人在玩一个游戏。
有一个有(n)个数序列(B),一开始有一个棋子在(B)的第一个位置。
双方轮流操作,第一次操作前将(B_1-1)。
然后每次操作,你可以把棋子移到一个位置(jin[i,min(i+m,n)])且(B_j>0),然后将(B_j-1),假设双方都采用最优策略,谁先不能操作谁输。
然后你的将要解决的问题是:
给出一个长度为(n)的序列(A)和(m),以及询问数(q)。
询问有两种,一种是区间加,另一种是询问(A)序列的一个区间,以这段区间作为序列(B)进行上面的游戏,问先手还是后手赢。
(n.q<=2*10^5 m<=5)
Solution
先考虑给出一个序列(B),怎么判断是先手赢还是后手赢。
设(f_i)为当一个玩家第一次选到第(i)个位置时他会不会赢。
如果([i+1,i+m])里有一个先手必胜,那么这个位置就是先手必败,(f_i=0)。
否则就要看当前位置上的值的奇偶性了,冷静分析下不难想到这时当(A_i)为偶数时(f_i=0),为奇数时(f_i=1)。
所以当前(f_i)的值我们可以从(f_j (j in [i+1,i+m]))中推出。
然后考虑这东西怎么维护。
发现(m)很小,所以我们大力把后(m)个(f_j)压起来。
用线段树来维护这个东西,每个节点维护当这个区间的右端点右边的(m)个位置的(f_j)压起来为(k)时,这个区间左端点右边的(m)个(f_j)压起来的值。
合并的时候(xjb)的转移下就行了。
修改的话,不难发现当(d)为偶数并没有什么用。
我们可以把当区间所有数^1的值也算出来,那么修改就只要(swap)一下就行了。
感觉(NOIP)后搞文化课导致降智严重啊...连这样的题都要看题解了...(QAQ)
#include<bits/stdc++.h>
#define For(i,x,y) for (register int i=(x);i<=(y);i++)
#define Dow(i,x,y) for (register int i=(x);i>=(y);i--)
#define cross(i,k) for (register int i=first[k];i;i=last[i])
using namespace std;
typedef long long ll;
inline ll read(){
ll x=0;int ch=getchar(),f=1;
while (!isdigit(ch)&&(ch!='-')&&(ch!=EOF)) ch=getchar();
if (ch=='-'){f=-1;ch=getchar();}
while (isdigit(ch)){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
return x*f;
}
const int N = 3e5+10;
int n,m,q,p,a[N];
struct node{
int f[32];
inline node operator + (const node &b)const{
node ans;
For(i,0,p) ans.f[i]=f[b.f[i]];
return ans;
}
};
inline node New(int x){
node ans;ans.f[0]=x;
For(i,1,p) ans.f[i]=i<<1&p;
return ans;
}
struct SegMent_Tree{
node v[N<<2][2];
bool lazy[N<<2];
inline void push_up(int u){For(i,0,1) v[u][i]=v[u<<1][i]+v[u<<1^1][i];}
inline void Build(int u,int l,int r){
if (l==r){v[u][0]=New(a[l]),v[u][1]=New(a[l]^1);return;}
int mid=l+r>>1;Build(u<<1,l,mid),Build(u<<1^1,mid+1,r);
push_up(u);
}
inline void push_down(int u){
if (!lazy[u]) return;
swap(v[u<<1][0],v[u<<1][1]),swap(v[u<<1^1][0],v[u<<1^1][1]);
lazy[u<<1]^=1,lazy[u<<1^1]^=1,lazy[u]=0;
}
inline void update(int u,int l,int r,int ql,int qr){
if (l>=ql&&r<=qr){lazy[u]^=1,swap(v[u][0],v[u][1]);return;}
int mid=l+r>>1;push_down(u);
if (qr<=mid) update(u<<1,l,mid,ql,qr);
else if (ql>mid) update(u<<1^1,mid+1,r,ql,qr);
else update(u<<1,l,mid,ql,qr),update(u<<1^1,mid+1,r,ql,qr);
push_up(u);
}
inline node Query(int u,int l,int r,int ql,int qr){
if (l>=ql&&r<=qr) return v[u][0];
int mid=l+r>>1;push_down(u);
if (qr<=mid) return Query(u<<1,l,mid,ql,qr);
else if (ql>mid) return Query(u<<1^1,mid+1,r,ql,qr);
else return Query(u<<1,l,mid,ql,qr)+Query(u<<1^1,mid+1,r,ql,qr);
}
}t;
int main(){
n=read(),m=read(),q=read(),p=(1<<m)-1;
For(i,1,n) a[i]=read()&1;
t.Build(1,1,n);
while (q--){
int opt=read(),l=read(),r=read();
if (opt==2) puts(t.Query(1,1,n,l,r).f[0]&1?"2":"1");
else if (read()&1) t.update(1,1,n,l,r);
}
}