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 自动生成