我们先考虑一下什么情况游戏结束。这个题题意是两个人都可以放A或者B的。因为两个A不能相邻,所以当不能再放A时,如果棋盘上存在两个A之间没有B,他们只可能间隔1个或2个位置,否则就可以继续放A,且这两种情况,都可以在空位再放一个B,不能再多。AB交换同理。所以有一个A它旁边就有一个B,最终一定是某种AB交替的情况,且AB数量相等。进一步还有,每两个字母之间只可能没有或有一个空位。
我们发现了这是个后手必胜的游戏。但对这道题好像没什么用。
棋盘最多可以放下组AB,最多组。而对于放i组的不同游戏数量,就是在n-2i个位置上选2i+1个放空格,特别地,不允许开头和结尾都是空格,再乘上2i个字母的排列顺序。用排列组合的式子表示就是。放组时特判一下就好。
因为我们之前考虑的都是AB为一组,所以最后乘2,加上BA的情况。
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const int N=1000010;
const ll mod=1e9+7;
int n,l,r;
ll mul[N],ans;
inline ll inv(ll w){
ll s=1,t=w,x=mod-2;
while(x){
if(x&1)s=s*t%mod;
t=t*t%mod;
x>>=1;
}
return s;
}
inline ll comb(int m,int c){
if(c==0||c==m)return 1;
return mul[m]*inv(mul[c])%mod*inv(mul[m-c])%mod;
}
int main(){
scanf("%d",&n);
mul[0]=mul[1]=1;
for(int i=2;i<=n;++i)mul[i]=mul[i-1]*i%mod;
l=(n+3)/4,r=n/2;ans=0;
for(int i=l;i<r;++i)
ans=(ans+(comb(2*i+1,n-2*i)-comb(2*i-1,n-2*i-2)+mod)%mod*mul[2*i]%mod)%mod;
ans=(ans+mul[2*r]*comb(2*r+1,n-2*r)%mod)%mod;
printf("%lld",ans*2%mod);
return 0;
}