CodeForces Number of Subsequences（计数DP）

题意：

给出一段由 ‘a’,‘b’,‘c’,’?’ 组成的序列，每个’?‘都可以变成’a’,‘b’,'c’其中一个，假设有k个问号，那么最终可能序列就有$3^k$种，问所有可能的序列中，一共出现了多少次abc，结果对1e9+7取模。

思路：

状态表示：

dp[i][0]：到i之前所有可能的序列中’a’一共出现的次数

dp[i][1]：到i之前所有可能的序列中’ab’一共出现的次数

dp[i][2]：到i之前所有可能的序列中’abc’一共出现的次数

因为还需要考虑’?‘的情况，对于每个’?’，都会使状态转移发生变化

dp[i][1]用到dp[i][0]，而dp[i][2]用到dp[i][1]

所以所有序列个数 只要dp[i][0]发生变化之后，dp[i][1]继承的便就是发生变化的

所以对于:

1. s[i] == ‘a’：dp[i][0] = dp[i-1][0] + temp
   temp表示之前一共多少种序列，这个a加入到之前的任何一个序列中
   若第i位之前有k个’?’，那么就有$3^k$种序列，

2. s[i] == ‘b’：dp[i][1] = dp[i-1][0]+dp[i-1][1]
   因为dp[i][1]是由dp[i-1][0]继承过来的，已经包括了所有序列，所以就不用管了

3. s[i] == ‘c’：dp[i][2] = dp[i-1][1]+dp[i-1][2]

4. s[i] == ‘?’：
   对于’?’，它可以为’a’,‘b’,'c’三种情况，
   那么从第$i-1$位向第$i$位转移的时候，‘a’,‘ab’,‘abc’的个数都会变为原来的3倍
   除了继承过来的’a’,‘ab’,‘abc’的个数，还需分别加上s[i]分别为’a’,‘b’,'c’的情况，转移与上述转移相同

AC代码：

#include<bits/stdc++.h>
using namespace std;
const int mod=1e9+7,maxn=1e6+10;
typedef long long ll;
ll n,dp[maxn][4],tmp;
char s[maxn];
int main() {
	cin>>n>>s+1;
	tmp=1;
	for(int i=1; i<=n; i++) {
		for(int j=0;j<3;j++) dp[i][j]=dp[i-1][j];
		if(s[i]=='a') dp[i][0]=(dp[i-1][0]+tmp)%mod;
		if(s[i]=='b') dp[i][1]=(dp[i-1][1]+dp[i-1][0])%mod;
		if(s[i]=='c') dp[i][2]=(dp[i-1][2]+dp[i-1][1])%mod;
		if(s[i]=='?'){
			dp[i][0]=(dp[i-1][0]*3+tmp)%mod;
			dp[i][1]=(dp[i-1][1]*3+dp[i-1][0])%mod;
			dp[i][2]=(dp[i-1][2]*3+dp[i-1][1])%mod;
			tmp=(tmp*3)%mod;
		}
	}
	cout<<dp[n][2]<<endl;
}