zcmu 2154 wjw的排队问题

原题链接：http://acm.zcmu.edu.cn/JudgeOnline/problem.php?id=2154

题意：x轴上有n个团体，在b[i]点上有a[i]个人，每个人只能站x轴上的一个点，并且要求每个人的移动距离的最大值最小。求出这个最小值。 

b[i]严格单调递增 ，n<=1000  a[i],b[i]<=100000

思路：最大值最小，想到二分枚举+贪心模拟。贪心即把人尽量往左安排。复杂度O(n*log(1000000005))

代码：

#include <iostream>
#include <stdio.h>
using namespace std;
int n,a[1005],b[1005];
int maxx(int a,int b)
{
return a<b?b:a;
}
int pd(int mid)
{
int x=b[0]-mid;
for(int i=0;i<n;i++)
{
x=maxx(x,b[i]-mid);
x+=a[i];
if(x-1-b[i]>mid) return 0;
}
return 1;
}
int main(int argc, char *argv[])
{
double l,r;
cin>>n;
for(int i=0;i<n;i++) cin>>a[i];
for(int i=0;i<n;i++) cin>>b[i];
l=0,r=1000000005;
while(l<=r)
{
int mid=l/2+r/2;
if(pd(mid)) r=mid-1;
else l=mid+1;
}
printf("%.0lf\n",l);
return 0;
}

思考：1.如何证明这个贪心是最优解？

2.为什么r=1000000005？

3.什么情况下不能用int mid=(l+r)/2 取代 int mid=l/2+r/2？

本质：n个(b[i]-mid,b[i]+mid)的区间里放a[i]的物品，能否保证每个点至多只有一个物品。

待解决问题：

1.x轴上有n个元神，每个元神会分身术。在b[i]点上的人要制造a[i]个分身，制造的分身能在任意个整数点，但需要花费那个人分身和自己距离之差的能量。每个分身只能站x轴上的一个点（元神不占x轴），在保证每个人的分身距离的最大值最小的前提下求出最小能量