CF1076G Array Game

一、题目

点此看题

二、解法

首先从博弈的角度分析这道题，假设我们要算$i$的胜负态，先看$[i+1,i+m]$中有没有必败态，如果有$i$就是必胜态。否则我们只能拼当前点权的奇偶性，如果为偶就是必胜态，否则是必败态。

然后这道题要修改，又要区间查询，肯定用线段树了。但现在我们发现问题很不好做，观察数据范围m<=5，这说明后面$m$个胜负态总情况不是很多（$2^5$），并且我们要算一个区间胜负态只需要知道它前面的$m$位，两者告诉我们可以暴力存储所有情况！

设$tr[x][i]$为假设线段树上的点$x$后面的$m$位是$i$（都要用状压），那么它最前面的$m$位是什么。合并左右子树的方法就利用定义（讲不清楚自己看代码），初始化也是一样（讲不清楚自己看代码）[doge]

修改怎么办呢？如果加上的值是偶数，直接忽略；如果是奇数，我们可以把$tr$增加一维，表示未改变奇偶性$/$改变奇偶性后的结果，修改就直接交换即可，其他的就是线段树日常操作了。

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
#define LL long long
const int M = 200005;
int read()
{
    int x=0,flag=1;char c;
    while((c=getchar())<'0' || c>'9') if(c=='-') flag=-1;
    while(c>='0' && c<='9') x=(x<<3)+(x<<1)+(c^48),c=getchar();
    return x*flag;
}
int n,m,k,all,la[4*M];LL d;
struct node
{
    int s[1<<5];
    node() {memset(s,0,sizeof s);}
}tr[4*M][2];
void up(int x)
{
    for(int i=0;i<2;i++)
        for(int j=0;j<all;j++)
            tr[x][i].s[j]=tr[x<<1][i].s[tr[x<<1|1][i].s[j]];
}
void init(int x,int t,int f)
{
    for(int i=0;i<all;i++)
    {
        if(i!=all-1 || !f) tr[x][t].s[i]=(i>>1)+(1<<m-1);
        else tr[x][t].s[i]=(i>>1);
    }
}
void build(int i,int l,int r)
{
    if(l==r)
    {
        scanf("%lld",&d);
        init(i,0,d%2);
        init(i,1,(d%2)^1);
        return ;
    }
    int mid=(l+r)>>1;
    build(i<<1,l,mid);
    build(i<<1|1,mid+1,r);
    up(i);
}
void flip(int x)
{
    la[x]^=1;
    swap(tr[x][0],tr[x][1]);
}
void down(int x)
{
    if(!la[x]) return ;
    flip(x<<1);flip(x<<1|1);
    la[x]=0;
}
void upd(int i,int l,int r,int L,int R)
{
    if(L>r || l>R) return ;
    if(L<=l && r<=R)
    {
        flip(i);
        return ;
    }
    down(i);
    int mid=(l+r)>>1;
    upd(i<<1,l,mid,L,R);
    upd(i<<1|1,mid+1,r,L,R);
    up(i);
}
node ask(int i,int l,int r,int L,int R)
{
    if(L<=l && r<=R)
        return tr[i][0];
    int mid=(l+r)>>1;
    down(i);
    if(L<=mid && R<=mid)
        return ask(i<<1,l,mid,L,R);
    if(L>mid && R>mid)
        return ask(i<<1|1,mid+1,r,L,R);
    node t1=ask(i<<1,l,mid,L,R),res;
    node t2=ask(i<<1|1,mid+1,r,L,R);
    for(int j=0;j<all;j++)
        res.s[j]=t1.s[t2.s[j]];
    return res;
}
int main()
{
    n=read();m=read();k=read();
    all=(1<<m);
    build(1,1,n);
    while(k--)
    {
        int op=read(),l=read(),r=read();
        if(op==1)
        {
            scanf("%lld",&d);
            if(d%2) upd(1,1,n,l,r);
        }
        else
        {
            node ans=ask(1,1,n,l,r);
            if(ans.s[all-1]>>(m-1)) puts("1");
            else puts("2");
        }
    }
}