【题意】

       有n个城市,m个雷达,k个操作员,要求确定最小的半径,使得所有城市都能被覆盖。首先,解空间应该是一组数,也就是任意一个雷达和城市的距离的集合,答案必然是其中的一个,所以排好序,二分查找。每次判断某个半径能不能做到覆盖就可以了。至于覆盖问题,马上想到Dancingl  ink 。

【解题方法】

       联想完美覆盖模型,每个城市代表一列,每个雷达代表一行,如果雷达能够覆盖城市,就在矩阵中填入1.。建双向链表时还是每一列放一个头指针。不同的是,只要覆盖就行了,所以删除和恢复函数要改一下。对于选取的雷达,它的1所在的那一列的1全部横向删除,要恢复时在横向恢复就行了。接下来就可以方便地递归搜索了,当每一列都已经被覆盖,判断一下用掉的雷达个数,就可以向上返回了。如果无法继续搜索,就返回错误。

  如果仅仅是这样的话,时间上恐怕还过不了。如何剪枝,自然想到的是每次搜索时判断一下,当前用过得雷达数加上以后至少要用的雷达数,如果超过k,那就不用继续往下搜索了。要设计一个函数,估算在当前的条件下,以后至少要用的雷达。有人说,这个函数在这里和A*算法的想法有点类似,以后要学习一下。这个函数,对于双向链表中剩下的列,将能覆盖某一列的雷达算进去,因为不确定最终使用哪个雷达,所以将那些雷达能覆盖的其他城市都标记为已覆盖,然后继续,就可以算出至少要用的雷达。这个函数的优化效果是十分明显的。

【AC 代码】

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
const double eps = 1e-8;
const int maxnode = 3000;
const int maxm = 55;
const int maxn = 55;
int n,m,K;
struct DLX
{
    int n,m,size;
    int U[maxnode],D[maxnode],R[maxnode],L[maxnode],Row[maxnode],Col[maxnode];
    int H[maxn],S[maxn];
    int ands,ans[maxn];
    void init(int _n,int _m)
    {
        n = _n;
        m = _m;
        for(int i = 0;i <= m;i++)
        {
            S[i] = 0;
            U[i] = D[i] = i;
            L[i] = i-1;
            R[i] = i+1;
        }
        R[m] = 0; L[0] = m;
        size = m;
        for(int i = 1;i <= n;i++)
            H[i] = -1;
    }
    void Link(int r,int c)
    {
        ++S[Col[++size]=c];
        Row[size] = r;
        D[size] = D[c];
        U[D[c]] = size;
        U[size] = c;
        D[c] = size;
        if(H[r] < 0)H[r] = L[size] = R[size] = size;
        else
        {
            R[size] = R[H[r]];
            L[R[H[r]]] = size;
            L[size] = H[r];
            R[H[r]] = size;
        }
    }
    void remove(int c)
    {
        for(int i = D[c];i != c;i = D[i])
            L[R[i]] = L[i], R[L[i]] = R[i];
    }
    void resume(int c)
    {
        for(int i = U[c];i != c;i = U[i])
            L[R[i]]=R[L[i]]=i;
    }
    bool v[maxnode];
    int f()
    {
        int ret = 0;
        for(int c = R[0];c != 0;c = R[c])v[c] = true;
        for(int c = R[0];c != 0;c = R[c])
            if(v[c])
            {
                ret++;
                v[c] = false;
                for(int i = D[c];i != c;i = D[i])
                    for(int j = R[i];j != i;j = R[j])
                        v[Col[j]] = false;
            }
        return ret;

    }
    bool Dance(int d)
    {
        if(d + f() > K)return false;
        if(R[0] == 0)return d <= K;
        int c = R[0];
        for(int i = R[0];i != 0;i = R[i])
            if(S[i] < S[c])
                c = i;
        for(int i = D[c];i != c;i = D[i])
        {
            remove(i);
            for(int j = R[i];j != i;j = R[j])remove(j);
            if(Dance(d+1))return true;
            for(int j = L[i];j != i;j = L[j])resume(j);
            resume(i);
        }
        return false;
    }
};
DLX dlx;
struct Point{
    int x,y;
}city[maxn],station[maxn];
double getdis(Point a,Point b){
    return (double)((a.x-b.x)*(a.x-b.x)+(a.y-b.y)*(a.y-b.y));
}
bool check(double r){
    dlx.init(m,n);
    double now=r*r;
    for(int i=1; i<=m; i++){
        for(int j=1; j<=n; j++){
            if(getdis(station[i],city[j])<=now) dlx.Link(i,j);
        }
    }
    return dlx.Dance(0);
}
int main()
{
    int T;
    scanf("%d",&T);
    while(T--){
        scanf("%d%d%d",&n,&m,&K);
        for(int i=1; i<=n; i++) scanf("%d%d",&city[i].x,&city[i].y);
        for(int i=1; i<=m; i++) scanf("%d%d",&station[i].x,&station[i].y);
        double l=0.0,r=2000;
        while(r-l>=eps){
            double mid=(l+r)/2;
            if(check(mid)) r=mid;
            else l=mid;
        }
        printf("%.6f\n",l);
    }
    return 0;
}