CF2030D.QED's Favorite Permutation

你有一个长度为 $n$ 的排列 $p$，也就是说，$1$ 到 $n$ 中的每个正整数都在 $p$ 中出现恰好一次。同时你还有一个长度也为 $n$ 的字符串 $s$，其中仅含 L 和 R 两种字符。（排列和字符串的下标均从 $1$ 开始编号）

定义一次操作为：任意选择一个编号 $i$（$1 \le i \le n$），在这之后：

• 如果 $s_i$ 为 L，则交换 $p_i$ 和 $p_{i-1}$。（保证 $s_1$ 不为 L）

• 如果 $s_i$ 为 R，则交换 $p_i$ 和 $p_{i+1}$。（保证 $s_n$ 不为 R）

接下来给出 $q$ 次询问，在第 $i$ 次询问中（$1 \le i \le q$），你将会得到一个编号 $x_i$（$1 \le x_i \le n$），表示如果 $s_{x_i}$ 为 L，则你需要将其改为 R；反之如果 $s_{x_i}$ 为 R，则你需要将其改为 L。在修改完成之后，你还需要判断能否通过上述操作使得排列 $p$ 单调递增（操作次数不限），即对任意的 $1 \le i \le n-1$，都有 $p_i < p_{i+1}$。

询问中对字符串 $\bm{s}$ 的修改均为永久性的，会在询问结束后保留。在回答询问的过程中，你不应对排列 $\bm{p}$ 进行任何真实的操作。

第一行一个正整数 $t$（$1 \le t \le 10^4$），表示测试数据的组数。对于每组测试数据而言：

第一行包含两个正整数 $n,q$（$1\le n,q \le 2 \times 10^5$，$n \ge 3$），分别表示排列的长度和询问的次数。

第二行包含 $n$ 个正整数 $p_1,p_2,...,p_n$（$1 \le p_i \le n$），表示排列 $p$。

第三行包含一个长度为 $n$ 的字符串 $s$，保证 $s_i \in \{ \texttt{L}, \texttt{R} \}，s_1 = \texttt{R}，s_n = \texttt{L}$。

接下来 $q$ 行，其中第 $i$ 行包含一个正整数 $x_i$（$1 \le x_i \le n$），表示要修改的字符的编号。

保证所有测试数据中 $n$ 和 $q$ 的总和都不超过 $2 \times 10^5$。

对于每个询问，在单独一行输出一个字符串表示答案。如果在修改完成之后能通过上述操作使得排列 $p$ 单调递增（操作次数不限），则输出 YES；否则输出 NO。评测时不区分大小写，例如 Yes，yES 等均被认为与 YES 等价。

【样例解释】

对于第一组测试数据，在第一次询问之后，$s = \texttt{RRRLL}$。我们可以通过如下操作序列使得排列 $p$ 单调递增：

• 初始时，$p=[1,4,2,5,3]$。

• 选择 $i=2$ 进行一次操作，由于 $s_2 = \texttt{R}$，所以我们交换 $p_2$ 和 $p_3$，得到 $p=[1,2,4,5,3]$。

• 选择 $i=5$ 进行一次操作，由于 $s_5 = \texttt{L}$，所以我们交换 $p_5$ 和 $p_4$，得到 $p=[1,2,4,3,5]$。

• 选择 $i=4$ 进行一次操作，由于 $s_4 = \texttt{L}$，所以我们交换 $p_4$ 和 $p_3$，得到 $p=[1,2,3,4,5]$。此时，排列 $p$ 已经单调递增。

因此，对于第一次询问你应当输出 YES。

对于第一组测试数据可以证明，在三次询问对字符串 $s$ 的修改完成之后，不可能再通过上述操作使得排列 $p$ 单调递增。因此，对于第三次询问你应当输出 NO。

Translated by FruitWasTaken