CF1698F.Equal Reversal

There is an array $a$ of length $n$. You may perform the following operation on it:

• Choose two indices $l$ and $r$ where $1 \le l \le r \le n$ and $a_l = a_r$. Then, reverse the subsegment from the $l$-th to the $r$-th element, i. e. set $[a_l, a_{l + 1}, \ldots, a_{r - 1}, a_r]$ to $[a_r, a_{r-1}, \ldots, a_{l+1}, a_l]$.

You are also given another array $b$ of length $n$ which is a permutation of $a$. Find a sequence of at most $n^2$ operations that transforms array $a$ into $b$, or report that no such sequence exists.

有一个长度为 $n$ 的数组 $a$。你可以对它执行以下操作：

• 选择两个下标 $l$ 和 $r$，满足 $1 \le l \le r \le n$ 且 $a_l = a_r$。然后，将从第 $l$ 个到第 $r$ 个元素构成的子段进行翻转，即把 $[a_l, a_{l + 1}, \ldots, a_{r - 1}, a_r]$ 变为 $[a_r, a_{r-1}, \ldots, a_{l+1}, a_l]$。

同时给你另一个长度为 $n$ 的数组 $b$，它是 $a$ 的一个排列。请找出一个最多包含 $n^2$ 次操作的序列，使得将数组 $a$ 变为 $b$；若不存在这样的操作序列，则报告无解。

Each test contains multiple test cases. The first line contains a single integer $t$ ($1 \leq t \leq 100$) — the number of test cases. The description of the test cases follows.

The first line of each test case contains an integer $n$ ($1 \le n \le 500$) — the length of array $a$ and $b$.

The second line of each test case contains $n$ integers $a_1, a_2, \ldots, a_n$ ($1 \le a_i \le n$) — elements of the array $a$.

The third line of each test case contains $n$ integers $b_1, b_2, \ldots, b_n$ ($1 \le b_i \le n$) — elements of the array $b$.

It is guaranteed that $b$ is a permutation of $a$.

It is guaranteed that the sum of $n$ over all test cases does not exceed $500$.

每个测试包含多个测试用例。第一行包含一个整数 $t$（$1 \leq t \leq 100$），表示测试用例的数量。随后是各测试用例的描述。

每个测试用例的第一行包含一个整数 $n$（$1 \le n \le 500$），表示数组 $a$ 和 $b$ 的长度。

每个测试用例的第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$（$1 \le a_i \le n$），表示数组 $a$ 的元素。

每个测试用例的第三行包含 $n$ 个整数 $b_1, b_2, \ldots, b_n$（$1 \le b_i \le n$），表示数组 $b$ 的元素。

保证 $b$ 是 $a$ 的一个排列。

保证所有测试用例中 $n$ 的总和不超过 $500$。

For each test case, output "NO" (without quotes) if it is impossible to turn $a$ into $b$ using at most $n^2$ operations.

Otherwise, output "YES" (without quotes). Then output an integer $k$ ($0 \leq k \leq n^2$) denoting the number of operations you will perform. Note that you don't have to minimize the number of operations.

Afterwards, output $k$ lines. The $i$-th line should contain two integers $l_i$ and $r_i$ ($1 \leq l_i \leq r_i \leq n$) — the left and right indices for the $i$-th operation.

You can output "YES" and "NO" in any case (for example, strings "yEs", "yes" and "Yes" will be recognized as a positive response).

If there are multiple possible sequences of operations, you may output any of them.

对于每个测试用例，若无法在至多 $n^2$ 次操作内将 $a$ 变为 $b$，则输出 "NO"（不带引号）。

否则，输出 "YES"（不带引号）。接着输出一个整数 $k$（$0 \leq k \leq n^2$），表示你将执行的操作次数。注意：你无需最小化操作次数。

随后，输出 $k$ 行。第 $i$ 行应包含两个整数 $l_i$ 和 $r_i$（$1 \leq l_i \leq r_i \leq n$）——即第 $i$ 次操作的左端点和右端点。

你可以以任意大小写形式输出 "YES" 和 "NO"（例如，字符串 "yEs"、"yes" 和 "Yes" 均会被识别为肯定回答）。

若存在多种可能的操作序列，你可以输出其中任意一种。

In the first test case, we can perform the following operations: $$[1,2,4,3,1,2,1,1] \xrightarrow[l=5,\,r=8]{} [1,2,4,3,1,1,2,1] \xrightarrow[l=1,\,r=6]{} [1,1,3,4,2,1,2,1].$$

In the second test case, we can perform the following operations: $$[1,2,3,1,3,2,3] \xrightarrow[l=1,\,r=4]{} [1,3,2,1,3,2,3] \xrightarrow[l=3,\,r=6]{} [1,3,2,3,1,2,3].$$

It can be proven that it is impossible to turn $a$ into $b$ in the third and fourth test cases.

在第一个测试用例中，我们可以执行以下操作：

$$[1,2,4,3,1,2,1,1] \xrightarrow[l=5,\,r=8]{} [1,2,4,3,1,1,2,1] \xrightarrow[l=1,\,r=6]{} [1,1,3,4,2,1,2,1].$$

在第二个测试用例中，我们可以执行以下操作：

$$[1,2,3,1,3,2,3] \xrightarrow[l=1,\,r=4]{} [1,3,2,1,3,2,3] \xrightarrow[l=3,\,r=6]{} [1,3,2,3,1,2,3].$$

可以证明，在第三和第四个测试用例中，无法将 $a$ 变为 $b$。