编程题
### 问题描述
大衣有一个长度为 $N$ 的数组 $A$ 和一个整数 $K$,他可以对数组 $A$ 进行任意次数的以下操作:
- 选择任意 $K$ 个不同的索引 $i_1,i_2,\dots,i_K$,然后将这些索引在数组 $A$ 中对应的元素加 $1$。
请问大衣是否能够通过任意次数的操作将数组 $A$ 变成回文的,如果可以输出 $YES$,否则输出 $NO$。
### 输入格式
第一行输入一个正整数 $T$ 表示测试数据的组数。
接下来 $T$ 组测试数据每组输入两行:
- 第一行输入两个整数 $N,K$ 分别表示数组 $A$ 的长度和如题所述。
- 第二行输入 $N$ 个整数 $A_1,A_2,\cdots,A_N$ 表示数组 $A$ 的元素。
### 输出格式
对于每组测试数据,如果能够通过任意次数的操作将数组 $A$ 变成回文的输出 $YES$,否则输出 $NO$,并换行。
### 样例输入
```text
4
5 3
2 4 5 4 2
6 1
4 5 5 4 6 4
6 2
4 5 5 4 6 4
4 2
1 2 3 3
```
### 样例输出
```text
YES
YES
YES
NO
```
### 说明
样例 $1$:数组 $A$ 已经是回文的了。
样例 $2$:可以进行如下操作:
- 选择索引 $[4]$:数组 $A$ 变为 $[4,5,5,5,6,4]$。
- 选择索引 $[2]$:数组 $A$ 变为 $[4,6,5,5,6,4]$。
此时数组 $A$ 已经是回文的了。
样例 $3$:可以进行如下操作:
- 选择索引 $[2,4]$:数组 $A$ 变为 $[4,6,5,5,6,4]$。
此时数组 $A$ 已经是回文的了。
样例 $4$:可以证明无论怎么操作数组 $A$ 都不会变成回文的。
### 评测数据规模
对于所有的评测数据,$1\le T\le20$,$1\le K\le N\le 10^4$,$1\le A_i\le10^6$。