洛谷 2676 [NOIP2015] 子串 DP

题目：
https://www.luogu.org/problem/show?pid=2679

个人感觉此题是NOIP2015最难的一道，本来想爆搜水分，但是子串互不重叠这个条件不会搞，有会搞的请@我，谢谢；

思路：

定义方程dp[i][j][k]：A中前i个字符与B中前j个字符匹配，使用了k个子串的方案;

可是存在A[i]是否对答案有贡献两种情况；

怎么办？

那就加1维记录，套路……；

若A[i]=B[j]:
A中第i位使用（当且仅当满足A[i]=B[j]）
dp[i][j][k][1]=dp[i-1][j-1][k][1]+dp[i-1][j-1][k-1][0]+dp[i-1][j-1][k-1][1];
即：与i-1相连,不单独使用 + i-1不使用,i作为新子串 + i-1使用，i作为新子串；
附：方程中的k-1说明i与i-1不组成一个子串，k说明i与i-1构成第k个子串；

A中第i位不使用（无限制）
dp[i][j][k][0]=dp[i-1][j][k][1]+dp[i-1][j][k][0];
即：将其更新为i-1与j匹配的情况；

可是……1000*200*200*2，会爆内存；

滚动数组优化；
我们发现第一维只与i与i-1有关，所以滚动数组优化掉；
记一个pre，一个now；
pre表示前一个状态；
now表示当前状态；

所以在开始新一轮dp时，要初始化pre，并交换pre和now的值；
上一个状态的now变为当前状态的pre；

这样就成了 2*200*200*2，稳过；

边界：

dp[now][1][1][0]=sum(A[1~i-1]==B[j]);
即A前i-1个与b[1]相等的数量；

若A[i]=B[i]
dp[now][1][1][1]=1;
否则
dp[now][1][1][1]=0;
因为当前B中只有一个字符，所以若A[i]使用，dp数组最多为1；

正是因为如此，每次要将dp[pre]清空；

感想

做（抄）完这道题，感慨万千……；

突然发觉dp并没有想象中的那么难；

总的套路：

先是状态的定义（个人认为最关键）；
然后状态转移（用人类的思维）;
细节，边界处理好；
然后就完了；
比如此题：
刚看的时候明知是DP，但就是想打搜索，这就是所谓未战先怯吧，
但明白方程和思路后，又觉得没有想象中的那么难；

oi征途漫长………………………………………………………………

但是

汪国真曾经写道:”没有比人更高的山 没有比脚更长的路 。”

多练习，多总结，多巩固；

会有收获的……；

在高二停一个半月的课，既然付出了代价就让它付出的有价值吧！

全体参赛oier NOIP 2017 RP++!

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int mod=1000000007;
int dp[3][301][301][3],cnt,now,pre=1,n,m,t;
char s1[1021],s2[1021];
void solve()
{
    cin>>n>>m>>t;
    scanf("%s%s",s1+1,s2+1);
    for(int i=1;i<=n;i++)
    {
        swap(now,pre);
        dp[now][1][1][0]=cnt;
        if(s1[i]==s2[1]) dp[now][1][1][1]=1,cnt++;
        for(int j=2;j<=m;j++)
        {
            for(int k=1;k<=t;k++)
            {
                if(s1[i]==s2[j])
                dp[now][j][k][1]=((dp[pre][j-1][k-1][0]+dp[pre][j-1][k-1][1])%mod+dp[pre][j-1][k][1])%mod;
                dp[now][j][k][0]=(dp[pre][j][k][0]+dp[pre][j][k][1])%mod;
            }
        }
        for(int j=1;j<=m;j++)
            for(int k=1;k<=t;k++) 
                dp[pre][j][k][1]=dp[pre][j][k][0]=0;
    }
    cout<<(dp[now][m][t][1]+dp[now][m][t][0])%mod;
    return;
}
int main()
{
    solve();
    return 0;
}