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;
}