Kattis truefalseworksheet —— 记忆化搜索

This way

题意：

让你构造长度为n的01串，并且需要满足m个条件，条件有两种：
l r same 表示l到r区间的所有数都要相同
l r different 表示l到r区间的所有数不能全部相同
问你有多少种构造方法

题解：

正着的dp我做了好久还是不对，该死我好菜
wa了几发之后发现记忆化可以存下所有状态，那么不如用记忆化搜索
dp[i][j][k]表示到第i个位置的时候，后缀有j个相同的数的时候，最后一个数是k(0/1)的时候的情况数。
那么只需要分类讨论即可，
fa数组表示当前点的值是否一定要和前面的数一样
dif数组表示第i个位置的前面最后一个需要满足条件2的区间是什么
dif数组我处理了一下，因为如果一个区间被另一个区间包含，那么另一个区间不需要考虑

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int N=5005;
const ll mod=1e9+7;
ll dp[N][N][2];
int fa[N],dif[N],sam[N];
int n,m;
ll dfs(int pos,int len,int now){
    if(pos>n)
        return 1;
    if(~dp[pos][len][now])
        return dp[pos][len][now];
    ll ans=0;
    if(fa[pos]==pos-1){
        if(len+1>=pos-dif[pos]+1)
            return 0;
        ans=dfs(pos+1,len+1,now);
    }
    else {
        ans=dfs(pos+1,1,now^1);
        if(len+1<pos-dif[pos]+1)
            ans=(ans+dfs(pos+1,len+1,now))%mod;
    }
    dp[pos][len][now]=ans;
    return ans;
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++)
        fa[i]=i;
    int l,r,f=0,pos;
    char s[15];
    for(int i=1;i<=m;i++){
        scanf("%d%d%s",&l,&r,&s);
        if(s[0]=='s')
            sam[l+1]++,sam[r+1]--;
        else
            dif[r]=dif[r]?max(l,dif[r]):l;
        if(dif[r]==r)
            f=1;
    }
    if(f)
        return 0*printf("0\n");
    f=0,pos=0;
    for(int i=2;i<=n;i++){
        f+=sam[i];
        if(f)
            fa[i]=i-1;
        if(dif[i]<=pos)
            dif[i]=0;
        pos=max(pos,dif[i]);
    }
    memset(dp,-1,sizeof(dp));
    printf("%lld\n",2*dfs(1,1,0)%mod);
    return 0;
}
/*
4 2
1 3 d
2 4 d
*/