CF1311B.WeirdSort

You are given an array $a$ of length $n$.

You are also given a set of distinct positions $p_1, p_2, \dots, p_m$, where $1 \le p_i \lt n$. The position $p_i$ means that you can swap elements $a[p_i]$ and $a[p_i + 1]$. You can apply this operation any number of times for each of the given positions.

Your task is to determine if it is possible to sort the initial array in non-decreasing order ($a_1 \le a_2 \le \dots \le a_n$) using only allowed swaps.

For example, if $a = [3, 2, 1]$ and $p = [1, 2]$, then we can first swap elements $a[2]$ and $a[3]$ (because position $2$ is contained in the given set $p$). We get the array $a = [3, 1, 2]$. Then we swap $a[1]$ and $a[2]$ (position $1$ is also contained in $p$). We get the array $a = [1, 3, 2]$. Finally, we swap $a[2]$ and $a[3]$ again and get the array $a = [1, 2, 3]$, sorted in non-decreasing order.

You can see that if $a = [4, 1, 2, 3]$ and $p = [3, 2]$ then you cannot sort the array.

You have to answer $t$ independent test cases.

给你一个长度为 $n$ 的数组 $a$。

你还给定一组互不相同的下标 $p_1, p_2, \dots, p_m$，其中 $1 \le p_i \lt n$。下标 $p_i$ 表示你可以交换元素 $a[p_i]$ 和 $a[p_i + 1]$。对于每个给定的下标，该交换操作可以执行任意多次。

你的任务是判断：仅使用允许的交换操作，能否将初始数组排序为非递减顺序（即满足 $a_1 \le a_2 \le \dots \le a_n$）？

例如，若 $a = [3, 2, 1]$ 且 $p = [1, 2]$，则我们可以首先交换 $a[2]$ 和 $a[3]$（因为下标 $2$ 属于给定集合 $p$），得到数组 $a = [3, 1, 2]$；接着交换 $a[1]$ 和 $a[2]$（下标 $1$ 也在 $p$ 中），得到 $a = [1, 3, 2]$；最后再次交换 $a[2]$ 和 $a[3]$，得到 $a = [1, 2, 3]$，即已按非递减顺序排好序。

你还可以观察到：若 $a = [4, 1, 2, 3]$ 且 $p = [3, 2]$，则无法将该数组排序。

你需要回答 $t$ 个相互独立的测试用例。

The first line of the input contains one integer $t$ ($1 \le t \le 100$) — the number of test cases.

Then $t$ test cases follow. The first line of each test case contains two integers $n$ and $m$ ($1 \le m \lt n \le 100$) — the number of elements in $a$ and the number of elements in $p$. The second line of the test case contains $n$ integers $a_1, a_2, \dots, a_n$ ($1 \le a_i \le 100$). The third line of the test case contains $m$ integers $p_1, p_2, \dots, p_m$ ($1 \le p_i \lt n$, all $p_i$ are distinct) — the set of positions described in the problem statement.

输入的第一行包含一个整数 $t$（$1 \le t \le 100$），表示测试用例的数量。

接下来是 $t$ 个测试用例。每个测试用例的第一行包含两个整数 $n$ 和 $m$（$1 \le m \lt n \le 100$），分别表示数组 $a$ 的元素个数和数组 $p$ 的元素个数。每个测试用例的第二行包含 $n$ 个整数 $a_1, a_2, \dots, a_n$（$1 \le a_i \le 100$）。每个测试用例的第三行包含 $m$ 个整数 $p_1, p_2, \dots, p_m$（$1 \le p_i \lt n$，且所有 $p_i$ 互不相同），即题目描述中所指的位置集合。

For each test case, print the answer — "YES" (without quotes) if you can sort the initial array in non-decreasing order ($a_1 \le a_2 \le \dots \le a_n$) using only allowed swaps. Otherwise, print "NO".

对于每个测试用例，输出答案——如果仅使用允许的交换操作就能将初始数组排序为非递减顺序（即 $a_1 \le a_2 \le \dots \le a_n$），则输出 "YES"（不带引号）；否则输出 "NO"。