洛谷 P2698 [USACO12MAR]花盆Flowerpot （二分+单调队列）

老板需要你帮忙浇花。给出N滴水的坐标，y表示水滴的高度，x表示它下落到x轴的位置。

每滴水以每秒1个单位长度的速度下落。你需要把花盆放在x轴上的某个位置，使得从被花盆接着的第1滴水开始，到被花盆接着的最后1滴水结束，之间的时间差至少为D。

我们认为，只要水滴落到x轴上，与花盆的边沿对齐，就认为被接住。给出N滴水的坐标和D的大小，请算出最小的花盆的宽度W。

输入输出格式

输入格式：
第一行2个整数 N 和 D。

第2.. N+1行每行2个整数，表示水滴的坐标(x,y)。

输出格式：
仅一行1个整数，表示最小的花盆的宽度。如果无法构造出足够宽的花盆，使得在D单位的时间接住满足要求的水滴，则输出-1。

输入输出样例

输入样例#1：
4 5
6 3
2 4
4 10
12 15
输出样例#1：
2
说明

【样例解释】

有4滴水， (6,3), (2,4), (4,10), (12,15).水滴必须用至少5秒时间落入花盆。花盆的宽度为2是必须且足够的。把花盆放在x=4..6的位置，它可以接到1和3水滴, 之间的时间差为10-3 = 7满足条件。

【数据范围】

40%的数据：1 ≤ N ≤ 1000，1 ≤ D ≤ 2000；

100%的数据：1 ≤ N ≤ 100000，1 ≤ D ≤ 1000000，0≤x,y≤1000000。、

program df;
var i,j,n,m,x,y,z,k,t,l,r,mid:longint;
a1,b1,a2,b2,f,c,d:array[0..1000000] of longint;

procedure sq(l,r:longint);
var i,j,mm,dd:longint;
begin
i:=l; j:=r;
mm:=c[(l+r) div 2];
repeat
while mm>c[i] do inc(i);
while c[j]>mm do dec(j);
if i<=j then
begin
dd:=c[i]; c[i]:=c[j]; c[j]:=dd;
dd:=d[i]; d[i]:=d[j]; d[j]:=dd;
inc(i); dec(j);
end;
until i>j;
if j>l then sq(l,j);
if r>i then sq(i,r);
end;

function check(x:longint):boolean;
var i,j,l1,r1,l2,r2:longint;
begin
l1:=1; r1:=1; l2:=1; r2:=1;
a1[1]:=d[1]; b1[1]:=1;
a2[1]:=d[1]; b2[1]:=1;
for i:=2 to n do
begin
while (l1<=r1) and (a1[r1]>=d[i]) do dec(r1);
inc(r1);
a1[r1]:=d[i];
b1[r1]:=i;
while (l1<=r1) and (c[b1[r1]]-c[b1[l1]]>x) do inc(l1); //保证队列长度小于限定的宽度
while (l2<=r2) and (a2[r2]<=d[i]) do dec(r2);
inc(r2);
a2[r2]:=d[i];
b2[r2]:=i;
while (l2<=r2) and (c[b2[r2]]-c[b2[l2]]>x) do inc(l2); //同上
if abs(a1[l1]-a2[l2])>=k then exit(true); //如果下落时间满足则退出
end;
exit(false);
end;

begin
readln(n,k);

for i:=1 to n do
readln(c[i],d[i]);

sq(1,n);

l:=0; r:=1000000; //二分花盆长度
while r-1>l do
begin
mid:=(l+r) div 2;
if check(mid) then r:=mid
else l:=mid;
end;
if l>r then begin x:=l; l:=r; r:=x; end;
if check(l) then writeln(l)
else if check(r) then writeln(r)
else writeln(-1);
end.