特长生模拟 Distinct （二分）

4 Distinct

1s; 256M
4.1 题目描述
Daniel 正在玩一个战棋游戏。
现在Daniel 有n 队士兵站在x 轴上。第i 队士兵有ai 人，坐标为xi。
Daniel 看到一队士兵有这么多人，都站在同一个位置，他对此很不满意。他
想命令一些士兵移动到新的位置（必须是整点），使得不存在两个士兵站在同一个
位置。
为了节约时间，Daniel 希望每个士兵的移动距离的最大值尽可能小。请求出
这个最小值。
4.2 输入格式
第一行一个正整数n，表示Daniel 有多少队士兵。
第二行n 个正整数ai，表示每队士兵的人数。
第三行n 个严格递增的整数xi，表示每队士兵的坐标。
4.3 输出格式
一行一个非负整数，表示每个士兵的移动距离的最大值的最小值。

分析：二分答案，然后检验是否可行，把每队士兵先放到左边放完再放右边，以此类推。

代码

const
  maxn=200000;
var
  a,x:array[0..maxn] of int64;
  n,i,s:longint;

function check(m:int64):boolean;
var
  i:longint;
  k:int64;
begin
  k:=x[1]-m;
  for i:=1 to n do
    begin
      if k<x[i]-m then k:=x[i]-m;
      if x[i]+m-k+1<a[i] then exit(false);
      k:=k+a[i];
    end;
  exit(true);
end;

procedure find(l,r:int64);
var
  mid:int64;
begin
  mid:=(l+r) div 2;
  if l=r then
    begin
      writeln(l);
      close(input);close(output);
      halt;
    end;
  if check(mid) then find(l,mid) else find(mid+1,r);
end;

begin
  assign(input,'distinct.in');reset(input);
  assign(output,'distinct.out');rewrite(output);
  readln(n);
  for i:=1 to n do
    read(a[i]);
  for i:=1 to n do
    read(x[i]);
  find(0,1234567891234567);
  close(input);close(output);
end.