[BZOJ4416][Shoi2013]阶乘字符串 状态压缩dp

诶一直感觉这个数字特别大的时候会无解
然而一直没有把这个数算出来，觉得可能是大于一个数无解小于一个数暴力
然而看题解发现这个数字是$21$

正解先特判$n$是否大于$21$，若大于puts no
否则进行状态压缩dp，$F[mask]$表示最短的前缀，能满足以mask为字符集合的阶乘字符串
若$F[mask] <= m$有解否则无解

/**************************************************************
    Problem: 4416
    User: di4CoveRy
    Language: C++
    Result: Accepted
    Time:3420 ms
    Memory:24780 kb
****************************************************************/

#include <iostream>
#include <cstdio>
#include <cstring>

#define tp ((1<<n)-1)
#define INF 2147483647

#define N 505
#define MASK 6000000

using namespace std;

int F[MASK],g[N][27],n,len;
char s[N];
inline void ut(int &x,int y) { x = max(x,y); }
void solve() {
    scanf("%d%s",&n,s+1);
    if (n > 21) return (void)puts("NO");
    len = strlen(s+1);
    memset(F,0,sizeof(F));
    for (int _=1;_<=n;_++) g[len][_] = g[len+1][_] = len+1;
    for (int _=len;_>=1;_--) {
        memcpy(g[_-1],g[_],sizeof(g[_]));
        g[_-1][ s[_]-'a'+1 ] = _;
    }
    for (int _=1;_<=tp;_++)
        for (int i=1;i<=n;i++) if (_&(1<<(i-1)))
            ut(F[_],g[ F[_^(1<<(i-1))] ][i]);
    F[tp]<=len ? puts("YES") : puts("NO");
}

int main() {
    int T=0; scanf("%d",&T);
    while (T--) solve();
    return 0;
}