BZOJ1879 Bill的挑战

题目：http://www.lydsy.com/JudgeOnline/problem.php?id=1879

本来是一道水题（~~~~(>_<)~~~~）。

开始SB了，敲了个AC自动机dp，MLE

发现数据中 '?' 好多呀 ~~~~(>_<)~~~~ 空间变$O(len^2)$

然后去想朴素dp，枚举一下那些集合和T匹配，然后$O(n \cdot 2^n)$ dp，又W又T一是爽。

TLE 40：

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <vector>

#define c(w,i) ((w>>i)&1)
#define mod 1000003
#define LL long long
#define MP(x,y) make_pair(x,y)
#define fir first
#define sec second

using namespace std;

int n,K,cnt;
char S[][],T[];
LL f[][];
vector<pair<int,char> > v[];

LL calc(int w){
    for(int i=;i<n;i++) T[i]='?';
    for(int i=;i<cnt;i++)
        if(c(w,i)){
            for(int j=;j<n;j++)
                if(S[i][j]!='?'){
                    if(T[j]=='?'||T[j]==S[i][j])
                        T[j]=S[i][j];
                    else return ;
                }
        }
    memset(f,,sizeof(f));
    for(int i=,fl;i<cnt;i++)
        if(!c(w,i)){
            fl=;
            for(int j=;j<n;j++){
                if(S[i][j]!='?' && T[j]!='?' && S[i][j]!=T[j])
                    fl=;
            }
            if(!fl){
                for(int j=;j<n;j++){
                    if(S[i][j]!='?')
                        v[j].push_back(MP(i,S[i][j]));
                }
            }
        }
    f[][]=;
    for(int i=;i<n;i++){
        for(int w=;w<(<<cnt);w++)
            if(f[i][w]){
                for(char c='a';c<='z';c++){
                    if(T[i]!='?'&&T[i]!=c) continue;
                    int now=;
                    for(int j=v[i].size()-;~j;j--)
                        if(v[i][j].sec!=c) now|=(<<v[i][j].fir);
                    f[i+][now|w]+=f[i][w];
                }
            }
    }
    return f[n][((<<cnt)-)&~w];
}

int main(){
    int T;
    scanf("%d",&T);
    while(T--){
        scanf("%d%d",&cnt,&K);
        for(int i=;i<cnt;i++) scanf("%s",S[i]);
        n=strlen(S[]);
        LL ans=;
        for(int w=;w<(<<cnt);w++){
            int tmp=;
            for(int i=;i<cnt;i++)
                if(c(w,i)) tmp++;
            if(tmp!=K) continue;
            ans=(ans+calc(w))%mod;
        }
        printf("%lld\n",ans);
    }
    return ;
}

然后发现我是SB

没有看完题呀，原来长度都相同。

直接裸dp f[i][S] 表示T的前i位，n个串的匹配状态为S的方案数。

注意因为长度都相同，只能从第一位开始匹配呀！！！

然后水了。

AC 100：

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <vector>

#define c(w,i) ((w>>i)&1)
#define mod 1000003

using namespace std;

int n,K,cnt,f[][],cv[][];
char S[][];

int main(){
    freopen("test.in","r",stdin);
    int T;
    scanf("%d",&T);
    while(T--){
        memset(f,,sizeof(f));
        scanf("%d%d",&cnt,&K);
        for(int i=;i<cnt;i++) scanf("%s",S[i]);
        n=strlen(S[]);
        for(int i=;i<n;i++){
            for(int t=;t<;t++){
                cv[i][t]=;
                for(int j=;j<cnt;j++){
                    if(S[j][i]=='?'
                        ||S[j][i]==t+'a') cv[i][t]|=(<<j);
                }
            }
        }
        f[][(<<cnt)-]=;
        for(int i=;i<n;i++)
            for(int j=;j<(<<cnt);j++){
                if(f[i][j]){
                    for(int t=;t<;t++)
                        (f[i+][j&cv[i][t]]+=f[i][j])%=mod;
                }
            }
        int ans=;
        for(int w=;w<(<<cnt);w++){
            int tmp=;
            for(int i=;i<cnt;i++) if(c(w,i)) tmp++;
            if(tmp==K) (ans+=f[n][w])%=mod;
        }
        printf("%d\n",ans);
    }
    return ;
}