子串

有两个仅包含小写英文字母的字符串A和B。现在要从字符串A中取出k个互不重叠的非空子串，然后把这k个子串按照其在字符串A中出现的顺序依次连接起来得到一 个新的字符串，请问有多少种方案可以使得这个新串与字符串B相等？注意：子串取出 的位置不同也认为是不同的方案。

【数据规模与约定】 对于第1组数据：1<=n<=500，1<=m<=50，k=1; 对于第2组至第3组数据：1<=n<=500，1<=m<=50，k=2; 对于第4组至第5组数据：1<=n<=500，1<=m<=50，k=m; 对于第1组至第7组数据：1<=n<=500，1<=m<=50，1<=k<=m; 对于第1组至第9组数据：1<=n<=1000，1<=m<=100，1<=k<=m; 对于所有10组数据：1<=n<=1000，1<=m<=200，1<=k<=m。

输入
输入文件名为substring.in。 第一行是三个正整数n，m，k，分别表示字符串A的长度，字符串B的长度，以及问 题描述中所提到的k，每两个整数之间用一个空格隔开。 第二行包含一个长度为n的字符串，表示字符串A。 第三行包含一个长度为m的字符串，表示字符串B。

输出
输出文件名为substring.out。 输出共一行，包含一个整数，表示所求方案数。由于答案可能很大，所以这里要求输 出答案对1,000,000,007取模的结果。

样例输入 [复制]
样例1：
6 3 1
aabaab
aab

样例2：
6 3 2
aabaab
aab

样例3：
6 3 3
aabaab
aab
样例输出 [复制]
样例1：
2

样例2：
7

样例3：
7
标签
NOIP2015提高组-day2-2

#include<bits/stdc++.h>
using namespace std;
const int N=1010;
const int mod=1000000007;
inline int read(){
	int w=1,data=0;char ch;
	ch=getchar();
	while(ch!='-'&&(ch<'0'||ch>'9')) ch=getchar();
	if(ch=='-') w=-1,ch=getchar();
	while(ch>='0'&&ch<='9') data=data*10+ch-'0',ch=getchar();
	return data*w;
}  
int n,m,k;
char a[N],b[N];
int s[2][N][N],f[2][N][N];
int main(){
    n=read();m=read();k=read();
    scanf("%s",a+1);scanf("%s",b+1);int now,pre;
    f[0][0][0]=1;
    for(int i=1;i<=n;i++){
  	    now=i&1;pre=now^1;
  	    f[now][0][0]=1;
        for(int j=1;j<=m;j++){
      	    for(int p=1;p<=k;p++){
      	      	if(a[i]==b[j]){
      	      	    s[now][j][p]=(s[pre][j-1][p]+f[pre][j-1][p-1])%mod;
				}
				else s[now][j][p]=0;
				f[now][j][p]=(f[pre][j][p]+s[now][j][p])%mod;
			}
	    }
    } 
	 printf("%d",f[n&1][m][k]%mod);
	return 0;
}