CF2124D.Make a Palindrome

你被给定了一个长度为 $ n $ 的序列 $ a $ 以及一个数 $ k $，你可以进行如下操作任意次：

• 选择两个整数 $ l $ 和 $ r $ $ (1 \le l \le r \le |a|) $ 满足 $ r-l+1 \geq k $ 。
• 然后，选择一个整数 $ i $ $ (l\leq i \leq r) $ 使得 $ a_i $ 是 $ [a_l,a_{l+1},\ldots,a_r] $ 中第 $ k $ 小的数。如果有多个满足条件 $ i $，你可以任选其一。例如，当 $ a = [1, 2, 2, 1, 3], l = 1, r = 5 $ 且 $ k = 3 $ 时，$ i $ 可能是 $ 2 $ 或 $ 3 $ 。
• 最后，从 $ a $ 中删除 $ a_i $，连接序列的剩余部分。

求出原序列是否能在若干次操作后变为回文串 $ ^{\text{∗}} $ 。注意，空串也被视为回文串。

$ ^{\text{∗}} $ 若序列 $ b=[b_1,b_2,\ldots,b_m] $ 是一个回文串，那么对于 $ 1 \leq i \leq m $，$ b_i=b_{m+1-i} $ 。

每组输入包含多组数据，其中第一行一个整数 $ t $ ( $ 1 \le t \le 10^4 $ ) 表示测试数据组数。每组测试数据格式如下：

第一行包含两个整数 $ n $ 和 $ k $ ( $ 1 \leq k \leq n \leq 2\cdot 10^5 $ ) 。

第二行包含 $ n $ 个整数 $ a_1,a_2,\ldots,a_n $ ( $ 1 \leq a_i \leq n $ ) 表示序列 $ a $ 。

保证每组输入中所有 $ n $ 的和不超过 $ 2\cdot 10^5 $ 。

对于每组数据，如果可以通过若干次操作变为回文串，输出 YES，否则输出 NO。你可以输出答案的任意一种大小写变形。例如，yEs，yes，Yes 和 YES 也被视为肯定的答复。

在第一组样例中，$ a $ 已经是回文串了。

在第一组样例中，我们可以进行如下两次操作：$ [\mathbf{1,1},2,1]\rightarrow [1,\mathbf{2},1]\rightarrow[1,1] $

在第三组样例中，我们可以只进行一次操作：$ [\mathbf{2,3,4,5,3,2}]\rightarrow[2,3,4,3,2] $

在第四组样例中，无论如何进行操作，都无法形成回文串。