分治法解最近对问题

问题

最近对问题要求在一个包含n个点的集合中，找出距离最近的两个点。

解析

求解最近对问题的蛮力算法是：分别计算每一对点之间的距离，然后找出距离最小的一对。其中，为了避免对同一对点计算两次距离，将范围压缩到(pi, pj)(i<j)，时间效率为Θ(n2)。
基于分治技术可优化最近对问题的解法，主要思想是将问题划分成两个规模减半的子问题。

设计

核心伪代码：

double EfficientClosestPair(Point [] S, int left, int right){
	double d;
	if(right-left<=2){	//即n<=3
		返回由蛮力算法求出的最小距离
	}else{
		int mid=(left+right)/2;
		//将点集划分为两个子集
		double d1=EfficientClosestPair(left, mid);
		double d2=EfficientClosestPair(mid+1, right);
		d=min(d1, d2);
		//判断分布在分界线两侧的点组成的点对是否优于位于单侧的点对
		将S中所有|y-S[mid].y|<d的点按照纵坐标升序排序
		用S中所有|y-S[mid].y|<d的点组成的点对的距离迭代d
	}
}

分析

时间复杂度：T(n)=2T(n/2)+f(n)

源码

GitHub