【bzoj4550】小奇的博弈

Description

这个游戏是在一个1*n的棋盘上进行的，棋盘上有k个棋子，一半是黑色，一半是白色。最左边是白色棋子，最右边是黑色棋子，相邻的棋子颜色不同。

小奇可以移动白色棋子，提比可以移动黑色的棋子，它们每次操作可以移动1到d个棋子。每当移动某一个棋子时，这个棋子不能跨越两边的棋子，当然也不可以出界。当谁不可以操作时，谁就失败了。小奇和提比轮流操作，现在小奇先移动，有多少种初始棋子的布局会使它有必胜策略？

---

Input

共一行，三个数，n，k，d。对于100%的数据，有1<=d<=k<=n<=10000, k为偶数，k<=100。

---

Output

输出小奇胜利的方案总数。答案对1000000007取模。

---

Solution

首先思考K=2的情况，显然白棋可以直接往右移到黑棋左边，然后黑棋只能被动往右移，然后白棋又可以不断向右将黑棋逼死，所以如果一开始中间的间隔不为0则先手必胜，反之先手必输。

K>2的情况同理，白棋是一定不会主动往左移的，黑棋也一定不会主动往右移，所以黑白之间的间隔一定会不断变小，这变成了什么？我们将间隔视为石子，那么这就相当于k堆石子，没人可以从1-d堆中取出若干个石子。这是一个经典的Nimk问题。

关于nimk的解法可以看：nimk游戏的算法与证明

---

Code

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const ll mod=1e9+7;
ll f[20][10010],ans;
ll c[10010][110];
int n,k,d;
int main(){
	f[0][0]=1;
    scanf("%d%d%d",&n,&k,&d);
    for(int i=0;i<=n;i++){
        c[i][0]=1;
        for(int j=1;j<=i&&j<=k;j++) 
		c[i][j]=(c[i-1][j-1]+c[i-1][j])%mod;
    }
    for(int i=0;i<16;i++)
    for(int j=0;j<=n-k;j++)
    for(int l=0;(1ll<<i)*(d+1)*l<=j&&(d+1)*l<=k/2;l++)
    f[i+1][j]=(f[i+1][j]+f[i][j-(1ll<<i)*l*(d+1)]*c[k/2][(d+1)*l])%mod;
    for(int i=0;i<=n-k;i++)  ans=(ans+f[16][i]*c[n-i-k/2][k/2])%mod;
    printf("%lld",(c[n][k]-ans+mod)%mod);
}