AT_abc329_e [ABC329E] Stamp

给定一个由大写英文字母组成、长度为 $N$ 的字符串 $S$，以及一个由大写英文字母组成、长度为 $M\ (\leq N)$ 的字符串 $T$。 还有一个长度为 $N$、仅由 `#` 组成的字符串 $X$。你可以进行任意次数如下操作： - 从 $X$ 中选择连续的 $M$ 个字符，并用 $T$ 替换它们。 请判断是否可以通过若干次操作将 $X$ 变为 $S$。

输入通过标准输入按以下格式给出。 > $N$ $M$ > $S$ > $T$

如果可以将 $X$ 变为 $S$，输出 `Yes`，否则输出 `No`。

## 限制条件 - $1 \leq N \leq 2\times 10^5$ - $1 \leq M \leq \min(N, 5)$ - $S$ 是长度为 $N$ 的大写英文字母字符串。 - $T$ 是长度为 $M$ 的大写英文字母字符串。 ## 样例解释 1 记 $X$ 的第 $l$ 个字符到第 $r$ 个字符的子串为 $X[l:r]$。可以按如下方式操作，将 $X$ 变为 $S$： 1. 用 $T$ 替换 $X[3:5]$，此时 $X = ##ABC##$。 2. 用 $T$ 替换 $X[1:3]$，此时 $X = ABCBC##$。 3. 用 $T$ 替换 $X[5:7]$，此时 $X = ABCBABC$。 ## 样例解释 2 无论如何操作，都无法将 $X$ 变为 $S$。 由 ChatGPT 4.1 翻译