题解：《信息学奥赛一本通》 , usaco training 2.4 牛的旅行

农民John的农场里有很多牧区，有的路径连接一些特定的牧区。

一片所有连通的牧区称为一个牧场。

但是就目前而言，你能看到至少有两个牧区不连通。

现在，John想在农场里添加一条路径（注意，恰好一条）。

一个牧场的直径就是牧场中最远的两个牧区的距离（本题中所提到的所有距离指的都是最短的距离）。

考虑如下的两个牧场，每一个牧区都有自己的坐标：

图 1 是有 5 个牧区的牧场，牧区用“*”表示，路径用直线表示。

图 1 所示的牧场的直径大约是 12.07106, 最远的两个牧区是 A 和 E，它们之间的最短路径是 A-B-E。

图 2 是另一个牧场。

这两个牧场都在John的农场上。

John将会在两个牧场中各选一个牧区，然后用一条路径连起来，使得连通后这个新的更大的牧场有最小的直径。

注意，如果两条路径中途相交，我们不认为它们是连通的。

只有两条路径在同一个牧区相交，我们才认为它们是连通的。

现在请你编程找出一条连接两个不同牧场的路径，使得连上这条路径后，所有牧场（生成的新牧场和原有牧场）中直径最大的牧场的直径尽可能小。

输出这个直径最小可能值。

输入格式

第 1 行：一个整数 N, 表示牧区数；

第 2 到 N+1 行：每行两个整数 X,Y， 表示 N 个牧区的坐标。每个牧区的坐标都是不一样的。

第 N+2 行到第 2*N+1 行：每行包括 N 个数字 ( 0或1 ) 表示一个对称邻接矩阵。

例如，题目描述中的两个牧场的矩阵描述如下：

  A B C D E F G H 
A 0 1 0 0 0 0 0 0 
B 1 0 1 1 1 0 0 0 
C 0 1 0 0 1 0 0 0 
D 0 1 0 0 1 0 0 0 
E 0 1 1 1 0 0 0 0 
F 0 0 0 0 0 0 1 0 
G 0 0 0 0 0 1 0 1 
H 0 0 0 0 0 0 1 0

输入数据中至少包括两个不连通的牧区。

输出格式

只有一行，包括一个实数，表示所求答案。

数字保留六位小数。

数据范围

1≤N≤150,
0≤X,Y≤105

输入样例：

8
10 10
15 10
20 10
15 15
20 15
30 15
25 10
30 10
01000000
10111000
01001000
01001000
01110000
00000010
00000101
00000010

输出样例：

22.071068

 

我们假设这里只有2个牧区
情况1：当其中一个牧区包含另一个牧区时如图：

 

则两个牧场相连后的新牧场的直径为原来的大的牧场的直径

 

 

情况2：当为样例表示的两个牧区时：
{
    假设左边连接的边为点i，右边连接的边为点j
    则他的答案为左边距离i的最大值maxd[i] + 右边距离j的最大值maxd[j] + 
    中间连接的边的直线距离即为函数get_min(id[i], id[j]);
} 

#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>

#define x first
#define y second

using namespace std;

const double INF = 1e19;
const int N = 155, M = 100010;

typedef pair<double, double> PDD;

int n;
PDD id[N];
char g[N][N];
double maxs[N];//用maxs[i]表示一个与i联通的牧区到i的最大距离；
double d[N][N];//d[i][j]表示从i到j的最短直线距离

double get_min(PDD a, PDD b)//求坐标(a.x, a.y)与坐标(b.x, b.y)的直线距离
{
    double dx = a.x - b.x;
    double dy = a.y - b.y;
    return sqrt(dx * dx + dy * dy);
}

int main()
{
    cin >> n;
    for (int i = 0; i < n; i ++ ) cin >> id[i].x >> id[i].y;//读入坐标
    for (int i = 0; i < n; i ++ ) cin >> g[i];//读入矩阵
    
    for (int i = 0; i < n; i ++ )//初始化d数组
        for (int j = 0; j < n; j ++ )
            if (i != j)
            {
                if (g[i][j] == '1') d[i][j] = get_min(id[i], id[j]);//说明i, j之间有边，将它转化为直线距离
                else d[i][j] = INF;//说明无边初始化为正无穷
            }
            else if (i == j) d[i][j] = 0;
    
    for (int k = 0; k < n; k ++ )//floyd算法求从i到各个点j的距离最小值
        for (int i = 0; i < n; i ++ )
            for (int j = 0; j < n; j ++ )
                    d[i][j] = min(d[i][j], d[i][k] + d[k][j]);
    
    double res1 = 0;//情况1
    for (int i = 0; i < n; i ++ )
    {
        for (int j = 0; j < n; j ++ )
            if (d[i][j] < INF / 2)//若i到j这条边存在时才记录i到该牧场中每个点的最大值
                maxs[i] = max(maxs[i], d[i][j]);//这里为啥不用d[i][j] != INF?因为浮点数存在误差
                                                //这样可以消除误差
            res1 = max(res1, maxs[i]);
    }
    
    double res2 = INF;//情况2
    for (int i = 0; i < n; i ++ )
        for (int j = 0; j < n; j ++ )
            if (d[i][j] > INF / 2)//浮点数消除误差，我们连的边只能是不连通的当d[i][j]未被赋值说明是不连通的
                res2 = min(res2, maxs[i] + get_min(id[i], id[j]) + maxs[j]);
    //左牧场中各个点到点i的最大值即左牧场中的直径，j同理，get_min(id[i], id[j])与连接的i, j这条边的和
    printf("%lf", max(res1, res2));//两种情况取最大值
    
    return 0;
}