题意:
有一种双人游戏规则如下:n个格子排成一排,编号1~n,每个格子都有一个数值a[i],开始把骰子扔到1号格子,并把1号格子的数值减1,然后双方轮流操作,每次操作从骰子所在的格子(假设编号为x)开始,选择[x,x+m]并且数值大于0的格子,将骰子扔到这个格子上,并把这个格子的数值减1,不能操作者输
现在有两种区间操作
1 将区间[l,r]的数值加上d
2 询问在区间[l,r]进行游戏先手胜还是后手胜
1<=n<=2e5, 1<=m<=5, 1<=q<=2e5, 1<=a[i]<=1e12, 1<=d<=1e12,注意一下longlong
思路:
首先考虑这个游戏,我们用f[i]表示到第i号格子时是胜(1)还是负(0)(注意到第i号格子是指减1之后到第i号格子,假设这个位置的值原本是a[i],那么在这个位置上先手面对的数值其实是a[i]-1,这样比较好处理),那么只要[i+1,i+m]存在一个败态,我们就可以跳到这个状态把负状态给队手,也就是说此时先手必胜。若[i+1,i+m]不存在败态,那么我们要讨论(a[i]-1)的奇偶性,奇胜偶负,这个自己想一下就可以了。
然后考虑区间操作,首先不考虑修改,只考虑如何根据子区间的胜负状态合并出父区间的胜负状态,根据上面的游戏原理我们发现一个格子的状态和它后面m个格子的状态以及本身的奇偶性有关,我们暂时不考虑奇偶性,考虑这个东西:现在有一段区间,而且不知道该区间的任何状态,但是我知道区间末尾后的m个格子的状态(注意这m个格子不是区间里面的,是区间后面的),那么我们是否可以根据游戏原理推出整个区间的状态,肯定是可以的!这就提示了我们一种合并方法,我们设一个数组为node[root][s](第二维大小为1<<5),表示节点root代表的区间(默认使用线段树了)末尾之后的m个格子状态为s时前m个格子的状态,这一步有点跳跃,我们举个例子,假设当前区间是?????五个不确定的状态,m为2,末尾之后的m个格子状态为01,那么?????01推完以后就是(不考虑奇偶)1101101,前m个状态为11,也就是node[root][01] = 11,为什么要保存前m个状态呢?考虑合并两个区间,左区间尾巴后的1<<m个状态有了,那么我们就把右区间的头和左区间的尾接起来就能得到合并完后的区间状态了,代码大体上是这样的;node[root][s] = node[root<<1][ node[root<<1|1][s] ],思考一下,这样就完成了合并
然后在上面的基础上考虑上奇偶,其实奇偶只需要在初始化叶子节点时考虑,这个初始化的时候考虑一下就可以了,不麻烦,不懂的话可以看代码
区间查询操作现在也很明确了,就是普通的线段树查询
最后还有个区间修改操作,我们发现加偶数后其实区间的奇偶性不变,所以直接跳过,加奇数后区间奇偶性反转,所以等价于区间反转操作,这个我们可以在上面node[root][s]的基础上再开一维node[root][0/1][s],表示原序列和反转序列,然后在这两个序列之间swap什么的就好了,反转操作大家应该都会干,不多说了。
代码如下,搞懂pushup和init函数这题就做完了,node数组的含义上面介绍过了,所以不加注释了