Codeforces Round #191 (Div. 2) E. Axis Walking

状压DP

先用sum[st]表示st这个状态的和，f[st]表示用st这个状态排出一段合法的前缀有多少种排法。转移的时候如果sum[st]非法，那么f[st]=0,否则枚举f[st]的每一个是1的位置，比如第i位，那么f[st]+=f[st^(1<<i)]。即用把st第i个1去掉的状态去更新st。

#include <cstdio>
#include <algorithm>
#include <map>
#define MOD 1000000007
using namespace std;
__int64 sum[1<<24];
int f[1<<24],a[24],b[24],pw[1<<24],n,m;
int main()
{
	scanf("%d",&n);
	for(int i=0;i<n;i++)
		scanf("%d",&a[i]);
	scanf("%d",&m);
	b[0]=b[1]=-1;
	for(int i=0;i<m;i++)
		scanf("%d",&b[i]);
	for(int i=0;i<n;i++)
		pw[1<<i]=i;
	for(int i=1;i<1<<n;i++)
	{
		sum[i]=sum[i^(i&-i)]+a[pw[i&-i]];
		if(sum[i]==b[1]||sum[i]==b[0])
				f[i]=-1;
	}
	f[0]=1;
	for(int i=1;i<1<<n;i++)
	{
		if(f[i]==-1)
		{
			f[i]=0;
			continue;
		}
		int st=i;
		for(;st;st-=st&-st)
		{
			f[i]+=f[i^(st&-st)];
			if(f[i]>MOD)
				f[i]-=MOD;
		}
	}
	printf("%d\n",f[(1<<n)-1]);
	//system("pause");
	return 0;
}