【普及模拟】Distinct

题目描述
Daniel 正在玩一个战棋游戏。
现在Daniel 有n 队士兵站在x 轴上。第i 队士兵有ai 人，坐标为xi。
Daniel 看到一队士兵有这么多人，都站在同一个位置，他对此很不满意。他
想命令一些士兵移动到新的位置（必须是整点），使得不存在两个士兵站在同一个
位置。
为了节约时间，Daniel 希望每个士兵的移动距离的最大值尽可能小。请求出
这个最小值。
输入
第一行一个正整数n，表示Daniel 有多少队士兵。
第二行n 个正整数ai，表示每队士兵的人数。
第三行n 个严格递增的整数xi，表示每队士兵的坐标。
输出
一行一个非负整数，表示每个士兵的移动距离的最大值的最小值。
样例输入
22
3
0 2
5
样例输出
1
样例解释
移动后，5 个士兵的坐标分别为��1; 0; 1; 2; 3。
有2 个士兵移动距离为0，3 个士兵移动距离为1，因此答案是1。
算法讨论
本题采用二分逼近的方法，主要思想就是在答案范围内二分，判断，不断逼近正确答案。本题显而易见士兵尽量靠左的贪心策略是可行的，所以士兵放置范围也就是：x[i]-m到x[i];x[i]到x[i]+m；当我们的放置范围小于士兵个数时明显是不行的，所以往右二分；若是大于，则往下一队找，看看下一队是否符合，若都符合则此范围可行，但不一定是最小答案，所以还要向左二分，直到找到最小答案。

const
  maxn=100000;
var
  a,x:array[1..maxn] of longint;
  i,j,n,l,r,m:longint;

function check(y:longint):boolean;
var
  i,x1,x2,l:longint;
begin
  l:=-maxlongint;
  for i:=1 to n do
    begin
      x1:=x[i]-y;
      x2:=x[i]+y; 
      if l<x1
        then l:=x1;
      if x2-l+1<a[i]
        then exit(false);
      l:=l+a[i]
    end;
  exit(true)
end;

procedure closer;
begin
  l:=-1; r:=maxlongint;
  while l+1<r do
    begin
      m:=(l+r) div 2;
      if check(m)
        then r:=m
        else l:=m
    end;
end;

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

Pixiv ID：62389549