【BZOJ2339】卡农（递推，容斥）

题面

BZOJ

题解

先简化一下题意：

在\([1,2^n-1]\)中选择不重复的\(m\)个数，使得他们异或和为\(0\)的方案数。

我们设\(f[i]\)表示选择\(i\)个数异或和为\(0\)的方案数。

直接算是很麻烦的，所以我们反过来，总数减去不合法的。

因为确定了前\(i-1\)个数最后一个数就已经知道了。

所以总方案数是\(A_{2^n-1}^{i-1}\)，不合法的有两种，一种是选择了\(0\)，一种是有重复。

选择了\(0\)，意味着前\(i-1\)个数的异或和为\(0\)，所以方案数是\(f[i-1]\)种。

有重复，我们枚举哪个数重复了，那么剩下的\(i-2\)个数的异或和仍然为\(0\)

所以方案数是\(f[i-2]\times (2^n-1-(i-2))\)，题目没有考虑顺序，但是我们计算的时候先考虑了顺序，所以这里的方案数还需要考虑在哪个位置，也就是再乘上一个\((i-1)\)

所以$$f[i]=A_{2^n-1}{i-1}-f[i-1]-(i-1)\times f[i-2]\times(2^n-1-(i-2))$$

最终的答案再把顺序的问题处理一下就好了。

#include<iostream>

#include<cstdio>

using namespace std;

#define MOD 100000007

#define MAX 1000100

inline int read()

{

	int x=0,t=1;char ch=getchar();

    while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();

    if(ch=='-')t=-1,ch=getchar();

    while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();

    return x*t;

}

int jv=1,A[MAX],n,m,p,f[MAX];

int fpow(int a,int b)

{

	int s=1;

	while(b){if(b&1)s=1ll*s*a%MOD;a=1ll*a*a%MOD;b>>=1;}

	return s;

}

int main()

{

	n=read();m=read();p=fpow(2,n);f[0]=A[0]=1;f[1]=0;

	for(int i=1;i<=m;++i)jv=1ll*jv*i%MOD;jv=fpow(jv,MOD-2);

	for(int i=1;i<=m;++i)A[i]=1ll*A[i-1]*(p-i+MOD)%MOD;

	for(int i=2;i<=m;++i)f[i]=((A[i-1]-f[i-1]+MOD)%MOD-1ll*f[i-2]*(i-1)%MOD*(p-1-(i-2)+MOD)%MOD+MOD)%MOD;

	printf("%lld\n",1ll*jv*f[m]%MOD);

	return 0;

}