#L5529. 「PA 2018 Final」Podobieństwo genetyczne

    ID: 4710 传统题 1000ms 256MiB 尝试: 3 已通过: 1 难度: 10 上传者: 标签>动态规划组合数学容斥原理子序列自动机

「PA 2018 Final」Podobieństwo genetyczne

5529. 「PA 2018 Final」Podobieństwo genetyczne


题目描述

题目译自 PA 2018 Final Podobieństwo genetyczne

我们考虑 DNA 序列,即仅由字符 A\texttt{A}C\texttt{C}G\texttt{G}T\texttt{T} 组成的字符串。我们说字符串 ss 是字符串 ss^{\prime} 的子序列,如果通过删除 ss^{\prime} 中的某些(可能为零个)字符可以得到 ss。例如,AGG\texttt{AGG}TAGAAG\texttt{TAGAAG} 的子序列,而 AGGA\texttt{AGGA} 不是。

对于两个字符串 s1s_{1}s2s_{2},我们定义它们的 mm-相似性为长度为 mm 的序列 ww 的数量,其中 wws1s_{1} 的子序列当且仅当 ww 也是 s2s_{2} 的子序列。换句话说,这是长度为 mm 的序列中,要么是两个字符串的子序列,要么都不是两个字符串的子序列的序列数量。

对于给定的字符串 s1s_{1}s2s_{2} 和数字 mm,计算 s1s_{1}s2s_{2}mm-相似性。


输入格式

输入由三行组成。

前两行分别是序列 s1s_{1}s2s_{2},每个序列包含至少 11 个、最多 10000001000000 个字符,字符取自集合 {A,C,G,T}\{\texttt{A}, \texttt{C}, \texttt{G}, \texttt{T}\}

第三行包含一个整数 mm (1m20)(1 \leq m \leq 20)


输出格式

输出一个整数:s1s_{1}s2s_{2}mm-相似性。


样例 1

输入

TCAGG
TAGAAG
2

输出

11

为了计算序列 TCAGG\texttt{TCAGG}TAGAAG\texttt{TAGAAG}22-相似性,需要考虑所有 42=164^{2}=16 种可能的双字符序列。其中,三个(CA\texttt{CA}, CG\texttt{CG}, TC\texttt{TC})仅是第一个序列的子序列,两个(AA\texttt{AA}, GA\texttt{GA})仅是第二个序列的子序列,四个(AG\texttt{AG}, GG\texttt{GG}, TA\texttt{TA}, TG\texttt{TG})是两个序列的子序列,而其余七个(AC\texttt{AC}, AT\texttt{AT}, CC\texttt{CC}, CT\texttt{CT}, GC\texttt{GC}, GT\texttt{GT}, TT\texttt{TT})都不是两个序列的子序列。因此,所需的 22-相似性为 4+7=114 + 7 = 11


样例 2

输入

T
AG
3

输出

64