Felicity's Big Secret Revealed CodeForces - 757D （状压DP）

Felicity's Big Secret Revealed

 题目链接：CodeForces - 757D 

题意：一个01串，要求将其用竖杠分割成若干部分，分割后每两个竖杠之间的串为一个有效的二进制数字，max为最大的有效数字，若分割个后的有效数字中包含1~max所有的数，则该分割为一种有效分割；问有多少种有效分割？

思路：最长串是75，可以求得max最大为20；

令len(i)表示i的二进制长度，通过计算的：, 所以得出max最大为20；

所以我们得以进行状态压缩，dp[i][s]就表示最后一个竖杠放在下标为i的数的前边，此时得到的有效数字的状态是s；当s的二进制的后j位全为1时，表示划分出了1~j的所有数字，此时为有效分割；

状态转移方程：dp[k+1][j|(1<<(p-1))]+=dp[i][j](i<=k<n, p=区间[i, k]表示的二进制数)；

假设已知dp[i][j]，那么下一个分割线在i后边k处时得到有效数字为p，把此状态加入j状态中就是(j|(1<<(p-1)))；不要认为是(j+(1<<(p-1)))， 因为j状态中可能已有p数字；所以此时分割方法要加上dp[i][j]；

还要初始化区间[l, r]之间的二进制表示的数；

#include <bits/stdc++.h>
using namespace std;
const int mod=1e9+7;
int num[80][80], dp[80][(1<<20)], n;
char s[80];
void init(){
	memset(num, 0, sizeof(num));
	memset(dp, 0, sizeof(dp));
	for(int i=0; i<n; i++){
		int k=0;
		for(int j=i; j<n; j++){
			k=(k<<1)+(s[j]-'0');
			if(k>20) break;
			num[i][j]=k;
		}
	}
}
int main(){
	while(~scanf("%d%s", &n, s)){
		init();
		int ans=0;
		int tot=(1<<20)-1;
		for(int i=0; i<n; i++){
			dp[i][0]++;
			for(int j=0; j<=tot; j++){
				if(dp[i][j]){
					for(int k=i; k<n; k++){
						if(num[i][k]){
							dp[k+1][j|(1<<(num[i][k]-1))]=(dp[k+1][j|(1<<(num[i][k]-1))]+dp[i][j])%mod;
						}
					}
				}
			}
		}
		for(int i=1; i<=n; i++){
			for(int j=1; j<=20; j++){
				ans=(ans+dp[i][(1<<j)-1])%mod;
			}
		}
		printf("%d\n", ans);
	}
	return 0;
}