bzoj3802: Vocabulary

Description

给你三个字符串，这些字符串有些单词模糊不可认了，用"?"来代表。

现在你可以用任意英文小写字母来代表它们。要求是使得给定的三个字符串中

所有的"?"被你认定的字母代替后，各不相同且按字典序出现。问有多少种方式。

Input

先给出一个数字N，代表数据组数。

接下来3*N行，每行给出一个字符串。长度<=1000 000

Output

输出结果 Mod 10^9+9

在末尾补0直到三个串等长，dp一下，状态表示为当前考虑了前i个位置，三个串的大小关系(1=2=3,1<2=3,1=2<3,1<2<3)，预处理一下每种情况的状态转移矩阵（但矩阵乘法复杂度不优，因此直接计算）

#include<cstdio>
#include<cstring>
typedef long long i64;
const int P=1e9+;
int T,l[],ml,t[][][][][],ls[],rs[];
int f[],g[];
char s[][];
void maxs(int&a,int b){if(a<b)a=b;}
int sgn(int a,int b){return +(a>b)-(a<b);}
#define F(i,n) for(int i=0;i<n;++i)
int main(){
    for(int i=;i<;++i)ls[i]=rs[i]=i;
    ls[]=;rs[]=;
    F(i,)F(j,)F(k,){
        int(*A)[]=t[i][j][k];
        for(int a=ls[i];a<=rs[i];++a)
        for(int b=ls[j];b<=rs[j];++b)
        for(int c=ls[k];c<=rs[k];++c){
            int xx=sgn(a,b),yy=sgn(b,c);
            F(x,)F(y,){
                int x1=(x?xx:),y1=(y?yy:);
                if(x1<&&y1<)++A[x1*+y1][x*+y];
            }
        }
    }
    for(scanf("%d",&T);T;--T){
        ml=;
        F(i,){
            scanf("%s",s[i]);
            l[i]=strlen(s[i]);
            maxs(ml,l[i]);
        }
        F(i,){
            F(j,l[i])s[i][j]=s[i][j]=='?'?:s[i][j]-'a'+;
            for(int j=l[i];j<ml;++j)s[i][j]=;
        }
        F(a,)f[a]=g[a]=;
        f[]=;
        F(i,ml){
            F(a,)g[a]=;
            int(*A)[]=t[s[][i]][s[][i]][s[][i]];
            F(a,)F(b,){
                g[a]=(g[a]+i64(f[b])*A[a][b])%P;
            }
            F(a,)f[a]=g[a];
        }
        printf("%d\n",(f[]+P)%P);
    }
    return ;
}