[LUOGU] P2679 子串

一开始用一个f数组转移，发现不太对，状态有重叠部分

f[i][j][k]表示考虑了s的前i位，匹配到t的第j位，用了k个子串，且s的第i位必选

g[i][j][k]表示考虑了s的前i位，匹配到t的第j位，用了k个子串，且s的第i位必不选

考虑i的前一位：前一位选（作为结尾），前一位选（不作为结尾），前一位不选

f[i][j][k]=f[i-1][j-1][k]+f[i-1][j-1][k-1]+g[i-1][j-1][k-1]

第i位不选时继承状态

g[i][j][k]=g[i-1][j][k]+f[i-1][j][k]

滚动数组省一维

#include<iostream>
#include<cstring>
#include<cstdio>
#define int long long
using namespace std;

inline int rd(){
    int ret=,f=;char c;
    while(c=getchar(),!isdigit(c))f=c=='-'?-:;
    while(isdigit(c))ret=ret*+c-'',c=getchar();
    return ret*f;
}

const int MAXN=;
const int MOD=;
int n,m,num;

char s[MAXN],t[MAXN];
int f[][MAXN][MAXN],g[][MAXN][MAXN]; 

signed main(){
    n=rd();m=rd();num=rd();
    scanf("%s%s",s+,t+);
    s[]='a';t[]='b';
    g[][][]=;
    for(int i=;i<=n;i++){
        g[i&][][]=;
        for(int j=;j<=m&&j<=i;j++){
            for(int k=;k<=num;k++){
                f[i&][j][k]=g[i&][j][k]=;
                g[i&][j][k]=(g[(i-)&][j][k]+f[(i-)&][j][k])%MOD;
                if(s[i]==t[j]){
                    f[i&][j][k]=(f[(i-)&][j-][k-]+f[(i-)&][j-][k]+g[(i-)&][j-][k-])%MOD;
                }else{
                    f[i&][j][k]=;
                }
            }
        }
    }
    cout<<(f[n&][m][num]+g[n&][m][num])%MOD;
    return ;
}