CF2085A.Serval and String Theory

仅由小写拉丁字母组成的字符串 $r$ 被称为通用字符串，当且仅当 $r$ 在字典序上小于$^{\text{∗}}$其反转$^{\text{†}}$后的字符串。

给定一个由 $n$ 个小写拉丁字母组成的字符串 $s$。你需要通过最多 $k$ 次操作使 $s$ 成为通用字符串。每次操作可执行以下步骤：

• 选择两个下标 $i$ 和 $j$（$1 \le i, j \le n$），交换 $s_i$ 和 $s_j$。注意若 $i = j$，则不进行任何操作。

请判断是否能在最多 $k$ 次操作内使 $s$ 成为通用字符串。

$^{\text{∗}}$当两个长度相同的字符串 $a$ 和 $b$ 满足以下条件时，称 $a$ 的字典序小于 $b$：

• 在第一个不同的位置上，$a$ 的字符在字母表中出现的时间早于 $b$ 对应位置的字符。

$^{\text{†}}$字符串 $r$ 的反转是指将 $r$ 从右向左书写得到的新字符串。例如，字符串 $\texttt{abcad}$ 的反转为 $\texttt{dacba}$。

每个测试包含多个测试用例。第一行输入测试用例数 $t$（$1 \le t \le 500$）。接下来描述每个测试用例。

每个测试用例的第一行包含两个整数 $n$ 和 $k$（$1 \le n \le 100$，$0 \le k \le 10^4$）——字符串 $s$ 的长度及允许的最大操作次数。

第二行输入一个由 $n$ 个小写拉丁字母组成的字符串 $s$。

对于每个测试用例，若能在最多 $k$ 次操作内使 $s$ 成为通用字符串，输出 "YES"，否则输出 "NO"。

答案可以任意大小写形式输出（例如 "yEs"、"yes"、"Yes" 和 "YES" 均视为肯定回答）。

第一个测试案例中，任何操作后 $s$ 均保持不变。但 $\texttt{a}$ 的反转仍为 $\texttt{a}$，因此无法使其成为通用字符串。

第二个测试案例中，字符串 $\texttt{rev}$ 的字典序小于其反转 $\texttt{ver}$，因此 $s$ 已经是通用字符串。

第五个测试案例中，可按以下步骤操作：

1. 交换 $s_4$ 和 $s_7$，此时 $s$ 变为 $\texttt{uniserval}$；
2. 交换 $s_1$ 和 $s_3$，此时 $s$ 变为 $\texttt{inuserval}$。

字符串 $\texttt{inuserval}$ 是通用字符串。

翻译由 DeepSeek R1 完成