E-而后单调_牛客周赛 Round 74

时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

$\hspace{15pt}$ 对于给定的由 $n$ 个整数组成的数组 $\left\{a_1, a_2, \dots, a_n\right\}$ ，你需要按照下述规则进行操作：

${\hspace{20pt}}_\texttt{1.}\,$ 从数组中选出连续的 $m$ 个元素（即选择一个长度为 $m$ 的连续子数组）；

${\hspace{20pt}}_\texttt{2.}\,$ 将数组中剩余的 $n - m$ 个元素重新排序；

${\hspace{20pt}}_\texttt{3.}\,$ 在重新排序后的数组中选择一个位置，顺序插入刚刚选出的 $m$ 个元素；

$\hspace{15pt}$ 问是否存在至少一种方案，使得最终得到的数组是个严格递增或严格递减数组。

输入描述:

每个测试文件均包含多组测试数据。第一行输入一个整数  代表数据组数，每组测试数据描述如下：

第一行输入两个整数  代表数组长度、你需要取出的元素数量。
第二行输入  个整数  代表数组元素。

除此之外，保证单个测试文件的  之和不超过  。

输出描述:

对于每一组测试数据，如果存在至少一种方案，使得最终得到的数组是个严格递增或严格递减数组，在单独的一行上输出  ；否则，直接输出  。

示例1

输入

复制

4
5 5
1 2 3 4 5
3 2
9 2 4
6 3
12 3 8 7 6 5
5 3
1 3 2 4 5

输出

复制

YES
YES
YES
NO

说明

对于第一组测试数据，不需要进行任何操作，数组已经是严格递增数组。

对于第二组测试数据，选择区间  ，随后将这两个元素插入到  之前，得到  。

对于第三组测试数据，符合要求的方案为，选择区间  ，随后将剩余的元素重新排列得到  ，随后将这三个元素插入到  之后，得到  。