「火」皇家烈焰

字符串的长度为n
对于30%的数据，n≤20
对于60%的的数据，n≤1,000
对于100%的数据，n≤1,000,000

直接枚举全部情况，对问好与特殊位置进行选择，计数，30分做法。

三维线性dp，100分做法。
通过三维数组dp[N][2][2]，0代表没有，1代表有烈焰，dp[i][j][k]代表当前在第i个位置，状态是j，后一个位置状态是k。
为什么不需要四维，因为当前位置前一个格子的状态，可以通过dp[i-1][j][k]去确定，i-1的j就是当前位置的前一个位置状态。
首先处理第一个位置的符号情况，后面通过第一个位置转移即可。

• 0：dp[0][0][0] = 1; 当前位置和后面都没用烈焰
• 1：dp[0][0][1] = 1; 当前位置没有第一个格子有烈焰
• 2：直接特判不合法，因为0没有前驱格子。
• *：dp[0][1][0] = dp[0][1][1] = 1; 自己是烈焰，当前位置看后面有烈焰与没有烈焰都是合法。
• ？: for (int i = 0; i < 2; ++i) for (int j = 0; j < 2; ++j) dp[0][i][j] = 1; 所有情况均合法

那么后面通过前面状态进行转移

• 0：dp[i][0][0] = dp[i-1][0][0]; 前一个位置没有烈焰后一个格子和自己也没有烈焰
• 1：dp[i][0][0] = dp[i - 1][1][0]; 前面位置是烈焰，后面和自己不是
• 1：dp[i][0][1] = dp[i - 1][0][0]; 前面位置和自己不是，后面是
• 2：dp[i][0][1] = dp[i - 1][1][0]; 前面是后面是，自己不是
• *：dp[i][1][0] = dp[i][1][1] = (dp[i - 1][0][1] + dp[i - 1][1][1]) % MOD; 包含前面是烈焰与不是烈焰的情况，后面都可行。
• ？：dp[i][0][0] = dp[i][0][1] = (dp[i - 1][0][0] + dp[i - 1][1][0]) % MOD; 自己不是烈焰，后面都可行，那就是前一个格子后面不是烈焰的情况累加求和
• ？：dp[i][1][0] = dp[i][1][1] = (dp[i - 1][0][1] + dp[i - 1][1][1]) % MOD; 自己是烈焰，后面都可行，那就是前一个格子后面是烈焰的情况求和
  最终状态dp[len-1][0][0]+dp[len-1][1][0]当前位置可能有烈焰也可能没有烈焰后面不存在后继一定是0，直接求和即可。

#include <bits/stdc++.h>
using namespace std;

typedef long long ll;
const int  N = 1e6 + 5;
const int MOD = 1e9 + 7;

inline int read() {
    int s = 0, w = 1; char ch = getchar();
    while (ch < 48 || ch > 57) { if (ch == '-') w = -1; ch = getchar(); }
    while (ch >= 48 && ch <= 57) s = (s << 1) + (s << 3) + (ch ^ 48), ch = getchar();
    return s * w;
}

ll dp[N][2][2];
char s[N];

int main() {
    scanf("%s", s); //也可以 %s -> s+1 初始化dp[0][0][0]=[0][0][1]=1就不用特判第一个位置了
    int len = strlen(s);
    if (s[0] == '0')
        dp[0][0][0] = 1;
    else if (s[0] == '1')
        dp[0][0][1] = 1;
    else if (s[0] == '2') {
        puts("0");
        return 0;
    }
    else if (s[0] == '*')
        dp[0][1][0] = dp[0][1][1] = 1;
    else if (s[0] == '?')
        for (int i = 0; i < 2; ++i)
            for (int j = 0; j < 2; ++j)
                dp[0][i][j] = 1;
    for (int i = 1; i < len; ++i) {
        if (s[i] == '0')
            dp[i][0][0] = dp[i - 1][0][0];
        else if (s[i] == '1') {
            dp[i][0][0] = dp[i - 1][1][0];
            dp[i][0][1] = dp[i - 1][0][0];
        }
        else if (s[i] == '2')
            dp[i][0][1] = dp[i - 1][1][0];
        else if (s[i] == '*')
            dp[i][1][0] = dp[i][1][1] = (dp[i - 1][0][1] + dp[i - 1][1][1]) % MOD;
        else if (s[i] == '?') {
            dp[i][0][0] = dp[i][0][1] = (dp[i - 1][0][0] + dp[i - 1][1][0]) % MOD;
            dp[i][1][0] = dp[i][1][1] = (dp[i - 1][0][1] + dp[i - 1][1][1]) % MOD;
        }
    }
    printf("%lld\n", (dp[len - 1][0][0] + dp[len - 1][1][0]) % MOD);
    return 0;
}