CF1721C

相当于一个 $a_i$ 匹配一个 $b_j$，满足 $a_i\le b_j$，$d_i=b_j-a_i$，因为原序列有解，即 $\forall i,a_i\le b_i$。

如果 $a_i$ 匹配 $b_j$ 合法的话就是删去 $a_i$ 和 $b_j$ 后检查是否仍有 $\forall i,a_i\le b_i$。

对于 $d_i$ 最小值，求出最小的 $b_j$，满足 $b_j\ge a_i$ 且对于 $\forall p\in[j,i-1],a_p\le b_{p+1}$，那么 $b_j-a_i$ 就是 $d_i$ 最小值。这个 lower_bound 一下就好了。

对于 $d_i$ 最大值，求出最大的 $b_j$，满足 $b_j\ge a_i$ 且对于 $\forall p\in[i+1,j],a_p\le b_{p-1}$，那么 $b_j-a_i$ 就是 $d_i$ 最大值。这个预处理 $lst_i$ 表示从 $i$ 开始第一个 $a_p\gt b_{p-1}$ 的位置 $p$ 就好了。

Code：

#include <bits/stdc++.h>
using namespace std;
const int N = 200005;
int T;
int n;
int a[N], b[N], lst[N];

void solve() {
	scanf("%d", &n);
	for (int i = 1; i <= n; ++i) scanf("%d", &a[i]);
	for (int i = 1; i <= n; ++i) scanf("%d", &b[i]);
	lst[n + 1] = n + 1;
	for (int i = n; i > 1; --i) {
		if (a[i] <= b[i - 1]) lst[i] = lst[i + 1];
		else lst[i] = i;
	}
	for (int i = 1; i <= n; ++i) printf("%d ", *lower_bound(b + 1, b + n + 1, a[i]) - a[i]);
	printf("\n");
	for (int i = 1; i <= n; ++i) printf("%d ", b[lst[i + 1] - 1] - a[i]);
	printf("\n");
}

int main() {
	scanf("%d", &T);
	while (T--) solve();
	return 0;
}