所需知识:二分,区间合并
思路:因为要求一个最早时间使得所有管道全充满水,所以在这个时刻前管道至少有一个点没有满,这个时刻后必然全部满了,时间区间具有二段性,考虑用二分;因为每个阀门会随着时间的变化放出水的范围也会变化,但充满水的管道是不会重新恢复原状的。遍历一遍阀门,判断在mid时刻有多少阀门打开了,将打开的阀门所能充满水的管道记录下来,为了后面的区间合并,若此时没有阀门打开,则直接返回false;
用一个pair类型的vector数组res存放每个阀门所能覆盖的区域的边界,每个阀门能充满水的范围是:
[ max(1LL,W[i].first-mid+W[i].second),min(len,1LL*W[i].first+mid-W[i].second) ] ;
(1LL*)作用:暂时把变量类型变成long long,防止中间过程变量溢出,最后转变成int赋值给变量;
若此时res数组为空也直接返回false;若不为空:
将数组按阀门所能覆盖区域的左边界排序(默认按pair第一个参数升序排列),判断下一个区域左边界能否与该区域的右边界连成一个完整区间,若不能,则直接返回false,若能,则用一个last记录该区间右边界,遍历完所有阀门后,判断last是否与len相等,(防止last超过范围:last=min(len,1LL*last);),若相等则返回true,反之则false;
C++代码:
#include <iostream>
#include <cstring>
#include <algorithm>
#include <vector>
using namespace std;
typedef long long ll;
typedef pair<int, int> PII;
const int N = 1E8+5;
ll n,len;
int L,S;
PII W[N];
bool Check(ll mid){
vector<PII>res;
for (int i = 1; i <= n; i ++ ){
if(1LL*W[i].second>mid)
continue;
else{
res.push_back({max(1LL,W[i].first-mid+W[i].second),min(len,1LL*W[i].first+mid-W[i].second)});
}
}
if(res.empty()) return false;
sort(res.begin(),res.end());
res[0].first=max(1,res[0].first);
int cut=res.size();
int last=res[0].second;
if(res[0].first>1) return false;
for (int i = 1; i < cut; i ++ ){
if(last+1<res[i].first)
return false;
else
last=max(res[i].second,last);
}
last=min(len,1LL*last);
return last==len;
}
int main()
{
cin >> n >> len;
for (int i = 1; i <= n; i ++ ){
cin>>L>>S;
W[i]={L,S};
}
ll l=1,r=2E9-1;
while(l<r){
ll mid=l+r>>1;
if(Check(mid))
r=mid;
else
l=mid+1;
}
cout<<l;
return 0;
}