题解：CF1941F（Rudolf and Imbalance）

题解：CF1941F（Rudolf and Imbalance）

题目链接：CodeFoces。

“使得最大值最小”是一个经典的二分答案模型，我们计算出在一个题都不添加的情况下的不平衡性 $s$，二分最终答案的范围为 $1\le ans\le s$。

问题就变成了能否通过添加一道题使得最终的不平衡性小于等于 $x$。考虑所有的 $2\le i\le n$ 且 $a_i-a_{i-1}>x$。如果这样的 $i$ 有大于 $1$ 个，显然添加一个题目无法使得最终的不平衡性减少到 $x$ 及以下。如果没有这样的 $i$，显然是一定可以的。难点就在于这样的 $i$ 恰好有一个。

如果对于这个 $i$，有 $a_i-a_{i-1}>2x$，那么就算恰好能够添加一道题使得它的难度在这段区间的正中间，最终的不平衡性也是大于 $x$ 的，直接 pass 掉。否则，我们就需要判断是否能否找到一对 $u$ 和 $v$（$1\le u\le m$ 且 $1\le v\le k$）使得 $a_i-x\le d_u+f_v\le a_{i-1}+x$。我们可以枚举 $u$，在二分出最小的大于等于 $a_i-x$ 的 $d_u+f_v$ 是否小于等于 $a_{i-1}+x$。若能有一个 $u$ 使得该问题的答案为“是”，显然就是可以的，如果一个“是”都没有就不行。

注意可能会用到 long long。

代码：

#include<bits/stdc++.h>
#define N 110000
#define M 220000
#define K 220000
#define int long long
using namespace std;
int t,n,m,k,a[N],d[M],f[K];
bool judge(int x);
signed main(){
	scanf("%lld",&t);
	while(t--){
		scanf("%lld%lld%lld",&n,&m,&k);
		for(int i=1;i<=n;i++)scanf("%d",&a[i]);
		for(int i=1;i<=m;i++)scanf("%d",&d[i]);
		sort(d+1,d+1+m);
		for(int i=1;i<=k;i++)scanf("%d",&f[i]);
		sort(f+1,f+1+k);
		int s=0;
		for(int i=2;i<=n;i++)s=max(s,a[i]-a[i-1]);
		int l=0,r=s+1;
		while(l+1<r){
			int mid=(l+r)/2;
			if(judge(mid)==false)l=mid;
			else r=mid;
		}
		printf("%lld\n",r);
	}
	return 0;
}
bool judge(int x){
	int id=0;
	for(int i=2;i<=n;i++)
		if(a[i]-a[i-1]>x){
			if(id!=0)return false;
			else id=i;
		}
	if(id==0)return true;
	if(a[id]-a[id-1]>2*x)return false;
	int mbl=a[id]-x,mbr=a[id-1]+x;
	bool flag=false;
	for(int i=1;i<=m;i++){
		int l=0,r=k+1;
		while(l+1<r){
			int mid=(l+r)/2;
			if(d[i]+f[mid]<mbl)l=mid;
			else r=mid;
		}
		if(l!=k&&d[i]+f[l+1]<=mbr){
			flag=true;
			break;
		}
	}
	return flag;
}