CF2118F Shifts and Swaps

给定长度为 $n$ 的数组 $a$ 和 $b$，以及一个整数 $m$。 数组仅包含 $1$ 到 $m$ 的整数，并且两个数组都包含了 $1$ 到 $m$ 的所有整数。 你可以对 $a$ 重复执行以下任意操作： - 对数组进行一次左循环移位$^{\ast}$； - 如果相邻两个元素的差值至少为 $2$，则可以交换它们。 是否可以将第一个数组变换为第二个数组？ $^{\ast}$ 对于一个长度为 $n$ 的下标从 $0$ 开始的数组 $p$，其左循环移位后的数组 $q$ 满足 $q_i = p_{(i + 1) \bmod n}$，对于所有 $0 \le i < n$。

每组测试数据包含多组测试用例。第一行包含测试用例数 $t$（$1 \le t \le 10^5$）。接下来是每组测试用例的描述。 每组测试用例的第一行包含两个整数 $n$ 和 $m$（$2 \le m \le n \le 5 \cdot 10^5$），表示数组的长度和 $a$ 中不同元素的个数。 第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$（$1 \le a_i \le m$），表示数组 $a$。 第三行包含 $n$ 个整数 $b_1, b_2, \ldots, b_n$（$1 \le b_i \le m$），表示数组 $b$。 保证两个数组都包含了 $1$ 到 $m$ 的所有整数。 保证所有测试用例中 $n$ 的总和不超过 $5 \cdot 10^5$。

对于每组测试用例，如果可以将第一个数组变换为第二个数组，输出 "YES"；否则输出 "NO"。答案不区分大小写，例如 "yEs"、"yes"、"Yes" 和 "YES" 都会被认为是肯定的回答。

在第一个测试用例中，可以通过以下步骤将数组 $a$ 变换为数组 $b$： - \[ 1 , 2 , 3 \] — 左移一位 - \[ 2 , 3 , 1 \] — 交换下标 $2$ 和 $3$ - \[ 2 , 1 , 3 \] — 左移一位 - \[ 1 , 3 , 2 \] — 左移一位 - \[ 3 , 2 , 1 \] 在第二个测试用例中，可以证明无法通过给定的操作将数组 $a$ 变换为数组 $b$。 由 ChatGPT 4.1 翻译