bzoj 3576: [Hnoi2014]江南乐 分块+sg函数

题意

首先给定一个数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堆，那么分完后的石子最多有两种权值，一种是$\lfloor\frac{n}{m}\rfloor$，一种是$\lfloor\frac{n}{m}\rfloor+1$
那么到达的状态就相当于把所有分完后的石子异或起来。考虑到偶数个相同的数异或起来会抵消掉，所以我们只用考虑奇偶性即可。
首先总的石子堆数为m，权值为第二种的有$n\mod m=n-\lfloor\frac{n}{m}\rfloor*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;
}