CF1896C.Matching Arrays

You are given two arrays $a$ and $b$ of size $n$. The beauty of the arrays $a$ and $b$ is the number of indices $i$ such that $a_i \gt b_i$.

You are also given an integer $x$. Determine whether it is possible to rearrange the elements of $b$ such that the beauty of the arrays becomes $x$. If it is possible, output one valid rearrangement of $b$.

给你两个长度为 $n$ 的数组 $a$ 和 $b$。数组 $a$ 和 $b$ 的“美感”定义为满足 $a_i \gt b_i$ 的下标 $i$ 的个数。

你还将得到一个整数 $x$。请判断是否可以重新排列数组 $b$ 的元素，使得数组的“美感”恰好为 $x$。如果可以，请输出数组 $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 two integers $n$ and $x$ ($1 \le n \le 2\cdot 10^5$, $0 \le x \le n$) — the size of arrays $a$ and $b$ and the desired beauty of the arrays.

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

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

It is guaranteed that the sum of $n$ over all test cases does not exceed $2\cdot 10^5$.

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

每个测试用例的第一行包含两个整数 $n$ 和 $x$（$1 \le n \le 2\cdot 10^5$，$0 \le x \le n$）—— 分别表示数组 $a$ 和 $b$ 的大小，以及期望的数组“美观度”。

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

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

保证所有测试用例中 $n$ 的总和不超过 $2\cdot 10^5$。

For each test case, output "NO" if it is not possible to rearrange $b$ to make the beauty of the arrays equal to $x$.

Otherwise, output "YES". Then, on the next line, output $n$ integers which represent the rearrangement of $b$.

If there are multiple solutions, you may output any of them.

You can output "YES" and "NO" in any case (upper or lower). For example, the strings "yEs", "yes", "Yes", and "YES" will be recognized as positive responses.

对于每个测试用例，如果无法重排数组 $b$ 使得两个数组的美观度等于 $x$，则输出 "NO"。

否则，输出 "YES"；然后在下一行输出 $n$ 个整数，表示数组 $b$ 的一种重排方案。

若存在多种可行解，输出任意一种即可。

"YES" 和 "NO" 的大小写不限（例如，字符串 "yEs"、"yes"、"Yes" 和 "YES" 均被视为肯定回答）。

In test cases 1 and 2, the beauty of the arrays has to be $0$ since $a_1 = 1 \le 2 = b_1$.

In test cases 3, 4, 5 and 6, the only possible beauty of the arrays is $x = 1$ and $x = 2$. In particular, if $b$ is rearranged to $[2, 4, 1]$, then $a_3 = 3 \gt 1 = b_3$, so the beauty of the arrays is $1$. If $b$ is kept in the same order as given the input, then $a_2 = 4 \gt b_2 = 1$ and $a_3 = 3 \gt 2 = b_3$, so the beauty of the arrays is $2$.

在测试用例 1 和 2 中，由于 $a_1 = 1 \le 2 = b_1$，数组的“优美值”必须为 $0$。

在测试用例 3、4、5 和 6 中，数组可能的“优美值”仅有 $x = 1$ 和 $x = 2$。具体而言，若将 $b$ 重排为 $[2, 4, 1]$，则 $a_3 = 3 \gt 1 = b_3$，因此数组的“优美值”为 $1$；若保持 $b$ 与输入中相同的顺序，则 $a_2 = 4 \gt b_2 = 1$ 且 $a_3 = 3 \gt 2 = b_3$，因此数组的“优美值”为 $2$。