《ybtoj高效进阶》第一部分第二章例题2 雷达安装&P1325

题目大意

摘自洛谷
假设海岸线是一条无限延伸的直线。它的一侧是陆地，另一侧是海洋。每一座小岛是在海面上的一个点。雷达必须安装在陆地上（包括海岸线），并且每个雷达都有相同的扫描范围d。你的任务是建立尽量少的雷达站，使所有小岛都在扫描范围之内。
数据使用笛卡尔坐标系，定义海岸线为x轴。在x轴上方为海洋，下方为陆地。

思路

我们可以求出能够监视该小岛的监控范围
然后这道题转化为求至少有多少个点放在n个区间内，使每个区间内至少有1个点
我们用如下策略：
按右节点从小到大排序，如果在我们选定的点中，该区间没有为我们选的最后一个点，则我们把该区间的右节点选择，最后一个点更新为该区间右节点。
首先我们发现该策略一定可以完成任务，但需要证明结果是最小的。
证明：
因为一个区间，如果它/他/她有最后一个点，那么它一定不需要，如果它/他/她不含有最后一个点，那么说明最后一个点<区间左节点（因为我们按照右节点排序，取的点也是右节点，所以最后一个点一定<=区间右节点，同时该点不在区间内，所以最后一个点<区间左节点），因此前面的也不可能在区间内，必须在区间中重新取一个点，由于我们要尽可能使新点在满足区间范围内的情况下进入后面的区间，所以我们取右节点为新点，因为如果取更前面的点，要么在后面进入的区间变少，要么不变，所以取右节点满足局部最优性.
证毕.
code:

#include<iostream>
#include<cstdio>
#include<cmath>
#include<algorithm>
using namespace std;
int n,d;
struct f{
 double x,y;
} a[1001];
bool cmp(f a,f b)
{
 return a.y<b.y;
}
void ok()
{
 int x,y;
 for (int i=1;i<=n;i++)
 {
  scanf("%d%d",&x,&y);
  if (d<y)
  {
   printf("-1\n");
   return;
  }
  a[i].x=x-sqrt(d*1.0*d-y*1.0*y);
  a[i].y=x+sqrt(d*1.0*d-y*1.0*y);
 }
 sort(a+1,a+n+1,cmp);
 int s=1;
 double p=a[1].y;
 for (int i=2;i<=n;i++)
 {
  if (a[i].x<=p&&p<=a[i].y) continue;
  p=a[i].y;
  s++;
 }
 printf("%d\n",s);
 return;
}
int main()
{
 scanf("%d%d",&n,&d);
 ok();
 return 0;
}