CF2192E.Swap to Rearrange

You are given $2$ arrays, $a$ and $b$, both of length $n$. You can perform the following operation:

• Choose an index $i$ ($1 \le i \le n$) and swap $a_i$ with $b_i$.

You can perform the operation any number of times (possibly zero), but each index can be chosen by at most one operation. Your task is to make $a$ a rearrangement of $b$ after all operations, or state that it is impossible. You do not have to minimize the number of operations.

给你两个长度均为 $n$ 的数组 $a$ 和 $b$。你可以执行以下操作：

• 选择一个下标 $i$（$1 \le i \le n$），并交换 $a_i$ 与 $b_i$。

你可以执行该操作任意次数（包括零次），但每个下标最多只能被选择一次。你的任务是在所有操作完成后，使 $a$ 成为 $b$ 的一个重排（即两数组元素多重集相同），或者判定这是不可能的。你无需最小化操作次数。

Each test contains multiple test cases. The first line contains the number of test cases $t$ ($1 \le t \le 10^4$). The description of the test cases follows.

The first line of each test case contains a single integer $n$ ($1 \le n \le 10^6$).

The second line of each test case contains $n$ integers $a_1,a_2,\ldots,a_n$ ($1 \leq a_i \leq n$).

The third line of each test case contains $n$ integers $b_1,b_2,\ldots,b_n$ ($1 \leq b_i \leq n$).

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

每个测试包含多个测试用例。第一行包含测试用例的数量 $t$（$1 \le t \le 10^4$）。随后是各测试用例的描述。

每个测试用例的第一行包含一个整数 $n$（$1 \le n \le 10^6$）。

每个测试用例的第二行包含 $n$ 个整数 $a_1,a_2,\ldots,a_n$（$1 \leq a_i \leq n$）。

每个测试用例的第三行包含 $n$ 个整数 $b_1,b_2,\ldots,b_n$（$1 \leq b_i \leq n$）。

保证所有测试用例的 $n$ 值之和不超过 $10^6$。

For each test case, output $-1$ if it is impossible to make $a$ a rearrangement of $b$. Otherwise, output two lines in the following format:

• In the first line, print the number of operations $s$ ($0 \leq s \leq n$).
• In the second line of each test case, print $s$ numbers – the indices you select in each operation in order. You should guarantee that each index is chosen at most once.

If there are multiple possible answers, you many output any.

对于每个测试用例，如果无法使 $a$ 成为 $b$ 的一个重排，则输出 $-1$；否则，按以下格式输出两行：

• 第一行输出操作次数 $s$（$0 \leq s \leq n$）；
• 每个测试用例的第二行输出 $s$ 个数字——即每次操作所选的下标（按操作顺序）。需保证每个下标至多被选择一次。

若存在多种可能的答案，输出任意一种即可。

In the first test case, the operations performed are swap($a_2, b_2$) and swap($a_4,b_4$), which will make $a = [1,2,3,4]$ and $b = [2,1,4,3]$. Now it is possible to achieve $a$ by rearranging the elements of $b$.

In the second test case, it can be shown that no matter what operations we do, we cannot make $a$ a rearrangement of $b$.

在第一个测试用例中，执行的操作是 swap($a_2, b_2$) 和 swap($a_4,b_4$)，这将使 $a = [1,2,3,4]$ 且 $b = [2,1,4,3]$。此时，可以通过重排 $b$ 的元素来得到 $a$。

在第二个测试用例中，可以证明：无论执行何种操作，都无法使 $a$ 成为 $b$ 的一个重排。