题目描述

对于一个长度为 $m$ 的数组 $b$，你可以执行以下两种操作：

1. 选择一个下标 $1 \le i \le m-1$，交换 $b_i$ 和 $b_{i+1}$ 的值。
2. 选择一个下标 $1 \le i \le m-2$，交换 $b_i$ 和 $b_{i+2}$ 的值。

限制：操作 $2$ 最多只能执行一次。

我们定义：

• $f(b)$：使用操作1 + 操作2 将数组 $b$ 排序为非递减顺序所需的最小操作次数。
• $g(b)$：仅使用操作1 将数组 $b$ 排序为非递减顺序所需的最小操作次数。

如果数组 $b$ 满足 $f(b) = g(b)$，则称 $b$ 是完美数组。 换句话说：允许使用操作2 并不会比仅使用相邻交换（操作1）减少排序所需的操作次数。

给定一个长度为 $n$ 的排列 $a$，你需要回答 $q$ 个询问。 每个询问包含两个整数 $l, r$（$1 \le l \le r \le n$），代表子数组 $a[l \dots r]$。 对于每个询问，判断这个子数组是否是完美数组。

补充定义：

• 长度为 $n$ 的排列：包含 $1 \sim n$ 所有不重复整数的数组。
• 子数组 $a[l \dots r]$：包含从下标 $l$ 到 $r$ 的所有元素，即 $[a_l, a_{l+1}, a_{l+2}, \dots, a_r]$。

输入格式

输入包含多组测试数据。 第一行输入测试数据组数 $t$（$1 \le t \le 5 \cdot 10^4$）。

每组测试数据：

1. 第一行输入两个整数 $n, q$（$1 \le n, q \le 5 \cdot 10^5$），分别表示数组长度和询问数量。
2. 第二行输入 $n$ 个整数 $a_1, a_2, \dots, a_n$（$1 \le a_i \le n$），表示排列 $a$。
3. 接下来 $q$ 行，每行输入两个整数 $l, r$（$1 \le l \le r \le n$），表示询问的子数组左右端点。

保证：所有测试数据的 $n$ 之和与 $q$ 之和均不超过 $5 \cdot 10^5$。

输出格式

对于每组测试数据的每个询问：

• 如果子数组 $a[l \dots r]$ 是完美数组，输出 YES；
• 否则，输出 NO。

输出不区分大小写（yes/Yes/YES 均合法）。

样例输入

2
5 5
1 5 4 3 2
1 2
1 5
3 5
1 4
2 5
5 5
3 2 1 4 5
1 1
4 5
1 4
2 5
3 4

样例输出

YES
NO
NO
NO
NO
YES
YES
NO
YES
YES

样例解释（第一个测试用例）

1. 询问 $[1,2]$：子数组 $[1,5]$ 已有序，$f=g=0$，是完美数组，输出 YES。
2. 询问 $[1,5]$：子数组 $[1,5,4,3,2]$
   • $f=4$（使用1次操作2+3次操作1完成排序）；
   • $g=6$（仅用相邻交换需要6次）；
   • $f \neq g$，输出 NO。
3. 询问 $[3,5]$：子数组 $[4,3,2]$
   • $f=1$（直接使用1次操作2完成排序）；
   • $g=3$（仅用相邻交换需要3次）；
   • $f \neq g$，输出 NO。