题意
首先给定一个数F,然后游戏系统会产生T组游戏。每一组游戏包含N堆石子,小A和他的对手轮流操作。每次操作时,操作者先选定一个不小于2的正整数M (M是操作者自行选定的,而且每次操作时可不一样),然后将任意一堆数量不小于F的石子分成M堆,并且满足这M堆石子中石子数最多的一堆至多比石子数最少的一堆多1(即分的尽量平均,事实上按照这样的分石子万法,选定M和一堆石子后,它分出来的状态是固定的)。当一个玩家不能操作的时候,也就是当每一堆石子的数量都严格小于F时,他就输掉。(补充:先手从N堆石子中选择一堆数量不小于F的石子分成M堆后,此时共有N+M-1)堆石子,接下来小A从这N+M-1堆石子中选择一堆数量不小于F的石子,依此类推。
问先手胜还是后手胜。
T<100,N<100,F<100000,每堆石子数量<100000。
分析
显然每堆石子都是一个单独的游戏,那么只要把[1,100000]的sg函数都求出来即可。
怎么求呢?
假设现在要求sg[n],考虑将n个石子分成m堆,那么分完后的石子最多有两种权值,一种是
⌊nm⌋
,一种是
⌊nm⌋+1
那么到达的状态就相当于把所有分完后的石子异或起来。考虑到偶数个相同的数异或起来会抵消掉,所以我们只用考虑奇偶性即可。
首先总的石子堆数为m,权值为第二种的有
nmodm=n−⌊nm⌋∗m
个,那么就可以推出权值为第一种的有多少个。
然后只要考虑一下两种权值的奇偶性即可得到相应状态。
那现在就是会超时的问题了。考虑优化。
我们发现这是一个下取整函数,也就是说,我们可以分块?!
然后。。。然后就没了。
我发现现在我平均一天要卡一次以上的常数。这题在另一个OJ上跑是可以A的,但在bzoj上跑就T了。于是为了卡常,程序已经从以前的工整对仗变成了现在的丑的一逼,而且还是勉强AC。不过我居然不是垫底?!
代码
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=100005;
int sg[N],f,t[N*10];
int read()
{
int x=0,f=1;char ch=getchar();
while (ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while (ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
void prework()
{
for (int n=f;n<=100000;n++)
{
for (int m=2,last;m<=n;m=last+1)
{
last=n/(n/m);
int s=n/m,ji=0,ou=0,x=sg[s],y=sg[s+1];
ji=m%2||last%2||m<last?1:0;
ou=m%2==0||last%2==0||m<last?1:0;
t[y]=ji&&(n%2==0&&s%2||n%2&&s%2==0)?n:t[y];
t[x^y]=ou&&n%2?n:t[x^y];
t[x]=ji&&(n%2==0&&s%2==0||n%2&&s%2)?n:t[x];
t[0]=ou&&n%2==0?n:t[0];
for (int i=0;;i++)
if (t[i]!=n)
{
sg[n]=i;
break;
}
}
}
}
int main()
{
//freopen("game.in","r",stdin);freopen("game.out","w",stdout);
int T=read();f=read();
prework();
while (T--)
{
int n=read(),ans=0;
for (int i=1;i<=n;i++)
{
int x=read();
ans^=sg[x];
}
if (ans) putchar('1');
else putchar('0');
if (T) putchar(' ');
}
return 0;
}