计算几何 平面最近点对 nlogn分治算法 求平面中距离最近的两点

平面最近点对，即平面中距离最近的两点

分治算法：

int SOLVE(int left,int right)//求解点集中区间[left,right]中的最近点对

{

double ans; //answer

0)    调用前的预处理:对所有点排序,以x为第一关键词y为第二关键字 , 从小到大;

1)    将所有点按x坐标分成左右两部分;

/*      分析当前集合[left,right]中的最近点对，有两种可能：

1. 当前集合中的最近点对，点对的两点同属于集合[left,mid]或同属于集合[mid,right]

则ans = min(集合1中所有点的最近距离, 集合2中所有点的最近距离)

2. 当前集合最近点对中的两点分属于不同集合：[left,mid]和[mid,right]

则需要对两个集合进行合并，找出是否存在p∈[left,mid],q∈[mid,right],使得distance(p,q)小于当前ans(即步骤1中求得的ans);

*/

2)    Mid = (left+right)/2;

ans = min( SOLVE(left,mid), SOLVE(mid,right) );

即：递归求解左右两部分中的最近距离，并取最小值；

//此步骤实现上文分析中的第一种情况

/*

再次进行分析

我们将集合[left,right]用x = mid这条直线分割成两部分

则如果画出直线l1:x=mid-ans 和 l2:x=mid+ans，显然如果有p∈[left,mid], q∈[mid,right]且distance(p,q) < ans则p,q一定在直线l1和直线l2之间，否则distance(p,q)必定大于ans。

于是扫描出在l1和l2之间的点

*/

3)    建立缓存数组temp[];

for i = left TO right

{

如果 abs(Point[i].x - Point[mid].x) <= ans

则向temp中加入点Point[i];

}

/*

对于temp中的点，枚举求所有点中距离最近两点的距离，然后与ans比较即可。

枚举的时候不必两两枚举。观察下图中的点p

 
         不难发现，若有q∈[mid,mid+ans]使得distance(p,q) <
ans，则q点的位置一定在图中画出的一个2ans×ansd的矩形中。可以证明点集[mid,mid+ans]中的、矩形外的点与p点的距离一定大于
ans。
           于是我们可以对temp以y为唯一关键字从小到大排序,进行枚举, 更新ans,然后在枚举时判断：一旦枚举到的点与p点y值之差大于ans，停止枚举。最后就能得到该区间的最近点对。

*/

4)    sort(temp);

for i = 0 TO k-1

{

for j = i+1 TO k-1

如果 temp[j].y - temp[i].y >= ans  break;

ans = min( ans, distance(temp[i], temp[j]) );

}

5)    return ans;

}

算法的时间复杂度

        由鸽巢原理，代码中第四步的枚举实际上最多只会枚举6个点，效率极高（一种蒟蒻的证明请看下方的评论）

本算法时间复杂度为O(n log n)

代码：

#include <stdio.h>
#include <stdlib.h>
#include <math.h>

#define MIN( x , y ) ( (x) < (y) ? (x):(y) )

struct _Point
{
    long long x;
    long long y;
}Points[] , Tmp[];

int cmpxy ( const void *pa , const void *pb )
{
    struct _Point *a = (struct _Point *)pa;
    struct _Point *b = (struct _Point *)pb;
    if ( a->x == b->x )
        return a->y > b->y ? :-;
    else
        return a->x > b->x ? :-;
}

int cmpy ( const void *pa , const void *pb )
{
    struct _Point *a = (struct _Point *)pa;
    struct _Point *b = (struct _Point *)pb;

    return a->y > b->y ? :-;
}

double dis ( struct _Point a , struct _Point b )
{
    return sqrt ( (double) ( (a.x - b.x ) * ( a.x - b.x ) + ( a.y - b.y ) * ( a.y - b.y ) ) );
}

/*分治法求计算几何中平面点最近两点距离*/
double min_length ( struct _Point *p , long left , long right )
{
    double min;
    double d1,d2;
    long mid;
    long i , j ,k;

    if ( left == right )
        return -;

    if ( left +  == right )
        return dis ( p[ left ] , p[ right ] );

    mid = ( left + right ) >> ;
    d1 = min_length ( p , left , mid );
    d2 = min_length ( p , mid , right );
    min = MIN( d1 , d2 );

    for ( k =  , i = left ; i <= right ; i++ ) {

        if ( fabs ( p[i].x - p[mid].x ) <= min )
            Tmp[k++] = p[i];
    }

    qsort ( Tmp , k , sizeof ( Tmp[] ) , cmpy );
    for ( i =  ; i < k -  ; i++ ) {

        for ( j = i +  ; j < k ; j++ ) {

            if ( fabs( Tmp[i].y - Tmp[j].y ) >= min )
                break;

            min = MIN ( min , dis ( Tmp[i] , Tmp[j] ) );
        }
    }

    return min;
}

int main ( int argc , char *argv[] )
{
    long n;
    long i;

    scanf("%ld" , &n );

    for ( i =  ; i < n ; i++ )
        scanf ("%ld%ld" , &Points[i].x , &Points[i].y );

    qsort ( Points , n , sizeof ( Points[] ) , cmpxy );
    printf ("%.3f" , min_length ( Points ,  , n -  ) );
    return ;
}

部分转载：http://blog.csdn.net/lytning/article/details/25370169