给你三个字符串，这些字符串有些单词模糊不可认了，用"?"来代表。
现在你可以用任意英文小写字母来代表它们。要求是使得给定的三个字符串中
所有的"?"被你认定的字母代替后，各不相同且按字典序出现。问有多少种方式。
cerc2014 Vocabulary
Input
先给出一个数字N，代表数据组数。
接下来3*N行，每行给出一个字符串。长度<=1000 000
Output
输出结果 Mod 10^9+9
Sample Input
3
?heoret?cal
c?mputer
?cience
jagiellonia
?niversity
kra?ow
?
b
c
?heoret?cal
c?mputer
?cience
jagiellonia
?niversity
kra?ow
?
b
c
Sample Output
42562
52
1
52
1
http://blog.csdn.net/u012647218/article/details/42008379 不用dp果断爆啊。。。
附：之前写的RE版本
#include<iostream>
#include<algorithm>
#include<string>
#include<map>//int dx[4]={0,0,-1,1};int dy[4]={-1,1,0,0};
#include<set>//int gcd(int a,int b){return b?gcd(b,a%b):a;}
#include<vector>
#include<cmath>
#include<queue>
#include<string.h>
#include<stdlib.h>
#include<cstdio>
#define mod 1e9+7
#define ll long long
using namespace std;
int com(string a,string b){
for(int i=0;i<min(a.length(),b.length());++i){
if(a[i]!=b[i])
return (a[i]>b[i]);
}
return (a.length()>b.length());
}
map<string,int> r1;
string h;
int ss;
set<string> w1,w2;
void dfs(int k,string x){
while(k<x.length()&&x[k]!='a'-1)
k++;
if(k>=x.length()){
w1.insert(x);
return;
}
for(int i=0;i<26;++i){
x[k]='a'+i;
dfs(k+1,x);
}
}
void dfs2(int k,string x){
while(k<x.length()&&x[k]!='a'-1)
k++;
if(k>=x.length()&&com(x,h)){
w2.insert(x);
r1[x]++;
return;
}
for(int i=0;i<26;++i){
x[k]='a'+i;
if(com(x,h))
dfs2(k+1,x);
}
}
void dfs3(int k,string x){
while(k<x.length()&&x[k]!='a'-1)
k++;
if(k>=x.length()&&com(x,h)){
ss+=r1[h];
return;
}
for(int i=0;i<26;++i){
x[k]='a'+i;
if(com(x,h))
dfs3(k+1,x);
}
}
int main(){
int t;
scanf("%d",&t);
while(t--){
ss=0;
r1.clear();w1.clear();w2.clear();
string x,y,z;
cin>>x>>y>>z;
for(int i=0;i<x.length();++i)
if(x[i]=='?')
x[i]='a'-1;
for(int i=0;i<y.length();++i)
if(y[i]=='?')
y[i]='a'-1;
for(int i=0;i<z.length();++i)
if(z[i]=='?')
z[i]='a'-1;
dfs(0,x);
for(set<string>::iterator it=w1.begin();it!=w1.end();++it){
h=(*it);
dfs2(0,y);
}
for(set<string>::iterator it=w2.begin();it!=w2.end();++it){
h=(*it);
dfs3(0,z);
}
cout<<ss<<endl;
}
return 0;
}
下面是超时代码（复杂度10^6*27*27*27）。。大神的打表代码（复杂度4*4*27*27*27）真的很神奇。。
#include<iostream>
#include<algorithm>
#include<string>
#include<map>//int dx[4]={0,0,-1,1};int dy[4]={-1,1,0,0};
#include<set>//int gcd(int a,int b){return b?gcd(b,a%b):a;}
#include<vector>
#include<cmath>
#include<queue>
#include<string.h>
#include<stdlib.h>
#include<cstdio>
#define bb 1000000009
#define ll long long
using namespace std;
int dp[1000005][4];
int mod(int a,int b){
return (a+b)%bb;
}
int main(){
int t;
cin>>t;
while(t--){
memset(dp,0,sizeof(dp));
string x,y,z;
cin>>x>>y>>z;
int a=x.length(),b=y.length(),c=z.length();
int p=max(max(a,b),c);
for(int i=0;i<p-a;++i)
x+='a'-1;
for(int i=0;i<p-b;++i)
y+='a'-1;
for(int i=0;i<p-c;++i)
z+='a'-1;
dp[0][0]=1;
for(int i=0;i<p;++i){
int a1=x[i],b1=x[i];
int a2=y[i],b2=y[i];
int a3=z[i],b3=z[i];
if(x[i]=='?')
a1='a',b1='z';
if(y[i]=='?')
a2='a',b2='z';
if(z[i]=='?')
a3='a',b3='z';
for(int j=a1;j<=b1;++j){
for(int k=a2;k<=b2;++k){
for(int l=a3;l<=b3;++l){
if(j==k&&k==l){ // 0
dp[i+1][0]=mod(dp[i+1][0],dp[i][0]);
dp[i+1][1]=mod(dp[i+1][1],dp[i][1]);
dp[i+1][2]=mod(dp[i+1][2],dp[i][2]);
dp[i+1][3]=mod(dp[i+1][3],dp[i][3]);
}
else if(j==k&&k<l){ // 1
dp[i+1][1]=mod(mod(dp[i+1][1],dp[i][0]),dp[i][1]);
dp[i+1][3]=mod(mod(dp[i+1][3],dp[i][2]),dp[i][3]);
}
else if(j<k&&k==l){ // 2
dp[i+1][2]=mod(mod(dp[i+1][2],dp[i][0]),dp[i][2]);
dp[i+1][3]=mod(mod(dp[i+1][3],dp[i][1]),dp[i][3]);
}
else if(j<k&&k<l){ // 3
dp[i+1][3]=mod(dp[i+1][3],dp[i][0]);
dp[i+1][3]=mod(dp[i+1][3],dp[i][1]);
dp[i+1][3]=mod(dp[i+1][3],dp[i][2]);
dp[i+1][3]=mod(dp[i+1][3],dp[i][3]);
}
else if(j<k){ // ab ac ba
dp[i+1][3]=mod(dp[i+1][3],dp[i][1]);
dp[i+1][3]=mod(dp[i+1][3],dp[i][3]);
}
else if(k<l){ // ab ba bc
dp[i+1][3]=mod(dp[i+1][3],dp[i][2]);
dp[i+1][3]=mod(dp[i+1][3],dp[i][3]);
}
else if(j==k){ // ac ac bb
dp[i+1][1]=mod(dp[i+1][1],dp[i][1]);
dp[i+1][3]=mod(dp[i+1][3],dp[i][3]);
}
else if(k==l){ // ac bb bb
dp[i+1][2]=mod(dp[i+1][2],dp[i][2]);
dp[i+1][3]=mod(dp[i+1][3],dp[i][3]);
}
else
dp[i+1][3]=mod(dp[i+1][3],dp[i][3]);
}
}
}
}
cout<<dp[p][3]<<endl;
}
return 0;
}