小苯的双端队列

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

题目描述

$\hspace{15pt}$ 小苯面前有一个双端队列 $\texttt{deque}$ ，其中按从左到右的顺序依次存放着：
$1,2,3,\dots,n$
$\hspace{15pt}$ 接下来，小苯会进行恰好 $n$ 次操作。每次操作中，他只能执行下面两种操作之一：
$\hspace{23pt}\bullet$ 从队首取出一个数；
$\hspace{23pt}\bullet$ 从队尾取出一个数。
$\hspace{15pt}$ 所有取出的数按操作顺序依次组成一个长度为 $n$ 的序列。

$\hspace{15pt}$ 现在给定一个长度为 $n$ 的数组 $a_1,a_2,\dots,a_n$ 。
$\hspace{15pt}$ 你的任务就是判断：是否存在一种合法的出队方式，使得最终得到的出队序列恰好等于数组 $a$ 。

输入描述:

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

 第一行输入一个整数 （）。
 第二行输入  个整数 （）。（保证输入是一个排列）

保证所有测试数据中， 的总和不超过 。

输出描述:

对于每组测试数据：
 如果存在合法的出队方式，输出 "YES"；
 否则输出 "NO"。

示例1

输入

复制

输出

复制

YES
NO
YES
YES

说明

第一组数据中，一种合法操作顺序是：
先从队首取出 ，再从队尾取出 ，再从队首取出 ，再从队尾取出 ，最后取出 。
第二组数据中，初始时队首是 ，队尾是 ，因此第一步不可能取出 ，所以答案为 "NO"。
第三组数据中，每次都从队首取出即可。
第四组数据中，每次都从队尾取出即可。