pku1727 Advanced Causal Measurements (ACM)

题目链接：http://acm.pku.edu.cn/JudgeOnline/problem?id=1727

题意简述：这题的题意还真有点难理解，给定一系列点，给定覆盖点数，要求求出覆盖点的最小t值最大。（覆盖规则题目已给出式子）

解题思路：二分+贪心。先对点按x升序排列，然后用二分枚举最大的最小t值，判断该枚举值是否可行，可行继续往上二分，否则往下二分。二分的初始上界：上界就是原给定点的最小t值，下界是一个很小的负数（由于题目中只给定了原始点的x范围，这里自己适当取值）。剩下的问题就是如何判断是否可行了：由题中给的公式t2 >= t1+|x2-x1|可以化简为：t1-t2+x2<=x1<=t2-t1+x2。有了这个式子就一直线扫过去，需要缩小范围就缩小范围，当该范围无解时，覆盖点数增加，重新设定范围。最终当覆盖点数如果大于题目给定的覆盖点数，则返回false；否则返回true。于是结果就出来了。

以下是代码：

#include<iostream>#include<stdio.h>#include<algorithm>using namespace std;const int Max=100002;const int inf=1<<30;int n,m;struct P{ int t,x;}a[Max];struct cmp{ bool operator ()(const P &a,const P &b) const { return a.x<b.x; }};bool check(int mid){ int s=mid-a[1].t+a[1].x,e=a[1].t-mid+a[1].x; int num=1; for(int i=2;i<=n;i++) { if(mid-a[i].t+a[i].x>s) s=mid-a[i].t+a[i].x; if(a[i].t-mid+a[i].x<e) e=a[i].t-mid+a[i].x; if(s>e) { num++; s=mid-a[i].t+a[i].x; e=a[i].t-mid+a[i].x; } } if(num>m) return false; else return true;}int B_search(int start,int end){ int Min=-inf; int s=start,e=end; while(s<=e) { int mid=(s+e)>>1; if(check(mid)) { Min=mid; s=mid+1; } else e=mid-1; } return Min;}int main(){ int T; scanf("%d",&T); int Case=0; while(T--) { scanf("%d%d",&n,&m); int M=inf; for(int i=1;i<=n;i++) { scanf("%d%d",&a[i].t,&a[i].x); if(M>a[i].t) M=a[i].t; } sort(a+1,a+1+n,cmp()); printf("Case %d: %d/n",++Case,B_search(-4000001,M)); } return 0;}