[NOIP2015]子串
题号:NC16463
时间限制:C/C++/Rust/Pascal 1秒,其他语言2秒
空间限制:C/C++/Rust/Pascal 128 M,其他语言256 M
64bit IO Format: %lld

题目描述

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

输入描述:

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

输出描述:

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

示例1

输入

复制
6 3 1
aabaab
aab

输出

复制
2

说明

样例 1所有合法方案如下:(加下划线的部分表示取出的子串)

aab aab / aab aab
示例2

输入

复制
6 3 2
aabaab
aab

输出

复制
7

说明

样例 2:所有合法方案如下:(加下划线的部分表示取出的子串)
a ab aab / aba ab / a ba ab / aab a ab
aa b aab/ aa baa / aab aa b
示例3

输入

复制
6 3 3
aabaab
aab

输出

复制
7

说明

样例 3所有合法方案如下:(加下划线的部分表示取出的子串)
a a b aab / a a baa / ab a / aba a b
a b a /a ba a b / aab a 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。