HihoCoder 1454

#include<bits/stdc++.h>
typedef long long ll;
using namespace std;
const int mod = 998244353;
void add(int &x,int y){
    if((x+=y)>=mod)x-=mod;
}
int dp[502][502][2][2];
char a[1000],b[1000];
int main()
{
    int n;
    scanf("%d",&n);
    scanf("%s",a+1);
    scanf("%s",b+1);

    if(n==1){
        if(b[1]=='1')cout<<0;
        else cout<<1;
        return 0;
    }
    for(int r=1;r<=n;r++){
        for(int l=r;l;--l){//区间dp两层循环
            if(a[l]=='0'||a[l]=='?'){
                if(l==r)dp[l][r][0][0]=(b[l]=='0'||b[l]=='?');
                if(l!=r &&(b[l]=='1'||b[l]=='?'))
                for(int i=0;i<2;i++){
                    for(int j=0;j<2;j++)
                        add(dp[l][r][0][1],dp[l+1][r][i][j]);//if has right brother
                }

            }
            if(a[l]=='1'||a[l]=='?'){
                if(l!=r&&(b[l]=='0'||b[l]=='?')){
                    for(int i=0;i<2;i++){
                        for(int j=0;j<2;j++){
                            add(dp[l][r][1][0],dp[l+1][r][i][j]);
                        }
                    }
                }
                if(b[l]=='1'||b[l]=='?'){
                    for(int en=l+1;en<r;++en){
                        ll le=0,ri=0;
                        for(int i=0;i<2;i++){
                            for(int j=0;j<2;j++){
                                le+=dp[l+1][en][i][j],ri+=dp[en+1][r][i][j];
                            }
                        }
                        add(dp[l][r][1][1],(ll)le*ri%mod);
                    }
                }
            }

        }
    }
    cout<<dp[1][n][1][0];
    return 0;
}

参考其他大佬的，我理解得是第三、四维表示是不是叶子节点以及是否有右兄弟节点，因为是先序遍历，所以有一个性质下一个节点必定是当前节点的右兄弟节点，所以可以用区间dp进行递推，从dp【l+1】【r】到dp【l】【r】，就变成一个简单的区间dp，但是有第三第四维的话，比如是叶子节点没有右兄弟节点就dp【l】【l】【0】【0】=1，是叶子节点又有右兄弟节点，应该加上兄弟节点所表示的4种状态的方法。dp【l】【r】【0】【1】+=dp【l+1】【r】【0-2】【0-2】，不是叶子节点，没有右兄弟节点那下一个节点则是它的儿子节点，dp【l】【r】【1】【0】+=dp【l+1】【r】【0-2】【0-2】，如果不是叶子节点还有右兄弟节点则是两边的和的乘积，希望我以后还能记得，挺巧的