AT_abc386_f [ABC386F] Operate K

给定字符串 $ S $，你需要判断是否有可能通过最多 $ K $ 次操作将其变为字符串 $ T $。 这里操作的定义如下： 1. 在 $ S $ 的任意位置（包括头尾）插入一个字符。 2. 从 $ S $ 删除一个字符。 3. 将 $ S $ 中的某个字符替换为另一个字符。

输入包含三个部分，通过标准输入获取： > $ K $ $ S $ $ T $

如果可以在最多 $ K $ 次操作内将字符串 $ S $ 变为 $ T $，输出 `Yes`；否则输出 `No`。 ## 数据范围和提示 - $ S $ 和 $ T $ 都是由小写英文字母构成的字符串，它们的长度在 $ 1 $ 到 $ 500000 $ 之间。 - $ K $ 是一个满足 $ 1 \le K \le 20 $ 的整数。 ### 示例解释 #### 示例 1 可以通过 3 次操作将 `abc` 变为 `awtf`： - 首先，将第 2 个字符 `b` 改为 `w`。这一步后，字符串是 `awc`。 - 接着，将第 3 个字符 `c` 改为 `f`。这时，字符串变为 `awf`。 - 最后，在第 2 和第 3 个字符之间插入 `t`，得到 `awtf`。 #### 示例 2 在不超过 2 次操作的情况下，无法将 `abc` 变为 `awtf`。 **本翻译由 AI 自动生成**

### Sample Explanation 1 例えば、次のように操作することで、 $ 3 $ 回の操作で `abc` を `awtf` に変換できます。 - $ 2 $ 文字目の `b` を `w` に変更する。操作後の文字列は `awc` となる。 - $ 3 $ 文字目の `c` を `f` に変更する。操作後の文字列は `awf` となる。 - $ 2 $ 文字目と $ 3 $ 文字目の間に `t` を挿入する。操作後の文字列は `awtf` となる。 ### Sample Explanation 2 $ 2 $ 回以下の操作では `abc` を `awtf` に変換できません。 ### Constraints - $ S,T $ は英小文字からなる長さ $ 1 $ 以上 $ 500000 $ 以下の文字列 - $ K $ は $ \color{red}{1 \le K \le 20} $ を満たす整数