[BZOJ4416][SHOI2013]阶乘字符串(子集DP)

怎么也没想到是子集DP，想到了应该就没什么难度了。

首先n>21时必定为NO。

g[i][j]表示位置i后的第一个字母j在哪个位置，n*21求出。

f[S]表示S的所有全排列子序列出现的最后末尾位置，枚举最后一个字母转移。21*2^21

#include<cstdio>
#include<cstring>
#include<algorithm>
#define rep(i,l,r) for (int i=(l); i<=(r); i++)
using namespace std;

int T,n,m,k,t,g[500][26],f[1<<21];
char a[500];

int main(){
    freopen("bzoj4416.in","r",stdin);
    freopen("bzoj4416.out","w",stdout);
    scanf("%d",&T);
    while(T--){
        scanf("%d%s",&n,a+1); m=strlen(a+1);
        if (n>21){ puts("NO"); continue; }
        rep(j,0,n-1) g[m][j]=g[m+1][j]=m+1;
        for(int i=m; i; i--){
            rep(j,0,n-1) g[i-1][j]=g[i][j];
            g[i-1][a[i]-'a']=i;
        }
        rep(i,1,(1<<n)-1){
            int res=0;
            for(int j=i; j; j-=j&-j)
                k=__builtin_ctz(j),res=max(res,g[f[i^(1<<k)]][k]);//ctz统计末尾0的个数
            f[i]=res;
        }
        puts(f[(1<<n)-1]>m ? "NO" : "YES");
    }
    return 0;
}