Floyd以及并查集的使用(usaco 2.4.3牛的旅行)

农民 John的农场里有很多牧区。有的路径连接一些特定的牧区。一片所有连通的牧区称为一个牧场。但是就目前而言，你能看到至少有两个牧场通过任何路径都不连通。这样，Farmer John就有多个牧场了。

John想在牧场里添加一条路径(注意，恰好一条)。对这条路径有以下限制：

一个牧场的直径就是牧场中最远的两个牧区的距离(本题中所提到的所有距离指的都是最短的距离)。考虑如下的有5个牧区的牧场，牧区用“*”表示，路径用直线表示。每一个牧区都有自己的坐标：

 
               (15,15) (20,15)
                  D       E
                  *-------*
                  |     _/|
                  |   _/  |
                  | _/    |
                  |/      |
          *-------*-------*
          A       B       C
      (10,10)  (15,10) (20,10)

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

这里是另一个牧场：

                           *F(30,15)
                         _/ 
                       _/  
                     _/    
                    /      
                   *-------* 
                   G       H
                (25,10) (30,10)

添加C至G一条路径后便是：

        (15,15)  (20,15)        (30,15)
           D       E               F
           *-------*               *
           |     _/|             _/
           |   _/  |           _/
           | _/    |         _/  
           |/      |        /    
   *-------*-------*-------*-------*    
   A       B       C       G       H
(10,10) (15,10) (20,10) (25,10) (30,10)

整个牧场直径约为22.071068。 在目前的情景中，他刚好有两个牧场。John将会在两个牧场中各选一个牧区，然后用一条路径连起来，使得连通后这个新的更大的牧场有最小的直径。

注意，如果两条路径中途相交，我们不认为它们是连通的。只有两条路径在同一个牧区相交，我们才认为它们是连通的。

输入文件包括牧区、它们各自的坐标，还有一个如下的对称邻接矩阵：

　 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 (1 <= N <= 150), 表示牧区数

第2到N+1行: 每行两个整数X,Y (0 <= X ,Y<= 100000), 表示N个牧区的坐标。注意每个 牧区的坐标都是不一样的。

第N+2行到第2*N+1行: 每行包括N个数字(0或1) 表示如上文描述的对称邻接矩阵。

 

只有一行，包括一个实数，表示所求直径。数字保留六位小数。

只需要打到小数点后六位即可，不要做任何特别的四舍五入处理。

SAMPLE INPUT

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

SAMPLE OUTPUT

22.071068

分析转自nocow

分析：

1、你的最朴素想法是什么？

显然是利用Floyd生成原始情况，然后每条没有连接的边枚举过去，重新Floyd计算一下最大直径。

经测试，这种想法在第4个测试数据上用时近半秒，然后第5个点你等了2分钟还没有出解。

这样做，你的时间复杂度保证有O（N^5）吧？

150这个点数不容小觑啊。

2、让我们开始慢慢优化

优化1、

既然不是不同片区的两点，加上连线没有用（还出错解），那就不用加了。

用什么知道每个点属于哪个片区？方法五花八门，我用了并查集。

优化2、

预先生成所有在接下来的计算中会多次用到的数据（比如任意两点间距离）

优化3、

没意义的计算不要做了！

每条枚举的边保证编号前小后大；

   for i:=1 to n do
       for j:=i+1 to n do

如果接上这条边，预期直径比之前算到的最小直径都大就抛弃；

if dis[i,0]+pointdis[i,j]+dis[j,0]>minnum then continue//说明：dis[i,0]表示在i所在的区块内到i的最远距离【不是该区块的直径】，pointdis[i,j]表示i、j两点间直接连接的距离,minnum表示当前得到的最小直径

else floyd;

这样下来，第4个点可以秒杀了，但是第5个点（只有两个区块，随机性弱）还需要5秒+，第7个点（多区块，随机性强）需要20秒+

3、绕开错误，走向更高效

错误优化：

dis[i,0]+pointdis[i,j]+dis[j,0]>minnum

既然这个是判断条件而且也正确，那么满足这个判断条件的就可以通过dis[i,0]+pointdis[i,j]+dis[j,0]得到最短直径。

if dis[i,0]+pointdis[i,j]+dis[j,0]>minnum then continue else minnum:=dis[i,0]+pointdis[i,j]+dis[j,0];

然后很高兴，第5个超时的点秒杀，但是第7个点立刻给你摆了一道。

原因：在多区块的时候，首先，你连通的两区块的直径不一定满足dis[i,0]+pointdis[i,j]+dis[j,0]；

      4
     |
     | 2
   2 3
     |
     | 2
     5

（2,3直连距离为1；3,4与4,5两两直连距离为2，此时最大直径为4）

   4
   |
   |
 2-3
   |
   |
   5

（连接2,3，然后根据式子你会错误得到直径为3，其实仍为4）

其次，你联通两区块得到的新区块的直径很可能比其余区块的直径小

    4
    |
    |
1 2 3
    |
    |
    5

（1,2与2,3直连距离为1；3,4与4,5两两直连距离为2，此时最大直径为4）

    4
    |
    |
1-2 3
    |
    |
    5

（连接1,2，然后根据式子你会错误得到直径为2，其实仍为4）

正确的优化：

其实仔细想想，我们关注的只是区块的直径，那我们只需要计算新连成的区块的直径，然后与原来的所有区块的直径放在一起，取最大直径就可以了。

               tempmax:=dis[i,0]+pointdis[i,j]+dis[j,0];//计算新连成的区块的直径
               for k:=1 to n do
                   if blockdis[k]>tempmax then tempmax:=blockdis[k];//检查别的区块的直径是否比新连成的区块的直径大
               minnum:=tempmax;

然后0.2s内AC就没有任何压力了。 

下面为我的见解：

首先把两点之间的距离算出，跑一边floyd，由于题目中已经说明有两块牧场，于是用一个并查集来储存，但是有一些小的优化在NOCOW中已经说的很清楚了。放上啰嗦的c++代码。

#include<bits/stdc++.h>
#define inf 2000000
#define maxn 200
using namespace std;
double minum=inf;
int x[maxn],y[maxn];
int  Map[maxn][maxn];
double dis[maxn][maxn],mdis[maxn];
int pre[maxn];
int n;

double Dis(int i,int j)
{
    return (sqrt((x[i]-x[j])*(x[i]-x[j])+(y[i]-y[j])*(y[i]-y[j])));
}

void init()
{
    cin>>n;
    for(int i=1;i<=n;i++)
      cin>>x[i]>>y[i];
      char c;
    for(int i=1;i<=n;i++)
      for(int j=1;j<=n;j++)
      {
         cin>>c;
         if(c=='1')
            dis[i][j]=Dis(i,j);
         else dis[i][j]=inf;
         if(i==j) dis[i][j]=0;
     }
     
}

int Find(int x)//会替换的Find 
{  
   return pre[x]==x?x:pre[x]=Find(pre[x]);
      
}

int merge(int x,int y)
{ 
        int fx=Find(x),fy=Find(y);
        if(pre[fx]!=fy) 
        {
             pre[fx]=fy;
            return 1;
        }
        return 0;
}

void Disjoint()
{
   for(int i=1;i<=n;i++)
     pre[i]=i;
    int count=0;
   for(int i=1;i<=n;i++)
         for(int j=1;j<=n;j++)
           if(dis[i][j]&&dis[i][j]!=inf)
              merge(i,j);
}


int find(int x)//不会替换值find 
{  
   return pre[x]==x?x:find(pre[x]);    
}


void Floyd()
{
    for(int k=1;k<=n;k++)
       for(int i=1;i<=n;i++)
       {
           if(find(k)==find(i))
           {
            for(int j=1;j<=n;j++)
            
                 dis[i][j]=min(dis[i][j],dis[i][k]+dis[k][j]);
             }
       }
    for(int i=1;i<=n;i++)
        for(int j=1;j<=n;j++)
         if(dis[i][j]>mdis[i]&&dis[i][j]!=inf)
           mdis[i]=dis[i][j];
}

int create()
{    
       double Swap;
	   for(int i=1;i<=n;i++)
	     for(int j=i+1;j<=n;j++)   
		 if(dis[i][j]==inf) 
	       {           
	           Swap=mdis[i]+Dis(i,j)+mdis[j];
	           if(Swap<minum)
	            minum=Swap;   
	       }
       for(int i=1;i<=n;i++)
          if(mdis[i]>minum)
            minum=mdis[i];
}

int main()
{
    init();
    Disjoint();
    Floyd();//求出和自己一起的牧场的最长的距离。 
    create();
    printf("%.6f",minum);
    return  0;
}