UVA1193 Radar Installation

知识点：贪心，

这道题可以转化为贪心里面的一个小模型，知道岛的坐标，那么就可以用简单的勾股定理算出来能管它的区间，这个区间里面至少要有一个雷达，而要管住所有的小岛，那么所有的区间都至少要有一个雷达，所以题目就转化为闭区间选点问题，也就是选最少的点使得给定的区间都至少有一个点，这个是紫书刘汝佳讲的三个区间模型之一，转化为这个模型就比较简单了，至于怎么样无解也能很容易想到，

不过李煜东的讲解方法不同，还用了决策包容性来证明，这个还没有看

#include <bits/stdc++.h>

#define fi first
#define se second
#define pb push_back
#define mk make_pair
#define sz(x) ((int) (x).size())
#define all(x) (x).begin(), (x).end()

using namespace std;

typedef long long ll;
typedef vector<int> vi;
typedef pair<int, int> pa;

const int N = 1005;

bool cmp(pair<double, double> a, pair<double, double> b) {
    if (a.se != b.se) return a.se < b.se;
    return a.fi > b.fi;
}

int main() {
    int n, d;
    int num = 1;
    while (cin >> n >> d && n) {
        int ok = 1;
        pair<double, double> p[N];
        for (int i = 0; i < n; i++) {
            int x, y;
            cin >> x >> y;
            if (y > d) ok = 0;
            double l = sqrt(d * d - y * y);
            p[i] = mk(x - l, x + l);
        }
        if (!ok) { cout << "Case " << num++ << ": " << -1 << endl; continue; }
        sort(p, p + n, cmp);
        int ans = 1;
        double pos = p[0].se;
        for (int i = 1; i < n; i++) {
            if (p[i].fi > pos) { ans++; pos = p[i].se; }
        }
        cout << "Case " << num++ << ": " << ans << endl;
    }
    return 0;
}