#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】,如果不是叶子节点还有右兄弟节点则是两边的和的乘积,希望我以后还能记得,挺巧的