题目传送门（内部题53）
输入格式
第二行$2$个整数表示$n,m$。
接下来$m$行每行两个整数，描述一个点对$(x_i,y_i)$。
输出格式
一个整数，表示最短距离。
样例
样例输入：
6 2
1 5
2 6
样例输出：
1
数据范围与提示
样例解释：
最优方案是在$2$号节点和$5$号节点之间建边。
数据范围：
对于前$30\%$的数据：
$n,mleqslant 500$
对于前$60\%$的数据：
$n,mleqslant 2,000$
对于所有数据：
$1leqslant n,mleqslant 100,000$
$1leqslant x_ileqslant y_ileqslant n$
题解
发现答案是满足单调性的，假设答案为$d$，那么比$d$小的一定都不行，比$d$大的一定都行。
所以我们考虑二分答案，如何$judge$呢？
正解我不会，于是我打的暴力，枚举端点和点对，然后疯狂简枝，下面列举一下剪枝：
$alpha.$二分范围，所有点对取$max$即可。
$eta.$在枚举点队的时候，已经满足的不用考虑，所以我们每一次先扫一边，将还没有满足的点对提取出来。
$gamma.$如果不满足的点对的右端点的最小值比左端点的小，那么也一定不行，直接$return 0$即可。
这三个剪枝一个也不能少。
时间复杂度：$Theta(n^2log n)$。
期望得分：$100$分。
实际得分：$100$分。
代码时刻
#include<bits/stdc++.h>
using namespace std;
int n,m;
int l[100001],r[100001],len[100001];
int que[100001];
bool judge(int x)
{
int minn=n,maxn=0,rmin=n,lft,rht;
que[0]=0;
for(int i=1;i<=m;i++)
if(x<len[i])
{
que[++que[0]]=i;
rmin=rmin<r[i]?rmin:r[i];
maxn=maxn>l[i]?maxn:l[i];
minn=minn<l[i]?minn:l[i];
}
if(!que[0])return 1;
if(rmin<=maxn)return 0;
for(int i=minn;i<=maxn;i++)
{
lft=0;
rht=n;
for(int j=1;j<=que[0];j++)
{
if(r[que[j]]>i)
{
int flag=x-abs(l[que[j]]-i);
lft=max(lft,r[que[j]]-flag);
rht=min(rht,r[que[j]]+flag);
if(lft>rht)goto nxt;
continue;
}
goto nxt;
}
return 1;
nxt:;
}
return 0;
}
int main()
{
scanf("%d%d",&n,&m);
int lft=0,rht=0;
for(int i=1;i<=m;i++)
{
scanf("%d%d",&l[i],&r[i]);
len[i]=r[i]-l[i];
rht=rht>len[i]?rht:len[i];
}
while(lft<rht)
{
int mid=(lft+rht)>>1;
if(judge(mid))rht=mid;
else lft=mid+1;
}
printf("%d",lft);
return 0;
}
rp++