I Pa?sWorD（2023icpc网络预选赛）

原题链接：

https://pintia.cn/problem-sets/1703372159713652736/exam/problems/1703372337216602120?type=7&page=0

题意：

有一个长度为n的字符串，含有大写字母，小写字母，数字和’?’

大写字母和数字表示本身

小写字母可以为本身，也可以变为对应的大写字母

'?'是不确定的字符，可以变成大写字母，小写字母或者数字

如果这个字符串要成为密码的话，就需要含有至少一个大写字母，至少一个小写字母和至少一个数字，并且相邻的两个字符不能相同。求所有的可能的密码个数，结果对998244353取模。

思路：

分析状态：前i个是一维状态；因为要判断相邻的两个字符是否相等，那么我们再用一维状态0_{61来记录是哪个字符；需要看是否有数字，大写字母和小写字母，那么我们再用一维0}7分别记录状态：二进制第0位为1表示有数字，二进制第1位为1表示有大写，二进制第2位为1表示有小写

那么就用f[i][a][s1]来记录前i位已经确定，第i位字母是a，状态为s1的方案数

那么我们分别需要枚举s[i]可以变成的字母a，当前的状态s1和s[i-1]可以变成的字母b，当前的状态s2.满足当a！=b且s1中有a类型和b类型的字符且s2中有b类型的字符的时候，转移方程为：

f[i][a][s1]=f[i-1][b][s2]

但是这个时候我们的时间复杂度是O(n626277)，会超时，所以我们考虑进一步优化

每次到i的时候，我们先算出前面i-1个满足状态为s2的所有方案数，用sum[s2]数组记录

那么我们再枚举s[i]能转化的字母a和状态s1，当状态满足题意时，转化过来的s2只有两种情况：含a类型和不含a类型，那么我们就将s1加上这两种情况：

f[i][a][s1]+=sum[s1];
f[i][a][s1]+=sum[s1-type(a)]

还有一个条件是a！=b，那么我们直接将所有情况减去第i-1位是a的方案数就可以了：

f[i][a][s1]-f[i-1][a][s1]

最后将时间优化为O(n6210)，可以通过。

按上面的方法的话，最终数组是f[1e5][70][10]，会空间超限。那么我们用滚动数组优化，将i优化为i&1，并且在每次更新完i&1维之后清除掉i-1&1维的数据

AC代码

#include <bits/stdc++.h>
using namespace std;
#define int long long
int n;
string s;
int f[3][70][10];
const int mod=998244353;
int type(char x){
	if(x>='0'&&x<='9')return 0;
	if(x>='A'&&x<='Z')return 1;
	return 2;
}
int ha(char x){
	int op=0;
	if(x>='0'&&x<='9'){
		op=x-'0';
	}
	else if(x>='A'&&x<='Z'){
		op=x-'A'+10;
	}
	else {
		op=x-'a'+36;
	}	
	return op;
}
vector<char> canbe(char x){
	vector<char> ans;
	if(x=='?'){
		for(int i=0;i<26;i++){
			char op;
			op=i+'A';
			ans.push_back(op);
			op=i+'a';
			ans.push_back(op);
			if(i<10){
				op=i+'0';
				ans.push_back(op);
			}
		}
	}else{
		ans.push_back(x);
		if(islower(x)){
			ans.push_back(toupper(x));
		}
	}
	return ans;
}
signed main(){
	cin>>n>>s;
	for(char x:canbe(s[0])){
		f[0][ha(x)][1<<type(x)]=1;
	}
	for(int i=1;i<n;i++){
		int sum[8]={0};
		for(char x:canbe(s[i-1])){
			for(int s2=0;s2<8;s2++){
				int oo=s2>>type(x);
				if(oo&1) sum[s2]+=f[i-1&1][ha(x)][s2];
			}
		}
		for(char a:canbe(s[i])){
			for(int s1=0;s1<8;s1++){
				if((s1>>type(a))&1){
					int s2=s1;
					f[i&1][ha(a)][s1]=(f[i&1][ha(a)][s1]+sum[s2])%mod;
					s2=s1-(1<<type(a));
					f[i&1][ha(a)][s1]=(f[i&1][ha(a)][s1]+sum[s2])%mod;
					f[i&1][ha(a)][s1]=(f[i&1][ha(a)][s1]-f[i-1&1][ha(a)][s1]+mod)%mod;
				}
			}
		}
		
		for(int j=0;j<=67;j++){
			for(int k=0;k<8;k++){
				f[i-1&1][j][k]=0;
			}
		}
	}
	int ans=0;
	for(char x:canbe(s[n-1])){
		ans=(ans+f[(n-1)&1][ha(x)][7])%mod;
	}
	cout<<ans;
	return 0;
}